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-3705529-1338112074/watcher-3705529-1338112074 -o /tmp/evaluation-result-3705529-1338112074/solver-3705529-1338112074 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705529-1338112074.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.00 2.00 2.00 3/175 11861
/proc/meminfo: memFree=31140692/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=4756 CPUtime=0 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) R 11859 11861 8971 0 -1 4202496 673 0 0 0 0 0 0 0 20 0 1 0 277335840 4870144 614 33554432000 4194304 5963574 140736157272240 140736568707800 4296686 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 1189 623 168 432 0 754 0
[startup+0.0239579 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11861
/proc/meminfo: memFree=31140692/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=83852 CPUtime=0.02 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 1020 0 0 0 2 0 0 0 20 0 2 0 277335840 85864448 960 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 20963 960 193 432 0 20528 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83852
[startup+0.100272 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11861
/proc/meminfo: memFree=31140692/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=83852 CPUtime=0.09 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 1510 0 0 0 9 0 0 0 20 0 2 0 277335840 85864448 1418 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 20963 1418 196 432 0 20528 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83852
[startup+0.300239 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11861
/proc/meminfo: memFree=31140692/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=83852 CPUtime=0.29 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 2380 0 0 0 29 0 0 0 20 0 2 0 277335840 85864448 1801 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 20963 1801 196 432 0 20528 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83852
[startup+0.700239 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 11861
/proc/meminfo: memFree=31140692/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=84280 CPUtime=0.69 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 3245 0 0 0 69 0 0 0 20 0 2 0 277335840 86302720 2402 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 21070 2402 196 432 0 20635 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84280
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11863
/proc/meminfo: memFree=31131152/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=83852 CPUtime=1.49 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 3857 0 0 0 149 0 0 0 20 0 2 0 277335840 85864448 2935 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 20963 2935 196 432 0 20528 0
[pid=11861/tid=11863] ppid=11859 vsize=83852 CPUtime=1.47 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 3073 0 0 0 147 0 0 0 20 0 2 0 277335841 85864448 2935 33554432000 4194304 5963574 140736157272240 140214381026232 4392243 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83852
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11863
/proc/meminfo: memFree=31128424/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=83852 CPUtime=3.09 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 4464 0 0 0 309 0 0 0 20 0 2 0 277335840 85864448 3542 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 20963 3542 196 432 0 20528 0
[pid=11861/tid=11863] ppid=11859 vsize=83852 CPUtime=3.07 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 3680 0 0 0 307 0 0 0 20 0 2 0 277335841 85864448 3542 33554432000 4194304 5963574 140736157272240 140214381026232 4403084 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83852
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11863
/proc/meminfo: memFree=31124580/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=85140 CPUtime=6.29 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 4716 0 0 0 629 0 0 0 20 0 2 0 277335840 87183360 3794 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 21285 3794 196 432 0 20850 0
[pid=11861/tid=11863] ppid=11859 vsize=85140 CPUtime=6.26 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 3932 0 0 0 626 0 0 0 20 0 2 0 277335841 87183360 3794 33554432000 4194304 5963574 140736157272240 140214381025624 4392454 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85140
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11863
/proc/meminfo: memFree=31120000/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=84496 CPUtime=12.68 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 6975 0 0 0 1268 0 0 0 20 0 2 0 277335840 86523904 5731 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 21124 5731 196 432 0 20689 0
[pid=11861/tid=11863] ppid=11859 vsize=84496 CPUtime=12.65 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 6191 0 0 0 1265 0 0 0 20 0 2 0 277335841 86523904 5731 33554432000 4194304 5963574 140736157272240 140214381025272 4402947 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84496
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11863
/proc/meminfo: memFree=31107608/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=83852 CPUtime=25.49 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 8634 0 0 0 2548 1 0 0 20 0 2 0 277335840 85864448 7265 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 20963 7265 196 432 0 20528 0
[pid=11861/tid=11863] ppid=11859 vsize=83852 CPUtime=25.41 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 7850 0 0 0 2540 1 0 0 20 0 2 0 277335841 85864448 7265 33554432000 4194304 5963574 140736157272240 140214381026232 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83852
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11863
/proc/meminfo: memFree=31096236/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=83852 CPUtime=51.08 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 8903 0 0 0 5107 1 0 0 20 0 2 0 277335840 85864448 8728 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 20963 8728 196 432 0 20528 0
[pid=11861/tid=11863] ppid=11859 vsize=83852 CPUtime=50.94 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 8119 0 0 0 5093 1 0 0 20 0 2 0 277335841 85864448 8728 33554432000 4194304 5963574 140736157272240 140214381025080 4400320 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83852
[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 11863
/proc/meminfo: memFree=31050760/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=84576 CPUtime=102.27 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 16697 0 0 0 10225 2 0 0 20 0 2 0 277335840 86605824 16522 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 21144 16522 196 432 0 20709 0
[pid=11861/tid=11863] ppid=11859 vsize=84576 CPUtime=102.01 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 15913 0 0 0 10198 3 0 0 20 0 2 0 277335841 86605824 16522 33554432000 4194304 5963574 140736157272240 140214381025080 4392253 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 84576
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 11866
/proc/meminfo: memFree=31012836/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=150112 CPUtime=162.26 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 23556 0 0 0 16222 4 0 0 20 0 2 0 277335840 153714688 23381 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 37528 23381 196 432 0 37093 0
[pid=11861/tid=11863] ppid=11859 vsize=150112 CPUtime=161.85 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 22772 0 0 0 16179 6 0 0 20 0 2 0 277335841 153714688 23381 33554432000 4194304 5963574 140736157272240 140214381025080 4388706 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 150112
[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11866
/proc/meminfo: memFree=30969440/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=150472 CPUtime=222.25 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 33856 0 0 0 22217 8 0 0 20 0 2 0 277335840 154083328 33681 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 37618 33681 196 432 0 37183 0
[pid=11861/tid=11863] ppid=11859 vsize=150472 CPUtime=221.7 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 33072 0 0 0 22159 11 0 0 20 0 2 0 277335841 154083328 33681 33554432000 4194304 5963574 140736157272240 140214381025080 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 150472
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11866
/proc/meminfo: memFree=30952948/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=216008 CPUtime=282.25 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 37992 0 0 0 28215 10 0 0 20 0 2 0 277335840 221192192 37817 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 54002 37817 196 432 0 53567 0
[pid=11861/tid=11863] ppid=11859 vsize=216008 CPUtime=281.55 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 37208 0 0 0 28142 13 0 0 20 0 2 0 277335841 221192192 37817 33554432000 4194304 5963574 140736157272240 140214381025272 4403183 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 216008
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11867
/proc/meminfo: memFree=30926536/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=216008 CPUtime=342.23 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 44259 0 0 0 34211 12 0 0 20 0 2 0 277335840 221192192 44083 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 54002 44083 196 432 0 53567 0
[pid=11861/tid=11863] ppid=11859 vsize=216008 CPUtime=341.4 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 43475 0 0 0 34123 17 0 0 20 0 2 0 277335841 221192192 44083 33554432000 4194304 5963574 140736157272240 140214381025080 4399560 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 216008
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11867
/proc/meminfo: memFree=30898664/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=216008 CPUtime=402.19 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 50646 0 0 0 40204 15 0 0 20 0 2 0 277335840 221192192 50955 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 54002 50955 196 432 0 53567 0
[pid=11861/tid=11863] ppid=11859 vsize=216008 CPUtime=401.21 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 49862 0 0 0 40100 21 0 0 20 0 2 0 277335841 221192192 50955 33554432000 4194304 5963574 140736157272240 140214381025080 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 216008
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11867
/proc/meminfo: memFree=30876952/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=281544 CPUtime=462.17 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11938
/proc/meminfo: memFree=28732076/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=613828 CPUtime=1422.01 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 132771 0 0 0 142151 50 0 0 20 0 2 0 277335840 628559872 133634 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 153457 133634 196 432 0 153022 0
[pid=11861/tid=11863] ppid=11859 vsize=613828 CPUtime=1418.55 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 131987 0 0 0 141784 71 0 0 20 0 2 0 277335841 628559872 133634 33554432000 4194304 5963574 140736157272240 140214381025144 4399451 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 613828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11938
/proc/meminfo: memFree=28702296/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=613828 CPUtime=1481.99 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 134976 0 0 0 148148 51 0 0 20 0 2 0 277335840 628559872 135839 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 153457 135839 196 432 0 153022 0
[pid=11861/tid=11863] ppid=11859 vsize=613828 CPUtime=1478.39 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 134192 0 0 0 147766 73 0 0 20 0 2 0 277335841 628559872 135839 33554432000 4194304 5963574 140736157272240 140214381025272 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 613828
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11939
/proc/meminfo: memFree=28647712/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=613828 CPUtime=1541.98 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 147193 0 0 0 154142 56 0 0 20 0 2 0 277335840 628559872 148056 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 153457 148056 196 432 0 153022 0
[pid=11861/tid=11863] ppid=11859 vsize=613828 CPUtime=1538.24 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 146409 0 0 0 153745 79 0 0 20 0 2 0 277335841 628559872 148056 33554432000 4194304 5963574 140736157272240 140214381025272 4388646 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 613828
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11939
/proc/meminfo: memFree=28578872/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=679364 CPUtime=1601.97 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 156439 0 0 0 160137 60 0 0 20 0 2 0 277335840 695668736 157301 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 169841 157301 196 432 0 169406 0
[pid=11861/tid=11863] ppid=11859 vsize=679364 CPUtime=1598.09 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 155655 0 0 0 159725 84 0 0 20 0 2 0 277335841 695668736 157301 33554432000 4194304 5963574 140736157272240 140214381025320 4392223 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 679364
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11939
/proc/meminfo: memFree=28498192/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=679364 CPUtime=1661.97 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 163736 0 0 0 166133 64 0 0 20 0 2 0 277335840 695668736 164597 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 169841 164597 196 432 0 169406 0
[pid=11861/tid=11863] ppid=11859 vsize=679364 CPUtime=1657.93 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 162952 0 0 0 165704 89 0 0 20 0 2 0 277335841 695668736 164597 33554432000 4194304 5963574 140736157272240 140214381025320 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 679364
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11939
/proc/meminfo: memFree=28470204/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=679364 CPUtime=1721.96 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 163803 0 0 0 172132 64 0 0 20 0 2 0 277335840 695668736 164664 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 169841 164664 196 432 0 169406 0
[pid=11861/tid=11863] ppid=11859 vsize=679364 CPUtime=1717.78 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 163019 0 0 0 171688 90 0 0 20 0 2 0 277335841 695668736 164664 33554432000 4194304 5963574 140736157272240 140214381025320 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 679364
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11939
/proc/meminfo: memFree=28430304/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=679364 CPUtime=1781.95 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 163828 0 0 0 178131 64 0 0 20 0 2 0 277335840 695668736 164689 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 169841 164689 196 432 0 169406 0
[pid=11861/tid=11863] ppid=11859 vsize=679364 CPUtime=1777.63 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 163044 0 0 0 177672 91 0 0 20 0 2 0 277335841 695668736 164689 33554432000 4194304 5963574 140736157272240 140214381025320 4399451 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 679364
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11939
/proc/meminfo: memFree=28426268/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=679364 CPUtime=1791.55 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 163828 0 0 0 179091 64 0 0 20 0 2 0 277335840 695668736 164689 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 169841 164689 196 432 0 169406 0
[pid=11861/tid=11863] ppid=11859 vsize=679364 CPUtime=1787.21 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 163044 0 0 0 178630 91 0 0 20 0 2 0 277335841 695668736 164689 33554432000 4194304 5963574 140736157272240 140214381025320 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 679364
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11939
/proc/meminfo: memFree=28424160/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=679364 CPUtime=1794.75 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 164076 0 0 0 179411 64 0 0 20 0 2 0 277335840 695668736 164937 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 169841 164937 196 432 0 169406 0
[pid=11861/tid=11863] ppid=11859 vsize=679364 CPUtime=1790.4 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 163292 0 0 0 178949 91 0 0 20 0 2 0 277335841 695668736 164937 33554432000 4194304 5963574 140736157272240 140214381025272 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 679364
[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11939
/proc/meminfo: memFree=28421556/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=744900 CPUtime=1797.94 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 164613 0 0 0 179730 64 0 0 20 0 2 0 277335840 762777600 165474 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 186225 165474 196 432 0 185790 0
[pid=11861/tid=11863] ppid=11859 vsize=744900 CPUtime=1793.59 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 163829 0 0 0 179268 91 0 0 20 0 2 0 277335841 762777600 165474 33554432000 4194304 5963574 140736157272240 140214381025320 4403084 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 744900
[startup+1799.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11939
/proc/meminfo: memFree=28420688/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=744900 CPUtime=1798.74 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 164711 0 0 0 179810 64 0 0 20 0 2 0 277335840 762777600 165572 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 186225 165572 196 432 0 185790 0
[pid=11861/tid=11863] ppid=11859 vsize=744900 CPUtime=1794.39 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 163927 0 0 0 179348 91 0 0 20 0 2 0 277335841 762777600 165572 33554432000 4194304 5963574 140736157272240 140214381025320 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (KiB) 744900
[startup+1799.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11939
/proc/meminfo: memFree=28420068/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=744900 CPUtime=1799.14 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 164768 0 0 0 179850 64 0 0 20 0 2 0 277335840 762777600 165629 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 186225 165629 196 432 0 185790 0
[pid=11861/tid=11863] ppid=11859 vsize=744900 CPUtime=1794.79 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 163984 0 0 0 179388 91 0 0 20 0 2 0 277335841 762777600 165629 33554432000 4194304 5963574 140736157272240 140214381025320 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 744900
[startup+1799.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11939
/proc/meminfo: memFree=28420068/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=744900 CPUtime=1799.54 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 164822 0 0 0 179890 64 0 0 20 0 2 0 277335840 762777600 165683 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 186225 165683 196 432 0 185790 0
[pid=11861/tid=11863] ppid=11859 vsize=744900 CPUtime=1795.18 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 164038 0 0 0 179427 91 0 0 20 0 2 0 277335841 762777600 165683 33554432000 4194304 5963574 140736157272240 140214381025320 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 744900
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11939
/proc/meminfo: memFree=28420068/32873844 swapFree=6088/6088
[pid=11861] ppid=11859 vsize=744900 CPUtime=1799.64 cores=0,2,4,6
/proc/11861/stat : 11861 (wbo1.7) S 11859 11861 8971 0 -1 4202496 164832 0 0 0 179900 64 0 0 20 0 2 0 277335840 762777600 165693 33554432000 4194304 5963574 140736157272240 140736157271760 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11861/statm: 186225 165693 196 432 0 185790 0
[pid=11861/tid=11863] ppid=11859 vsize=744900 CPUtime=1795.28 cores=0,2,4,6
/proc/11861/task/11863/stat : 11863 (wbo1.7) R 11859 11861 8971 0 -1 4202560 164048 0 0 0 179437 91 0 0 20 0 2 0 277335841 762777600 165693 33554432000 4194304 5963574 140736157272240 140214381025320 4399542 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 744900
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11861 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=381212
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=950855
# CPU time returned by wait4() is 1795.33
# 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.03
CPU time (s): 1799.64
CPU user time (s): 1799
CPU system time (s): 0.64
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 744900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.38
system time used= 0.950855
maximum resident set size= 662772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164832
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= 136
involuntary context switches= 2182
runsolver used 4.33934 second user time and 9.78451 second system time
The end