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-3705027-1338092670/watcher-3705027-1338092670 -o /tmp/evaluation-result-3705027-1338092670/solver-3705027-1338092670 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705027-1338092670.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: 2.00 2.00 2.00 3/178 13029
/proc/meminfo: memFree=30982364/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83716 CPUtime=0 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 867 0 0 0 0 0 0 0 20 0 2 0 275391832 85725184 812 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20929 812 188 432 0 20494 0
[pid=13029/tid=13030] ppid=13027 vsize=83716 CPUtime=0 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 2 0 275391832 85725184 812 33554432000 4194304 5963574 140737065089568 140735239354968 5236023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.039183 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13029
/proc/meminfo: memFree=30982364/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83716 CPUtime=0.03 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 936 0 0 0 3 0 0 0 20 0 2 0 275391832 85725184 881 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20929 881 188 432 0 20494 0
[pid=13029/tid=13030] ppid=13027 vsize=83716 CPUtime=0.02 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 194 0 0 0 2 0 0 0 20 0 2 0 275391832 85725184 881 33554432000 4194304 5963574 140737065089568 140735239354968 5236023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 83716
[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13029
/proc/meminfo: memFree=30982364/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83716 CPUtime=0.09 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 1119 0 0 0 9 0 0 0 20 0 2 0 275391832 85725184 1064 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20929 1064 192 432 0 20494 0
[pid=13029/tid=13030] ppid=13027 vsize=83716 CPUtime=0.08 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 377 0 0 0 8 0 0 0 20 0 2 0 275391832 85725184 1064 33554432000 4194304 5963574 140737065089568 140735239354968 5134192 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) 83716
[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13029
/proc/meminfo: memFree=30982364/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83716 CPUtime=0.29 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 1404 0 0 0 29 0 0 0 20 0 2 0 275391832 85725184 1339 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20929 1339 192 432 0 20494 0
[pid=13029/tid=13030] ppid=13027 vsize=83716 CPUtime=0.28 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 662 0 0 0 28 0 0 0 20 0 2 0 275391832 85725184 1339 33554432000 4194304 5963574 140737065089568 140735239354968 5135572 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) 83716
[startup+0.70024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13029
/proc/meminfo: memFree=30982364/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83716 CPUtime=0.69 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 1612 0 0 0 69 0 0 0 20 0 2 0 275391832 85725184 1547 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20929 1547 192 432 0 20494 0
[pid=13029/tid=13030] ppid=13027 vsize=83716 CPUtime=0.68 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 870 0 0 0 68 0 0 0 20 0 2 0 275391832 85725184 1547 33554432000 4194304 5963574 140737065089568 140233442470248 4399642 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) 83716
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13064
/proc/meminfo: memFree=31461356/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83716 CPUtime=1.49 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 2370 0 0 0 149 0 0 0 20 0 2 0 275391832 85725184 2305 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20929 2305 192 432 0 20494 0
[pid=13029/tid=13030] ppid=13027 vsize=83716 CPUtime=1.48 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 1628 0 0 0 148 0 0 0 20 0 2 0 275391832 85725184 2305 33554432000 4194304 5963574 140737065089568 140233442469688 4221120 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) 83716
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13070
/proc/meminfo: memFree=31451040/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83860 CPUtime=3.09 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 3080 0 0 0 309 0 0 0 20 0 2 0 275391832 85872640 3015 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20965 3015 192 432 0 20530 0
[pid=13029/tid=13030] ppid=13027 vsize=83860 CPUtime=3.07 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 2338 0 0 0 307 0 0 0 20 0 2 0 275391832 85872640 3015 33554432000 4194304 5963574 140737065089568 140233442469688 4400074 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) 83860
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13070
/proc/meminfo: memFree=31441912/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83716 CPUtime=6.28 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 3792 0 0 0 628 0 0 0 20 0 2 0 275391832 85725184 3699 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20929 3699 192 432 0 20494 0
[pid=13029/tid=13030] ppid=13027 vsize=83716 CPUtime=6.26 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 3050 0 0 0 626 0 0 0 20 0 2 0 275391832 85725184 3699 33554432000 4194304 5963574 140737065089568 140233442469928 4403100 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83716
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13070
/proc/meminfo: memFree=31435864/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83932 CPUtime=12.68 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 4438 0 0 0 1268 0 0 0 20 0 2 0 275391832 85946368 4537 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20983 4537 192 432 0 20548 0
[pid=13029/tid=13030] ppid=13027 vsize=83932 CPUtime=12.64 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 3696 0 0 0 1264 0 0 0 20 0 2 0 275391832 85946368 4537 33554432000 4194304 5963574 140737065089568 140233442469688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83932
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13070
/proc/meminfo: memFree=31415272/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83716 CPUtime=25.48 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 6005 0 0 0 2547 1 0 0 20 0 2 0 275391832 85725184 6052 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20929 6052 192 432 0 20494 0
[pid=13029/tid=13030] ppid=13027 vsize=83716 CPUtime=25.41 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 5263 0 0 0 2540 1 0 0 20 0 2 0 275391832 85725184 6052 33554432000 4194304 5963574 140737065089568 140233442470840 4399546 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83716
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13071
/proc/meminfo: memFree=31398144/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83716 CPUtime=51.07 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 9611 0 0 0 5105 2 0 0 20 0 2 0 275391832 85725184 7478 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20929 7478 192 432 0 20494 0
[pid=13029/tid=13030] ppid=13027 vsize=83716 CPUtime=50.94 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 8869 0 0 0 5092 2 0 0 20 0 2 0 275391832 85725184 7478 33554432000 4194304 5963574 140737065089568 140233442470424 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83716
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13071
/proc/meminfo: memFree=31354996/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=83716 CPUtime=102.27 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 13276 0 0 0 10224 3 0 0 20 0 2 0 275391832 85725184 11722 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 20929 11722 192 432 0 20494 0
[pid=13029/tid=13030] ppid=13027 vsize=83716 CPUtime=102.01 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 12534 0 0 0 10197 4 0 0 20 0 2 0 275391832 85725184 11722 33554432000 4194304 5963574 140737065089568 140233442470232 4399451 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 83716
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 13071
/proc/meminfo: memFree=31297744/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=149736 CPUtime=162.24 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 20013 0 0 0 16219 5 0 0 20 0 2 0 275391832 153329664 18725 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 37434 18725 192 432 0 36999 0
[pid=13029/tid=13030] ppid=13027 vsize=149736 CPUtime=161.84 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 19271 0 0 0 16177 7 0 0 20 0 2 0 275391832 153329664 18725 33554432000 4194304 5963574 140737065089568 140233442469928 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 149736
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 13071
/proc/meminfo: memFree=31255784/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=149976 CPUtime=222.24 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 25792 0 0 0 22215 9 0 0 20 0 2 0 275391832 153575424 24503 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 37494 24503 192 432 0 37059 0
[pid=13029/tid=13030] ppid=13027 vsize=149976 CPUtime=221.68 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 25050 0 0 0 22156 12 0 0 20 0 2 0 275391832 153575424 24503 33554432000 4194304 5963574 140737065089568 140233442469880 4399612 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 149976
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 13071
/proc/meminfo: memFree=31209680/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=149976 CPUtime=282.21 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 31061 0 0 0 28210 11 0 0 20 0 2 0 275391832 153575424 30270 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 37494 30270 192 432 0 37059 0
[pid=13029/tid=13030] ppid=13027 vsize=149976 CPUtime=281.51 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 30319 0 0 0 28136 15 0 0 20 0 2 0 275391832 153575424 30270 33554432000 4194304 5963574 140737065089568 140233442469928 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 149976
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 13075
/proc/meminfo: memFree=31180700/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=150460 CPUtime=342.2 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 34997 0 0 0 34207 13 0 0 20 0 2 0 275391832 154071040 34222 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 37615 34222 192 432 0 37180 0
[pid=13029/tid=13030] ppid=13027 vsize=150460 CPUtime=341.36 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 34255 0 0 0 34118 18 0 0 20 0 2 0 275391832 154071040 34222 33554432000 4194304 5963574 140737065089568 140233442469688 4399614 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 150460
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 13075
/proc/meminfo: memFree=31149532/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=214788 CPUtime=402.19 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 40789 0 0 0 40203 16 0 0 20 0 2 0 275391832 219942912 36774 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13081
/proc/meminfo: memFree=30919980/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=214788 CPUtime=1422.03 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 50867 0 0 0 142181 22 0 0 20 0 2 0 275391832 219942912 47446 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 53697 47446 192 432 0 53262 0
[pid=13029/tid=13030] ppid=13027 vsize=214788 CPUtime=1418.6 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 50125 0 0 0 141818 42 0 0 20 0 2 0 275391832 219942912 47446 33554432000 4194304 5963574 140737065089568 140233442469688 4387804 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 214788
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 13081
/proc/meminfo: memFree=30880848/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1482.01 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 57226 0 0 0 148176 25 0 0 20 0 2 0 275391832 287051776 53803 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 53803 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1478.44 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 56484 0 0 0 147797 47 0 0 20 0 2 0 275391832 287051776 53803 33554432000 4194304 5963574 140737065089568 140233442469928 4399633 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 280324
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 13085
/proc/meminfo: memFree=30856336/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1542 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 62072 0 0 0 154173 27 0 0 20 0 2 0 275391832 287051776 58647 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 58647 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1538.28 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 61330 0 0 0 153778 50 0 0 20 0 2 0 275391832 287051776 58647 33554432000 4194304 5963574 140737065089568 140233442469688 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 280324
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13085
/proc/meminfo: memFree=30849284/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1601.99 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 63843 0 0 0 160171 28 0 0 20 0 2 0 275391832 287051776 60417 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 60417 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1598.13 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 63101 0 0 0 159761 52 0 0 20 0 2 0 275391832 287051776 60417 33554432000 4194304 5963574 140737065089568 140233442469688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 280324
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13085
/proc/meminfo: memFree=30812168/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1661.97 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 65295 0 0 0 166167 30 0 0 20 0 2 0 275391832 287051776 62212 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 62212 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1657.96 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 64553 0 0 0 165741 55 0 0 20 0 2 0 275391832 287051776 62212 33554432000 4194304 5963574 140737065089568 140233442469880 4399605 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 280324
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 13085
/proc/meminfo: memFree=30791252/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1721.95 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 68034 0 0 0 172163 32 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 65119 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1717.8 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 67292 0 0 0 171722 58 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140233442470232 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 280324
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 13085
/proc/meminfo: memFree=30779596/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1781.94 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 68034 0 0 0 178162 32 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 65119 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1777.64 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 67292 0 0 0 177705 59 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140233442470232 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 280324
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 13085
/proc/meminfo: memFree=30774944/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1791.54 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 68034 0 0 0 179122 32 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 65119 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1787.23 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 67292 0 0 0 178664 59 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140233442470232 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 280324
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 13085
/proc/meminfo: memFree=30774308/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1794.74 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 68034 0 0 0 179442 32 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 65119 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1790.42 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 67292 0 0 0 178983 59 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140233442470232 4400052 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 280324
[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 13085
/proc/meminfo: memFree=30774308/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1797.94 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 68034 0 0 0 179762 32 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 65119 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1793.6 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 67292 0 0 0 179301 59 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140233442470232 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 280324
[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13085
/proc/meminfo: memFree=30774308/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1798.74 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 68034 0 0 0 179842 32 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 65119 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1794.4 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 67292 0 0 0 179381 59 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140233442470232 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (KiB) 280324
[startup+1799.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13085
/proc/meminfo: memFree=30774308/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1799.14 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 68034 0 0 0 179882 32 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 65119 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1794.81 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 67292 0 0 0 179422 59 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140233442470232 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 280324
[startup+1799.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13085
/proc/meminfo: memFree=30774308/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1799.54 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 68034 0 0 0 179922 32 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 65119 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1795.2 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 67292 0 0 0 179461 59 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140233442470232 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 280324
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13085
/proc/meminfo: memFree=30774308/32873844 swapFree=7616/7616
[pid=13029] ppid=13027 vsize=280324 CPUtime=1799.64 cores=1,3,5,7
/proc/13029/stat : 13029 (wbo1.7) S 13027 13029 12409 0 -1 4202496 68034 0 0 0 179932 32 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140737065089088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13029/statm: 70081 65119 192 432 0 69646 0
[pid=13029/tid=13030] ppid=13027 vsize=280324 CPUtime=1795.3 cores=1,3,5,7
/proc/13029/task/13030/stat : 13030 (wbo1.7) R 13027 13029 12409 0 -1 4202560 67292 0 0 0 179471 59 0 0 20 0 2 0 275391832 287051776 65119 33554432000 4194304 5963574 140737065089568 140233442470232 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 280324
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13029 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=719161
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=602908
# CPU time returned by wait4() is 1795.32
# while last known CPU time is 1799.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.64
CPU user time (s): 1799.32
CPU system time (s): 0.32
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 280324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 0.602908
maximum resident set size= 260476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68034
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= 111
involuntary context switches= 1972
runsolver used 2.99554 second user time and 8.47771 second system time
The end