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-3704943-1338113874/watcher-3704943-1338113874 -o /tmp/evaluation-result-3704943-1338113874/solver-3704943-1338113874 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704943-1338113874.opb
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.02 2.01 2.00 3/175 11976
/proc/meminfo: memFree=29082672/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=4620 CPUtime=0 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) R 11974 11976 8971 0 -1 4202496 573 0 0 0 0 0 0 0 20 0 1 0 277515865 4730880 525 33554432000 4194304 5963574 140733905553792 140737054313928 4394942 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 1155 525 164 432 0 626 0
[startup+0.072854 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 11976
/proc/meminfo: memFree=29082672/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=86200 CPUtime=0.06 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 2377 0 0 0 6 0 0 0 20 0 2 0 277515865 88268800 2139 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 21550 2139 186 432 0 21115 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 86200
[startup+0.100175 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 11976
/proc/meminfo: memFree=29082672/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=86200 CPUtime=0.09 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 2401 0 0 0 9 0 0 0 20 0 2 0 277515865 88268800 2163 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 21550 2163 187 432 0 21115 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86200
[startup+0.300112 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 11976
/proc/meminfo: memFree=29082672/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=86200 CPUtime=0.29 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 2642 0 0 0 29 0 0 0 20 0 2 0 277515865 88268800 2404 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 21550 2404 187 432 0 21115 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86200
[startup+0.70011 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 11976
/proc/meminfo: memFree=29082672/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=86200 CPUtime=0.69 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 3057 0 0 0 69 0 0 0 20 0 2 0 277515865 88268800 2819 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 21550 2819 187 432 0 21115 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86200
[startup+1.50021 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11978
/proc/meminfo: memFree=29070636/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=86200 CPUtime=1.49 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 3913 0 0 0 148 1 0 0 20 0 2 0 277515865 88268800 3675 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 21550 3675 187 432 0 21115 0
[pid=11976/tid=11978] ppid=11974 vsize=86200 CPUtime=1.45 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 2488 0 0 0 144 1 0 0 20 0 2 0 277515868 88268800 3675 33554432000 4194304 5963574 140733905553792 139699076753400 4381238 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86200
[startup+3.10021 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11978
/proc/meminfo: memFree=29064676/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=86200 CPUtime=3.09 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 4875 0 0 0 308 1 0 0 20 0 2 0 277515865 88268800 4637 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 21550 4637 187 432 0 21115 0
[pid=11976/tid=11978] ppid=11974 vsize=86200 CPUtime=3.04 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 3450 0 0 0 303 1 0 0 20 0 2 0 277515868 88268800 4637 33554432000 4194304 5963574 140733905553792 139699076753400 4381557 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86200
[startup+6.30024 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11978
/proc/meminfo: memFree=29057236/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=86416 CPUtime=6.28 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 6715 0 0 0 626 2 0 0 20 0 2 0 277515865 88489984 6477 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 21604 6477 187 432 0 21169 0
[pid=11976/tid=11978] ppid=11974 vsize=86416 CPUtime=6.24 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 5290 0 0 0 622 2 0 0 20 0 2 0 277515868 88489984 6477 33554432000 4194304 5963574 140733905553792 139699076753400 4399603 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 86416
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11978
/proc/meminfo: memFree=29043556/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=86416 CPUtime=12.69 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 8981 0 0 0 1266 3 0 0 20 0 2 0 277515865 88489984 8743 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 21604 8743 187 432 0 21169 0
[pid=11976/tid=11978] ppid=11974 vsize=86416 CPUtime=12.62 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 7556 0 0 0 1260 2 0 0 20 0 2 0 277515868 88489984 8743 33554432000 4194304 5963574 140733905553792 139699076753400 4399971 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86416
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11978
/proc/meminfo: memFree=29023952/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=86524 CPUtime=25.49 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 12134 0 0 0 2545 4 0 0 20 0 2 0 277515865 88600576 11896 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 21631 11897 187 432 0 21196 0
[pid=11976/tid=11978] ppid=11974 vsize=86524 CPUtime=25.39 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 10710 0 0 0 2536 3 0 0 20 0 2 0 277515868 88600576 11897 33554432000 4194304 5963574 140733905553792 139699076753208 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86524
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11979
/proc/meminfo: memFree=28980976/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=86524 CPUtime=51.08 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 16427 0 0 0 5102 6 0 0 20 0 2 0 277515865 88600576 16189 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 21631 16189 187 432 0 21196 0
[pid=11976/tid=11978] ppid=11974 vsize=86524 CPUtime=50.92 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 15002 0 0 0 5086 6 0 0 20 0 2 0 277515868 88600576 16189 33554432000 4194304 5963574 140733905553792 139699076753448 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86524
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11979
/proc/meminfo: memFree=28925828/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=152220 CPUtime=102.28 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 22323 0 0 0 10220 8 0 0 20 0 2 0 277515865 155873280 22085 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 38055 22085 187 432 0 37620 0
[pid=11976/tid=11978] ppid=11974 vsize=152220 CPUtime=101.99 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 20898 0 0 0 10190 9 0 0 20 0 2 0 277515868 155873280 22085 33554432000 4194304 5963574 140733905553792 139699076753400 4399651 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 152220
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11982
/proc/meminfo: memFree=28752036/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=152220 CPUtime=162.26 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 22464 0 0 0 16218 8 0 0 20 0 2 0 277515865 155873280 22226 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 38055 22226 187 432 0 37620 0
[pid=11976/tid=11978] ppid=11974 vsize=152220 CPUtime=161.82 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 21039 0 0 0 16172 10 0 0 20 0 2 0 277515868 155873280 22226 33554432000 4194304 5963574 140733905553792 139699076753400 4399605 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 152220
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11982
/proc/meminfo: memFree=28724436/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=152436 CPUtime=222.23 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 29052 0 0 0 22211 12 0 0 20 0 2 0 277515865 156094464 29052 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 38109 29052 187 432 0 37674 0
[pid=11976/tid=11978] ppid=11974 vsize=152436 CPUtime=221.64 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 27627 0 0 0 22149 15 0 0 20 0 2 0 277515868 156094464 29052 33554432000 4194304 5963574 140733905553792 139699076753208 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 152436
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11982
/proc/meminfo: memFree=28720108/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=152436 CPUtime=282.2 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 29232 0 0 0 28208 12 0 0 20 0 2 0 277515865 156094464 30181 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 38109 30181 187 432 0 37674 0
[pid=11976/tid=11978] ppid=11974 vsize=152436 CPUtime=281.47 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 27807 0 0 0 28131 16 0 0 20 0 2 0 277515868 156094464 30181 33554432000 4194304 5963574 140733905553792 139699076753208 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 152436
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11983
/proc/meminfo: memFree=28703988/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=153540 CPUtime=342.2 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 33189 0 0 0 34205 15 0 0 20 0 2 0 277515865 157224960 34138 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 38385 34138 187 432 0 37950 0
[pid=11976/tid=11978] ppid=11974 vsize=153540 CPUtime=341.31 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 31764 0 0 0 34112 19 0 0 20 0 2 0 277515868 157224960 34138 33554432000 4194304 5963574 140733905553792 139699076753400 4402859 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 153540
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11983
/proc/meminfo: memFree=28701504/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=155052 CPUtime=402.19 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 33622 0 0 0 40204 15 0 0 20 0 2 0 277515865 158773248 34567 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 38763 34567 187 432 0 38328 0
[pid=11976/tid=11978] ppid=11974 vsize=155052 CPUtime=401.15 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 32197 0 0 0 40095 20 0 0 20 0 2 0 277515868 158773248 34567 33554432000 4194304 5963574 140733905553792 139699076753208 4399592 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 155052
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11983
/proc/meminfo: memFree=28701388/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=155268 CPUtime=462.18 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12031
/proc/meminfo: memFree=31078420/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=292748 CPUtime=1422 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 62238 0 0 0 142168 32 0 0 20 0 2 0 277515865 299773952 63941 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 73187 63941 187 432 0 72752 0
[pid=11976/tid=11978] ppid=11974 vsize=292748 CPUtime=1418.43 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 60813 0 0 0 141790 53 0 0 20 0 2 0 277515868 299773952 63941 33554432000 4194304 5963574 140733905553792 139699076753448 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 292748
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12031
/proc/meminfo: memFree=31075684/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=292748 CPUtime=1481.99 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 62902 0 0 0 148167 32 0 0 20 0 2 0 277515865 299773952 64605 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 73187 64605 187 432 0 72752 0
[pid=11976/tid=11978] ppid=11974 vsize=292748 CPUtime=1478.27 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 61477 0 0 0 147773 54 0 0 20 0 2 0 277515868 299773952 64605 33554432000 4194304 5963574 140733905553792 139699076753208 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 292748
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12031
/proc/meminfo: memFree=31075116/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=292748 CPUtime=1541.98 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 63000 0 0 0 154166 32 0 0 20 0 2 0 277515865 299773952 64703 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 73187 64703 187 432 0 72752 0
[pid=11976/tid=11978] ppid=11974 vsize=292748 CPUtime=1538.11 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 61575 0 0 0 153756 55 0 0 20 0 2 0 277515868 299773952 64703 33554432000 4194304 5963574 140733905553792 139699076753208 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 292748
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12032
/proc/meminfo: memFree=31067352/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=292748 CPUtime=1601.97 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 64763 0 0 0 160164 33 0 0 20 0 2 0 277515865 299773952 66466 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 73187 66466 187 432 0 72752 0
[pid=11976/tid=11978] ppid=11974 vsize=292748 CPUtime=1597.95 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 63338 0 0 0 159738 57 0 0 20 0 2 0 277515868 299773952 66466 33554432000 4194304 5963574 140733905553792 139699076753400 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 292748
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12032
/proc/meminfo: memFree=31051908/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=358716 CPUtime=1661.96 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 68403 0 0 0 166159 37 0 0 20 0 2 0 277515865 367325184 70132 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 89679 70132 187 432 0 89244 0
[pid=11976/tid=11978] ppid=11974 vsize=358716 CPUtime=1657.79 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 66978 0 0 0 165717 62 0 0 20 0 2 0 277515868 367325184 70132 33554432000 4194304 5963574 140733905553792 139699076753208 4381793 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 358716
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 12032
/proc/meminfo: memFree=31030004/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=359256 CPUtime=1721.95 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 74100 0 0 0 172154 41 0 0 20 0 2 0 277515865 367878144 75870 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 89814 75870 187 432 0 89379 0
[pid=11976/tid=11978] ppid=11974 vsize=359256 CPUtime=1717.63 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 72675 0 0 0 171696 67 0 0 20 0 2 0 277515868 367878144 75870 33554432000 4194304 5963574 140733905553792 139699076753400 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 359256
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12032
/proc/meminfo: memFree=31023060/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=359472 CPUtime=1781.93 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 74822 0 0 0 178152 41 0 0 20 0 2 0 277515865 368099328 76592 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 89868 76592 187 432 0 89433 0
[pid=11976/tid=11978] ppid=11974 vsize=359472 CPUtime=1777.47 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 73397 0 0 0 177679 68 0 0 20 0 2 0 277515868 368099328 76592 33554432000 4194304 5963574 140733905553792 139699076753400 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 359472
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12032
/proc/meminfo: memFree=31019960/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=359472 CPUtime=1791.53 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 74822 0 0 0 179112 41 0 0 20 0 2 0 277515865 368099328 76592 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 89868 76592 187 432 0 89433 0
[pid=11976/tid=11978] ppid=11974 vsize=359472 CPUtime=1787.05 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 73397 0 0 0 178637 68 0 0 20 0 2 0 277515868 368099328 76592 33554432000 4194304 5963574 140733905553792 139699076753400 4399605 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 359472
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12032
/proc/meminfo: memFree=31018720/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=359472 CPUtime=1794.73 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 74822 0 0 0 179432 41 0 0 20 0 2 0 277515865 368099328 76592 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 89868 76592 187 432 0 89433 0
[pid=11976/tid=11978] ppid=11974 vsize=359472 CPUtime=1790.24 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 73397 0 0 0 178956 68 0 0 20 0 2 0 277515868 368099328 76592 33554432000 4194304 5963574 140733905553792 139699076753400 4399639 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 359472
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12032
/proc/meminfo: memFree=31018472/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=359472 CPUtime=1797.93 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 74822 0 0 0 179752 41 0 0 20 0 2 0 277515865 368099328 76592 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 89868 76592 187 432 0 89433 0
[pid=11976/tid=11978] ppid=11974 vsize=359472 CPUtime=1793.43 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 73397 0 0 0 179275 68 0 0 20 0 2 0 277515868 368099328 76592 33554432000 4194304 5963574 140733905553792 139699076753400 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 359472
[startup+1799.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12032
/proc/meminfo: memFree=31018100/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=359472 CPUtime=1798.73 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 74822 0 0 0 179832 41 0 0 20 0 2 0 277515865 368099328 76592 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 89868 76592 187 432 0 89433 0
[pid=11976/tid=11978] ppid=11974 vsize=359472 CPUtime=1794.22 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 73397 0 0 0 179354 68 0 0 20 0 2 0 277515868 368099328 76592 33554432000 4194304 5963574 140733905553792 139699076753400 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (KiB) 359472
[startup+1799.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12032
/proc/meminfo: memFree=31017604/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=359472 CPUtime=1799.13 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 74822 0 0 0 179872 41 0 0 20 0 2 0 277515865 368099328 76592 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 89868 76592 187 432 0 89433 0
[pid=11976/tid=11978] ppid=11974 vsize=359472 CPUtime=1794.63 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 73397 0 0 0 179395 68 0 0 20 0 2 0 277515868 368099328 76592 33554432000 4194304 5963574 140733905553792 139699076753400 4381822 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (KiB) 359472
[startup+1799.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12032
/proc/meminfo: memFree=31017604/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=359472 CPUtime=1799.53 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 74822 0 0 0 179912 41 0 0 20 0 2 0 277515865 368099328 76592 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 89868 76592 187 432 0 89433 0
[pid=11976/tid=11978] ppid=11974 vsize=359472 CPUtime=1795.02 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 73397 0 0 0 179434 68 0 0 20 0 2 0 277515868 368099328 76592 33554432000 4194304 5963574 140733905553792 139699076753400 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 359472
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12032
/proc/meminfo: memFree=31017604/32873844 swapFree=6088/6088
[pid=11976] ppid=11974 vsize=359472 CPUtime=1799.63 cores=0,2,4,6
/proc/11976/stat : 11976 (wbo1.7) S 11974 11976 8971 0 -1 4202496 74822 0 0 0 179922 41 0 0 20 0 2 0 277515865 368099328 76592 33554432000 4194304 5963574 140733905553792 140733905553312 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11976/statm: 89868 76592 187 432 0 89433 0
[pid=11976/tid=11978] ppid=11974 vsize=359472 CPUtime=1795.12 cores=0,2,4,6
/proc/11976/task/11978/stat : 11978 (wbo1.7) R 11974 11976 8971 0 -1 4202560 73397 0 0 0 179444 68 0 0 20 0 2 0 277515868 368099328 76592 33554432000 4194304 5963574 140733905553792 139699076753400 4399605 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 359472
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11976 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=485196
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=695894
# CPU time returned by wait4() is 1795.18
# 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.01
CPU time (s): 1799.63
CPU user time (s): 1799.22
CPU system time (s): 0.41
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 359472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.49
system time used= 0.695894
maximum resident set size= 306372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74823
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= 131
involuntary context switches= 2332
runsolver used 2.38864 second user time and 7.45487 second system time
The end