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-3713126-1338209484/watcher-3713126-1338209484 -o /tmp/evaluation-result-3713126-1338209484/solver-3713126-1338209484 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713126-1338209484.wbo
running on 4 cores: 0,2,4,6
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 3/177 1351
/proc/meminfo: memFree=26858872/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=3664 CPUtime=0 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) R 1349 1351 32463 0 -1 4202496 412 0 0 0 0 0 0 0 20 0 1 0 287075668 3751936 364 33554432000 4194304 5964318 140737085736320 140733777775320 5133654 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 916 364 163 433 0 468 0
[startup+0.078679 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=26858872/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=84444 CPUtime=0.07 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 1480 0 0 0 7 0 0 0 20 0 2 0 287075668 86470656 1420 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 21111 1420 194 433 0 20675 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 84444
[startup+0.100278 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=26858872/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=84444 CPUtime=0.09 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 1541 0 0 0 9 0 0 0 20 0 2 0 287075668 86470656 1481 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 21111 1481 194 433 0 20675 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84444
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=26858872/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=84444 CPUtime=0.29 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 2068 0 0 0 29 0 0 0 20 0 2 0 287075668 86470656 2008 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 21111 2008 194 433 0 20675 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84444
[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1351
/proc/meminfo: memFree=26858872/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=84444 CPUtime=0.69 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 2997 0 0 0 69 0 0 0 20 0 2 0 287075668 86470656 2937 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 21111 2937 194 433 0 20675 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84444
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1353
/proc/meminfo: memFree=26845564/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=84444 CPUtime=1.49 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 4505 0 0 0 148 1 0 0 20 0 2 0 287075668 86470656 4445 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 21111 4445 194 433 0 20675 0
[pid=1351/tid=1353] ppid=1349 vsize=84444 CPUtime=1.47 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 3593 0 0 0 147 0 0 0 20 0 2 0 287075669 86470656 4445 33554432000 4194304 5964318 140737085736320 140547746703352 5136324 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84444
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1353
/proc/meminfo: memFree=26838992/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=84588 CPUtime=3.09 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 5385 0 0 0 308 1 0 0 20 0 2 0 287075668 86618112 5325 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 21147 5325 194 433 0 20711 0
[pid=1351/tid=1353] ppid=1349 vsize=84588 CPUtime=3.07 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 4473 0 0 0 306 1 0 0 20 0 2 0 287075669 86618112 5325 33554432000 4194304 5964318 140737085736320 140547746703352 4399928 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84588
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1353
/proc/meminfo: memFree=26828328/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=84660 CPUtime=6.29 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 7162 0 0 0 628 1 0 0 20 0 2 0 287075668 86691840 7102 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 21165 7102 194 433 0 20729 0
[pid=1351/tid=1353] ppid=1349 vsize=84660 CPUtime=6.26 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 6250 0 0 0 625 1 0 0 20 0 2 0 287075669 86691840 7102 33554432000 4194304 5964318 140737085736320 140547746703160 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84660
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1353
/proc/meminfo: memFree=26811000/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=84660 CPUtime=12.69 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 11180 0 0 0 1267 2 0 0 20 0 2 0 287075668 86691840 11120 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 21165 11120 194 433 0 20729 0
[pid=1351/tid=1353] ppid=1349 vsize=84660 CPUtime=12.64 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 10268 0 0 0 1262 2 0 0 20 0 2 0 287075669 86691840 11120 33554432000 4194304 5964318 140737085736320 140547746703352 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84660
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1354
/proc/meminfo: memFree=26768476/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=150304 CPUtime=25.48 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 18438 0 0 0 2544 4 0 0 20 0 2 0 287075668 153911296 18378 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 37576 18378 194 433 0 37140 0
[pid=1351/tid=1353] ppid=1349 vsize=150304 CPUtime=25.41 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 17526 0 0 0 2537 4 0 0 20 0 2 0 287075669 153911296 18378 33554432000 4194304 5964318 140737085736320 140547746703352 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 150304
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1354
/proc/meminfo: memFree=26725324/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=150464 CPUtime=51.08 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 23425 0 0 0 5103 5 0 0 20 0 2 0 287075668 154075136 23365 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 37616 23365 194 433 0 37180 0
[pid=1351/tid=1353] ppid=1349 vsize=150464 CPUtime=50.95 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 22513 0 0 0 5090 5 0 0 20 0 2 0 287075669 154075136 23365 33554432000 4194304 5964318 140737085736320 140547746703352 4400442 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 150464
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1354
/proc/meminfo: memFree=26617816/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=216240 CPUtime=102.28 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 46244 0 0 0 10216 12 0 0 20 0 2 0 287075668 221429760 46184 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 54060 46184 194 433 0 53624 0
[pid=1351/tid=1353] ppid=1349 vsize=216240 CPUtime=102.02 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 45332 0 0 0 10189 13 0 0 20 0 2 0 287075669 221429760 46184 33554432000 4194304 5964318 140737085736320 140547746703352 4399995 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 216240
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1354
/proc/meminfo: memFree=26569708/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=281776 CPUtime=162.26 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 58163 0 0 0 16210 16 0 0 20 0 2 0 287075668 288538624 58103 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 70444 58103 194 433 0 70008 0
[pid=1351/tid=1353] ppid=1349 vsize=281776 CPUtime=161.86 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 57251 0 0 0 16168 18 0 0 20 0 2 0 287075669 288538624 58103 33554432000 4194304 5964318 140737085736320 140547746703352 4400001 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 281776
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 1354
/proc/meminfo: memFree=26569512/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=281776 CPUtime=222.25 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 58222 0 0 0 22209 16 0 0 20 0 2 0 287075668 288538624 58161 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 70444 58161 194 433 0 70008 0
[pid=1351/tid=1353] ppid=1349 vsize=281776 CPUtime=221.71 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 57310 0 0 0 22152 19 0 0 20 0 2 0 287075669 288538624 58161 33554432000 4194304 5964318 140737085736320 140547746703352 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 281776
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 1354
/proc/meminfo: memFree=26524156/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=282064 CPUtime=282.23 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 65383 0 0 0 28202 21 0 0 20 0 2 0 287075668 288833536 65405 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 70516 65405 194 433 0 70080 0
[pid=1351/tid=1353] ppid=1349 vsize=282064 CPUtime=281.53 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 64471 0 0 0 28128 25 0 0 20 0 2 0 287075669 288833536 65405 33554432000 4194304 5964318 140737085736320 140547746703352 4399991 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 282064
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1355
/proc/meminfo: memFree=26466896/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=349616 CPUtime=342.19 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 71479 0 0 0 34196 23 0 0 20 0 2 0 287075668 358006784 71494 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 87404 71494 194 433 0 86968 0
[pid=1351/tid=1353] ppid=1349 vsize=349616 CPUtime=341.35 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 70567 0 0 0 34107 28 0 0 20 0 2 0 287075669 358006784 71494 33554432000 4194304 5964318 140737085736320 140547746703352 4399991 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 349616
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1355
/proc/meminfo: memFree=26410684/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=352244 CPUtime=402.18 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 77581 0 0 0 40192 26 0 0 20 0 2 0 287075668 360697856 78281 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 88061 78281 194 433 0 87625 0
[pid=1351/tid=1353] ppid=1349 vsize=352244 CPUtime=401.2 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 76669 0 0 0 40088 32 0 0 20 0 2 0 287075669 360697856 78281 33554432000 4194304 5964318 140737085736320 140547746703160 4400019 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 352244
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1355
/proc/meminfo: memFree=26345116/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=418428 CPUtime=462.17 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 1432
/proc/meminfo: memFree=26384592/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=420084 CPUtime=1422.02 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 99377 0 0 0 142164 38 0 0 20 0 2 0 287075668 430166016 99416 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 105021 99416 194 433 0 104585 0
[pid=1351/tid=1353] ppid=1349 vsize=420084 CPUtime=1418.57 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 98465 0 0 0 141798 59 0 0 20 0 2 0 287075669 430166016 99416 33554432000 4194304 5964318 140737085736320 140547746703528 4399973 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 420084
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 1432
/proc/meminfo: memFree=26384164/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=420084 CPUtime=1482 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 99386 0 0 0 148162 38 0 0 20 0 2 0 287075668 430166016 99425 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 105021 99425 194 433 0 104585 0
[pid=1351/tid=1353] ppid=1349 vsize=420084 CPUtime=1478.41 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 98474 0 0 0 147781 60 0 0 20 0 2 0 287075669 430166016 99425 33554432000 4194304 5964318 140737085736320 140547746703528 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 420084
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1432
/proc/meminfo: memFree=26382188/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=420084 CPUtime=1541.99 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 99386 0 0 0 154161 38 0 0 20 0 2 0 287075668 430166016 99425 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 105021 99425 194 433 0 104585 0
[pid=1351/tid=1353] ppid=1349 vsize=420084 CPUtime=1538.26 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 98474 0 0 0 153765 61 0 0 20 0 2 0 287075669 430166016 99425 33554432000 4194304 5964318 140737085736320 140547746703528 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 420084
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1433
/proc/meminfo: memFree=26373872/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=485620 CPUtime=1601.98 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 101733 0 0 0 160159 39 0 0 20 0 2 0 287075668 497274880 101772 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 121405 101772 194 433 0 120969 0
[pid=1351/tid=1353] ppid=1349 vsize=485620 CPUtime=1598.11 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 100821 0 0 0 159748 63 0 0 20 0 2 0 287075669 497274880 101772 33554432000 4194304 5964318 140737085736320 140547746703352 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 485620
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1433
/proc/meminfo: memFree=26309640/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=489184 CPUtime=1661.98 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 117679 0 0 0 166152 46 0 0 20 0 2 0 287075668 500924416 117718 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 122296 117719 194 433 0 121860 0
[pid=1351/tid=1353] ppid=1349 vsize=489184 CPUtime=1657.95 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 116768 0 0 0 165725 70 0 0 20 0 2 0 287075669 500924416 117719 33554432000 4194304 5964318 140737085736320 140547746703352 5136324 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 489184
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 1436
/proc/meminfo: memFree=26294920/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=489328 CPUtime=1721.96 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 117885 0 0 0 172150 46 0 0 20 0 2 0 287075668 501071872 117934 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 122332 117934 194 433 0 121896 0
[pid=1351/tid=1353] ppid=1349 vsize=489328 CPUtime=1717.79 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 116973 0 0 0 171707 72 0 0 20 0 2 0 287075669 501071872 117934 33554432000 4194304 5964318 140737085736320 140547746703352 4400446 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 489328
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 1436
/proc/meminfo: memFree=26200044/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=489652 CPUtime=1781.94 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 117994 0 0 0 178148 46 0 0 20 0 2 0 287075668 501403648 118085 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 122413 118085 194 433 0 121977 0
[pid=1351/tid=1353] ppid=1349 vsize=489652 CPUtime=1777.63 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 117082 0 0 0 177690 73 0 0 20 0 2 0 287075669 501403648 118085 33554432000 4194304 5964318 140737085736320 140547746703400 5136324 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 489652
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 1436
/proc/meminfo: memFree=26185536/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=556068 CPUtime=1791.54 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 119322 0 0 0 179108 46 0 0 20 0 2 0 287075668 569413632 119413 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 139017 119413 194 433 0 138581 0
[pid=1351/tid=1353] ppid=1349 vsize=556068 CPUtime=1787.21 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 118410 0 0 0 178648 73 0 0 20 0 2 0 287075669 569413632 119413 33554432000 4194304 5964318 140737085736320 140547746703160 4400423 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 556068
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 1436
/proc/meminfo: memFree=26182312/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=556068 CPUtime=1794.74 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 119396 0 0 0 179428 46 0 0 20 0 2 0 287075668 569413632 119487 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 139017 119487 194 433 0 138581 0
[pid=1351/tid=1353] ppid=1349 vsize=556068 CPUtime=1790.4 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 118484 0 0 0 178967 73 0 0 20 0 2 0 287075669 569413632 119487 33554432000 4194304 5964318 140737085736320 140547746703160 4399971 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 556068
[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 1436
/proc/meminfo: memFree=26182064/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=556068 CPUtime=1797.93 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 119479 0 0 0 179747 46 0 0 20 0 2 0 287075668 569413632 119570 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 139017 119570 194 433 0 138581 0
[pid=1351/tid=1353] ppid=1349 vsize=556068 CPUtime=1793.59 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 118567 0 0 0 179286 73 0 0 20 0 2 0 287075669 569413632 119570 33554432000 4194304 5964318 140737085736320 140547746703160 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 556068
[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 1436
/proc/meminfo: memFree=26181940/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=556068 CPUtime=1798.73 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 119499 0 0 0 179827 46 0 0 20 0 2 0 287075668 569413632 119590 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 139017 119590 194 433 0 138581 0
[pid=1351/tid=1353] ppid=1349 vsize=556068 CPUtime=1794.38 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 118587 0 0 0 179365 73 0 0 20 0 2 0 287075669 569413632 119590 33554432000 4194304 5964318 140737085736320 140547746703160 4399995 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (KiB) 556068
[startup+1799.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 1436
/proc/meminfo: memFree=26181692/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=556068 CPUtime=1799.13 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 119500 0 0 0 179867 46 0 0 20 0 2 0 287075668 569413632 119591 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 139017 119591 194 433 0 138581 0
[pid=1351/tid=1353] ppid=1349 vsize=556068 CPUtime=1794.79 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 118588 0 0 0 179406 73 0 0 20 0 2 0 287075669 569413632 119591 33554432000 4194304 5964318 140737085736320 140547746703160 4400019 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (KiB) 556068
[startup+1799.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 1436
/proc/meminfo: memFree=26181692/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=556068 CPUtime=1799.53 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 119500 0 0 0 179907 46 0 0 20 0 2 0 287075668 569413632 119591 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 139017 119591 194 433 0 138581 0
[pid=1351/tid=1353] ppid=1349 vsize=556068 CPUtime=1795.18 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 118588 0 0 0 179445 73 0 0 20 0 2 0 287075669 569413632 119591 33554432000 4194304 5964318 140737085736320 140547746703160 4400532 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 556068
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 1436
/proc/meminfo: memFree=26181692/32873648 swapFree=6336/6336
[pid=1351] ppid=1349 vsize=556068 CPUtime=1799.63 cores=0,2,4,6
/proc/1351/stat : 1351 (wbo1.71) S 1349 1351 32463 0 -1 4202496 119500 0 0 0 179917 46 0 0 20 0 2 0 287075668 569413632 119591 33554432000 4194304 5964318 140737085736320 140737085735840 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1351/statm: 139017 119591 194 433 0 138581 0
[pid=1351/tid=1353] ppid=1349 vsize=556068 CPUtime=1795.28 cores=0,2,4,6
/proc/1351/task/1353/stat : 1353 (wbo1.71) R 1349 1351 32463 0 -1 4202560 118588 0 0 0 179455 73 0 0 20 0 2 0 287075669 569413632 119591 33554432000 4194304 5964318 140737085736320 140547746703160 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 556068
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1351 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=562185
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=745886
# CPU time returned by wait4() is 1795.31
# while last known CPU time is 1799.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.63
CPU user time (s): 1799.17
CPU system time (s): 0.46
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 556068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.56
system time used= 0.745886
maximum resident set size= 478376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119503
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= 144
involuntary context switches= 1865
runsolver used 3.69544 second user time and 8.71967 second system time
The end