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-3704202-1338087419/watcher-3704202-1338087419 -o /tmp/evaluation-result-3704202-1338087419/solver-3704202-1338087419 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704202-1338087419.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: 1.98 1.59 1.56 3/177 9185
/proc/meminfo: memFree=31320316/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=83816 CPUtime=0 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 841 0 0 0 0 0 0 0 20 0 2 0 274870436 85827584 788 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 20954 788 188 433 0 20518 0
[pid=9185/tid=9186] ppid=9183 vsize=83816 CPUtime=0 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 95 0 0 0 0 0 0 0 20 0 2 0 274870437 85827584 789 33554432000 4194304 5965102 140736260881840 140734913103192 4404379 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0748069 s]
/proc/loadavg: 1.98 1.59 1.56 3/177 9185
/proc/meminfo: memFree=31320316/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=83816 CPUtime=0.07 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 1060 0 0 0 7 0 0 0 20 0 2 0 274870436 85827584 1007 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 20954 1007 190 433 0 20518 0
[pid=9185/tid=9186] ppid=9183 vsize=83816 CPUtime=0.06 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 313 0 0 0 6 0 0 0 20 0 2 0 274870437 85827584 1007 33554432000 4194304 5965102 140736260881840 140734913103192 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83816
[startup+0.100291 s]
/proc/loadavg: 1.98 1.59 1.56 3/177 9185
/proc/meminfo: memFree=31320316/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=83816 CPUtime=0.09 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 1120 0 0 0 9 0 0 0 20 0 2 0 274870436 85827584 1067 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 20954 1067 190 433 0 20518 0
[pid=9185/tid=9186] ppid=9183 vsize=83816 CPUtime=0.08 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 374 0 0 0 8 0 0 0 20 0 2 0 274870437 85827584 1068 33554432000 4194304 5965102 140736260881840 140734913103192 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83816
[startup+0.300255 s]
/proc/loadavg: 1.98 1.59 1.56 3/177 9185
/proc/meminfo: memFree=31320316/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=83816 CPUtime=0.29 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 1502 0 0 0 29 0 0 0 20 0 2 0 274870436 85827584 1449 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 20954 1449 190 433 0 20518 0
[pid=9185/tid=9186] ppid=9183 vsize=83816 CPUtime=0.28 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 755 0 0 0 28 0 0 0 20 0 2 0 274870437 85827584 1449 33554432000 4194304 5965102 140736260881840 140734913103192 4410742 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83816
[startup+0.700253 s]
/proc/loadavg: 1.98 1.59 1.56 3/177 9185
/proc/meminfo: memFree=31320316/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=83816 CPUtime=0.69 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 2084 0 0 0 69 0 0 0 20 0 2 0 274870436 85827584 2031 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 20954 2031 190 433 0 20518 0
[pid=9185/tid=9186] ppid=9183 vsize=83816 CPUtime=0.68 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 1337 0 0 0 68 0 0 0 20 0 2 0 274870437 85827584 2031 33554432000 4194304 5965102 140736260881840 140559840577336 5179915 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83816
[startup+1.50026 s]
/proc/loadavg: 1.98 1.60 1.56 3/179 9187
/proc/meminfo: memFree=31311480/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=83960 CPUtime=1.49 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 2924 0 0 0 149 0 0 0 20 0 2 0 274870436 85975040 2871 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 20990 2871 190 433 0 20554 0
[pid=9185/tid=9186] ppid=9183 vsize=83960 CPUtime=1.48 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 2177 0 0 0 148 0 0 0 20 0 2 0 274870437 85975040 2871 33554432000 4194304 5965102 140736260881840 140559840577528 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83960
[startup+3.10026 s]
/proc/loadavg: 1.98 1.60 1.56 3/179 9187
/proc/meminfo: memFree=31308504/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=83960 CPUtime=3.09 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 3376 0 0 0 309 0 0 0 20 0 2 0 274870436 85975040 3323 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 20990 3323 190 433 0 20554 0
[pid=9185/tid=9186] ppid=9183 vsize=83960 CPUtime=3.08 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 2629 0 0 0 308 0 0 0 20 0 2 0 274870437 85975040 3323 33554432000 4194304 5965102 140736260881840 140559840577336 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83960
[startup+6.30027 s]
/proc/loadavg: 1.98 1.60 1.56 3/179 9187
/proc/meminfo: memFree=31303172/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=84032 CPUtime=6.29 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 4335 0 0 0 628 1 0 0 20 0 2 0 274870436 86048768 4282 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 21008 4282 190 433 0 20572 0
[pid=9185/tid=9186] ppid=9183 vsize=84032 CPUtime=6.28 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 3588 0 0 0 628 0 0 0 20 0 2 0 274870437 86048768 4282 33554432000 4194304 5965102 140736260881840 140559840577576 4401064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84032
[startup+12.7003 s]
/proc/loadavg: 1.99 1.61 1.56 3/179 9187
/proc/meminfo: memFree=31295508/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=84608 CPUtime=12.69 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 6058 0 0 0 1267 2 0 0 20 0 2 0 274870436 86638592 6005 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 21152 6005 190 433 0 20716 0
[pid=9185/tid=9186] ppid=9183 vsize=84608 CPUtime=12.68 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 5311 0 0 0 1266 2 0 0 20 0 2 0 274870437 86638592 6005 33554432000 4194304 5965102 140736260881840 140559840577336 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84608
[startup+25.5003 s]
/proc/loadavg: 1.99 1.62 1.57 3/179 9187
/proc/meminfo: memFree=31285216/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=85580 CPUtime=25.49 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 8523 0 0 0 2546 3 0 0 20 0 2 0 274870436 87633920 8470 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 21395 8470 190 433 0 20959 0
[pid=9185/tid=9186] ppid=9183 vsize=85580 CPUtime=25.48 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 7776 0 0 0 2545 3 0 0 20 0 2 0 274870437 87633920 8470 33554432000 4194304 5965102 140736260881840 140559840577336 5144287 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85580
[startup+51.1003 s]
/proc/loadavg: 1.99 1.66 1.58 3/179 9187
/proc/meminfo: memFree=31253884/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=86784 CPUtime=51.08 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 12135 0 0 0 5104 4 0 0 20 0 2 0 274870436 88866816 12080 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 21696 12080 190 433 0 21260 0
[pid=9185/tid=9186] ppid=9183 vsize=86784 CPUtime=51.08 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 11388 0 0 0 5103 5 0 0 20 0 2 0 274870437 88866816 12080 33554432000 4194304 5965102 140736260881840 140559840577576 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86784
[startup+102.307 s]
/proc/loadavg: 1.99 1.71 1.60 3/179 9187
/proc/meminfo: memFree=31219784/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=88248 CPUtime=102.25 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 16961 0 0 0 10218 7 0 0 20 0 2 0 274870436 90365952 17718 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 22062 17718 190 433 0 21626 0
[pid=9185/tid=9186] ppid=9183 vsize=88248 CPUtime=102.26 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 16214 0 0 0 10217 9 0 0 20 0 2 0 274870437 90365952 17718 33554432000 4194304 5965102 140736260881840 140559840577528 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 88248
[startup+162.3 s]
/proc/loadavg: 1.99 1.76 1.62 3/179 9187
/proc/meminfo: memFree=31183320/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=156156 CPUtime=162.24 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 21372 0 0 0 16213 11 0 0 20 0 2 0 274870436 159903744 22140 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 39039 22140 190 433 0 38603 0
[pid=9185/tid=9186] ppid=9183 vsize=156156 CPUtime=162.25 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 20625 0 0 0 16211 14 0 0 20 0 2 0 274870437 159903744 22140 33554432000 4194304 5965102 140736260881840 140559840577576 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 156156
[startup+222.3 s]
/proc/loadavg: 2.04 1.81 1.65 3/180 9190
/proc/meminfo: memFree=31157912/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=158060 CPUtime=222.22 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 23045 0 0 0 22210 12 0 0 20 0 2 0 274870436 161853440 24378 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 39515 24378 190 433 0 39079 0
[pid=9185/tid=9186] ppid=9183 vsize=158060 CPUtime=222.24 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 22298 0 0 0 22209 15 0 0 20 0 2 0 274870437 161853440 24378 33554432000 4194304 5965102 140736260881840 140559840577336 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 158060
[startup+282.3 s]
/proc/loadavg: 2.01 1.85 1.67 3/180 9214
/proc/meminfo: memFree=31134332/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=159712 CPUtime=282.21 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 26426 0 0 0 28205 16 0 0 20 0 2 0 274870436 163545088 27784 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 39928 27784 190 433 0 39492 0
[pid=9185/tid=9186] ppid=9183 vsize=159712 CPUtime=282.23 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 25679 0 0 0 28202 21 0 0 20 0 2 0 274870437 163545088 27784 33554432000 4194304 5965102 140736260881840 140559840577336 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 159712
[startup+342.3 s]
/proc/loadavg: 2.00 1.87 1.68 3/179 9214
/proc/meminfo: memFree=31093280/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=160736 CPUtime=342.19 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 31279 0 0 0 34199 20 0 0 20 0 2 0 274870436 164593664 32656 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 40184 32656 190 433 0 39748 0
[pid=9185/tid=9186] ppid=9183 vsize=160736 CPUtime=342.23 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 30532 0 0 0 34197 26 0 0 20 0 2 0 274870437 164593664 32656 33554432000 4194304 5965102 140736260881840 140559840577576 4401050 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 160736
[startup+402.3 s]
/proc/loadavg: 2.00 1.89 1.70 3/179 9214
/proc/meminfo: memFree=31087740/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=162680 CPUtime=402.18 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 32491 0 0 0 40197 21 0 0 20 0 2 0 274870436 166584320 33868 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 67866 0 0 0 130131 85 0 0 20 0 2 0 274870437 334434304 69986 33554432000 4194304 5965102 140736260881840 140559840577528 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 326596
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 9220
/proc/meminfo: memFree=30808544/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=327156 CPUtime=1361.98 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 68731 0 0 0 136132 66 0 0 20 0 2 0 274870436 335007744 70104 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 81789 70104 190 433 0 81353 0
[pid=9185/tid=9186] ppid=9183 vsize=327156 CPUtime=1362.15 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 67984 0 0 0 136128 87 0 0 20 0 2 0 274870437 335007744 70104 33554432000 4194304 5965102 140736260881840 140559840577576 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 327156
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.87 3/180 9223
/proc/meminfo: memFree=30786728/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=327624 CPUtime=1421.96 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 74050 0 0 0 142122 74 0 0 20 0 2 0 274870436 335486976 75404 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 81906 75404 190 433 0 81470 0
[pid=9185/tid=9186] ppid=9183 vsize=327624 CPUtime=1422.14 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 73303 0 0 0 142118 96 0 0 20 0 2 0 274870437 335486976 75404 33554432000 4194304 5965102 140736260881840 140559840577528 4380272 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 327624
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 9224
/proc/meminfo: memFree=30785496/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=327892 CPUtime=1481.94 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 74123 0 0 0 148120 74 0 0 20 0 2 0 274870436 335761408 75477 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 81973 75477 190 433 0 81537 0
[pid=9185/tid=9186] ppid=9183 vsize=327892 CPUtime=1482.13 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 73376 0 0 0 148116 97 0 0 20 0 2 0 274870437 335761408 75477 33554432000 4194304 5965102 140736260881840 140559840577576 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 327892
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 9224
/proc/meminfo: memFree=30760076/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=394608 CPUtime=1541.93 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 77034 0 0 0 154115 78 0 0 20 0 2 0 274870436 404078592 78388 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 98652 78388 190 433 0 98216 0
[pid=9185/tid=9186] ppid=9183 vsize=394608 CPUtime=1542.13 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 76287 0 0 0 154111 102 0 0 20 0 2 0 274870437 404078592 78388 33554432000 4194304 5965102 140736260881840 140559840577576 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 394608
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 9224
/proc/meminfo: memFree=30731572/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=396268 CPUtime=1601.92 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 81114 0 0 0 160109 83 0 0 20 0 2 0 274870436 405778432 82468 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 99067 82468 190 433 0 98631 0
[pid=9185/tid=9186] ppid=9183 vsize=396268 CPUtime=1602.13 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 80367 0 0 0 160105 108 0 0 20 0 2 0 274870437 405778432 82468 33554432000 4194304 5965102 140736260881840 140559840577576 4382991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 396268
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 9224
/proc/meminfo: memFree=30731076/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=397004 CPUtime=1661.91 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 81270 0 0 0 166108 83 0 0 20 0 2 0 274870436 406532096 82624 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 99251 82624 190 433 0 98815 0
[pid=9185/tid=9186] ppid=9183 vsize=397004 CPUtime=1662.13 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 80523 0 0 0 166104 109 0 0 20 0 2 0 274870437 406532096 82624 33554432000 4194304 5965102 140736260881840 140559840577576 4401046 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 397004
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/175 9270
/proc/meminfo: memFree=30966644/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=397164 CPUtime=1721.89 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 81321 0 0 0 172106 83 0 0 20 0 2 0 274870436 406695936 82666 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 99291 82666 190 433 0 98855 0
[pid=9185/tid=9186] ppid=9183 vsize=397164 CPUtime=1722.12 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 80574 0 0 0 172102 110 0 0 20 0 2 0 274870437 406695936 82666 33554432000 4194304 5965102 140736260881840 140559840577576 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 397164
[startup+1782.3 s]
/proc/loadavg: 2.09 2.02 1.91 3/176 9389
/proc/meminfo: memFree=31009048/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=397672 CPUtime=1781.88 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 81415 0 0 0 178105 83 0 0 20 0 2 0 274870436 407216128 82756 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 99418 82756 190 433 0 98982 0
[pid=9185/tid=9186] ppid=9183 vsize=397672 CPUtime=1782.11 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 80668 0 0 0 178100 111 0 0 20 0 2 0 274870437 407216128 82756 33554432000 4194304 5965102 140736260881840 140559840577576 4392722 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 397672
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 1.91 4/176 9410
/proc/meminfo: memFree=30972056/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=397672 CPUtime=1791.48 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 81415 0 0 0 179065 83 0 0 20 0 2 0 274870436 407216128 82756 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 99418 82756 190 433 0 98982 0
[pid=9185/tid=9186] ppid=9183 vsize=397672 CPUtime=1791.72 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 80668 0 0 0 179061 111 0 0 20 0 2 0 274870437 407216128 82756 33554432000 4194304 5965102 140736260881840 140559840577576 4401456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 397672
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 9420
/proc/meminfo: memFree=30855284/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=397672 CPUtime=1794.68 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 81415 0 0 0 179385 83 0 0 20 0 2 0 274870436 407216128 82756 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 99418 82756 190 433 0 98982 0
[pid=9185/tid=9186] ppid=9183 vsize=397672 CPUtime=1794.92 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 80668 0 0 0 179381 111 0 0 20 0 2 0 274870437 407216128 82756 33554432000 4194304 5965102 140736260881840 140559840577576 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 397672
[startup+1798.3 s]
/proc/loadavg: 2.15 2.04 1.92 3/179 9420
/proc/meminfo: memFree=30783664/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=397672 CPUtime=1797.87 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 81415 0 0 0 179704 83 0 0 20 0 2 0 274870436 407216128 82756 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 99418 82756 190 433 0 98982 0
[pid=9185/tid=9186] ppid=9183 vsize=397672 CPUtime=1798.11 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 80668 0 0 0 179700 111 0 0 20 0 2 0 274870437 407216128 82756 33554432000 4194304 5965102 140736260881840 140559840577576 4391211 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 397672
[startup+1799.1 s]
/proc/loadavg: 2.15 2.04 1.92 3/179 9420
/proc/meminfo: memFree=30742128/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=397672 CPUtime=1798.67 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 81415 0 0 0 179784 83 0 0 20 0 2 0 274870436 407216128 82756 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 99418 82756 190 433 0 98982 0
[pid=9185/tid=9186] ppid=9183 vsize=397672 CPUtime=1798.91 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 80668 0 0 0 179780 111 0 0 20 0 2 0 274870437 407216128 82756 33554432000 4194304 5965102 140736260881840 140559840577576 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 397672
[startup+1799.5 s]
/proc/loadavg: 2.15 2.04 1.92 3/180 9421
/proc/meminfo: memFree=30557964/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=397672 CPUtime=1799.08 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 81415 0 0 0 179825 83 0 0 20 0 2 0 274870436 407216128 82756 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 99418 82756 190 433 0 98982 0
[pid=9185/tid=9186] ppid=9183 vsize=397672 CPUtime=1799.32 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 80668 0 0 0 179821 111 0 0 20 0 2 0 274870437 407216128 82756 33554432000 4194304 5965102 140736260881840 140559840577576 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 397672
[startup+1799.9 s]
/proc/loadavg: 2.15 2.04 1.92 3/180 9421
/proc/meminfo: memFree=30557964/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=397672 CPUtime=1799.47 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 81415 0 0 0 179864 83 0 0 20 0 2 0 274870436 407216128 82756 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 99418 82756 190 433 0 98982 0
[pid=9185/tid=9186] ppid=9183 vsize=397672 CPUtime=1799.71 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 80668 0 0 0 179860 111 0 0 20 0 2 0 274870437 407216128 82756 33554432000 4194304 5965102 140736260881840 140559840577576 5135184 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 397672
[startup+1800 s]
/proc/loadavg: 2.15 2.04 1.92 3/180 9421
/proc/meminfo: memFree=30557964/32873844 swapFree=7108/7108
[pid=9185] ppid=9183 vsize=397672 CPUtime=1799.57 cores=1,3,5,7
/proc/9185/stat : 9185 (pwbo2.0) S 9183 9185 9022 0 -1 4202496 81415 0 0 0 179874 83 0 0 20 0 2 0 274870436 407216128 82756 33554432000 4194304 5965102 140736260881840 140736260881360 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9185/statm: 99418 82756 190 433 0 98982 0
[pid=9185/tid=9186] ppid=9183 vsize=397672 CPUtime=1799.81 cores=1,3,5,7
/proc/9185/task/9186/stat : 9186 (pwbo2.0) R 9183 9185 9022 0 -1 4202560 80668 0 0 0 179870 111 0 0 20 0 2 0 274870437 407216128 82756 33554432000 4194304 5965102 140736260881840 140559840577576 5131548 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 397672
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.84
CPU user time (s): 1798.71
CPU system time (s): 1.12683
CPU usage (%): 99.9905
Max. virtual memory (cumulated for all children) (KiB): 397672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.12683
maximum resident set size= 331036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81418
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= 138
involuntary context switches= 1860
runsolver used 2.6376 second user time and 8.90265 second system time
The end