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-3728196-1338671429/watcher-3728196-1338671429 -o /tmp/evaluation-result-3728196-1338671429/solver-3728196-1338671429 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728196-1338671429.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 7672
/proc/meminfo: memFree=29104292/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=4584 CPUtime=0 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) R 7670 7672 6982 0 -1 4202496 601 0 0 0 0 0 0 0 20 0 1 0 333271362 4694016 554 33554432000 4194304 5964350 140735820479680 140736706524152 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 1146 554 166 433 0 663 0
[startup+0.028713 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 7672
/proc/meminfo: memFree=29104292/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=88392 CPUtime=0.02 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 2546 0 0 0 2 0 0 0 20 0 2 0 333271362 90513408 2444 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 22098 2444 185 433 0 21662 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 88392
[startup+0.100173 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 7672
/proc/meminfo: memFree=29104292/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=87536 CPUtime=0.09 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 2935 0 0 0 9 0 0 0 20 0 2 0 333271362 89636864 2667 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 21884 2667 192 433 0 21448 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 87536
[startup+0.300121 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 7672
/proc/meminfo: memFree=29104292/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=87536 CPUtime=0.28 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 3341 0 0 0 28 0 0 0 20 0 2 0 333271362 89636864 3073 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 21884 3073 193 433 0 21448 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 87536
[startup+0.700118 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 7672
/proc/meminfo: memFree=29104292/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=87536 CPUtime=0.68 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 3904 0 0 0 68 0 0 0 20 0 2 0 333271362 89636864 3636 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 21884 3636 193 433 0 21448 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87536
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7674
/proc/meminfo: memFree=29079588/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=87536 CPUtime=1.48 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 5019 0 0 0 147 1 0 0 20 0 2 0 333271362 89636864 4751 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 21884 4751 193 433 0 21448 0
[pid=7672/tid=7674] ppid=7670 vsize=87536 CPUtime=1.46 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 3476 0 0 0 144 2 0 0 20 0 2 0 333271364 89636864 4751 33554432000 4194304 5964350 140735820479680 140056135256056 4391702 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 87536
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7674
/proc/meminfo: memFree=29066288/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=87536 CPUtime=3.08 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 7186 0 0 0 307 1 0 0 20 0 2 0 333271362 89636864 6918 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 21884 6918 193 433 0 21448 0
[pid=7672/tid=7674] ppid=7670 vsize=87536 CPUtime=3.06 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 5643 0 0 0 304 2 0 0 20 0 2 0 333271364 89636864 6918 33554432000 4194304 5964350 140735820479680 140056135256056 5136340 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) 87536
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7674
/proc/meminfo: memFree=29039264/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=87536 CPUtime=6.28 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 11154 0 0 0 625 3 0 0 20 0 2 0 333271362 89636864 10886 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 21884 10886 193 433 0 21448 0
[pid=7672/tid=7674] ppid=7670 vsize=87536 CPUtime=6.25 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 9611 0 0 0 622 3 0 0 20 0 2 0 333271364 89636864 10886 33554432000 4194304 5964350 140735820479680 140056135256056 4381473 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) 87536
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7674
/proc/meminfo: memFree=29007080/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=87536 CPUtime=12.68 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 13456 0 0 0 1264 4 0 0 20 0 2 0 333271362 89636864 13188 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 21884 13188 193 433 0 21448 0
[pid=7672/tid=7674] ppid=7670 vsize=87536 CPUtime=12.63 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 11913 0 0 0 1259 4 0 0 20 0 2 0 333271364 89636864 13188 33554432000 4194304 5964350 140735820479680 140056135256056 4222384 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) 87536
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7674
/proc/meminfo: memFree=28956124/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=153072 CPUtime=25.47 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 18249 0 0 0 2541 6 0 0 20 0 2 0 333271362 156745728 17986 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 38268 17986 193 433 0 37832 0
[pid=7672/tid=7674] ppid=7670 vsize=153072 CPUtime=25.39 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 16706 0 0 0 2534 5 0 0 20 0 2 0 333271364 156745728 17986 33554432000 4194304 5964350 140735820479680 140056135256056 5136410 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 153072
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 7674
/proc/meminfo: memFree=28864208/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=153072 CPUtime=51.05 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 31945 0 0 0 5095 10 0 0 20 0 2 0 333271362 156745728 31664 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 38268 31664 193 433 0 37832 0
[pid=7672/tid=7674] ppid=7670 vsize=153072 CPUtime=50.9 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 30402 0 0 0 5080 10 0 0 20 0 2 0 333271364 156745728 31664 33554432000 4194304 5964350 140735820479680 140056135256056 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 153072
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 7674
/proc/meminfo: memFree=28696244/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=284628 CPUtime=102.24 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 62303 0 0 0 10204 20 0 0 20 0 2 0 333271362 291459072 62021 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 71157 62021 193 433 0 70721 0
[pid=7672/tid=7674] ppid=7670 vsize=284628 CPUtime=101.97 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 60760 0 0 0 10176 21 0 0 20 0 2 0 333271364 291459072 62021 33554432000 4194304 5964350 140735820479680 140056135256056 4400462 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 284628
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 7674
/proc/meminfo: memFree=28512692/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=415700 CPUtime=162.22 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 93011 0 0 0 16195 27 0 0 20 0 2 0 333271362 425676800 92729 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 103925 92729 193 433 0 103489 0
[pid=7672/tid=7674] ppid=7670 vsize=415700 CPUtime=161.81 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 91468 0 0 0 16152 29 0 0 20 0 2 0 333271364 425676800 92729 33554432000 4194304 5964350 140735820479680 140056135256056 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 415700
[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 7674
/proc/meminfo: memFree=28284652/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=612548 CPUtime=222.19 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 133507 0 0 0 22181 38 0 0 20 0 2 0 333271362 627249152 133215 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 153137 133215 193 433 0 152701 0
[pid=7672/tid=7674] ppid=7670 vsize=612548 CPUtime=221.64 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 131964 0 0 0 22123 41 0 0 20 0 2 0 333271364 627249152 133215 33554432000 4194304 5964350 140735820479680 140056135256056 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 612548
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 7675
/proc/meminfo: memFree=28250084/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=612548 CPUtime=282.17 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 133545 0 0 0 28178 39 0 0 20 0 2 0 333271362 627249152 133230 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 153137 133230 193 433 0 152701 0
[pid=7672/tid=7674] ppid=7670 vsize=612548 CPUtime=281.45 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 132002 0 0 0 28103 42 0 0 20 0 2 0 333271364 627249152 133230 33554432000 4194304 5964350 140735820479680 140056135256056 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 612548
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 7675
/proc/meminfo: memFree=28249864/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=612548 CPUtime=342.13 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 133605 0 0 0 34174 39 0 0 20 0 2 0 333271362 627249152 133263 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 153137 133263 193 433 0 152701 0
[pid=7672/tid=7674] ppid=7670 vsize=612548 CPUtime=341.27 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 132062 0 0 0 34084 43 0 0 20 0 2 0 333271364 627249152 133263 33554432000 4194304 5964350 140735820479680 140056135256056 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 612548
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7675
/proc/meminfo: memFree=28195084/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=612548 CPUtime=402.1 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 133638 0 0 0 40171 39 0 0 20 0 2 0 333271362 627249152 133272 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 153137 133272 193 433 0 152701 0
[pid=7672/tid=7674] ppid=7670 vsize=612548 CPUtime=401.09 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 132095 0 0 0 40065 44 0 0 20 0 2 0 333271364 627249152 133272 33554432000 4194304 5964350 140735820479680 140056135256056 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 612548
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7675
/proc/meminfo: memFree=28110420/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=678084 CPUtime=462.06 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 7685
/proc/meminfo: memFree=27234016/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1268268 CPUtime=1421.88 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 299209 0 0 0 142093 95 0 0 20 0 2 0 333271362 1298706432 298921 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 317067 298921 193 433 0 316631 0
[pid=7672/tid=7674] ppid=7670 vsize=1268268 CPUtime=1418.36 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 297666 0 0 0 141720 116 0 0 20 0 2 0 333271364 1298706432 298921 33554432000 4194304 5964350 140735820479680 140056135256088 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1268268
[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/180 7686
/proc/meminfo: memFree=27234064/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1268268 CPUtime=1481.86 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 299209 0 0 0 148091 95 0 0 20 0 2 0 333271362 1298706432 298921 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 317067 298921 193 433 0 316631 0
[pid=7672/tid=7674] ppid=7670 vsize=1268268 CPUtime=1478.2 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 297666 0 0 0 147703 117 0 0 20 0 2 0 333271364 1298706432 298921 33554432000 4194304 5964350 140735820479680 140056135256088 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1268268
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 7687
/proc/meminfo: memFree=27234072/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1268268 CPUtime=1541.85 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 299209 0 0 0 154090 95 0 0 20 0 2 0 333271362 1298706432 298921 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 317067 298921 193 433 0 316631 0
[pid=7672/tid=7674] ppid=7670 vsize=1268268 CPUtime=1538.04 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 297666 0 0 0 153686 118 0 0 20 0 2 0 333271364 1298706432 298921 33554432000 4194304 5964350 140735820479680 140056135256088 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1268268
[startup+1602.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/179 7687
/proc/meminfo: memFree=27183480/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1268268 CPUtime=1601.84 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 299209 0 0 0 160089 95 0 0 20 0 2 0 333271362 1298706432 298921 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 317067 298921 193 433 0 316631 0
[pid=7672/tid=7674] ppid=7670 vsize=1268268 CPUtime=1597.88 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 297666 0 0 0 159669 119 0 0 20 0 2 0 333271364 1298706432 298921 33554432000 4194304 5964350 140735820479680 140056135256088 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1268268
[startup+1662.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/179 7687
/proc/meminfo: memFree=26985048/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1399340 CPUtime=1661.82 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 343495 0 0 0 166077 105 0 0 20 0 2 0 333271362 1432924160 343198 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 349835 343201 193 433 0 349399 0
[pid=7672/tid=7674] ppid=7670 vsize=1399340 CPUtime=1657.72 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 341955 0 0 0 165642 130 0 0 20 0 2 0 333271364 1432924160 343201 33554432000 4194304 5964350 140735820479680 140056135256056 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1399340
[startup+1722.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/179 7687
/proc/meminfo: memFree=26880608/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1530412 CPUtime=1721.8 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 369212 0 0 0 172068 112 0 0 20 0 2 0 333271362 1567141888 368905 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 382603 368905 193 433 0 382167 0
[pid=7672/tid=7674] ppid=7670 vsize=1530412 CPUtime=1717.55 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 367669 0 0 0 171617 138 0 0 20 0 2 0 333271364 1567141888 368905 33554432000 4194304 5964350 140735820479680 140056135256056 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1530412
[startup+1782.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/180 7690
/proc/meminfo: memFree=26834500/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1530412 CPUtime=1781.78 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 369232 0 0 0 178066 112 0 0 20 0 2 0 333271362 1567141888 369003 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 382603 369003 193 433 0 382167 0
[pid=7672/tid=7674] ppid=7670 vsize=1530412 CPUtime=1777.38 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 367689 0 0 0 177600 138 0 0 20 0 2 0 333271364 1567141888 369003 33554432000 4194304 5964350 140735820479680 140056135256056 4381622 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1530412
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.07 2.08 2.02 3/179 7690
/proc/meminfo: memFree=26822712/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1530412 CPUtime=1791.39 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 369233 0 0 0 179027 112 0 0 20 0 2 0 333271362 1567141888 369004 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 382603 369004 193 433 0 382167 0
[pid=7672/tid=7674] ppid=7670 vsize=1530412 CPUtime=1786.96 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 367690 0 0 0 178557 139 0 0 20 0 2 0 333271364 1567141888 369004 33554432000 4194304 5964350 140735820479680 140056135256056 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 1530412
[startup+1795.1 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 7691
/proc/meminfo: memFree=26817620/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1530412 CPUtime=1794.59 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 369233 0 0 0 179347 112 0 0 20 0 2 0 333271362 1567141888 369004 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 382603 369004 193 433 0 382167 0
[pid=7672/tid=7674] ppid=7670 vsize=1530412 CPUtime=1790.15 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 367690 0 0 0 178876 139 0 0 20 0 2 0 333271364 1567141888 369004 33554432000 4194304 5964350 140735820479680 140056135256056 4381928 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 1530412
[startup+1798.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 7691
/proc/meminfo: memFree=26813404/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1530412 CPUtime=1797.78 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 369233 0 0 0 179666 112 0 0 20 0 2 0 333271362 1567141888 369004 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 382603 369004 193 433 0 382167 0
[pid=7672/tid=7674] ppid=7670 vsize=1530412 CPUtime=1793.34 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 367690 0 0 0 179195 139 0 0 20 0 2 0 333271364 1567141888 369004 33554432000 4194304 5964350 140735820479680 140056135256056 4381939 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 1530412
[startup+1799.1 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 7691
/proc/meminfo: memFree=26812040/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1530412 CPUtime=1798.58 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 369233 0 0 0 179746 112 0 0 20 0 2 0 333271362 1567141888 369004 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 382603 369004 193 433 0 382167 0
[pid=7672/tid=7674] ppid=7670 vsize=1530412 CPUtime=1794.14 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 367690 0 0 0 179275 139 0 0 20 0 2 0 333271364 1567141888 369004 33554432000 4194304 5964350 140735820479680 140056135256056 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 1530412
[startup+1799.5 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 7691
/proc/meminfo: memFree=26810676/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1530412 CPUtime=1798.99 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 369233 0 0 0 179787 112 0 0 20 0 2 0 333271362 1567141888 369004 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 382603 369004 193 433 0 382167 0
[pid=7672/tid=7674] ppid=7670 vsize=1530412 CPUtime=1794.54 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 367690 0 0 0 179315 139 0 0 20 0 2 0 333271364 1567141888 369004 33554432000 4194304 5964350 140735820479680 140056135256056 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 1530412
[startup+1799.9 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 7691
/proc/meminfo: memFree=26810676/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1530412 CPUtime=1799.38 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 369233 0 0 0 179826 112 0 0 20 0 2 0 333271362 1567141888 369004 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 382603 369004 193 433 0 382167 0
[pid=7672/tid=7674] ppid=7670 vsize=1530412 CPUtime=1794.93 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 367690 0 0 0 179354 139 0 0 20 0 2 0 333271364 1567141888 369004 33554432000 4194304 5964350 140735820479680 140056135256056 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.38
Current children cumulated vsize (KiB) 1530412
[startup+1800 s]
/proc/loadavg: 2.06 2.08 2.02 3/180 7691
/proc/meminfo: memFree=26810676/32873844 swapFree=6872/6872
[pid=7672] ppid=7670 vsize=1530412 CPUtime=1799.48 cores=1,3,5,7
/proc/7672/stat : 7672 (wbo1.72) S 7670 7672 6982 0 -1 4202496 369233 0 0 0 179836 112 0 0 20 0 2 0 333271362 1567141888 369004 33554432000 4194304 5964350 140735820479680 140735820479200 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7672/statm: 382603 369004 193 433 0 382167 0
[pid=7672/tid=7674] ppid=7670 vsize=1530412 CPUtime=1795.03 cores=1,3,5,7
/proc/7672/task/7674/stat : 7674 (wbo1.72) R 7670 7672 6982 0 -1 4202560 367690 0 0 0 179364 139 0 0 20 0 2 0 333271364 1567141888 369004 33554432000 4194304 5964350 140735820479680 140056135256056 4381939 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 1530412
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7672 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=665321
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=443780
# CPU time returned by wait4() is 1795.11
# while last known CPU time is 1799.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.04
CPU time (s): 1799.48
CPU user time (s): 1798.36
CPU system time (s): 1.12
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 1530412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 1.44378
maximum resident set size= 1476028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369236
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= 320
involuntary context switches= 2299
runsolver used 3.9294 second user time and 9.67653 second system time
The end