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-3727067-1338659510/watcher-3727067-1338659510 -o /tmp/evaluation-result-3727067-1338659510/solver-3727067-1338659510 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727067-1338659510.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.95 2.00 2.00 3/175 21519
/proc/meminfo: memFree=28951464/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=83576 CPUtime=0 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 744 0 0 0 0 0 0 0 20 0 2 0 332079426 85581824 695 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 20894 695 183 433 0 20458 0
[pid=21519/tid=21520] ppid=21517 vsize=83576 CPUtime=0 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 332079426 85581824 696 33554432000 4194304 5964350 140736409234928 140736913000456 5136410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.079541 s]
/proc/loadavg: 1.95 2.00 2.00 3/175 21519
/proc/meminfo: memFree=28951464/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=83576 CPUtime=0.07 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 941 0 0 0 7 0 0 0 20 0 2 0 332079426 85581824 892 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 20894 892 184 433 0 20458 0
[pid=21519/tid=21520] ppid=21517 vsize=83576 CPUtime=0.06 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 240 0 0 0 6 0 0 0 20 0 2 0 332079426 85581824 892 33554432000 4194304 5964350 140736409234928 140736913000456 4400011 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) 83576
[startup+0.100241 s]
/proc/loadavg: 1.95 2.00 2.00 3/175 21519
/proc/meminfo: memFree=28951464/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=83576 CPUtime=0.09 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 974 0 0 0 9 0 0 0 20 0 2 0 332079426 85581824 925 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 20894 925 184 433 0 20458 0
[pid=21519/tid=21520] ppid=21517 vsize=83576 CPUtime=0.08 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 273 0 0 0 8 0 0 0 20 0 2 0 332079426 85581824 925 33554432000 4194304 5964350 140736409234928 140736913000456 5136340 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) 83576
[startup+0.300205 s]
/proc/loadavg: 1.95 2.00 2.00 3/175 21519
/proc/meminfo: memFree=28951464/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=83576 CPUtime=0.29 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 1259 0 0 0 29 0 0 0 20 0 2 0 332079426 85581824 1210 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 20894 1210 184 433 0 20458 0
[pid=21519/tid=21520] ppid=21517 vsize=83576 CPUtime=0.28 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 558 0 0 0 28 0 0 0 20 0 2 0 332079426 85581824 1210 33554432000 4194304 5964350 140736409234928 140736913000456 5136340 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) 83576
[startup+0.700205 s]
/proc/loadavg: 1.95 2.00 2.00 3/175 21519
/proc/meminfo: memFree=28951464/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=83576 CPUtime=0.69 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 1510 0 0 0 69 0 0 0 20 0 2 0 332079426 85581824 1461 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 20894 1461 184 433 0 20458 0
[pid=21519/tid=21520] ppid=21517 vsize=83576 CPUtime=0.68 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 809 0 0 0 68 0 0 0 20 0 2 0 332079426 85581824 1461 33554432000 4194304 5964350 140736409234928 140658718787384 4399987 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) 83576
[startup+1.50021 s]
/proc/loadavg: 1.95 2.00 2.00 3/177 21521
/proc/meminfo: memFree=28944960/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=83576 CPUtime=1.49 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 1898 0 0 0 149 0 0 0 20 0 2 0 332079426 85581824 1849 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 20894 1849 184 433 0 20458 0
[pid=21519/tid=21520] ppid=21517 vsize=83576 CPUtime=1.48 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 1197 0 0 0 148 0 0 0 20 0 2 0 332079426 85581824 1849 33554432000 4194304 5964350 140736409234928 140658718787576 4400035 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) 83576
[startup+3.1002 s]
/proc/loadavg: 1.95 2.00 2.00 3/177 21521
/proc/meminfo: memFree=28942472/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=83720 CPUtime=3.09 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 2296 0 0 0 309 0 0 0 20 0 2 0 332079426 85729280 2247 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 20930 2247 184 433 0 20494 0
[pid=21519/tid=21520] ppid=21517 vsize=83720 CPUtime=3.07 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 1595 0 0 0 307 0 0 0 20 0 2 0 332079426 85729280 2247 33554432000 4194304 5964350 140736409234928 140658718787384 4221120 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) 83720
[startup+6.30021 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 21521
/proc/meminfo: memFree=28938884/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=83720 CPUtime=6.29 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 2910 0 0 0 629 0 0 0 20 0 2 0 332079426 85729280 2861 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 20930 2861 184 433 0 20494 0
[pid=21519/tid=21520] ppid=21517 vsize=83720 CPUtime=6.27 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 2209 0 0 0 627 0 0 0 20 0 2 0 332079426 85729280 2861 33554432000 4194304 5964350 140736409234928 140658718787576 4399832 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) 83720
[startup+12.7002 s]
/proc/loadavg: 1.96 2.00 2.00 3/177 21521
/proc/meminfo: memFree=28929832/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=84080 CPUtime=12.69 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 3991 0 0 0 1269 0 0 0 20 0 2 0 332079426 86097920 3942 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 21020 3942 184 433 0 20584 0
[pid=21519/tid=21520] ppid=21517 vsize=84080 CPUtime=12.65 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 3290 0 0 0 1265 0 0 0 20 0 2 0 332079426 86097920 3942 33554432000 4194304 5964350 140736409234928 140658718787576 4379216 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) 84080
[startup+25.5002 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 21521
/proc/meminfo: memFree=28913084/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=84620 CPUtime=25.49 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 5832 0 0 0 2548 1 0 0 20 0 2 0 332079426 86650880 5768 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 21155 5768 184 433 0 20719 0
[pid=21519/tid=21520] ppid=21517 vsize=84620 CPUtime=25.42 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 5131 0 0 0 2541 1 0 0 20 0 2 0 332079426 86650880 5768 33554432000 4194304 5964350 140736409234928 140658718787384 4399840 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) 84620
[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 21521
/proc/meminfo: memFree=28888488/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=87156 CPUtime=51.08 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 7907 0 0 0 5107 1 0 0 20 0 2 0 332079426 89247744 7843 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 21789 7843 184 433 0 21353 0
[pid=21519/tid=21520] ppid=21517 vsize=87156 CPUtime=50.95 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 7206 0 0 0 5094 1 0 0 20 0 2 0 332079426 89247744 7843 33554432000 4194304 5964350 140736409234928 140658718787384 4399987 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) 87156
[startup+102.306 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 21522
/proc/meminfo: memFree=28864184/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=93996 CPUtime=102.28 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 10939 0 0 0 10224 4 0 0 20 0 2 0 332079426 96251904 10866 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 23499 10866 184 433 0 23063 0
[pid=21519/tid=21520] ppid=21517 vsize=93996 CPUtime=102.03 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 10238 0 0 0 10199 4 0 0 20 0 2 0 332079426 96251904 10866 33554432000 4194304 5964350 140736409234928 140658718787624 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 93996
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 21522
/proc/meminfo: memFree=28852500/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=95388 CPUtime=162.26 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 13367 0 0 0 16220 6 0 0 20 0 2 0 332079426 97677312 13294 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 23847 13294 184 433 0 23411 0
[pid=21519/tid=21520] ppid=21517 vsize=95388 CPUtime=161.87 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 12666 0 0 0 16179 8 0 0 20 0 2 0 332079426 97677312 13294 33554432000 4194304 5964350 140736409234928 140658718787576 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 95388
[startup+222.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/177 21522
/proc/meminfo: memFree=28835524/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=98844 CPUtime=222.23 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 15979 0 0 0 22215 8 0 0 20 0 2 0 332079426 101216256 16354 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 24711 16354 184 433 0 24275 0
[pid=21519/tid=21520] ppid=21517 vsize=98844 CPUtime=221.69 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 15278 0 0 0 22158 11 0 0 20 0 2 0 332079426 101216256 16354 33554432000 4194304 5964350 140736409234928 140658718787624 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 98844
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 21522
/proc/meminfo: memFree=28819464/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=101508 CPUtime=282.22 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 18619 0 0 0 28211 11 0 0 20 0 2 0 332079426 103944192 18994 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 25377 18994 184 433 0 24941 0
[pid=21519/tid=21520] ppid=21517 vsize=101508 CPUtime=281.54 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 17918 0 0 0 28139 15 0 0 20 0 2 0 332079426 103944192 18994 33554432000 4194304 5964350 140736409234928 140658718787624 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 101508
Solver just ended. Dumping a history of the last processes samples
[startup+294.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21522
/proc/meminfo: memFree=28810288/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=102356 CPUtime=294.22 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 19955 0 0 0 29410 12 0 0 20 0 2 0 332079426 104812544 20330 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 25589 20330 184 433 0 25153 0
[pid=21519/tid=21520] ppid=21517 vsize=102356 CPUtime=293.51 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 19254 0 0 0 29335 16 0 0 20 0 2 0 332079426 104812544 20330 33554432000 4194304 5964350 140736409234928 140658718787384 4399858 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 294.22
Current children cumulated vsize (KiB) 102356
[startup+300.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21522
/proc/meminfo: memFree=28807808/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=102356 CPUtime=300.62 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 19969 0 0 0 30050 12 0 0 20 0 2 0 332079426 104812544 20344 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 25589 20344 184 433 0 25153 0
[pid=21519/tid=21520] ppid=21517 vsize=102356 CPUtime=299.89 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 19268 0 0 0 29973 16 0 0 20 0 2 0 332079426 104812544 20344 33554432000 4194304 5964350 140736409234928 140658718787576 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 300.62
Current children cumulated vsize (KiB) 102356
[startup+307.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21522
/proc/meminfo: memFree=28804460/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=102608 CPUtime=307.02 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 20033 0 0 0 30690 12 0 0 20 0 2 0 332079426 105070592 20408 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 25652 20408 184 433 0 25216 0
[pid=21519/tid=21520] ppid=21517 vsize=102608 CPUtime=306.28 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 19332 0 0 0 30612 16 0 0 20 0 2 0 332079426 105070592 20408 33554432000 4194304 5964350 140736409234928 140658718787384 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 307.02
Current children cumulated vsize (KiB) 102608
[startup+310.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21522
/proc/meminfo: memFree=28802352/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=102896 CPUtime=310.22 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 20082 0 0 0 31010 12 0 0 20 0 2 0 332079426 105365504 20457 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 25724 20457 184 433 0 25288 0
[pid=21519/tid=21520] ppid=21517 vsize=102896 CPUtime=309.47 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 19381 0 0 0 30931 16 0 0 20 0 2 0 332079426 105365504 20457 33554432000 4194304 5964350 140736409234928 140658718787624 4400410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 310.22
Current children cumulated vsize (KiB) 102896
[startup+311.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21522
/proc/meminfo: memFree=28801476/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=103076 CPUtime=311.82 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 20124 0 0 0 31170 12 0 0 20 0 2 0 332079426 105549824 20499 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 25769 20499 184 433 0 25333 0
[pid=21519/tid=21520] ppid=21517 vsize=103076 CPUtime=311.07 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 19423 0 0 0 31091 16 0 0 20 0 2 0 332079426 105549824 20499 33554432000 4194304 5964350 140736409234928 140658718787624 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 311.82
Current children cumulated vsize (KiB) 103076
[startup+312.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21522
/proc/meminfo: memFree=28800980/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=103184 CPUtime=312.22 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 20136 0 0 0 31210 12 0 0 20 0 2 0 332079426 105660416 20511 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 25796 20511 184 433 0 25360 0
[pid=21519/tid=21520] ppid=21517 vsize=103184 CPUtime=311.47 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 19435 0 0 0 31131 16 0 0 20 0 2 0 332079426 105660416 20511 33554432000 4194304 5964350 140736409234928 140658718787624 4399889 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 312.22
Current children cumulated vsize (KiB) 103184
[startup+312.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21522
/proc/meminfo: memFree=28800980/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=103184 CPUtime=312.62 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 20140 0 0 0 31250 12 0 0 20 0 2 0 332079426 105660416 20515 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 25796 20515 184 433 0 25360 0
[pid=21519/tid=21520] ppid=21517 vsize=103184 CPUtime=311.86 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 19439 0 0 0 31170 16 0 0 20 0 2 0 332079426 105660416 20515 33554432000 4194304 5964350 140736409234928 140658718787624 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 312.62
Current children cumulated vsize (KiB) 103184
[startup+312.8 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21522
/proc/meminfo: memFree=28800980/32873844 swapFree=6088/6088
[pid=21519] ppid=21517 vsize=103184 CPUtime=312.72 cores=1,3,5,7
/proc/21519/stat : 21519 (wbo1.72) S 21517 21519 18556 0 -1 4202496 20141 0 0 0 31260 12 0 0 20 0 2 0 332079426 105660416 20516 33554432000 4194304 5964350 140736409234928 140736409234448 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21519/statm: 25796 20516 184 433 0 25360 0
[pid=21519/tid=21520] ppid=21517 vsize=103184 CPUtime=311.96 cores=1,3,5,7
/proc/21519/task/21520/stat : 21520 (wbo1.72) R 21517 21519 18556 0 -1 4202560 19440 0 0 0 31180 16 0 0 20 0 2 0 332079426 105660416 20516 33554432000 4194304 5964350 140736409234928 140658718787624 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 312.72
Current children cumulated vsize (KiB) 103184
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21519 and gives
# childrusage.ru_utime.tv_sec=311
# childrusage.ru_utime.tv_usec=882586
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=173973
# CPU time returned by wait4() is 312.057
# while last known CPU time is 312.72
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 312.879
CPU time (s): 312.72
CPU user time (s): 312.6
CPU system time (s): 0.12
CPU usage (%): 99.9492
Max. virtual memory (cumulated for all children) (KiB): 103184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 311.883
system time used= 0.173973
maximum resident set size= 82084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20146
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= 27
involuntary context switches= 324
runsolver used 0.504923 second user time and 1.20582 second system time
The end