runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051419/p2cudf-paranoid-1.6/rand3dec28.cudf.impossible.log.runsolver ./p2cudf-paranoid-1.6 /home/misc2010/data/2010/impossible//rand3dec28.cudf /home/misc2010/tmp/201007051419/p2cudf-paranoid-1.6/rand3dec28.cudf.impossible.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.85 1.01 1.03 1/95 29944 /proc/meminfo: memFree=1130720/2097152 swapFree=2055676/2097144 [pid=29944] ppid=29943 vsize=2376 CPUtime=0 /proc/29944/stat : 29944 (p2cudf-paranoid) S 29943 29944 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 23 0 1 0 415708888 2433024 258 1283457024 134512640 135191968 4294754368 18446744073709551615 4159478414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29944/statm: 594 258 222 166 0 26 0 [pid=29945] ppid=29944 vsize=2364 CPUtime=0 /proc/29945/stat : 29945 (p2cudf) R 29944 29944 13759 34823 13904 4194304 295 0 0 0 0 0 0 0 25 0 1 0 415708888 2420736 225 1283457024 134512640 135191968 4288844496 18446744073709551615 4159608168 0 0 4 65536 0 0 0 17 0 0 0 0 /proc/29945/statm: 593 230 194 166 0 25 0 [startup+0.154808 s] /proc/loadavg: 0.85 1.01 1.03 1/95 29944 /proc/meminfo: memFree=1130720/2097152 swapFree=2055676/2097144 [pid=29944] ppid=29943 vsize=2376 CPUtime=0 /proc/29944/stat : 29944 (p2cudf-paranoid) S 29943 29944 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 23 0 1 0 415708888 2433024 258 1283457024 134512640 135191968 4294754368 18446744073709551615 4159478414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29944/statm: 594 258 222 166 0 26 0 [pid=29945] ppid=29944 vsize=2380 CPUtime=0.04 /proc/29945/stat : 29945 (p2cudf) S 29944 29944 13759 34823 13904 4202496 374 3245 0 0 0 0 2 2 25 0 1 0 415708888 2437120 269 1283457024 134512640 135191968 4288844496 18446744073709551615 4159445646 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29945/statm: 595 269 231 166 0 27 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4756 [startup+0.2157 s] /proc/loadavg: 0.85 1.01 1.03 1/95 29944 /proc/meminfo: memFree=1130720/2097152 swapFree=2055676/2097144 [pid=29944] ppid=29943 vsize=2376 CPUtime=0 /proc/29944/stat : 29944 (p2cudf-paranoid) S 29943 29944 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 23 0 1 0 415708888 2433024 258 1283457024 134512640 135191968 4294754368 18446744073709551615 4159478414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29944/statm: 594 258 222 166 0 26 0 [pid=29945] ppid=29944 vsize=2380 CPUtime=0.04 /proc/29945/stat : 29945 (p2cudf) S 29944 29944 13759 34823 13904 4202496 374 3245 0 0 0 0 2 2 25 0 1 0 415708888 2437120 269 1283457024 134512640 135191968 4288844496 18446744073709551615 4159445646 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29945/statm: 595 269 231 166 0 27 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4756 [startup+0.30679 s] /proc/loadavg: 0.85 1.01 1.03 1/95 29944 /proc/meminfo: memFree=1130720/2097152 swapFree=2055676/2097144 [pid=29944] ppid=29943 vsize=2376 CPUtime=0 /proc/29944/stat : 29944 (p2cudf-paranoid) S 29943 29944 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 23 0 1 0 415708888 2433024 258 1283457024 134512640 135191968 4294754368 18446744073709551615 4159478414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29944/statm: 594 258 222 166 0 26 0 [pid=29945] ppid=29944 vsize=2380 CPUtime=0.04 /proc/29945/stat : 29945 (p2cudf) S 29944 29944 13759 34823 13904 4202496 374 3245 0 0 0 0 2 2 25 0 1 0 415708888 2437120 269 1283457024 134512640 135191968 4288844496 18446744073709551615 4159445646 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29945/statm: 595 269 231 166 0 27 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4756 [startup+0.712397 s] /proc/loadavg: 0.85 1.01 1.03 1/95 29944 /proc/meminfo: memFree=1130720/2097152 swapFree=2055676/2097144 [pid=29944] ppid=29943 vsize=2376 CPUtime=0 /proc/29944/stat : 29944 (p2cudf-paranoid) S 29943 29944 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 23 0 1 0 415708888 2433024 258 1283457024 134512640 135191968 4294754368 18446744073709551615 4159478414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29944/statm: 594 258 222 166 0 26 0 [pid=29945] ppid=29944 vsize=2380 CPUtime=0.04 /proc/29945/stat : 29945 (p2cudf) S 29944 29944 13759 34823 13904 4202496 374 3245 0 0 0 0 2 2 25 0 1 0 415708888 2437120 269 1283457024 134512640 135191968 4288844496 18446744073709551615 4159445646 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29945/statm: 595 269 231 166 0 27 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4756 [startup+1.50938 s] /proc/loadavg: 0.85 1.01 1.03 4/109 29972 /proc/meminfo: memFree=1055960/2097152 swapFree=2055676/2097144 [pid=29944] ppid=29943 vsize=2376 CPUtime=0 /proc/29944/stat : 29944 (p2cudf-paranoid) S 29943 29944 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 23 0 1 0 415708888 2433024 258 1283457024 134512640 135191968 4294754368 18446744073709551615 4159478414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29944/statm: 594 258 222 166 0 26 0 [pid=29945] ppid=29944 vsize=2380 CPUtime=0.04 /proc/29945/stat : 29945 (p2cudf) S 29944 29944 13759 34823 13904 4202496 374 3245 0 0 0 0 2 2 25 0 1 0 415708888 2437120 269 1283457024 134512640 135191968 4288844496 18446744073709551615 4159445646 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29945/statm: 595 269 231 166 0 27 0 [pid=29961] ppid=29945 vsize=905632 CPUtime=2.53 /proc/29961/stat : 29961 (java) S 29945 29944 13759 34823 13904 4202496 37089 0 0 0 235 18 0 0 18 0 12 0 415708896 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4159919250 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29961/statm: 226408 30912 1742 10 0 223493 0 [pid=29961/tid=29962] ppid=29945 vsize=905632 CPUtime=0.8 /proc/29961/task/29962/stat : 29962 (java) R 29945 29944 13759 34823 13904 4202560 18249 0 0 0 69 11 0 0 18 0 12 0 415708897 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4095494357 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29961/tid=29963] ppid=29945 vsize=905632 CPUtime=0 /proc/29961/task/29963/stat : 29963 (java) S 29945 29944 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 20 0 12 0 415708898 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29964] ppid=29945 vsize=905632 CPUtime=0 /proc/29961/task/29964/stat : 29964 (java) S 29945 29944 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 21 0 12 0 415708898 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29965] ppid=29945 vsize=905632 CPUtime=0 /proc/29961/task/29965/stat : 29965 (java) S 29945 29944 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 15 0 12 0 415708900 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4159933448 0 0 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29966] ppid=29945 vsize=905632 CPUtime=0 /proc/29961/task/29966/stat : 29966 (java) S 29945 29944 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 23 0 12 0 415708900 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29967] ppid=29945 vsize=905632 CPUtime=0 /proc/29961/task/29967/stat : 29967 (java) S 29945 29944 13759 34823 13904 4202560 4 0 0 0 0 0 0 0 24 0 12 0 415708900 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29968] ppid=29945 vsize=905632 CPUtime=0 /proc/29961/task/29968/stat : 29968 (java) S 29945 29944 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 415708903 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4159940944 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29969] ppid=29945 vsize=905632 CPUtime=0.9 /proc/29961/task/29969/stat : 29969 (java) R 29945 29944 13759 34823 13904 4202560 10458 0 0 0 86 4 0 0 18 0 12 0 415708903 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4150030177 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29961/tid=29970] ppid=29945 vsize=905632 CPUtime=0.8 /proc/29961/task/29970/stat : 29970 (java) S 29945 29944 13759 34823 13904 4202560 7292 0 0 0 78 2 0 0 15 0 12 0 415708903 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29971] ppid=29945 vsize=905632 CPUtime=0 /proc/29961/task/29971/stat : 29971 (java) S 29945 29944 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 415708903 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29972] ppid=29945 vsize=905632 CPUtime=0 /proc/29961/task/29972/stat : 29972 (java) S 29945 29944 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415708903 927367168 30912 1283457024 134512640 134550932 4293543376 18446744073709551615 4159933448 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.57 Current children cumulated vsize (KiB) 910388 [startup+3.11007 s] /proc/loadavg: 0.85 1.01 1.03 3/109 29972 /proc/meminfo: memFree=897860/2097152 swapFree=2055676/2097144 [pid=29944] ppid=29943 vsize=2376 CPUtime=0 /proc/29944/stat : 29944 (p2cudf-paranoid) S 29943 29944 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 23 0 1 0 415708888 2433024 258 1283457024 134512640 135191968 4294754368 18446744073709551615 4159478414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29944/statm: 594 258 222 166 0 26 0 [pid=29945] ppid=29944 vsize=2380 CPUtime=0.04 /proc/29945/stat : 29945 (p2cudf) S 29944 29944 13759 34823 13904 4202496 374 3245 0 0 0 0 2 2 25 0 1 0 415708888 2437120 269 1283457024 134512640 135191968 4288844496 18446744073709551615 4159445646 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29945/statm: 595 269 231 166 0 27 0 [pid=29961] ppid=29945 vsize=901208 CPUtime=4.46 /proc/29961/stat : 29961 (java) S 29945 29944 13759 34823 13904 4202496 81380 0 0 0 406 40 0 0 18 0 12 0 415708896 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4159919250 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29961/statm: 225302 72778 1744 10 0 222387 0 [pid=29961/tid=29962] ppid=29945 vsize=901208 CPUtime=2.16 /proc/29961/task/29962/stat : 29962 (java) R 29945 29944 13759 34823 13904 4202560 47522 0 0 0 188 28 0 0 17 0 12 0 415708897 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4095494078 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29961/tid=29963] ppid=29945 vsize=901208 CPUtime=0.21 /proc/29961/task/29963/stat : 29963 (java) S 29945 29944 13759 34823 13904 4202560 6747 0 0 0 19 2 0 0 18 0 12 0 415708898 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29964] ppid=29945 vsize=901208 CPUtime=0.19 /proc/29961/task/29964/stat : 29964 (java) S 29945 29944 13759 34823 13904 4202560 7914 0 0 0 19 0 0 0 18 0 12 0 415708898 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29965] ppid=29945 vsize=901208 CPUtime=0 /proc/29961/task/29965/stat : 29965 (java) S 29945 29944 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 16 0 12 0 415708900 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4159933448 0 0 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29966] ppid=29945 vsize=901208 CPUtime=0 /proc/29961/task/29966/stat : 29966 (java) S 29945 29944 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 18 0 12 0 415708900 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29967] ppid=29945 vsize=901208 CPUtime=0 /proc/29961/task/29967/stat : 29967 (java) S 29945 29944 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 415708900 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29968] ppid=29945 vsize=901208 CPUtime=0 /proc/29961/task/29968/stat : 29968 (java) S 29945 29944 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 415708903 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4159940944 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29969] ppid=29945 vsize=901208 CPUtime=1.04 /proc/29961/task/29969/stat : 29969 (java) S 29945 29944 13759 34823 13904 4202560 10813 0 0 0 99 5 0 0 15 0 12 0 415708903 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29970] ppid=29945 vsize=901208 CPUtime=0.81 /proc/29961/task/29970/stat : 29970 (java) S 29945 29944 13759 34823 13904 4202560 7292 0 0 0 79 2 0 0 16 0 12 0 415708903 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29971] ppid=29945 vsize=901208 CPUtime=0 /proc/29961/task/29971/stat : 29971 (java) S 29945 29944 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 415708903 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29972] ppid=29945 vsize=901208 CPUtime=0 /proc/29961/task/29972/stat : 29972 (java) S 29945 29944 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415708903 922836992 72778 1283457024 134512640 134550932 4293543376 18446744073709551615 4159933448 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.5 Current children cumulated vsize (KiB) 905964 [startup+6.30305 s] /proc/loadavg: 0.86 1.01 1.03 3/109 29973 /proc/meminfo: memFree=750688/2097152 swapFree=2055676/2097144 [pid=29944] ppid=29943 vsize=2376 CPUtime=0 /proc/29944/stat : 29944 (p2cudf-paranoid) S 29943 29944 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 23 0 1 0 415708888 2433024 258 1283457024 134512640 135191968 4294754368 18446744073709551615 4159478414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29944/statm: 594 258 222 166 0 26 0 [pid=29945] ppid=29944 vsize=2380 CPUtime=0.04 /proc/29945/stat : 29945 (p2cudf) S 29944 29944 13759 34823 13904 4202496 374 3245 0 0 0 0 2 2 25 0 1 0 415708888 2437120 269 1283457024 134512640 135191968 4288844496 18446744073709551615 4159445646 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29945/statm: 595 269 231 166 0 27 0 [pid=29961] ppid=29945 vsize=901080 CPUtime=9.94 /proc/29961/stat : 29961 (java) S 29945 29944 13759 34823 13904 4202496 113349 0 0 0 944 50 0 0 18 0 12 0 415708896 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4159919250 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29961/statm: 225270 98112 1777 10 0 222355 0 [pid=29961/tid=29962] ppid=29945 vsize=901080 CPUtime=4.53 /proc/29961/task/29962/stat : 29962 (java) R 29945 29944 13759 34823 13904 4202560 47702 0 0 0 424 29 0 0 16 0 12 0 415708897 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4095127876 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29961/tid=29963] ppid=29945 vsize=901080 CPUtime=0.7 /proc/29961/task/29963/stat : 29963 (java) S 29945 29944 13759 34823 13904 4202560 20897 0 0 0 65 5 0 0 16 0 12 0 415708898 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29964] ppid=29945 vsize=901080 CPUtime=0.67 /proc/29961/task/29964/stat : 29964 (java) S 29945 29944 13759 34823 13904 4202560 22603 0 0 0 62 5 0 0 18 0 12 0 415708898 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29965] ppid=29945 vsize=901080 CPUtime=0 /proc/29961/task/29965/stat : 29965 (java) S 29945 29944 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 15 0 12 0 415708900 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4159933448 0 0 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29966] ppid=29945 vsize=901080 CPUtime=0 /proc/29961/task/29966/stat : 29966 (java) S 29945 29944 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 18 0 12 0 415708900 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29967] ppid=29945 vsize=901080 CPUtime=0 /proc/29961/task/29967/stat : 29967 (java) S 29945 29944 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 12 0 415708900 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29968] ppid=29945 vsize=901080 CPUtime=0 /proc/29961/task/29968/stat : 29968 (java) S 29945 29944 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 415708903 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4159940944 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29969] ppid=29945 vsize=901080 CPUtime=2.23 /proc/29961/task/29969/stat : 29969 (java) S 29945 29944 13759 34823 13904 4202560 12750 0 0 0 216 7 0 0 16 0 12 0 415708903 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29970] ppid=29945 vsize=901080 CPUtime=1.78 /proc/29961/task/29970/stat : 29970 (java) S 29945 29944 13759 34823 13904 4202560 8304 0 0 0 176 2 0 0 16 0 12 0 415708903 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29971] ppid=29945 vsize=901080 CPUtime=0 /proc/29961/task/29971/stat : 29971 (java) S 29945 29944 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 415708903 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29972] ppid=29945 vsize=901080 CPUtime=0 /proc/29961/task/29972/stat : 29972 (java) S 29945 29944 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415708903 922705920 98112 1283457024 134512640 134550932 4293543376 18446744073709551615 4159933448 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (KiB) 905836 Solver just ended. Dumping a history of the last processes samples [startup+7.10311 s] /proc/loadavg: 0.86 1.01 1.03 3/109 29973 /proc/meminfo: memFree=742380/2097152 swapFree=2055676/2097144 [pid=29944] ppid=29943 vsize=2376 CPUtime=0 /proc/29944/stat : 29944 (p2cudf-paranoid) S 29943 29944 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 23 0 1 0 415708888 2433024 258 1283457024 134512640 135191968 4294754368 18446744073709551615 4159478414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29944/statm: 594 258 222 166 0 26 0 [pid=29945] ppid=29944 vsize=2380 CPUtime=0.04 /proc/29945/stat : 29945 (p2cudf) S 29944 29944 13759 34823 13904 4202496 374 3245 0 0 0 0 2 2 25 0 1 0 415708888 2437120 269 1283457024 134512640 135191968 4288844496 18446744073709551615 4159445646 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29945/statm: 595 269 231 166 0 27 0 [pid=29961] ppid=29945 vsize=901720 CPUtime=11.12 /proc/29961/stat : 29961 (java) S 29945 29944 13759 34823 13904 4202496 119016 0 0 0 1062 50 0 0 18 0 14 0 415708896 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159919250 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29961/statm: 225430 103282 1794 10 0 222515 0 [pid=29961/tid=29962] ppid=29945 vsize=901720 CPUtime=4.85 /proc/29961/task/29962/stat : 29962 (java) S 29945 29944 13759 34823 13904 4202560 47720 0 0 0 456 29 0 0 17 0 14 0 415708897 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29963] ppid=29945 vsize=901720 CPUtime=0.94 /proc/29961/task/29963/stat : 29963 (java) S 29945 29944 13759 34823 13904 4202560 24223 0 0 0 89 5 0 0 16 0 14 0 415708898 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29964] ppid=29945 vsize=901720 CPUtime=0.85 /proc/29961/task/29964/stat : 29964 (java) S 29945 29944 13759 34823 13904 4202560 24856 0 0 0 80 5 0 0 16 0 14 0 415708898 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29965] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29965/stat : 29965 (java) S 29945 29944 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 15 0 14 0 415708900 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159933448 0 0 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29966] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29966/stat : 29966 (java) S 29945 29944 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 18 0 14 0 415708900 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29967] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29967/stat : 29967 (java) S 29945 29944 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 14 0 415708900 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29968] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29968/stat : 29968 (java) S 29945 29944 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 14 0 415708903 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159940944 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29969] ppid=29945 vsize=901720 CPUtime=2.39 /proc/29961/task/29969/stat : 29969 (java) S 29945 29944 13759 34823 13904 4202560 12769 0 0 0 232 7 0 0 15 0 14 0 415708903 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29970] ppid=29945 vsize=901720 CPUtime=2.05 /proc/29961/task/29970/stat : 29970 (java) S 29945 29944 13759 34823 13904 4202560 8346 0 0 0 203 2 0 0 16 0 14 0 415708903 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29971] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29971/stat : 29971 (java) S 29945 29944 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 14 0 415708903 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29972] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29972/stat : 29972 (java) S 29945 29944 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 14 0 415708903 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159933448 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.16 Current children cumulated vsize (KiB) 906476 [startup+7.50712 s] /proc/loadavg: 0.86 1.01 1.03 3/109 29973 /proc/meminfo: memFree=742380/2097152 swapFree=2055676/2097144 [pid=29944] ppid=29943 vsize=2376 CPUtime=0 /proc/29944/stat : 29944 (p2cudf-paranoid) S 29943 29944 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 23 0 1 0 415708888 2433024 258 1283457024 134512640 135191968 4294754368 18446744073709551615 4159478414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29944/statm: 594 258 222 166 0 26 0 [pid=29945] ppid=29944 vsize=2380 CPUtime=0.04 /proc/29945/stat : 29945 (p2cudf) S 29944 29944 13759 34823 13904 4202496 374 3245 0 0 0 0 2 2 25 0 1 0 415708888 2437120 269 1283457024 134512640 135191968 4288844496 18446744073709551615 4159445646 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29945/statm: 595 269 231 166 0 27 0 [pid=29961] ppid=29945 vsize=901720 CPUtime=11.12 /proc/29961/stat : 29961 (java) S 29945 29944 13759 34823 13904 4202496 119016 0 0 0 1062 50 0 0 18 0 14 0 415708896 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159919250 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29961/statm: 225430 103282 1794 10 0 222515 0 [pid=29961/tid=29962] ppid=29945 vsize=901720 CPUtime=4.85 /proc/29961/task/29962/stat : 29962 (java) S 29945 29944 13759 34823 13904 4202560 47720 0 0 0 456 29 0 0 17 0 14 0 415708897 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29963] ppid=29945 vsize=901720 CPUtime=0.94 /proc/29961/task/29963/stat : 29963 (java) S 29945 29944 13759 34823 13904 4202560 24223 0 0 0 89 5 0 0 16 0 14 0 415708898 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29964] ppid=29945 vsize=901720 CPUtime=0.85 /proc/29961/task/29964/stat : 29964 (java) S 29945 29944 13759 34823 13904 4202560 24856 0 0 0 80 5 0 0 16 0 14 0 415708898 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29965] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29965/stat : 29965 (java) S 29945 29944 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 15 0 14 0 415708900 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159933448 0 0 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29966] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29966/stat : 29966 (java) S 29945 29944 13759 34823 13904 4202560 9 0 0 0 0 0 0 0 18 0 14 0 415708900 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29967] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29967/stat : 29967 (java) S 29945 29944 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 14 0 415708900 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29968] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29968/stat : 29968 (java) S 29945 29944 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 14 0 415708903 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159940944 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29969] ppid=29945 vsize=901720 CPUtime=2.39 /proc/29961/task/29969/stat : 29969 (java) S 29945 29944 13759 34823 13904 4202560 12769 0 0 0 232 7 0 0 15 0 14 0 415708903 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29970] ppid=29945 vsize=901720 CPUtime=2.05 /proc/29961/task/29970/stat : 29970 (java) S 29945 29944 13759 34823 13904 4202560 8346 0 0 0 203 2 0 0 16 0 14 0 415708903 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 1 0 0 0 [pid=29961/tid=29971] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29971/stat : 29971 (java) S 29945 29944 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 14 0 415708903 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159932656 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 [pid=29961/tid=29972] ppid=29945 vsize=901720 CPUtime=0 /proc/29961/task/29972/stat : 29972 (java) S 29945 29944 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 14 0 415708903 923361280 103282 1283457024 134512640 134550932 4293543376 18446744073709551615 4159933448 0 4 0 16800975 18446612132853668864 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.16 Current children cumulated vsize (KiB) 906476 [startup+7.61421 s] /proc/loadavg: 0.86 1.01 1.03 2/98 29975 /proc/meminfo: memFree=971060/2097152 swapFree=2055676/2097144 [pid=29944] ppid=29943 vsize=2376 CPUtime=0 /proc/29944/stat : 29944 (p2cudf-paranoid) S 29943 29944 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 23 0 1 0 415708888 2433024 258 1283457024 134512640 135191968 4294754368 18446744073709551615 4159478414 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29944/statm: 594 258 222 166 0 26 0 [pid=29945] ppid=29944 vsize=2380 CPUtime=0.04 /proc/29945/stat : 29945 (p2cudf) S 29944 29944 13759 34823 13904 4202496 374 3245 0 0 0 0 2 2 25 0 1 0 415708888 2437120 269 1283457024 134512640 135191968 4288844496 18446744073709551615 4159445646 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29945/statm: 595 269 231 166 0 27 0 [pid=29961] ppid=29945 vsize=0 CPUtime=11.2 /proc/29961/stat : 29961 (java) R 29945 29944 13759 34823 13904 4203524 119019 0 0 0 1062 58 0 0 18 0 1 0 415708896 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 /proc/29961/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 11.24 Current children cumulated vsize (KiB) 4756 Child status: 0 Real time (s): 7.6665 CPU time (s): 11.3007 CPU user time (s): 10.6447 CPU system time (s): 0.656041 CPU usage (%): 147.404 Max. virtual memory (cumulated for all children) (KiB): 910396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.6447 system time used= 0.656041 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 123017 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 807 involuntary context switches= 463 runsolver used 0 second user time and 0.004 second system time The end