runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3288284-1304050766/watcher-3288284-1304050766 -o /tmp/evaluation-result-3288284-1304050766/solver-3288284-1304050766 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3288284-1304050766.cnf 2063736095 4800 15500 4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.08 8.11 8.06 6/182 454
/proc/meminfo: memFree=22956272/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[startup+0.0163559 s]
/proc/loadavg: 8.08 8.11 8.06 6/182 454
/proc/meminfo: memFree=22956272/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100345 s]
/proc/loadavg: 8.08 8.11 8.06 6/182 454
/proc/meminfo: memFree=22956272/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300498 s]
/proc/loadavg: 8.08 8.11 8.06 6/182 454
/proc/meminfo: memFree=22956272/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.705907 s]
/proc/loadavg: 8.08 8.11 8.06 6/182 454
/proc/meminfo: memFree=22956272/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50109 s]
/proc/loadavg: 8.08 8.11 8.06 9/188 469
/proc/meminfo: memFree=22593284/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=579684 CPUtime=5.07 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 164401 0 0 0 458 49 0 0 18 0 5 0 595307306 593596416 100272 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 144921 100272 350 389 0 140671 0
[pid=455/tid=457] ppid=454 vsize=579684 CPUtime=1.24 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 38161 0 0 0 112 12 0 0 18 0 5 0 595307325 593596416 100272 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917219700 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=455/tid=466] ppid=454 vsize=579684 CPUtime=1.19 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 33767 0 0 0 106 13 0 0 18 0 5 0 595307328 593596416 100272 33554432000 4194304 5787044 140733195403792 18446744073709551615 4390800 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=467] ppid=454 vsize=579684 CPUtime=1.16 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 32945 0 0 0 108 8 0 0 18 0 5 0 595307333 593596416 100272 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917220021 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=579684 CPUtime=1.13 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 33337 0 0 0 101 12 0 0 18 0 5 0 595307337 593596416 100272 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917220021 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 588384
[startup+3.1008 s]
/proc/loadavg: 8.08 8.11 8.06 9/188 469
/proc/meminfo: memFree=22489372/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=658164 CPUtime=11.38 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 187651 0 0 0 1072 66 0 0 18 0 5 0 595307306 673959936 123522 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 164541 123522 351 389 0 160291 0
[pid=455/tid=457] ppid=454 vsize=658164 CPUtime=2.83 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 44012 0 0 0 269 14 0 0 19 0 5 0 595307325 673959936 123522 33554432000 4194304 5787044 140733195403792 18446744073709551615 4345937 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=455/tid=466] ppid=454 vsize=658164 CPUtime=2.76 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 38251 0 0 0 259 17 0 0 19 0 5 0 595307328 673959936 123522 33554432000 4194304 5787044 140733195403792 18446744073709551615 4278498 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=467] ppid=454 vsize=658164 CPUtime=2.74 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 39152 0 0 0 262 12 0 0 20 0 5 0 595307333 673959936 123522 33554432000 4194304 5787044 140733195403792 18446744073709551615 4345946 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=658164 CPUtime=2.71 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 40045 0 0 0 254 17 0 0 19 0 5 0 595307337 673959936 123522 33554432000 4194304 5787044 140733195403792 18446744073709551615 4278498 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (KiB) 666864
[startup+6.30121 s]
/proc/loadavg: 8.07 8.11 8.06 9/188 469
/proc/meminfo: memFree=22459120/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=658164 CPUtime=24.16 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 187652 0 0 0 2350 66 0 0 18 0 5 0 595307306 673959936 123523 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 164541 123523 352 389 0 160291 0
[pid=455/tid=457] ppid=454 vsize=658164 CPUtime=6.03 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 44013 0 0 0 589 14 0 0 25 0 5 0 595307325 673959936 123523 33554432000 4194304 5787044 140733195403792 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=455/tid=466] ppid=454 vsize=658164 CPUtime=5.94 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 38251 0 0 0 577 17 0 0 25 0 5 0 595307328 673959936 123523 33554432000 4194304 5787044 140733195403792 18446744073709551615 18446744073699065955 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=467] ppid=454 vsize=658164 CPUtime=5.94 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 39152 0 0 0 582 12 0 0 25 0 5 0 595307333 673959936 123523 33554432000 4194304 5787044 140733195403792 18446744073709551615 4335666 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=658164 CPUtime=5.91 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 40045 0 0 0 573 18 0 0 25 0 5 0 595307337 673959936 123523 33554432000 4194304 5787044 140733195403792 18446744073709551615 4335666 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.16
Current children cumulated vsize (KiB) 666864
[startup+12.701 s]
/proc/loadavg: 8.15 8.13 8.06 9/188 469
/proc/meminfo: memFree=22333260/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=823796 CPUtime=49.71 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 248621 0 0 0 4890 81 0 0 18 0 5 0 595307306 843567104 154836 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 205949 154836 418 389 0 201699 0
[pid=455/tid=457] ppid=454 vsize=823796 CPUtime=12.43 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 59113 0 0 0 1225 18 0 0 25 0 5 0 595307325 843567104 154836 33554432000 4194304 5787044 140733195403792 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=455/tid=466] ppid=454 vsize=823796 CPUtime=12.3 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 53941 0 0 0 1208 22 0 0 25 0 5 0 595307328 843567104 154836 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591024 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=467] ppid=454 vsize=823796 CPUtime=12.33 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 47583 0 0 0 1218 15 0 0 18 0 5 0 595307333 843567104 154836 33554432000 4194304 5787044 140733195403792 18446744073709551615 260905061378 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=823796 CPUtime=12.31 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 61793 0 0 0 1209 22 0 0 19 0 5 0 595307337 843567104 154836 33554432000 4194304 5787044 140733195403792 18446744073709551615 4254593 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (KiB) 832496
[startup+25.5007 s]
/proc/loadavg: 8.11 8.12 8.06 9/188 469
/proc/meminfo: memFree=22325940/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=825664 CPUtime=100.81 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 250220 0 0 0 9985 96 0 0 18 0 5 0 595307306 845479936 156435 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 206416 156435 418 389 0 202166 0
[pid=455/tid=457] ppid=454 vsize=825664 CPUtime=25.23 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 59542 0 0 0 2502 21 0 0 25 0 5 0 595307325 845479936 156435 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=455/tid=466] ppid=454 vsize=825664 CPUtime=25.02 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 54302 0 0 0 2476 26 0 0 25 0 5 0 595307328 845479936 156435 33554432000 4194304 5787044 140733195403792 18446744073709551615 4254581 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=467] ppid=454 vsize=825664 CPUtime=25.13 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 47992 0 0 0 2494 19 0 0 21 0 5 0 595307333 845479936 156435 33554432000 4194304 5787044 140733195403792 18446744073709551615 260905499167 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=825664 CPUtime=25.09 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 62193 0 0 0 2483 26 0 0 21 0 5 0 595307337 845479936 156435 33554432000 4194304 5787044 140733195403792 18446744073709551615 260905499167 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.81
Current children cumulated vsize (KiB) 834364
[startup+51.101 s]
/proc/loadavg: 8.07 8.11 8.06 9/188 471
/proc/meminfo: memFree=22298968/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=827792 CPUtime=203.03 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 253720 0 0 0 20179 124 0 0 18 0 5 0 595307306 847659008 159935 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 206948 159935 418 389 0 202698 0
[pid=455/tid=457] ppid=454 vsize=827792 CPUtime=50.83 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 60126 0 0 0 5057 26 0 0 25 0 5 0 595307325 847659008 159935 33554432000 4194304 5787044 140733195403792 18446744073709551615 4254537 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=455/tid=466] ppid=454 vsize=827792 CPUtime=50.47 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 56001 0 0 0 5013 34 0 0 22 0 5 0 595307328 847659008 159935 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591529 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=467] ppid=454 vsize=827792 CPUtime=50.71 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 48546 0 0 0 5044 27 0 0 20 0 5 0 595307333 847659008 159935 33554432000 4194304 5787044 140733195403792 18446744073709551615 260905499167 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=827792 CPUtime=50.67 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 62856 0 0 0 5035 32 0 0 18 0 5 0 595307337 847659008 159935 33554432000 4194304 5787044 140733195403792 18446744073709551615 5527594 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.03
Current children cumulated vsize (KiB) 836492
[startup+102.301 s]
/proc/loadavg: 8.07 8.10 8.06 9/188 472
/proc/meminfo: memFree=22250916/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=836928 CPUtime=407.47 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 260576 0 0 0 40577 170 0 0 18 0 5 0 595307306 857014272 166711 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 209232 166711 418 389 0 204982 0
[pid=455/tid=457] ppid=454 vsize=836928 CPUtime=102.04 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 62403 0 0 0 10170 34 0 0 25 0 5 0 595307325 857014272 166711 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=455/tid=466] ppid=454 vsize=836928 CPUtime=101.37 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 57052 0 0 0 10087 50 0 0 18 0 5 0 595307328 857014272 166711 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=467] ppid=454 vsize=836928 CPUtime=101.88 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 51024 0 0 0 10150 38 0 0 20 0 5 0 595307333 857014272 166711 33554432000 4194304 5787044 140733195403792 18446744073709551615 260905499167 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=836928 CPUtime=101.86 cores=0,2,4,6
################
# More data... #
################
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 86002 0 0 0 81917 131 0 0 25 0 5 0 595307328 1477189632 301549 33554432000 4194304 5787044 140733195403792 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=455/tid=467] ppid=454 vsize=1442568 CPUtime=821.04 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 82710 0 0 0 81991 113 0 0 25 0 5 0 595307333 1477189632 301549 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591760 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=1442568 CPUtime=821.1 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 107352 0 0 0 81999 111 0 0 25 0 5 0 595307337 1477189632 301549 33554432000 4194304 5787044 140733195403792 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3282.76
Current children cumulated vsize (KiB) 1451268
[startup+882.307 s]
/proc/loadavg: 8.18 8.13 8.09 9/188 493
/proc/meminfo: memFree=21441128/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=1442568 CPUtime=3522.45 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 400816 0 0 0 351776 469 0 0 18 0 5 0 595307306 1477189632 301578 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 360642 301578 418 389 0 356392 0
[pid=455/tid=457] ppid=454 vsize=1442568 CPUtime=879.47 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 98538 0 0 0 87847 100 0 0 25 0 5 0 595307325 1477189632 301578 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=466] ppid=454 vsize=1442568 CPUtime=880.48 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 86005 0 0 0 87913 135 0 0 25 0 5 0 595307328 1477189632 301578 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=455/tid=467] ppid=454 vsize=1442568 CPUtime=881.04 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 82728 0 0 0 87988 116 0 0 25 0 5 0 595307333 1477189632 301578 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=1442568 CPUtime=881.11 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 107354 0 0 0 87997 114 0 0 25 0 5 0 595307337 1477189632 301578 33554432000 4194304 5787044 140733195403792 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3522.45
Current children cumulated vsize (KiB) 1451268
[startup+942.301 s]
/proc/loadavg: 8.17 8.13 8.09 9/188 495
/proc/meminfo: memFree=21368052/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=1450764 CPUtime=3762.08 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 418805 0 0 0 375713 495 0 0 18 0 5 0 595307306 1485582336 319567 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 362691 319567 418 389 0 358441 0
[pid=455/tid=457] ppid=454 vsize=1450764 CPUtime=939.14 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 103015 0 0 0 93807 107 0 0 25 0 5 0 595307325 1485582336 319567 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=466] ppid=454 vsize=1450764 CPUtime=940.47 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 89735 0 0 0 93907 140 0 0 25 0 5 0 595307328 1485582336 319567 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591741 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=455/tid=467] ppid=454 vsize=1450764 CPUtime=941.02 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 87530 0 0 0 93979 123 0 0 25 0 5 0 595307333 1485582336 319567 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=1450764 CPUtime=941.11 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 112334 0 0 0 93991 120 0 0 25 0 5 0 595307337 1485582336 319567 33554432000 4194304 5787044 140733195403792 18446744073709551615 260905054917 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.08
Current children cumulated vsize (KiB) 1459464
[startup+1002.3 s]
/proc/loadavg: 8.06 8.11 8.09 9/188 496
/proc/meminfo: memFree=21275760/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=1599036 CPUtime=4001.73 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 441651 0 0 0 399651 522 0 0 18 0 5 0 595307306 1637412864 342413 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 399759 342413 418 389 0 395509 0
[pid=455/tid=457] ppid=454 vsize=1599036 CPUtime=998.81 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 109507 0 0 0 99766 115 0 0 25 0 5 0 595307325 1637412864 342413 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=466] ppid=454 vsize=1599036 CPUtime=1000.46 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 93985 0 0 0 99899 147 0 0 25 0 5 0 595307328 1637412864 342413 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591741 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=455/tid=467] ppid=454 vsize=1599036 CPUtime=1001.01 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 94102 0 0 0 99971 130 0 0 25 0 5 0 595307333 1637412864 342413 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591280 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=1599036 CPUtime=1001.11 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 117866 0 0 0 99985 126 0 0 25 0 5 0 595307337 1637412864 342413 33554432000 4194304 5787044 140733195403792 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4001.73
Current children cumulated vsize (KiB) 1607736
[startup+1062.3 s]
/proc/loadavg: 8.07 8.10 8.09 9/188 531
/proc/meminfo: memFree=22089088/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=1602376 CPUtime=4241.22 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 447352 0 0 0 423589 533 0 0 18 0 5 0 595307306 1640833024 347633 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 400594 347633 418 389 0 396344 0
[pid=455/tid=457] ppid=454 vsize=1602376 CPUtime=1058.51 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 110517 0 0 0 105732 119 0 0 25 0 5 0 595307325 1640833024 347633 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=466] ppid=454 vsize=1602376 CPUtime=1060.47 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 94957 0 0 0 105897 150 0 0 25 0 5 0 595307328 1640833024 347633 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591312 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=455/tid=467] ppid=454 vsize=1602376 CPUtime=1060.86 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 95242 0 0 0 105954 132 0 0 25 0 5 0 595307333 1640833024 347633 33554432000 4194304 5787044 140733195403792 18446744073709551615 4254550 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=469] ppid=454 vsize=1602376 CPUtime=1061.04 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 120445 0 0 0 105976 128 0 0 25 0 5 0 595307337 1640833024 347633 33554432000 4194304 5787044 140733195403792 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4241.22
Current children cumulated vsize (KiB) 1611076
[startup+1122.3 s]
/proc/loadavg: 8.07 8.09 8.09 9/188 533
/proc/meminfo: memFree=22046552/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=1605904 CPUtime=4480.78 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 448859 0 0 0 447533 545 0 0 18 0 5 0 595307306 1644445696 348651 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 401476 348651 418 389 0 397226 0
[pid=455/tid=457] ppid=454 vsize=1605904 CPUtime=1118.47 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 111370 0 0 0 111724 123 0 0 25 0 5 0 595307325 1644445696 348651 33554432000 4194304 5787044 140733195403792 18446744073709551615 260905499167 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=455/tid=466] ppid=454 vsize=1605904 CPUtime=1120.11 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 95598 0 0 0 111857 154 0 0 25 0 5 0 595307328 1644445696 348651 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=467] ppid=454 vsize=1605904 CPUtime=1120.82 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 95255 0 0 0 111947 135 0 0 25 0 5 0 595307333 1644445696 348651 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591619 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=1605904 CPUtime=1121.04 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 120445 0 0 0 111974 130 0 0 25 0 5 0 595307337 1644445696 348651 33554432000 4194304 5787044 140733195403792 18446744073709551615 4255030 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4480.78
Current children cumulated vsize (KiB) 1614604
[startup+1182.3 s]
/proc/loadavg: 8.29 8.14 8.10 10/189 537
/proc/meminfo: memFree=21988328/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=1605904 CPUtime=4719.85 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 448873 0 0 0 471431 554 0 0 18 0 5 0 595307306 1644445696 348665 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 401476 348665 418 389 0 397226 0
[pid=455/tid=457] ppid=454 vsize=1605904 CPUtime=1178.47 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 111371 0 0 0 117721 126 0 0 25 0 5 0 595307325 1644445696 348665 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=455/tid=466] ppid=454 vsize=1605904 CPUtime=1179.33 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 95601 0 0 0 117777 156 0 0 25 0 5 0 595307328 1644445696 348665 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=467] ppid=454 vsize=1605904 CPUtime=1180.8 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 95265 0 0 0 117943 137 0 0 25 0 5 0 595307333 1644445696 348665 33554432000 4194304 5787044 140733195403792 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=1605904 CPUtime=1180.93 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 120445 0 0 0 117961 132 0 0 25 0 5 0 595307337 1644445696 348665 33554432000 4194304 5787044 140733195403792 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4719.85
Current children cumulated vsize (KiB) 1614604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202.5 s]
/proc/loadavg: 8.34 8.16 8.11 9/188 538
/proc/meminfo: memFree=21990564/32950928 swapFree=67071984/67111528
[pid=454] ppid=452 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/454/stat : 454 (prissAuto.sh) S 452 454 30862 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 595307306 8908800 251 33554432000 4194304 4922060 140737114000192 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/454/statm: 2175 251 211 178 0 68 0
[pid=455] ppid=454 vsize=1605904 CPUtime=4800.3 cores=0,2,4,6
/proc/455/stat : 455 (priss) S 454 454 30862 0 -1 4202496 448890 0 0 0 479472 558 0 0 18 0 5 0 595307306 1644445696 348682 33554432000 4194304 5787044 140733195403792 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/455/statm: 401476 348682 418 389 0 397226 0
[pid=455/tid=457] ppid=454 vsize=1605904 CPUtime=1198.64 cores=0,2,4,6
/proc/455/task/457/stat : 457 (priss) R 454 454 30862 0 -1 4202560 111372 0 0 0 119738 126 0 0 25 0 5 0 595307325 1644445696 348682 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=455/tid=466] ppid=454 vsize=1605904 CPUtime=1199.2 cores=0,2,4,6
/proc/455/task/466/stat : 466 (priss) R 454 454 30862 0 -1 4202560 95601 0 0 0 119763 157 0 0 25 0 5 0 595307328 1644445696 348682 33554432000 4194304 5787044 140733195403792 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=455/tid=467] ppid=454 vsize=1605904 CPUtime=1201 cores=0,2,4,6
/proc/455/task/467/stat : 467 (priss) R 454 454 30862 0 -1 4202560 95268 0 0 0 119962 138 0 0 25 0 5 0 595307333 1644445696 348682 33554432000 4194304 5787044 140733195403792 18446744073709551615 4238860 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=455/tid=469] ppid=454 vsize=1605904 CPUtime=1201.13 cores=0,2,4,6
/proc/455/task/469/stat : 469 (priss) R 454 454 30862 0 -1 4202560 120458 0 0 0 119981 132 0 0 25 0 5 0 595307337 1644445696 348682 33554432000 4194304 5787044 140733195403792 18446744073709551615 5527610 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1614604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 454 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 4800.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1202.52
CPU time (s): 4800.3
CPU user time (s): 4794.72
CPU system time (s): 5.58
CPU usage (%): 399.188
Max. virtual memory (cumulated for all children) (KiB): 1614604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331
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= 5
involuntary context switches= 2
runsolver used 1.84872 second user time and 4.72128 second system time
The end