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-3728145-1338674744/watcher-3728145-1338674744 -o /tmp/evaluation-result-3728145-1338674744/solver-3728145-1338674744 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728145-1338674744.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.04 2.02 2.00 3/177 2785
/proc/meminfo: memFree=28750124/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=3268 CPUtime=0 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) R 2783 2785 2034 0 -1 4202496 320 0 0 0 0 0 0 0 20 0 1 0 333598777 3346432 272 33554432000 4194304 5964350 140736402953776 140733302725080 4360464 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 817 272 164 433 0 358 0
[startup+0.0439899 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 2785
/proc/meminfo: memFree=28750124/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=84208 CPUtime=0.03 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 1256 0 0 0 3 0 0 0 20 0 2 0 333598777 86228992 1185 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 21052 1186 193 433 0 20616 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 84208
[startup+0.100278 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 2785
/proc/meminfo: memFree=28750124/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=84208 CPUtime=0.09 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 1423 0 0 0 9 0 0 0 20 0 2 0 333598777 86228992 1352 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 21052 1352 193 433 0 20616 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84208
[startup+0.300277 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 2785
/proc/meminfo: memFree=28750124/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=84208 CPUtime=0.29 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 1887 0 0 0 29 0 0 0 20 0 2 0 333598777 86228992 1816 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 21052 1816 193 433 0 20616 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84208
[startup+0.700243 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 2785
/proc/meminfo: memFree=28750124/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=84352 CPUtime=0.69 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 2495 0 0 0 69 0 0 0 20 0 2 0 333598777 86376448 2424 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 21088 2424 193 433 0 20652 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84352
[startup+1.50026 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 2787
/proc/meminfo: memFree=28739808/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=84352 CPUtime=1.49 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 3430 0 0 0 149 0 0 0 20 0 2 0 333598777 86376448 3359 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 21088 3359 193 433 0 20652 0
[pid=2785/tid=2787] ppid=2783 vsize=84352 CPUtime=1.47 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 2576 0 0 0 147 0 0 0 20 0 2 0 333598778 86376448 3359 33554432000 4194304 5964350 140736402953776 139735883773752 5136340 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) 84352
[startup+3.10027 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 2787
/proc/meminfo: memFree=28733856/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=84424 CPUtime=3.09 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 5856 0 0 0 308 1 0 0 20 0 2 0 333598777 86450176 5785 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 21106 5785 193 433 0 20670 0
[pid=2785/tid=2787] ppid=2783 vsize=84424 CPUtime=3.06 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 5002 0 0 0 305 1 0 0 20 0 2 0 333598778 86450176 5785 33554432000 4194304 5964350 140736402953776 139735883773944 5136340 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) 84424
[startup+6.30028 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 2787
/proc/meminfo: memFree=28717116/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=84532 CPUtime=6.28 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 9983 0 0 0 626 2 0 0 20 0 2 0 333598777 86560768 9912 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 21133 9912 193 433 0 20697 0
[pid=2785/tid=2787] ppid=2783 vsize=84532 CPUtime=6.26 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 9129 0 0 0 624 2 0 0 20 0 2 0 333598778 86560768 9912 33554432000 4194304 5964350 140736402953776 139735883773944 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84532
[startup+12.7003 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 2787
/proc/meminfo: memFree=28686388/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=150228 CPUtime=12.69 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 17649 0 0 0 1265 4 0 0 20 0 2 0 333598777 153833472 17578 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 37557 17578 193 433 0 37121 0
[pid=2785/tid=2787] ppid=2783 vsize=150228 CPUtime=12.64 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 16795 0 0 0 1260 4 0 0 20 0 2 0 333598778 153833472 17578 33554432000 4194304 5964350 140736402953776 139735883773944 5136340 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) 150228
[startup+25.5003 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 2787
/proc/meminfo: memFree=28614948/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=215764 CPUtime=25.47 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 34419 0 0 0 2539 8 0 0 20 0 2 0 333598777 220942336 34348 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 53941 34348 193 433 0 53505 0
[pid=2785/tid=2787] ppid=2783 vsize=215764 CPUtime=25.4 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 33565 0 0 0 2532 8 0 0 20 0 2 0 333598778 220942336 34348 33554432000 4194304 5964350 140736402953776 139735883773944 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 215764
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 2787
/proc/meminfo: memFree=28561024/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=216004 CPUtime=51.06 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 44323 0 0 0 5095 11 0 0 20 0 2 0 333598777 221188096 44218 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 54001 44218 193 433 0 53565 0
[pid=2785/tid=2787] ppid=2783 vsize=216004 CPUtime=50.92 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 43469 0 0 0 5081 11 0 0 20 0 2 0 333598778 221188096 44218 33554432000 4194304 5964350 140736402953776 139735883773976 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 216004
[startup+102.306 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 2787
/proc/meminfo: memFree=28462000/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=347076 CPUtime=102.22 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 68084 0 0 0 10204 18 0 0 20 0 2 0 333598777 355405824 68564 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 86769 68564 193 433 0 86333 0
[pid=2785/tid=2787] ppid=2783 vsize=347076 CPUtime=101.97 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 67230 0 0 0 10178 19 0 0 20 0 2 0 333598778 355405824 68564 33554432000 4194304 5964350 140736402953776 139735883773976 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 347076
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 2787
/proc/meminfo: memFree=28340136/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=412900 CPUtime=162.21 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 92137 0 0 0 16196 25 0 0 20 0 2 0 333598777 422809600 92617 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 103225 92617 193 433 0 102789 0
[pid=2785/tid=2787] ppid=2783 vsize=412900 CPUtime=161.81 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 91283 0 0 0 16154 27 0 0 20 0 2 0 333598778 422809600 92617 33554432000 4194304 5964350 140736402953776 139735883773944 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 412900
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2788
/proc/meminfo: memFree=28286100/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=413044 CPUtime=222.2 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 97800 0 0 0 22195 25 0 0 20 0 2 0 333598777 422957056 98066 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 103261 98066 193 433 0 102825 0
[pid=2785/tid=2787] ppid=2783 vsize=413044 CPUtime=221.66 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 96946 0 0 0 22138 28 0 0 20 0 2 0 333598778 422957056 98066 33554432000 4194304 5964350 140736402953776 139735883773976 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 413044
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/180 2791
/proc/meminfo: memFree=28248632/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=413044 CPUtime=282.2 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 97807 0 0 0 28194 26 0 0 20 0 2 0 333598777 422957056 98073 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 103261 98073 193 433 0 102825 0
[pid=2785/tid=2787] ppid=2783 vsize=413044 CPUtime=281.5 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 96953 0 0 0 28121 29 0 0 20 0 2 0 333598778 422957056 98073 33554432000 4194304 5964350 140736402953776 139735883773976 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 413044
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 2791
/proc/meminfo: memFree=28164980/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=479012 CPUtime=342.17 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 113608 0 0 0 34185 32 0 0 20 0 2 0 333598777 490508288 113866 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 119753 113866 193 433 0 119317 0
[pid=2785/tid=2787] ppid=2783 vsize=479012 CPUtime=341.34 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 112754 0 0 0 34097 37 0 0 20 0 2 0 333598778 490508288 113866 33554432000 4194304 5964350 140736402953776 139735883773944 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 479012
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2791
/proc/meminfo: memFree=28164884/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=479012 CPUtime=402.13 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 113651 0 0 0 40181 32 0 0 20 0 2 0 333598777 490508288 113903 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 119753 113903 193 433 0 119317 0
[pid=2785/tid=2787] ppid=2783 vsize=479012 CPUtime=401.16 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 112797 0 0 0 40078 38 0 0 20 0 2 0 333598778 490508288 113903 33554432000 4194304 5964350 140736402953776 139735883773944 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 479012
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2791
/proc/meminfo: memFree=28131680/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=544620 CPUtime=462.1 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2837
/proc/meminfo: memFree=27999800/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1421.92 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 142142 50 0 0 20 0 2 0 333598777 555991040 131318 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131318 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1418.5 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 141779 71 0 0 20 0 2 0 333598778 555991040 131318 33554432000 4194304 5964350 140736402953776 139735883774792 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 542960
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2841
/proc/meminfo: memFree=27988380/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1481.91 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 148141 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1478.35 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 147763 72 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 542960
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 2841
/proc/meminfo: memFree=28158516/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1541.9 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 154140 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1538.19 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 153746 73 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 542960
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2841
/proc/meminfo: memFree=28135080/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1601.89 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 160139 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1598.04 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 159730 74 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 542960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2841
/proc/meminfo: memFree=28092796/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1661.88 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 166138 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1657.89 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 165714 75 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 542960
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2841
/proc/meminfo: memFree=28078908/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1721.87 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 172137 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1717.73 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 171697 76 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 542960
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2843
/proc/meminfo: memFree=27954620/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1781.86 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 178136 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1777.58 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 177681 77 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 542960
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2843
/proc/meminfo: memFree=27954480/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1791.47 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 179097 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1787.16 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 178639 77 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 542960
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2843
/proc/meminfo: memFree=27954480/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1794.66 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 179416 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1790.35 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 178958 77 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 542960
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2843
/proc/meminfo: memFree=27954480/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1797.86 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 179736 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1793.54 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 179277 77 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 542960
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2843
/proc/meminfo: memFree=27954340/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1798.66 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 179816 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1794.34 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 179357 77 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 542960
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2843
/proc/meminfo: memFree=27954340/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1799.06 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 179856 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1794.74 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 179397 77 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 542960
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2843
/proc/meminfo: memFree=27954340/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1799.46 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 179896 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1795.13 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 179436 77 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4388246 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 542960
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2843
/proc/meminfo: memFree=27954340/32873844 swapFree=7644/7644
[pid=2785] ppid=2783 vsize=542960 CPUtime=1799.56 cores=0,2,4,6
/proc/2785/stat : 2785 (wbo1.72) S 2783 2785 2034 0 -1 4202496 163209 0 0 0 179906 50 0 0 20 0 2 0 333598777 555991040 131766 33554432000 4194304 5964350 140736402953776 140736402953296 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2785/statm: 135740 131766 197 433 0 135304 0
[pid=2785/tid=2787] ppid=2783 vsize=542960 CPUtime=1795.23 cores=0,2,4,6
/proc/2785/task/2787/stat : 2787 (wbo1.72) R 2783 2785 2034 0 -1 4202560 162355 0 0 0 179446 77 0 0 20 0 2 0 333598778 555991040 131766 33554432000 4194304 5964350 140736402953776 139735883774792 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 542960
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2785 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=486196
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=782880
# CPU time returned by wait4() is 1795.27
# while last known CPU time is 1799.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.56
CPU user time (s): 1799.06
CPU system time (s): 0.5
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 677384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.49
system time used= 0.78288
maximum resident set size= 605740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163211
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= 209
involuntary context switches= 1861
runsolver used 3.9334 second user time and 10.7634 second system time
The end