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-3727431-1338653530/watcher-3727431-1338653530 -o /tmp/evaluation-result-3727431-1338653530/solver-3727431-1338653530 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727431-1338653530.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.02 1.93 3/177 6658
/proc/meminfo: memFree=25092340/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=21256 CPUtime=0 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) R 6656 6658 3777 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 331477168 21766144 547 33554432000 4194304 5964350 140736493694848 140736493692840 4395569 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 5314 549 160 433 0 670 0
[startup+0.0773539 s]
/proc/loadavg: 2.00 2.02 1.93 3/177 6658
/proc/meminfo: memFree=25092340/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=25764 CPUtime=0.07 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) R 6656 6658 3777 0 -1 4202496 1958 0 0 0 7 0 0 0 20 0 1 0 331477168 26382336 1877 33554432000 4194304 5964350 140736493694848 140736493692840 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 6441 1877 419 433 0 1797 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25764
[startup+0.100291 s]
/proc/loadavg: 2.00 2.02 1.93 3/177 6658
/proc/meminfo: memFree=25092340/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=26848 CPUtime=0.09 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) R 6656 6658 3777 0 -1 4202496 2293 0 0 0 9 0 0 0 20 0 1 0 331477168 27492352 2212 33554432000 4194304 5964350 140736493694848 140736493692840 5368192 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 6712 2212 503 433 0 2068 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26848
[startup+0.300229 s]
/proc/loadavg: 2.00 2.02 1.93 3/177 6658
/proc/meminfo: memFree=25092340/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=36412 CPUtime=0.29 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) R 6656 6658 3777 0 -1 4202496 5453 0 0 0 28 1 0 0 20 0 1 0 331477168 37285888 5178 33554432000 4194304 5964350 140736493694848 140736493692840 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 9103 5179 1214 433 0 4459 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36412
[startup+0.70023 s]
/proc/loadavg: 2.00 2.02 1.93 3/177 6658
/proc/meminfo: memFree=25092340/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=54904 CPUtime=0.69 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) R 6656 6658 3777 0 -1 4202496 11662 0 0 0 68 1 0 0 20 0 1 0 331477168 56221696 11130 33554432000 4194304 5964350 140736493694848 140736493692840 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 13726 11130 2638 433 0 9082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54904
[startup+1.50015 s]
/proc/loadavg: 2.00 2.02 1.93 4/178 6659
/proc/meminfo: memFree=25035656/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=206156 CPUtime=1.48 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 40290 0 0 0 142 6 0 0 20 0 2 0 331477168 211103744 35548 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 51539 35548 172 433 0 51103 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 206156
[startup+3.10025 s]
/proc/loadavg: 2.00 2.02 1.93 4/179 6660
/proc/meminfo: memFree=24874424/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=265364 CPUtime=3.08 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 58305 0 0 0 298 10 0 0 20 0 2 0 331477168 271732736 53372 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 66341 53372 190 433 0 65905 0
[pid=6658/tid=6660] ppid=6656 vsize=265364 CPUtime=1.89 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 39113 0 0 0 181 8 0 0 20 0 2 0 331477287 271732736 53372 33554432000 4194304 5964350 140736493694848 139890448888128 5139055 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) 265364
[startup+6.30038 s]
/proc/loadavg: 2.00 2.02 1.93 4/179 6660
/proc/meminfo: memFree=24850424/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=265364 CPUtime=6.28 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 58534 0 0 0 618 10 0 0 20 0 2 0 331477168 271732736 53601 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 66341 53601 190 433 0 65905 0
[pid=6658/tid=6660] ppid=6656 vsize=265364 CPUtime=5.1 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 39342 0 0 0 501 9 0 0 20 0 2 0 331477287 271732736 53601 33554432000 4194304 5964350 140736493694848 139890448888128 5139086 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 265364
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 1.93 4/179 6660
/proc/meminfo: memFree=24817344/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=265364 CPUtime=12.68 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 59097 0 0 0 1257 11 0 0 20 0 2 0 331477168 271732736 54164 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 66341 54164 190 433 0 65905 0
[pid=6658/tid=6660] ppid=6656 vsize=265364 CPUtime=11.49 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 39905 0 0 0 1140 9 0 0 20 0 2 0 331477287 271732736 54164 33554432000 4194304 5964350 140736493694848 139890448888128 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 265364
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 1.93 4/179 6660
/proc/meminfo: memFree=24721184/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=265364 CPUtime=25.48 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 78096 0 0 0 2534 14 0 0 20 0 2 0 331477168 271732736 58598 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 66341 58598 195 433 0 65905 0
[pid=6658/tid=6660] ppid=6656 vsize=265364 CPUtime=24.28 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 58904 0 0 0 2416 12 0 0 20 0 2 0 331477287 271732736 58598 33554432000 4194304 5964350 140736493694848 139890448898456 4406259 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) 265364
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 1.93 4/179 6660
/proc/meminfo: memFree=24460612/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=396436 CPUtime=51.07 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 114619 0 0 0 5086 21 0 0 20 0 2 0 331477168 405950464 94292 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 99109 94292 195 433 0 98673 0
[pid=6658/tid=6660] ppid=6656 vsize=396436 CPUtime=49.88 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 95427 0 0 0 4969 19 0 0 20 0 2 0 331477287 405950464 94292 33554432000 4194304 5964350 140736493694848 139890448898040 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 396436
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 1.93 4/179 6660
/proc/meminfo: memFree=24126240/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=527508 CPUtime=102.26 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 129953 0 0 0 10202 24 0 0 20 0 2 0 331477168 540168192 112753 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 131877 112753 195 433 0 131441 0
[pid=6658/tid=6660] ppid=6656 vsize=527508 CPUtime=101.09 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 110761 0 0 0 10086 23 0 0 20 0 2 0 331477287 540168192 112753 33554432000 4194304 5964350 140736493694848 139890448898392 4403576 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 527508
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.93 4/179 6660
/proc/meminfo: memFree=23685280/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=724116 CPUtime=162.25 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 178977 0 0 0 16192 33 0 0 20 0 2 0 331477168 741494784 161777 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 181029 161777 195 433 0 180593 0
[pid=6658/tid=6660] ppid=6656 vsize=724116 CPUtime=161.09 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 159785 0 0 0 16076 33 0 0 20 0 2 0 331477287 741494784 161777 33554432000 4194304 5964350 140736493694848 139890448898040 4400029 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 724116
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 6661
/proc/meminfo: memFree=23270424/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=986260 CPUtime=222.22 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 242447 0 0 0 22175 47 0 0 20 0 2 0 331477168 1009930240 226003 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 246565 226003 195 433 0 246129 0
[pid=6658/tid=6660] ppid=6656 vsize=986260 CPUtime=221.06 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 223255 0 0 0 22058 48 0 0 20 0 2 0 331477287 1009930240 226003 33554432000 4194304 5964350 140736493694848 139890448898040 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 986260
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 6661
/proc/meminfo: memFree=22871272/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=1182868 CPUtime=282.19 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 304381 0 0 0 28158 61 0 0 20 0 2 0 331477168 1211256832 287922 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 295717 287922 195 433 0 295281 0
[pid=6658/tid=6660] ppid=6656 vsize=1182868 CPUtime=281.05 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 285189 0 0 0 28041 64 0 0 20 0 2 0 331477287 1211256832 287922 33554432000 4194304 5964350 140736493694848 139890448898040 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1182868
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 6661
/proc/meminfo: memFree=22449596/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=1445012 CPUtime=342.17 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 368483 0 0 0 34143 74 0 0 20 0 2 0 331477168 1479692288 352017 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 361253 352017 195 433 0 360817 0
[pid=6658/tid=6660] ppid=6656 vsize=1445012 CPUtime=341.03 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 349291 0 0 0 34025 78 0 0 20 0 2 0 331477287 1479692288 352017 33554432000 4194304 5964350 140736493694848 139890448898040 4409140 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1445012
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 6661
/proc/meminfo: memFree=22074352/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=1641620 CPUtime=402.15 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 420588 0 0 0 40130 85 0 0 20 0 2 0 331477168 1681018880 404115 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 410405 404115 195 433 0 409969 0
[pid=6658/tid=6660] ppid=6656 vsize=1641620 CPUtime=401.02 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 401396 0 0 0 40013 89 0 0 20 0 2 0 331477287 1681018880 404115 33554432000 4194304 5964350 140736493694848 139890448898040 4399926 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1641620
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/179 6661
/proc/meminfo: memFree=21670536/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=1903764 CPUtime=462.12 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 481424 0 0 0 46115 97 0 0 20 0 2 0 331477168 1949454336 465381 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 475941 465381 195 433 0 475505 0
################
# More data... #
################
[pid=6658] ppid=6656 vsize=4263060 CPUtime=1301.94 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1072990 0 0 0 129949 245 0 0 20 0 2 0 331477168 4365373440 1057424 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1065765 1057424 195 433 0 1065329 0
[pid=6658/tid=6660] ppid=6656 vsize=4263060 CPUtime=1300.94 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1053798 0 0 0 129832 262 0 0 20 0 2 0 331477287 4365373440 1057424 33554432000 4194304 5964350 140736493694848 139890448898040 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 4263060
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 1.95 4/179 6671
/proc/meminfo: memFree=16819232/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=4394132 CPUtime=1361.92 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1099996 0 0 0 135942 250 0 0 20 0 2 0 331477168 4499591168 1084430 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1098533 1084430 195 433 0 1098097 0
[pid=6658/tid=6660] ppid=6656 vsize=4394132 CPUtime=1360.94 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1080804 0 0 0 135825 269 0 0 20 0 2 0 331477287 4499591168 1084430 33554432000 4194304 5964350 140736493694848 139890448898040 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 4394132
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 6711
/proc/meminfo: memFree=23048064/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=4525204 CPUtime=1421.92 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1142166 0 0 0 141931 261 0 0 20 0 2 0 331477168 4633808896 1126600 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1131301 1126605 195 433 0 1130865 0
[pid=6658/tid=6660] ppid=6656 vsize=4525204 CPUtime=1420.95 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1122983 0 0 0 141814 281 0 0 20 0 2 0 331477287 4633808896 1126609 33554432000 4194304 5964350 140736493694848 139890448898040 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 4525204
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 6712
/proc/meminfo: memFree=22815116/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=4721812 CPUtime=1481.9 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1182781 0 0 0 147920 270 0 0 20 0 2 0 331477168 4835135488 1167207 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1180453 1167207 195 433 0 1180017 0
[pid=6658/tid=6660] ppid=6656 vsize=4721812 CPUtime=1480.93 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1163589 0 0 0 147803 290 0 0 20 0 2 0 331477287 4835135488 1167207 33554432000 4194304 5964350 140736493694848 139890448898040 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 4721812
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/179 6712
/proc/meminfo: memFree=22585248/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=4852884 CPUtime=1541.88 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1223431 0 0 0 153909 279 0 0 20 0 2 0 331477168 4969353216 1207850 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1213221 1207850 195 433 0 1212785 0
[pid=6658/tid=6660] ppid=6656 vsize=4852884 CPUtime=1540.92 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1204239 0 0 0 153792 300 0 0 20 0 2 0 331477287 4969353216 1207850 33554432000 4194304 5964350 140736493694848 139890448898040 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 4852884
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 6712
/proc/meminfo: memFree=22450860/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=4983956 CPUtime=1601.86 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1244561 0 0 0 159902 284 0 0 20 0 2 0 331477168 5103570944 1228970 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1245989 1228970 195 433 0 1245553 0
[pid=6658/tid=6660] ppid=6656 vsize=4983956 CPUtime=1600.91 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1225369 0 0 0 159785 306 0 0 20 0 2 0 331477287 5103570944 1228970 33554432000 4194304 5964350 140736493694848 139890448898040 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 4983956
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/179 6712
/proc/meminfo: memFree=22296012/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=5049492 CPUtime=1661.84 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1266673 0 0 0 165896 288 0 0 20 0 2 0 331477168 5170679808 1251126 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1262373 1251126 195 433 0 1261937 0
[pid=6658/tid=6660] ppid=6656 vsize=5049492 CPUtime=1660.91 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1247481 0 0 0 165780 311 0 0 20 0 2 0 331477287 5170679808 1251126 33554432000 4194304 5964350 140736493694848 139890448898040 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 5049492
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/180 6715
/proc/meminfo: memFree=22205204/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=5115028 CPUtime=1721.82 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1289321 0 0 0 171888 294 0 0 20 0 2 0 331477168 5237788672 1273789 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1278757 1273789 195 433 0 1278321 0
[pid=6658/tid=6660] ppid=6656 vsize=5115028 CPUtime=1720.89 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1270129 0 0 0 171771 318 0 0 20 0 2 0 331477287 5237788672 1273789 33554432000 4194304 5964350 140736493694848 139890448898040 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 5115028
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 1.97 3/179 6716
/proc/meminfo: memFree=22073676/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=5246100 CPUtime=1781.8 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1321461 0 0 0 177878 302 0 0 20 0 2 0 331477168 5372006400 1305937 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1311525 1305937 195 433 0 1311089 0
[pid=6658/tid=6660] ppid=6656 vsize=5246100 CPUtime=1780.88 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1302269 0 0 0 177760 328 0 0 20 0 2 0 331477287 5372006400 1305937 33554432000 4194304 5964350 140736493694848 139890448898040 4388992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 5246100
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 6716
/proc/meminfo: memFree=22050348/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=5311636 CPUtime=1791.41 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1327069 0 0 0 178837 304 0 0 20 0 2 0 331477168 5439115264 1311544 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1327909 1311544 195 433 0 1327473 0
[pid=6658/tid=6660] ppid=6656 vsize=5311636 CPUtime=1790.49 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1307877 0 0 0 178719 330 0 0 20 0 2 0 331477287 5439115264 1311544 33554432000 4194304 5964350 140736493694848 139890448898040 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 5311636
[startup+1795.1 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 6716
/proc/meminfo: memFree=22041792/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=5311636 CPUtime=1794.61 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1329217 0 0 0 179156 305 0 0 20 0 2 0 331477168 5439115264 1313692 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1327909 1313692 195 433 0 1327473 0
[pid=6658/tid=6660] ppid=6656 vsize=5311636 CPUtime=1793.69 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1310025 0 0 0 179039 330 0 0 20 0 2 0 331477287 5439115264 1313692 33554432000 4194304 5964350 140736493694848 139890448898040 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 5311636
[startup+1798.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 6716
/proc/meminfo: memFree=22039048/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=5311636 CPUtime=1797.81 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1330314 0 0 0 179475 306 0 0 20 0 2 0 331477168 5439115264 1314790 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1327909 1314790 195 433 0 1327473 0
[pid=6658/tid=6660] ppid=6656 vsize=5311636 CPUtime=1796.88 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1311122 0 0 0 179357 331 0 0 20 0 2 0 331477287 5439115264 1314790 33554432000 4194304 5964350 140736493694848 139890448898040 4399889 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 5311636
[startup+1799.1 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 6716
/proc/meminfo: memFree=22036940/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=5311636 CPUtime=1798.61 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1330400 0 0 0 179555 306 0 0 20 0 2 0 331477168 5439115264 1314876 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1327909 1314876 195 433 0 1327473 0
[pid=6658/tid=6660] ppid=6656 vsize=5311636 CPUtime=1797.68 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1311208 0 0 0 179437 331 0 0 20 0 2 0 331477287 5439115264 1314876 33554432000 4194304 5964350 140736493694848 139890448898040 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 5311636
[startup+1799.9 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 6716
/proc/meminfo: memFree=22035824/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=5311636 CPUtime=1799.41 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) S 6656 6658 3777 0 -1 4202496 1330854 0 0 0 179635 306 0 0 20 0 2 0 331477168 5439115264 1315330 33554432000 4194304 5964350 140736493694848 140736493694368 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6658/statm: 1327909 1315330 195 433 0 1327473 0
[pid=6658/tid=6660] ppid=6656 vsize=5311636 CPUtime=1798.48 cores=1,3,5,7
/proc/6658/task/6660/stat : 6660 (wbo1.72) R 6656 6658 3777 0 -1 4202560 1311662 0 0 0 179517 331 0 0 20 0 2 0 331477287 5439115264 1315330 33554432000 4194304 5964350 140736493694848 139890448898040 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 5311636
[startup+1800.1 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 6716
/proc/meminfo: memFree=22035824/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=0 CPUtime=1799.88 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) R 6656 6658 3777 0 -1 4203524 1330913 0 0 0 179644 344 0 0 20 0 1 0 331477168 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6658/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.88
Current children cumulated vsize (KiB) 0
[startup+1800.2 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 6716
/proc/meminfo: memFree=22035824/32873648 swapFree=7368/7368
[pid=6658] ppid=6656 vsize=0 CPUtime=1799.98 cores=1,3,5,7
/proc/6658/stat : 6658 (wbo1.72) R 6656 6658 3777 0 -1 4203524 1330913 0 0 0 179644 354 0 0 20 0 1 0 331477168 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6658/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1800.22
CPU time (s): 1800.01
CPU user time (s): 1796.45
CPU system time (s): 3.56346
CPU usage (%): 99.9883
Max. virtual memory (cumulated for all children) (KiB): 5311636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.45
system time used= 3.56346
maximum resident set size= 5261556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1330913
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= 337
involuntary context switches= 2262
runsolver used 4.84926 second user time and 19.687 second system time
The end