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-3713155-1338221421/watcher-3713155-1338221421 -o /tmp/evaluation-result-3713155-1338221421/solver-3713155-1338221421 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713155-1338221421.wbo
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 2/178 20830
/proc/meminfo: memFree=29487208/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=3600 CPUtime=0 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) R 20828 20830 18639 0 -1 4202496 386 0 0 0 0 0 0 0 20 0 1 0 288268130 3686400 339 33554432000 4194304 5964318 140736529673424 140736905855768 4395170 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 900 339 170 433 0 440 0
[startup+0.0166699 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 20830
/proc/meminfo: memFree=29487208/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=84288 CPUtime=0.01 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 1101 0 0 0 1 0 0 0 20 0 2 0 288268130 86310912 1541 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 21072 1541 186 433 0 20636 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 84288
[startup+0.100164 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 20830
/proc/meminfo: memFree=29487208/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=84288 CPUtime=0.09 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 1594 0 0 0 9 0 0 0 20 0 2 0 288268130 86310912 2034 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 21072 2034 194 433 0 20636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84288
[startup+0.300103 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 20830
/proc/meminfo: memFree=29487208/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=84288 CPUtime=0.29 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 2154 0 0 0 29 0 0 0 20 0 2 0 288268130 86310912 2594 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 21072 2594 194 433 0 20636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84288
[startup+0.700104 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 20830
/proc/meminfo: memFree=29487208/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=84432 CPUtime=0.68 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 2943 0 0 0 68 0 0 0 20 0 2 0 288268130 86458368 3383 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 21108 3383 194 433 0 20672 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84432
[startup+1.50014 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20832
/proc/meminfo: memFree=29472876/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=84504 CPUtime=1.49 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 4269 0 0 0 148 1 0 0 20 0 2 0 288268130 86532096 4709 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 21126 4709 194 433 0 20690 0
[pid=20830/tid=20832] ppid=20828 vsize=84504 CPUtime=1.47 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 3381 0 0 0 146 1 0 0 20 0 2 0 288268131 86532096 4709 33554432000 4194304 5964318 140736529673424 140451176769528 4399824 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84504
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20832
/proc/meminfo: memFree=29467792/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=84504 CPUtime=3.09 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 5756 0 0 0 308 1 0 0 20 0 2 0 288268130 86532096 6196 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 21126 6196 194 433 0 20690 0
[pid=20830/tid=20832] ppid=20828 vsize=84504 CPUtime=3.08 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 4868 0 0 0 306 2 0 0 20 0 2 0 288268131 86532096 6196 33554432000 4194304 5964318 140736529673424 140451176769576 4399993 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84504
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20832
/proc/meminfo: memFree=29447752/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=84612 CPUtime=6.28 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 11769 0 0 0 626 2 0 0 20 0 2 0 288268130 86642688 12209 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 21153 12209 194 433 0 20717 0
[pid=20830/tid=20832] ppid=20828 vsize=84612 CPUtime=6.28 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 10881 0 0 0 625 3 0 0 20 0 2 0 288268131 86642688 12209 33554432000 4194304 5964318 140736529673424 140451176769528 4399824 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84612
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20832
/proc/meminfo: memFree=29407952/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=150148 CPUtime=12.69 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 20820 0 0 0 1265 4 0 0 20 0 2 0 288268130 153751552 21260 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 37537 21260 194 433 0 37101 0
[pid=20830/tid=20832] ppid=20828 vsize=150148 CPUtime=12.68 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 19932 0 0 0 1264 4 0 0 20 0 2 0 288268131 153751552 21260 33554432000 4194304 5964318 140736529673424 140451176769528 4399995 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 150148
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20832
/proc/meminfo: memFree=29353020/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=215844 CPUtime=25.48 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 34099 0 0 0 2541 7 0 0 20 0 2 0 288268130 221024256 34539 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 53961 34539 194 433 0 53525 0
[pid=20830/tid=20832] ppid=20828 vsize=215844 CPUtime=25.48 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 33211 0 0 0 2540 8 0 0 20 0 2 0 288268131 221024256 34539 33554432000 4194304 5964318 140736529673424 140451176769528 4399982 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 215844
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20832
/proc/meminfo: memFree=29285100/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=281620 CPUtime=51.08 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 50484 0 0 0 5097 11 0 0 20 0 2 0 288268130 288378880 50924 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 70405 50924 194 433 0 69969 0
[pid=20830/tid=20832] ppid=20828 vsize=281620 CPUtime=51.08 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 49596 0 0 0 5096 12 0 0 20 0 2 0 288268131 288378880 50924 33554432000 4194304 5964318 140736529673424 140451176769528 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 281620
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20832
/proc/meminfo: memFree=29170692/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=347156 CPUtime=102.28 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 78976 0 0 0 10210 18 0 0 20 0 2 0 288268130 355487744 79416 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 86789 79416 194 433 0 86353 0
[pid=20830/tid=20832] ppid=20828 vsize=347156 CPUtime=102.29 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 78088 0 0 0 10209 20 0 0 20 0 2 0 288268131 355487744 79416 33554432000 4194304 5964318 140736529673424 140451176769528 4391075 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 347156
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20832
/proc/meminfo: memFree=29092352/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=413268 CPUtime=162.26 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 98390 0 0 0 16204 22 0 0 20 0 2 0 288268130 423186432 98830 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 103317 98830 194 433 0 102881 0
[pid=20830/tid=20832] ppid=20828 vsize=413268 CPUtime=162.28 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 97502 0 0 0 16203 25 0 0 20 0 2 0 288268131 423186432 98830 33554432000 4194304 5964318 140736529673424 140451176769528 4399845 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 413268
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20833
/proc/meminfo: memFree=29031900/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=478948 CPUtime=222.25 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 113743 0 0 0 22198 27 0 0 20 0 2 0 288268130 490442752 114178 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 119737 114178 194 433 0 119301 0
[pid=20830/tid=20832] ppid=20828 vsize=478948 CPUtime=222.29 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 112855 0 0 0 22198 31 0 0 20 0 2 0 288268131 490442752 114178 33554432000 4194304 5964318 140736529673424 140451176769528 4399824 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 478948
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20833
/proc/meminfo: memFree=28965932/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=545132 CPUtime=282.25 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 130005 0 0 0 28191 34 0 0 20 0 2 0 288268130 558215168 130440 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 136283 130440 194 433 0 135847 0
[pid=20830/tid=20832] ppid=20828 vsize=545132 CPUtime=282.29 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 129117 0 0 0 28190 39 0 0 20 0 2 0 288268131 558215168 130440 33554432000 4194304 5964318 140736529673424 140451176769528 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 545132
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20833
/proc/meminfo: memFree=28832764/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=677140 CPUtime=342.23 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 159686 0 0 0 34181 42 0 0 20 0 2 0 288268130 693391360 160121 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 169285 160121 194 433 0 168849 0
[pid=20830/tid=20832] ppid=20828 vsize=677140 CPUtime=342.29 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 158798 0 0 0 34181 48 0 0 20 0 2 0 288268131 693391360 160121 33554432000 4194304 5964318 140736529673424 140451176769528 4399824 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 677140
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20833
/proc/meminfo: memFree=28717816/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=677140 CPUtime=402.22 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 159690 0 0 0 40180 42 0 0 20 0 2 0 288268130 693391360 160014 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 169285 160014 194 433 0 168849 0
[pid=20830/tid=20832] ppid=20828 vsize=677140 CPUtime=402.3 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 158802 0 0 0 40181 49 0 0 20 0 2 0 288268131 693391360 160014 33554432000 4194304 5964318 140736529673424 140451176769560 4399824 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 677140
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20833
/proc/meminfo: memFree=28721660/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=677140 CPUtime=462.21 cores=1,3,5,7
################
# More data... #
################
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 204029 0 0 0 130137 76 0 0 20 0 2 0 288268131 824508416 188923 33554432000 4194304 5964318 140736529673424 140451176769560 4373327 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 805184
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21895
/proc/meminfo: memFree=29281412/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=936256 CPUtime=1361.87 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 232172 0 0 0 136123 64 0 0 20 0 2 0 288268130 958726144 216178 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 234064 216178 198 433 0 233628 0
[pid=20830/tid=20832] ppid=20828 vsize=936256 CPUtime=1362.13 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 231284 0 0 0 136128 85 0 0 20 0 2 0 288268131 958726144 216178 33554432000 4194304 5964318 140736529673424 140451176769528 4400001 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 936256
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21896
/proc/meminfo: memFree=29241364/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=937880 CPUtime=1421.88 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241539 0 0 0 142120 68 0 0 20 0 2 0 288268130 960389120 225544 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 234470 225544 198 433 0 234034 0
[pid=20830/tid=20832] ppid=20828 vsize=937880 CPUtime=1422.14 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240651 0 0 0 142125 89 0 0 20 0 2 0 288268131 960389120 225544 33554432000 4194304 5964318 140736529673424 140451176769528 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 937880
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 21896
/proc/meminfo: memFree=29283336/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1481.85 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241551 0 0 0 148117 68 0 0 20 0 2 0 288268130 891617280 206997 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 206997 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1482.14 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240663 0 0 0 148123 91 0 0 20 0 2 0 288268131 891617280 206997 33554432000 4194304 5964318 140736529673424 140451176770488 4399824 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 870720
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21896
/proc/meminfo: memFree=29279964/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1541.85 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241551 0 0 0 154117 68 0 0 20 0 2 0 288268130 891617280 206997 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 206997 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1542.14 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240663 0 0 0 154122 92 0 0 20 0 2 0 288268131 891617280 206997 33554432000 4194304 5964318 140736529673424 140451176770488 4399824 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 870720
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21896
/proc/meminfo: memFree=29275164/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1601.84 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241553 0 0 0 160116 68 0 0 20 0 2 0 288268130 891617280 206999 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 206999 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1602.14 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240665 0 0 0 160121 93 0 0 20 0 2 0 288268131 891617280 206999 33554432000 4194304 5964318 140736529673424 140451176770488 4399960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 870720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21896
/proc/meminfo: memFree=29268880/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1661.83 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241560 0 0 0 166115 68 0 0 20 0 2 0 288268130 891617280 207006 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 207006 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1662.15 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240672 0 0 0 166121 94 0 0 20 0 2 0 288268131 891617280 207006 33554432000 4194304 5964318 140736529673424 140451176770488 4222388 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 870720
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21897
/proc/meminfo: memFree=29250816/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1721.81 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241578 0 0 0 172113 68 0 0 20 0 2 0 288268130 891617280 207009 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 207009 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1722.14 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240690 0 0 0 172119 95 0 0 20 0 2 0 288268131 891617280 207009 33554432000 4194304 5964318 140736529673424 140451176770488 4403416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 870720
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21900
/proc/meminfo: memFree=29210460/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1781.8 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241580 0 0 0 178112 68 0 0 20 0 2 0 288268130 891617280 207353 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 207353 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1782.14 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240692 0 0 0 178118 96 0 0 20 0 2 0 288268131 891617280 207353 33554432000 4194304 5964318 140736529673424 140451176770488 4399827 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 870720
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21900
/proc/meminfo: memFree=29206944/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1791.4 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241580 0 0 0 179072 68 0 0 20 0 2 0 288268130 891617280 207353 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 207353 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1791.74 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240692 0 0 0 179078 96 0 0 20 0 2 0 288268131 891617280 207353 33554432000 4194304 5964318 140736529673424 140451176770488 4400007 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 870720
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21900
/proc/meminfo: memFree=29205568/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1794.6 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241580 0 0 0 179392 68 0 0 20 0 2 0 288268130 891617280 207353 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 207353 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1794.94 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240692 0 0 0 179398 96 0 0 20 0 2 0 288268131 891617280 207353 33554432000 4194304 5964318 140736529673424 140451176770488 4400446 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 870720
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21900
/proc/meminfo: memFree=29204824/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1797.8 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241580 0 0 0 179712 68 0 0 20 0 2 0 288268130 891617280 207353 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 207353 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1798.14 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240692 0 0 0 179718 96 0 0 20 0 2 0 288268131 891617280 207353 33554432000 4194304 5964318 140736529673424 140451176770488 4399824 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 870720
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21900
/proc/meminfo: memFree=29204452/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1798.6 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241580 0 0 0 179792 68 0 0 20 0 2 0 288268130 891617280 207353 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 207353 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1798.94 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240692 0 0 0 179798 96 0 0 20 0 2 0 288268131 891617280 207353 33554432000 4194304 5964318 140736529673424 140451176770488 4399824 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 870720
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21900
/proc/meminfo: memFree=29204452/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1799 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241580 0 0 0 179832 68 0 0 20 0 2 0 288268130 891617280 207353 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 207353 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1799.35 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240692 0 0 0 179839 96 0 0 20 0 2 0 288268131 891617280 207353 33554432000 4194304 5964318 140736529673424 140451176770488 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 870720
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21900
/proc/meminfo: memFree=29204452/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1799.4 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241580 0 0 0 179872 68 0 0 20 0 2 0 288268130 891617280 207353 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 207353 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1799.74 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240692 0 0 0 179878 96 0 0 20 0 2 0 288268131 891617280 207353 33554432000 4194304 5964318 140736529673424 140451176770488 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 870720
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21900
/proc/meminfo: memFree=29204452/32873648 swapFree=6860/6860
[pid=20830] ppid=20828 vsize=870720 CPUtime=1799.5 cores=1,3,5,7
/proc/20830/stat : 20830 (wbo1.71) S 20828 20830 18639 0 -1 4202496 241580 0 0 0 179882 68 0 0 20 0 2 0 288268130 891617280 207353 33554432000 4194304 5964318 140736529673424 140736529672944 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20830/statm: 217680 207353 198 433 0 217244 0
[pid=20830/tid=20832] ppid=20828 vsize=870720 CPUtime=1799.84 cores=1,3,5,7
/proc/20830/task/20832/stat : 20832 (wbo1.71) R 20828 20830 18639 0 -1 4202560 240692 0 0 0 179888 96 0 0 20 0 2 0 288268131 891617280 207353 33554432000 4194304 5964318 140736529673424 140451176770488 4399890 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 870720
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.87
CPU user time (s): 1798.89
CPU system time (s): 0.974851
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 937880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 0.974851
maximum resident set size= 902220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241582
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= 307
involuntary context switches= 1837
runsolver used 4.47532 second user time and 17.2344 second system time
The end