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-3705523-1338112265/watcher-3705523-1338112265 -o /tmp/evaluation-result-3705523-1338112265/solver-3705523-1338112265 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705523-1338112265.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: 1.93 1.99 1.99 3/175 11552
/proc/meminfo: memFree=29925296/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=3716 CPUtime=0 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) R 11550 11552 9313 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 277351996 3805184 276 33554432000 4194304 5963574 140736852331152 140733981510488 4344432 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 929 276 173 432 0 349 0
[startup+0.054776 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 11552
/proc/meminfo: memFree=29925296/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=84524 CPUtime=0.05 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 1538 0 0 0 5 0 0 0 20 0 2 0 277351996 86552576 1345 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 21131 1345 188 432 0 20696 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84524
[startup+0.100176 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 11552
/proc/meminfo: memFree=29925296/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=84524 CPUtime=0.09 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 1622 0 0 0 9 0 0 0 20 0 2 0 277351996 86552576 1429 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 21131 1429 189 432 0 20696 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84524
[startup+0.300117 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 11552
/proc/meminfo: memFree=29925296/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=84524 CPUtime=0.29 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 1962 0 0 0 29 0 0 0 20 0 2 0 277351996 86552576 1769 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 21131 1769 192 432 0 20696 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84524
[startup+0.70011 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 11552
/proc/meminfo: memFree=29925296/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=84524 CPUtime=0.69 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 2466 0 0 0 69 0 0 0 20 0 2 0 277351996 86552576 2273 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 21131 2273 192 432 0 20696 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84524
[startup+1.50026 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 11554
/proc/meminfo: memFree=29914980/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=84668 CPUtime=1.49 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 2662 0 0 0 149 0 0 0 20 0 2 0 277351996 86700032 2469 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 21167 2469 192 432 0 20732 0
[pid=11552/tid=11554] ppid=11550 vsize=84668 CPUtime=1.44 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 1580 0 0 0 144 0 0 0 20 0 2 0 277352000 86700032 2469 33554432000 4194304 5963574 140736852331152 140093482179096 4388696 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84668
[startup+3.10026 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 11554
/proc/meminfo: memFree=29911996/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=84668 CPUtime=3.09 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 3781 0 0 0 309 0 0 0 20 0 2 0 277351996 86700032 3588 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 21167 3588 192 432 0 20732 0
[pid=11552/tid=11554] ppid=11550 vsize=84668 CPUtime=3.03 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 2699 0 0 0 303 0 0 0 20 0 2 0 277352000 86700032 3588 33554432000 4194304 5963574 140736852331152 140093482178552 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84668
[startup+6.30026 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 11554
/proc/meminfo: memFree=29901936/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=84740 CPUtime=6.29 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 5487 0 0 0 628 1 0 0 20 0 2 0 277351996 86773760 5294 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 21185 5294 192 432 0 20750 0
[pid=11552/tid=11554] ppid=11550 vsize=84740 CPUtime=6.23 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 4405 0 0 0 623 0 0 0 20 0 2 0 277352000 86773760 5294 33554432000 4194304 5963574 140736852331152 140093482178552 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84740
[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 11554
/proc/meminfo: memFree=29883484/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=84992 CPUtime=12.68 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 8101 0 0 0 1267 1 0 0 20 0 2 0 277351996 87031808 7908 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 21248 7909 192 432 0 20813 0
[pid=11552/tid=11554] ppid=11550 vsize=84992 CPUtime=12.61 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 7020 0 0 0 1260 1 0 0 20 0 2 0 277352000 87031808 7909 33554432000 4194304 5963574 140736852331152 140093482178552 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84992
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 11554
/proc/meminfo: memFree=29839944/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=84524 CPUtime=25.48 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 13561 0 0 0 2545 3 0 0 20 0 2 0 277351996 86552576 13392 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 21131 13392 192 432 0 20696 0
[pid=11552/tid=11554] ppid=11550 vsize=84524 CPUtime=25.37 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 12479 0 0 0 2534 3 0 0 20 0 2 0 277352000 86552576 13392 33554432000 4194304 5963574 140736852331152 140093482179512 4388621 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84524
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 11554
/proc/meminfo: memFree=29801612/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=84524 CPUtime=51.07 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 17099 0 0 0 5104 3 0 0 20 0 2 0 277351996 86552576 16935 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 21131 16935 192 432 0 20696 0
[pid=11552/tid=11554] ppid=11550 vsize=84524 CPUtime=50.9 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 16017 0 0 0 5087 3 0 0 20 0 2 0 277352000 86552576 16935 33554432000 4194304 5963574 140736852331152 140093482178360 5142110 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 84524
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 11554
/proc/meminfo: memFree=29700852/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=150784 CPUtime=102.26 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 30926 0 0 0 10217 9 0 0 20 0 2 0 277351996 154402816 32079 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 37696 32079 192 432 0 37261 0
[pid=11552/tid=11554] ppid=11550 vsize=150784 CPUtime=101.96 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 29844 0 0 0 10186 10 0 0 20 0 2 0 277352000 154402816 32079 33554432000 4194304 5963574 140736852331152 140093482178552 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 150784
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 11554
/proc/meminfo: memFree=29619992/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=216320 CPUtime=162.25 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 39985 0 0 0 16210 15 0 0 20 0 2 0 277351996 221511680 41136 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 54080 41136 192 432 0 53645 0
[pid=11552/tid=11554] ppid=11550 vsize=216320 CPUtime=161.8 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 38903 0 0 0 16164 16 0 0 20 0 2 0 277352000 221511680 41136 33554432000 4194304 5963574 140736852331152 140093482178552 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 216320
[startup+222.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 11554
/proc/meminfo: memFree=29557076/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=216680 CPUtime=222.21 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 47700 0 0 0 22201 20 0 0 20 0 2 0 277351996 221880320 48935 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 54170 48935 192 432 0 53735 0
[pid=11552/tid=11554] ppid=11550 vsize=216680 CPUtime=221.62 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 46618 0 0 0 22139 23 0 0 20 0 2 0 277352000 221880320 48935 33554432000 4194304 5963574 140736852331152 140093482178360 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 216680
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/176 11554
/proc/meminfo: memFree=29469144/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=282216 CPUtime=282.16 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 58836 0 0 0 28190 26 0 0 20 0 2 0 277351996 288989184 60517 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 70554 60517 192 432 0 70119 0
[pid=11552/tid=11554] ppid=11550 vsize=282216 CPUtime=281.42 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 57754 0 0 0 28112 30 0 0 20 0 2 0 277352000 288989184 60517 33554432000 4194304 5963574 140736852331152 140093482178360 4400074 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 282216
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11555
/proc/meminfo: memFree=29413736/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=349200 CPUtime=342.15 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 71073 0 0 0 34182 33 0 0 20 0 2 0 277351996 357580800 72736 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 87300 72736 192 432 0 86865 0
[pid=11552/tid=11554] ppid=11550 vsize=349200 CPUtime=341.25 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 69991 0 0 0 34087 38 0 0 20 0 2 0 277352000 357580800 72736 33554432000 4194304 5963574 140736852331152 140093482178360 4399574 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 349200
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11555
/proc/meminfo: memFree=29383696/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=349200 CPUtime=402.14 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 72953 0 0 0 40180 34 0 0 20 0 2 0 277351996 357580800 74614 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 87300 74614 192 432 0 86865 0
[pid=11552/tid=11554] ppid=11550 vsize=349200 CPUtime=401.1 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 71871 0 0 0 40070 40 0 0 20 0 2 0 277352000 357580800 74614 33554432000 4194304 5963574 140736852331152 140093482178552 4399362 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 349200
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11555
/proc/meminfo: memFree=29315484/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=415276 CPUtime=462.12 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11587
/proc/meminfo: memFree=28727108/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=684660 CPUtime=1421.85 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 159533 0 0 0 142078 107 0 0 20 0 2 0 277351996 701091840 163681 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 171165 163681 192 432 0 170730 0
[pid=11552/tid=11554] ppid=11550 vsize=684660 CPUtime=1418.29 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 158451 0 0 0 141701 128 0 0 20 0 2 0 277352000 701091840 163681 33554432000 4194304 5963574 140736852331152 140093482178552 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 684660
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11587
/proc/meminfo: memFree=28667464/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=751004 CPUtime=1481.84 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 167519 0 0 0 148065 119 0 0 20 0 2 0 277351996 769028096 171667 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 187751 171667 192 432 0 187316 0
[pid=11552/tid=11554] ppid=11550 vsize=751004 CPUtime=1478.13 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 166437 0 0 0 147672 141 0 0 20 0 2 0 277352000 769028096 171667 33554432000 4194304 5963574 140736852331152 140093482178600 4378847 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 751004
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11588
/proc/meminfo: memFree=28626916/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=751728 CPUtime=1541.83 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 167783 0 0 0 154064 119 0 0 20 0 2 0 277351996 769769472 171931 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 187932 171931 192 432 0 187497 0
[pid=11552/tid=11554] ppid=11550 vsize=751728 CPUtime=1537.97 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 166701 0 0 0 153655 142 0 0 20 0 2 0 277352000 769769472 171931 33554432000 4194304 5963574 140736852331152 140093482178360 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 751728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11588
/proc/meminfo: memFree=28615632/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=751728 CPUtime=1601.81 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 168601 0 0 0 160062 119 0 0 20 0 2 0 277351996 769769472 172749 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 187932 172749 192 432 0 187497 0
[pid=11552/tid=11554] ppid=11550 vsize=751728 CPUtime=1597.81 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 167519 0 0 0 159638 143 0 0 20 0 2 0 277352000 769769472 172749 33554432000 4194304 5963574 140736852331152 140093482178552 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 751728
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11588
/proc/meminfo: memFree=28587048/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=752452 CPUtime=1661.79 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 174752 0 0 0 166053 126 0 0 20 0 2 0 277351996 770510848 178980 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 188113 178980 192 432 0 187678 0
[pid=11552/tid=11554] ppid=11550 vsize=752452 CPUtime=1657.63 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 173670 0 0 0 165612 151 0 0 20 0 2 0 277352000 770510848 178980 33554432000 4194304 5963574 140736852331152 140093482178424 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 752452
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11588
/proc/meminfo: memFree=28544544/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=817988 CPUtime=1721.74 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 181846 0 0 0 172042 132 0 0 20 0 2 0 277351996 837619712 186107 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 204497 186107 192 432 0 204062 0
[pid=11552/tid=11554] ppid=11550 vsize=817988 CPUtime=1717.43 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 180764 0 0 0 171585 158 0 0 20 0 2 0 277352000 837619712 186107 33554432000 4194304 5963574 140736852331152 140093482178552 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 817988
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11630
/proc/meminfo: memFree=29169784/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=817988 CPUtime=1781.71 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 187756 0 0 0 178034 137 0 0 20 0 2 0 277351996 837619712 192093 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 204497 192093 192 432 0 204062 0
[pid=11552/tid=11554] ppid=11550 vsize=817988 CPUtime=1777.26 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 186674 0 0 0 177563 163 0 0 20 0 2 0 277352000 837619712 192093 33554432000 4194304 5963574 140736852331152 140093482178360 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 817988
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11630
/proc/meminfo: memFree=29150448/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=817988 CPUtime=1791.32 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 189071 0 0 0 178995 137 0 0 20 0 2 0 277351996 837619712 193408 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 204497 193408 192 432 0 204062 0
[pid=11552/tid=11554] ppid=11550 vsize=817988 CPUtime=1786.85 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 187989 0 0 0 178521 164 0 0 20 0 2 0 277352000 837619712 193408 33554432000 4194304 5963574 140736852331152 140093482178360 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 817988
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11630
/proc/meminfo: memFree=29147720/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=817988 CPUtime=1794.52 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 189754 0 0 0 179314 138 0 0 20 0 2 0 277351996 837619712 194091 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 204497 194091 192 432 0 204062 0
[pid=11552/tid=11554] ppid=11550 vsize=817988 CPUtime=1790.04 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 188672 0 0 0 178839 165 0 0 20 0 2 0 277352000 837619712 194091 33554432000 4194304 5963574 140736852331152 140093482178552 4399595 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 817988
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11630
/proc/meminfo: memFree=29146240/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=817988 CPUtime=1797.71 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 190369 0 0 0 179633 138 0 0 20 0 2 0 277351996 837619712 194706 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 204497 194706 192 432 0 204062 0
[pid=11552/tid=11554] ppid=11550 vsize=817988 CPUtime=1793.22 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 189287 0 0 0 179157 165 0 0 20 0 2 0 277352000 837619712 194706 33554432000 4194304 5963574 140736852331152 140093482178552 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 817988
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11630
/proc/meminfo: memFree=29143884/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=817988 CPUtime=1798.51 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 190533 0 0 0 179713 138 0 0 20 0 2 0 277351996 837619712 194870 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 204497 194870 192 432 0 204062 0
[pid=11552/tid=11554] ppid=11550 vsize=817988 CPUtime=1794.02 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 189451 0 0 0 179237 165 0 0 20 0 2 0 277352000 837619712 194870 33554432000 4194304 5963574 140736852331152 140093482178360 4399603 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.51
Current children cumulated vsize (KiB) 817988
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11630
/proc/meminfo: memFree=29140288/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=817988 CPUtime=1798.92 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 190632 0 0 0 179753 139 0 0 20 0 2 0 277351996 837619712 194969 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 204497 194969 192 432 0 204062 0
[pid=11552/tid=11554] ppid=11550 vsize=817988 CPUtime=1794.43 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 189550 0 0 0 179278 165 0 0 20 0 2 0 277352000 837619712 194969 33554432000 4194304 5963574 140736852331152 140093482178360 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.92
Current children cumulated vsize (KiB) 817988
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11630
/proc/meminfo: memFree=29140288/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=817988 CPUtime=1799.31 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 190680 0 0 0 179792 139 0 0 20 0 2 0 277351996 837619712 195017 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 204497 195017 192 432 0 204062 0
[pid=11552/tid=11554] ppid=11550 vsize=817988 CPUtime=1794.82 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 189598 0 0 0 179317 165 0 0 20 0 2 0 277352000 837619712 195017 33554432000 4194304 5963574 140736852331152 140093482178552 4388700 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.31
Current children cumulated vsize (KiB) 817988
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11630
/proc/meminfo: memFree=29140288/32873852 swapFree=7624/7624
[pid=11552] ppid=11550 vsize=817988 CPUtime=1799.41 cores=1,3,5,7
/proc/11552/stat : 11552 (wbo1.7) S 11550 11552 9313 0 -1 4202496 190697 0 0 0 179802 139 0 0 20 0 2 0 277351996 837619712 195034 33554432000 4194304 5963574 140736852331152 140736852330672 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11552/statm: 204497 195034 192 432 0 204062 0
[pid=11552/tid=11554] ppid=11550 vsize=817988 CPUtime=1794.92 cores=1,3,5,7
/proc/11552/task/11554/stat : 11554 (wbo1.7) R 11550 11552 9313 0 -1 4202560 189615 0 0 0 179327 165 0 0 20 0 2 0 277352000 837619712 195034 33554432000 4194304 5963574 140736852331152 140093482178552 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 817988
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11552 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=316374
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=670746
# CPU time returned by wait4() is 1794.99
# while last known CPU time is 1799.41
#
# 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.41
CPU user time (s): 1798.02
CPU system time (s): 1.39
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 817988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.32
system time used= 1.67075
maximum resident set size= 780136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190697
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= 332
involuntary context switches= 1851
runsolver used 3.41748 second user time and 8.67068 second system time
The end