runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3704429-1338102568/watcher-3704429-1338102568 -o /tmp/evaluation-result-3704429-1338102568/solver-3704429-1338102568 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704429-1338102568.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.00 2.00 2.00 4/177 20936
/proc/meminfo: memFree=28026928/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=4632 CPUtime=0 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) R 20934 20936 18256 0 -1 4202496 577 0 0 0 0 0 0 0 20 0 1 0 276385251 4743168 530 33554432000 4194304 5965102 140737020783040 140733273429208 4396446 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 1158 530 166 433 0 634 0
[startup+0.022774 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 20936
/proc/meminfo: memFree=28026928/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=5296 CPUtime=0.02 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) R 20934 20936 18256 0 -1 4202496 818 0 0 0 2 0 0 0 20 0 1 0 276385251 5423104 771 33554432000 4194304 5965102 140737020783040 140733273429208 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 1324 772 224 433 0 800 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5296
[startup+0.10016 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 20936
/proc/meminfo: memFree=28026928/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=85840 CPUtime=0.09 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 2345 0 0 0 9 0 0 0 20 0 2 0 276385251 87900160 2115 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 21460 2115 190 433 0 21024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85840
[startup+0.300115 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 20936
/proc/meminfo: memFree=28026928/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=85840 CPUtime=0.29 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 2587 0 0 0 29 0 0 0 20 0 2 0 276385251 87900160 2357 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 21460 2357 190 433 0 21024 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85840
[startup+0.700115 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 20936
/proc/meminfo: memFree=28026928/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=85840 CPUtime=0.69 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 3099 0 0 0 69 0 0 0 20 0 2 0 276385251 87900160 2869 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 21460 2869 190 433 0 21024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85840
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20938
/proc/meminfo: memFree=28014264/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=85840 CPUtime=1.48 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 4014 0 0 0 148 0 0 0 20 0 2 0 276385251 87900160 3784 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 21460 3784 190 433 0 21024 0
[pid=20936/tid=20938] ppid=20934 vsize=85840 CPUtime=1.45 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 2625 0 0 0 145 0 0 0 20 0 2 0 276385255 87900160 3784 33554432000 4194304 5965102 140737020783040 139766085650232 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85840
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20938
/proc/meminfo: memFree=28007808/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=85840 CPUtime=3.08 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 4766 0 0 0 308 0 0 0 20 0 2 0 276385251 87900160 4536 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 21460 4536 190 433 0 21024 0
[pid=20936/tid=20938] ppid=20934 vsize=85840 CPUtime=3.04 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 3377 0 0 0 304 0 0 0 20 0 2 0 276385255 87900160 4536 33554432000 4194304 5965102 140737020783040 139766085650472 4401026 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85840
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20938
/proc/meminfo: memFree=27999500/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=86056 CPUtime=6.29 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 6453 0 0 0 628 1 0 0 20 0 2 0 276385251 88121344 6223 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 21514 6223 190 433 0 21078 0
[pid=20936/tid=20938] ppid=20934 vsize=86056 CPUtime=6.24 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 5064 0 0 0 624 0 0 0 20 0 2 0 276385255 88121344 6223 33554432000 4194304 5965102 140737020783040 139766085650360 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86056
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20938
/proc/meminfo: memFree=27976204/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=86056 CPUtime=12.69 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 9796 0 0 0 1267 2 0 0 20 0 2 0 276385251 88121344 9566 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 21514 9566 190 433 0 21078 0
[pid=20936/tid=20938] ppid=20934 vsize=86056 CPUtime=12.62 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 8407 0 0 0 1260 2 0 0 20 0 2 0 276385255 88121344 9566 33554432000 4194304 5965102 140737020783040 139766085650472 4401582 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86056
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20938
/proc/meminfo: memFree=27945312/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=86164 CPUtime=25.48 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 14629 0 0 0 2545 3 0 0 20 0 2 0 276385251 88231936 14399 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 21541 14399 190 433 0 21105 0
[pid=20936/tid=20938] ppid=20934 vsize=86164 CPUtime=25.39 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 13240 0 0 0 2536 3 0 0 20 0 2 0 276385255 88231936 14399 33554432000 4194304 5965102 140737020783040 139766085650472 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86164
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20941
/proc/meminfo: memFree=27917976/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=151860 CPUtime=51.08 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 19330 0 0 0 5103 5 0 0 20 0 2 0 276385251 155504640 19100 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 37965 19100 190 433 0 37529 0
[pid=20936/tid=20938] ppid=20934 vsize=151860 CPUtime=50.92 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 17941 0 0 0 5087 5 0 0 20 0 2 0 276385255 155504640 19100 33554432000 4194304 5965102 140737020783040 139766085650472 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 151860
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20942
/proc/meminfo: memFree=27884676/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=151860 CPUtime=102.28 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 26778 0 0 0 10219 9 0 0 20 0 2 0 276385251 155504640 26548 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 37965 26548 190 433 0 37529 0
[pid=20936/tid=20938] ppid=20934 vsize=151860 CPUtime=102 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 25389 0 0 0 10191 9 0 0 20 0 2 0 276385255 155504640 26548 33554432000 4194304 5965102 140737020783040 139766085650424 4401582 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 151860
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20942
/proc/meminfo: memFree=27827544/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=217636 CPUtime=162.22 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 34683 0 0 0 16207 15 0 0 20 0 2 0 276385251 222859264 34550 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 54409 34550 190 433 0 53973 0
[pid=20936/tid=20938] ppid=20934 vsize=217636 CPUtime=161.79 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 33294 0 0 0 16162 17 0 0 20 0 2 0 276385255 222859264 34550 33554432000 4194304 5965102 140737020783040 139766085650424 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 217636
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20942
/proc/meminfo: memFree=27794872/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=217636 CPUtime=222.19 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 35492 0 0 0 22203 16 0 0 20 0 2 0 276385251 222859264 35840 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 54409 35840 190 433 0 53973 0
[pid=20936/tid=20938] ppid=20934 vsize=217636 CPUtime=221.62 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 34103 0 0 0 22144 18 0 0 20 0 2 0 276385255 222859264 35840 33554432000 4194304 5965102 140737020783040 139766085650424 4389750 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 217636
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20942
/proc/meminfo: memFree=27774928/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=217636 CPUtime=282.18 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 35492 0 0 0 28202 16 0 0 20 0 2 0 276385251 222859264 35840 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 54409 35840 190 433 0 53973 0
[pid=20936/tid=20938] ppid=20934 vsize=217636 CPUtime=281.47 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 34103 0 0 0 28128 19 0 0 20 0 2 0 276385255 222859264 35840 33554432000 4194304 5965102 140737020783040 139766085650424 4382742 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 217636
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20942
/proc/meminfo: memFree=27736612/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=218068 CPUtime=342.17 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 45155 0 0 0 34193 24 0 0 20 0 2 0 276385251 223301632 45503 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 54517 45503 190 433 0 54081 0
[pid=20936/tid=20938] ppid=20934 vsize=218068 CPUtime=341.31 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 43766 0 0 0 34102 29 0 0 20 0 2 0 276385255 223301632 45503 33554432000 4194304 5965102 140737020783040 139766085650424 4401155 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 218068
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20943
/proc/meminfo: memFree=27727396/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=218716 CPUtime=402.13 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 47327 0 0 0 40188 25 0 0 20 0 2 0 276385251 223965184 47736 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 54679 47736 190 433 0 54243 0
[pid=20936/tid=20938] ppid=20934 vsize=218716 CPUtime=401.14 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 45938 0 0 0 40083 31 0 0 20 0 2 0 276385255 223965184 47736 33554432000 4194304 5965102 140737020783040 139766085650424 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 218716
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20943
/proc/meminfo: memFree=27716352/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=218716 CPUtime=462.13 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20991
/proc/meminfo: memFree=27537932/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=358248 CPUtime=1421.94 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 78938 0 0 0 142146 48 0 0 20 0 2 0 276385251 366845952 79591 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89562 79591 190 433 0 89126 0
[pid=20936/tid=20938] ppid=20934 vsize=358248 CPUtime=1418.49 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 77549 0 0 0 141780 69 0 0 20 0 2 0 276385255 366845952 79591 33554432000 4194304 5965102 140737020783040 139766085650424 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 358248
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20991
/proc/meminfo: memFree=27516396/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1481.92 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84232 0 0 0 148139 53 0 0 20 0 2 0 276385251 367620096 84885 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84885 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1478.33 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82843 0 0 0 147758 75 0 0 20 0 2 0 276385255 367620096 84885 33554432000 4194304 5965102 140737020783040 139766085650424 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 359004
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20991
/proc/meminfo: memFree=27480992/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1541.91 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84240 0 0 0 154138 53 0 0 20 0 2 0 276385251 367620096 84893 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84893 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1538.18 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82851 0 0 0 153742 76 0 0 20 0 2 0 276385255 367620096 84893 33554432000 4194304 5965102 140737020783040 139766085650424 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 359004
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20991
/proc/meminfo: memFree=27472064/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1601.91 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84240 0 0 0 160138 53 0 0 20 0 2 0 276385251 367620096 84893 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84893 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1598.02 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82851 0 0 0 159725 77 0 0 20 0 2 0 276385255 367620096 84893 33554432000 4194304 5965102 140737020783040 139766085650424 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 359004
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20992
/proc/meminfo: memFree=27454504/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1661.89 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84247 0 0 0 166136 53 0 0 20 0 2 0 276385251 367620096 84961 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84961 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1657.86 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82858 0 0 0 165708 78 0 0 20 0 2 0 276385255 367620096 84961 33554432000 4194304 5965102 140737020783040 139766085650424 4382742 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 359004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20992
/proc/meminfo: memFree=27434412/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1721.88 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84249 0 0 0 172135 53 0 0 20 0 2 0 276385251 367620096 84996 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84996 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1717.71 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82860 0 0 0 171692 79 0 0 20 0 2 0 276385255 367620096 84996 33554432000 4194304 5965102 140737020783040 139766085650424 4401096 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 359004
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 20992
/proc/meminfo: memFree=27434164/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1781.87 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84249 0 0 0 178134 53 0 0 20 0 2 0 276385251 367620096 84996 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84996 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1777.55 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82860 0 0 0 177675 80 0 0 20 0 2 0 276385255 367620096 84996 33554432000 4194304 5965102 140737020783040 139766085650424 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 359004
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20992
/proc/meminfo: memFree=27434412/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1791.47 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84249 0 0 0 179094 53 0 0 20 0 2 0 276385251 367620096 84996 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84996 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1787.14 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82860 0 0 0 178634 80 0 0 20 0 2 0 276385255 367620096 84996 33554432000 4194304 5965102 140737020783040 139766085650424 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 359004
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20992
/proc/meminfo: memFree=27434412/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1794.67 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84249 0 0 0 179414 53 0 0 20 0 2 0 276385251 367620096 84996 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84996 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1790.33 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82860 0 0 0 178953 80 0 0 20 0 2 0 276385255 367620096 84996 33554432000 4194304 5965102 140737020783040 139766085650424 4401107 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 359004
[startup+1798.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20992
/proc/meminfo: memFree=27433172/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1797.87 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84249 0 0 0 179734 53 0 0 20 0 2 0 276385251 367620096 84996 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84996 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1793.51 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82860 0 0 0 179271 80 0 0 20 0 2 0 276385255 367620096 84996 33554432000 4194304 5965102 140737020783040 139766085650424 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 359004
[startup+1799.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20992
/proc/meminfo: memFree=27431684/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1798.67 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84249 0 0 0 179814 53 0 0 20 0 2 0 276385251 367620096 84996 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84996 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1794.31 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82860 0 0 0 179351 80 0 0 20 0 2 0 276385255 367620096 84996 33554432000 4194304 5965102 140737020783040 139766085650424 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 359004
[startup+1799.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20992
/proc/meminfo: memFree=27430940/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1799.07 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84249 0 0 0 179854 53 0 0 20 0 2 0 276385251 367620096 84996 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84996 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1794.72 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82860 0 0 0 179392 80 0 0 20 0 2 0 276385255 367620096 84996 33554432000 4194304 5965102 140737020783040 139766085650424 4401131 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 359004
[startup+1799.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20992
/proc/meminfo: memFree=27430940/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1799.47 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84249 0 0 0 179894 53 0 0 20 0 2 0 276385251 367620096 84996 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84996 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1795.11 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82860 0 0 0 179431 80 0 0 20 0 2 0 276385255 367620096 84996 33554432000 4194304 5965102 140737020783040 139766085650424 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 359004
[startup+1800 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20992
/proc/meminfo: memFree=27430940/32873844 swapFree=6856/6856
[pid=20936] ppid=20934 vsize=359004 CPUtime=1799.57 cores=1,3,5,7
/proc/20936/stat : 20936 (pwbo2.0) S 20934 20936 18256 0 -1 4202496 84249 0 0 0 179904 53 0 0 20 0 2 0 276385251 367620096 84996 33554432000 4194304 5965102 140737020783040 140737020782560 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20936/statm: 89751 84996 190 433 0 89315 0
[pid=20936/tid=20938] ppid=20934 vsize=359004 CPUtime=1795.21 cores=1,3,5,7
/proc/20936/task/20938/stat : 20938 (pwbo2.0) R 20934 20936 18256 0 -1 4202560 82860 0 0 0 179441 80 0 0 20 0 2 0 276385255 367620096 84996 33554432000 4194304 5965102 140737020783040 139766085650424 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 359004
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20936 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=445202
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=813876
# CPU time returned by wait4() is 1795.26
# while last known CPU time is 1799.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.57
CPU user time (s): 1799.04
CPU system time (s): 0.53
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 359004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.45
system time used= 0.813876
maximum resident set size= 339996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84252
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= 150
involuntary context switches= 2569
runsolver used 8.09177 second user time and 16.3825 second system time
The end