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-3704836-1338107865/watcher-3704836-1338107865 -o /tmp/evaluation-result-3704836-1338107865/solver-3704836-1338107865 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704836-1338107865.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.01 2.02 2.00 3/177 18859
/proc/meminfo: memFree=30367892/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=7100 CPUtime=0 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) R 18857 18859 16265 0 -1 4202496 440 0 0 0 0 0 0 0 20 0 1 0 276910867 7270400 392 33554432000 4194304 5963574 140735255290480 140733962476280 5178752 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 1775 392 167 432 0 483 0
[startup+0.040722 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 18859
/proc/meminfo: memFree=30367892/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=12776 CPUtime=0.03 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) R 18857 18859 16265 0 -1 4202496 1864 0 0 0 3 0 0 0 20 0 1 0 276910867 13082624 1783 33554432000 4194304 5963574 140735255290480 140735255288504 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 3194 1784 270 432 0 1902 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12776
[startup+0.10025 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 18859
/proc/meminfo: memFree=30367892/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=15040 CPUtime=0.09 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) R 18857 18859 16265 0 -1 4202496 2645 0 0 0 9 0 0 0 20 0 1 0 276910867 15400960 2564 33554432000 4194304 5963574 140735255290480 140735255288504 5429466 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 3793 2565 475 432 0 2501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15040
[startup+0.300277 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 18859
/proc/meminfo: memFree=30367892/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=106408 CPUtime=0.29 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 9247 0 0 0 28 1 0 0 20 0 2 0 276910867 108961792 8130 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 26602 8130 177 432 0 26167 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 106408
[startup+0.700246 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 18859
/proc/meminfo: memFree=30367892/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=105444 CPUtime=0.68 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 12198 0 0 0 67 1 0 0 20 0 2 0 276910867 107974656 9969 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 26361 9969 188 432 0 25926 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 105444
[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 18861
/proc/meminfo: memFree=30329336/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=105444 CPUtime=1.49 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 12467 0 0 0 147 2 0 0 20 0 2 0 276910867 107974656 10238 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 26361 10238 188 432 0 25926 0
[pid=18859/tid=18861] ppid=18857 vsize=105444 CPUtime=1.21 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 6169 0 0 0 120 1 0 0 20 0 2 0 276910894 107974656 10238 33554432000 4194304 5963574 140735255290480 140666943608824 4388503 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) 105444
[startup+3.10028 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 18861
/proc/meminfo: memFree=30326972/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=105444 CPUtime=3.09 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 13150 0 0 0 307 2 0 0 20 0 2 0 276910867 107974656 10921 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 26361 10921 188 432 0 25926 0
[pid=18859/tid=18861] ppid=18857 vsize=105444 CPUtime=2.81 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 6852 0 0 0 280 1 0 0 20 0 2 0 276910894 107974656 10921 33554432000 4194304 5963574 140735255290480 140666943608824 4389488 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) 105444
[startup+6.3003 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 18861
/proc/meminfo: memFree=30321268/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=105444 CPUtime=6.28 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 14353 0 0 0 626 2 0 0 20 0 2 0 276910867 107974656 12124 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 26361 12124 188 432 0 25926 0
[pid=18859/tid=18861] ppid=18857 vsize=105444 CPUtime=6 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 8055 0 0 0 599 1 0 0 20 0 2 0 276910894 107974656 12124 33554432000 4194304 5963574 140735255290480 140666943608760 4392454 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) 105444
[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 18861
/proc/meminfo: memFree=30310720/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=105444 CPUtime=12.69 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 16474 0 0 0 1266 3 0 0 20 0 2 0 276910867 107974656 14245 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 26361 14245 188 432 0 25926 0
[pid=18859/tid=18861] ppid=18857 vsize=105444 CPUtime=12.38 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 10176 0 0 0 1236 2 0 0 20 0 2 0 276910894 107974656 14245 33554432000 4194304 5963574 140735255290480 140666943608632 5135572 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) 105444
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 18861
/proc/meminfo: memFree=30293840/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=105444 CPUtime=25.49 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 20495 0 0 0 2544 5 0 0 20 0 2 0 276910867 107974656 18266 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 26361 18266 188 432 0 25926 0
[pid=18859/tid=18861] ppid=18857 vsize=105444 CPUtime=25.15 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 14197 0 0 0 2511 4 0 0 20 0 2 0 276910894 107974656 18266 33554432000 4194304 5963574 140735255290480 140666943608632 4400248 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 105444
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 18861
/proc/meminfo: memFree=30279284/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=105444 CPUtime=51.08 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 22568 0 0 0 5102 6 0 0 20 0 2 0 276910867 107974656 20339 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 26361 20339 188 432 0 25926 0
[pid=18859/tid=18861] ppid=18857 vsize=105444 CPUtime=50.68 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 16270 0 0 0 5063 5 0 0 20 0 2 0 276910894 107974656 20339 33554432000 4194304 5963574 140735255290480 140666943608632 4399459 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 105444
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 18861
/proc/meminfo: memFree=30237380/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=172604 CPUtime=102.28 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 31075 0 0 0 10218 10 0 0 20 0 2 0 276910867 176746496 28846 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 43151 28846 188 432 0 42716 0
[pid=18859/tid=18861] ppid=18857 vsize=172604 CPUtime=101.76 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 24777 0 0 0 10166 10 0 0 20 0 2 0 276910894 176746496 28846 33554432000 4194304 5963574 140735255290480 140666943608632 4399595 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 172604
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 18865
/proc/meminfo: memFree=30191520/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=172604 CPUtime=162.23 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 34665 0 0 0 16210 13 0 0 20 0 2 0 276910867 176746496 32796 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 43151 32796 188 432 0 42716 0
[pid=18859/tid=18861] ppid=18857 vsize=172604 CPUtime=161.57 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 28367 0 0 0 16143 14 0 0 20 0 2 0 276910894 176746496 32796 33554432000 4194304 5963574 140735255290480 140666943608632 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 172604
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18865
/proc/meminfo: memFree=30137584/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=238140 CPUtime=222.23 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 42766 0 0 0 22203 20 0 0 20 0 2 0 276910867 243855360 40895 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 59535 40895 188 432 0 59100 0
[pid=18859/tid=18861] ppid=18857 vsize=238140 CPUtime=221.41 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 36468 0 0 0 22119 22 0 0 20 0 2 0 276910894 243855360 40895 33554432000 4194304 5963574 140735255290480 140666943608872 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 238140
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18865
/proc/meminfo: memFree=30115208/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=238948 CPUtime=282.22 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 44269 0 0 0 28200 22 0 0 20 0 2 0 276910867 244682752 42398 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 59737 42398 188 432 0 59302 0
[pid=18859/tid=18861] ppid=18857 vsize=238948 CPUtime=281.26 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 37971 0 0 0 28101 25 0 0 20 0 2 0 276910894 244682752 42398 33554432000 4194304 5963574 140735255290480 140666943608632 4402899 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 238948
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18865
/proc/meminfo: memFree=30072980/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=238948 CPUtime=342.2 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 54882 0 0 0 34187 33 0 0 20 0 2 0 276910867 244682752 53017 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 59737 53017 188 432 0 59302 0
[pid=18859/tid=18861] ppid=18857 vsize=238948 CPUtime=341.1 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 48584 0 0 0 34073 37 0 0 20 0 2 0 276910894 244682752 53017 33554432000 4194304 5963574 140735255290480 140666943608872 4392454 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 238948
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18865
/proc/meminfo: memFree=30037076/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=305700 CPUtime=402.16 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 63608 0 0 0 40173 43 0 0 20 0 2 0 276910867 313036800 61739 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 76425 61739 188 432 0 75990 0
[pid=18859/tid=18861] ppid=18857 vsize=305700 CPUtime=400.92 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 57310 0 0 0 40044 48 0 0 20 0 2 0 276910894 313036800 61739 33554432000 4194304 5963574 140735255290480 140666943608632 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 305700
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 18866
/proc/meminfo: memFree=30029608/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=305700 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18898
/proc/meminfo: memFree=29628212/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1421.93 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 119701 0 0 0 142091 102 0 0 20 0 2 0 276910867 516231168 118716 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 118716 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1418.23 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 113403 0 0 0 141701 122 0 0 20 0 2 0 276910894 516231168 118716 33554432000 4194304 5963574 140735255290480 140666943608872 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 504132
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18936
/proc/meminfo: memFree=30026892/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1481.92 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 120528 0 0 0 148089 103 0 0 20 0 2 0 276910867 516231168 119543 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 119543 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1478.07 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 114230 0 0 0 147683 124 0 0 20 0 2 0 276910894 516231168 119543 33554432000 4194304 5963574 140735255290480 140666943608632 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 504132
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18937
/proc/meminfo: memFree=29938464/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1541.91 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 120770 0 0 0 154088 103 0 0 20 0 2 0 276910867 516231168 119790 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 119790 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1537.91 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 114472 0 0 0 153666 125 0 0 20 0 2 0 276910894 516231168 119790 33554432000 4194304 5963574 140735255290480 140666943608632 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 504132
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18937
/proc/meminfo: memFree=29905480/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1601.9 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 121023 0 0 0 160087 103 0 0 20 0 2 0 276910867 516231168 120043 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 120043 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1597.76 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 114725 0 0 0 159650 126 0 0 20 0 2 0 276910894 516231168 120043 33554432000 4194304 5963574 140735255290480 140666943608632 4381137 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 504132
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18937
/proc/meminfo: memFree=29880184/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1661.89 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 121183 0 0 0 166086 103 0 0 20 0 2 0 276910867 516231168 120203 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 120203 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1657.6 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 114885 0 0 0 165633 127 0 0 20 0 2 0 276910894 516231168 120203 33554432000 4194304 5963574 140735255290480 140666943608632 4399474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 504132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18938
/proc/meminfo: memFree=29863124/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1721.87 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 121563 0 0 0 172084 103 0 0 20 0 2 0 276910867 516231168 120613 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 120613 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1717.45 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 115265 0 0 0 171617 128 0 0 20 0 2 0 276910894 516231168 120613 33554432000 4194304 5963574 140735255290480 140666943608632 4399456 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) 504132
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 18938
/proc/meminfo: memFree=29844620/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1781.85 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 121807 0 0 0 178082 103 0 0 20 0 2 0 276910867 516231168 120931 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 120931 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1777.28 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 115509 0 0 0 177600 128 0 0 20 0 2 0 276910894 516231168 120931 33554432000 4194304 5963574 140735255290480 140666943608632 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 504132
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18938
/proc/meminfo: memFree=29843244/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1791.46 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 121821 0 0 0 179043 103 0 0 20 0 2 0 276910867 516231168 120945 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 120945 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1786.87 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 115523 0 0 0 178558 129 0 0 20 0 2 0 276910894 516231168 120945 33554432000 4194304 5963574 140735255290480 140666943608632 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 504132
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18938
/proc/meminfo: memFree=29842500/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1794.66 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 121824 0 0 0 179363 103 0 0 20 0 2 0 276910867 516231168 120948 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 120948 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1790.06 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 115526 0 0 0 178877 129 0 0 20 0 2 0 276910894 516231168 120948 33554432000 4194304 5963574 140735255290480 140666943608632 4399456 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) 504132
[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18938
/proc/meminfo: memFree=29842252/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1797.85 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 121843 0 0 0 179682 103 0 0 20 0 2 0 276910867 516231168 120967 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 120967 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1793.24 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 115545 0 0 0 179195 129 0 0 20 0 2 0 276910894 516231168 120967 33554432000 4194304 5963574 140735255290480 140666943608632 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 504132
[startup+1799.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18938
/proc/meminfo: memFree=29842128/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1798.65 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 121843 0 0 0 179762 103 0 0 20 0 2 0 276910867 516231168 120967 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 120967 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1794.04 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 115545 0 0 0 179275 129 0 0 20 0 2 0 276910894 516231168 120967 33554432000 4194304 5963574 140735255290480 140666943608632 4399546 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 504132
[startup+1799.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18938
/proc/meminfo: memFree=29840376/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1799.05 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 121843 0 0 0 179802 103 0 0 20 0 2 0 276910867 516231168 120967 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 120967 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1794.45 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 115545 0 0 0 179316 129 0 0 20 0 2 0 276910894 516231168 120967 33554432000 4194304 5963574 140735255290480 140666943608632 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.05
Current children cumulated vsize (KiB) 504132
[startup+1799.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18938
/proc/meminfo: memFree=29840376/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1799.45 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 121846 0 0 0 179842 103 0 0 20 0 2 0 276910867 516231168 120970 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 120970 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1794.84 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 115548 0 0 0 179355 129 0 0 20 0 2 0 276910894 516231168 120970 33554432000 4194304 5963574 140735255290480 140666943608632 4400055 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 504132
[startup+1800 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18938
/proc/meminfo: memFree=29840376/32873844 swapFree=7388/7388
[pid=18859] ppid=18857 vsize=504132 CPUtime=1799.55 cores=0,2,4,6
/proc/18859/stat : 18859 (wbo1.7) S 18857 18859 16265 0 -1 4202496 121846 0 0 0 179852 103 0 0 20 0 2 0 276910867 516231168 120970 33554432000 4194304 5963574 140735255290480 140735255290000 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18859/statm: 126033 120970 188 432 0 125598 0
[pid=18859/tid=18861] ppid=18857 vsize=504132 CPUtime=1794.94 cores=0,2,4,6
/proc/18859/task/18861/stat : 18861 (wbo1.7) R 18857 18859 16265 0 -1 4202560 115548 0 0 0 179365 129 0 0 20 0 2 0 276910894 516231168 120970 33554432000 4194304 5963574 140735255290480 140666943608632 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 504132
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18859 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=917283
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=311800
# CPU time returned by wait4() is 1795.23
# while last known CPU time is 1799.55
#
# 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.55
CPU user time (s): 1798.52
CPU system time (s): 1.03
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 504132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 1.3118
maximum resident set size= 483888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121848
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= 222
involuntary context switches= 1886
runsolver used 3.25351 second user time and 7.34988 second system time
The end