runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460973-1307105305/watcher-3460973-1307105305 -o /tmp/evaluation-result-3460973-1307105305/solver-3460973-1307105305 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460973-1307105305.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.02 2.00 2/554 4356
/proc/meminfo: memFree=24455936/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=2104 CPUtime=0 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 822127549 2154496 281 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 526 281 179 372 0 151 0
[startup+0.0970839 s]
/proc/loadavg: 2.00 2.02 2.00 2/554 4356
/proc/meminfo: memFree=24455936/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=2764 CPUtime=0.09 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 496 0 0 0 9 0 0 0 25 0 1 0 822127549 2830336 445 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 691 445 180 372 0 316 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2764
[startup+0.101075 s]
/proc/loadavg: 2.00 2.02 2.00 2/554 4356
/proc/meminfo: memFree=24455936/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=2764 CPUtime=0.09 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 503 0 0 0 9 0 0 0 25 0 1 0 822127549 2830336 452 33554432000 4194304 5714214 140735843055456 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 691 452 180 372 0 316 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2764
[startup+0.301032 s]
/proc/loadavg: 2.00 2.02 2.00 2/554 4356
/proc/meminfo: memFree=24455936/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=4092 CPUtime=0.29 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 836 0 0 0 29 0 0 0 25 0 1 0 822127549 4190208 785 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 1023 786 180 372 0 648 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4092
[startup+0.70096 s]
/proc/loadavg: 2.00 2.02 2.00 2/554 4356
/proc/meminfo: memFree=24455936/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=6488 CPUtime=0.69 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 1412 0 0 0 69 0 0 0 25 0 1 0 822127549 6643712 1361 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 1622 1362 180 372 0 1247 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6488
[startup+1.5008 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4357
/proc/meminfo: memFree=24448612/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=8748 CPUtime=1.49 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 1963 0 0 0 148 1 0 0 25 0 1 0 822127549 8957952 1912 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 2187 1912 180 372 0 1812 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8748
[startup+3.10049 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4357
/proc/meminfo: memFree=24444768/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=11776 CPUtime=3.09 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 2740 0 0 0 307 2 0 0 25 0 1 0 822127549 12058624 2689 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 2944 2689 180 372 0 2569 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11776
[startup+6.30089 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4357
/proc/meminfo: memFree=24440464/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=15776 CPUtime=6.29 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 3749 0 0 0 626 3 0 0 25 0 1 0 822127549 16154624 3698 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 3944 3698 180 372 0 3569 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15776
[startup+12.7007 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4358
/proc/meminfo: memFree=24432908/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=22620 CPUtime=12.69 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 5437 0 0 0 1263 6 0 0 25 0 1 0 822127549 23162880 5386 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 5655 5386 180 372 0 5280 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22620
[startup+25.5002 s]
/proc/loadavg: 2.09 2.04 2.01 3/555 4386
/proc/meminfo: memFree=25009520/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=33252 CPUtime=25.49 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 8086 0 0 0 2537 12 0 0 25 0 1 0 822127549 34050048 8035 33554432000 4194304 5714214 140735843055456 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 8313 8035 180 372 0 7938 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33252
[startup+51.1003 s]
/proc/loadavg: 2.14 2.05 2.01 3/555 4387
/proc/meminfo: memFree=24963464/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=52964 CPUtime=51.09 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 12964 0 0 0 5087 22 0 0 25 0 1 0 822127549 54235136 12913 33554432000 4194304 5714214 140735843055456 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 13241 12913 180 372 0 12866 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52964
[startup+102.32 s]
/proc/loadavg: 2.15 2.07 2.01 3/555 4388
/proc/meminfo: memFree=24879252/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=89636 CPUtime=102.31 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 22104 0 0 0 10185 46 0 0 25 0 1 0 822127549 91787264 22053 33554432000 4194304 5714214 140735843055456 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 22409 22053 180 372 0 22034 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 89636
[startup+162.301 s]
/proc/loadavg: 2.10 2.07 2.01 3/555 4390
/proc/meminfo: memFree=24794660/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=127308 CPUtime=162.3 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 31465 0 0 0 16160 70 0 0 25 0 1 0 822127549 130363392 31414 33554432000 4194304 5714214 140735843055456 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 31827 31414 180 372 0 31452 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 127308
[startup+222.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/555 4391
/proc/meminfo: memFree=24714416/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=163988 CPUtime=222.3 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 40636 0 0 0 22133 97 0 0 25 0 1 0 822127549 167923712 40585 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 40997 40585 180 372 0 40622 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 163988
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 4393
/proc/meminfo: memFree=24638372/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=200568 CPUtime=282.3 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 49741 0 0 0 28106 124 0 0 25 0 1 0 822127549 205381632 49690 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 50142 49690 180 372 0 49767 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 200568
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 4394
/proc/meminfo: memFree=24563828/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=233668 CPUtime=342.31 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 58007 0 0 0 34083 148 0 0 25 0 1 0 822127549 239276032 57956 33554432000 4194304 5714214 140735843055456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 58417 57956 180 372 0 58042 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 233668
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4396
/proc/meminfo: memFree=24493504/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=268168 CPUtime=402.26 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 66563 0 0 0 40054 172 0 0 25 0 1 0 822127549 274604032 66512 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 67042 66512 180 372 0 66667 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 268168
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4398
/proc/meminfo: memFree=24419572/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=300460 CPUtime=462.27 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 74596 0 0 0 46032 195 0 0 25 0 1 0 822127549 307671040 74545 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 75115 74545 180 372 0 74740 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 300460
[startup+522.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/555 4399
/proc/meminfo: memFree=24350224/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=333748 CPUtime=522.26 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 82917 0 0 0 52008 218 0 0 25 0 1 0 822127549 341757952 82866 33554432000 4194304 5714214 140735843055456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 83437 82866 180 372 0 83062 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 333748
[startup+582.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/555 4401
/proc/meminfo: memFree=24280756/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=364272 CPUtime=582.27 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 90519 0 0 0 57981 246 0 0 25 0 1 0 822127549 373014528 90468 33554432000 4194304 5714214 140735843055456 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 91068 90468 180 372 0 90693 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 364272
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4416
/proc/meminfo: memFree=24113140/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=491136 CPUtime=822.28 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 122229 0 0 0 81890 338 0 0 25 0 1 0 822127549 502923264 122178 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 122784 122178 180 372 0 122409 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 491136
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4418
/proc/meminfo: memFree=24081500/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=521784 CPUtime=882.28 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 129860 0 0 0 87868 360 0 0 25 0 1 0 822127549 534306816 129809 33554432000 4194304 5714214 140735843055456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 130446 129809 180 372 0 130071 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 521784
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/555 4419
/proc/meminfo: memFree=24052712/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=550960 CPUtime=942.28 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 137159 0 0 0 93844 384 0 0 25 0 1 0 822127549 564183040 137108 33554432000 4194304 5714214 140735843055456 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 137740 137108 180 372 0 137365 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 550960
[startup+1002.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/555 4424
/proc/meminfo: memFree=24023400/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=580660 CPUtime=1002.28 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 144609 0 0 0 99823 405 0 0 25 0 1 0 822127549 594595840 144558 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 145165 144558 180 372 0 144790 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 580660
[startup+1062.3 s]
/proc/loadavg: 2.17 2.06 2.02 3/555 4426
/proc/meminfo: memFree=23992884/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=610660 CPUtime=1062.29 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 152072 0 0 0 105802 427 0 0 25 0 1 0 822127549 625315840 152021 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 152665 152021 180 372 0 152290 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 610660
[startup+1122.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/555 4427
/proc/meminfo: memFree=23961856/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=641604 CPUtime=1122.29 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 159813 0 0 0 111779 450 0 0 25 0 1 0 822127549 657002496 159762 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 160401 159762 180 372 0 160026 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 641604
[startup+1182.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/555 4429
/proc/meminfo: memFree=23934184/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=669972 CPUtime=1182.29 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 166907 0 0 0 117758 471 0 0 25 0 1 0 822127549 686051328 166856 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 167493 166856 180 372 0 167118 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 669972
[startup+1242.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/555 4430
/proc/meminfo: memFree=23904660/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=696804 CPUtime=1242.29 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 173558 0 0 0 123738 491 0 0 25 0 1 0 822127549 713527296 173507 33554432000 4194304 5714214 140735843055456 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 174201 173507 180 372 0 173826 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 696804
[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/555 4432
/proc/meminfo: memFree=23876744/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=725092 CPUtime=1302.31 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 180628 0 0 0 129717 514 0 0 25 0 1 0 822127549 742494208 180577 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 181273 180577 180 372 0 180898 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 725092
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 4461
/proc/meminfo: memFree=24256556/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=755776 CPUtime=1362.3 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 188279 0 0 0 135691 539 0 0 25 0 1 0 822127549 773914624 188228 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 188944 188228 180 372 0 188569 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 755776
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 4462
/proc/meminfo: memFree=24173944/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=787132 CPUtime=1422.32 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 196100 0 0 0 141669 563 0 0 25 0 1 0 822127549 806023168 196049 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 196783 196049 180 372 0 196408 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 787132
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4464
/proc/meminfo: memFree=24098048/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=816352 CPUtime=1482.31 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 203409 0 0 0 147644 587 0 0 25 0 1 0 822127549 835944448 203358 33554432000 4194304 5714214 140735843055456 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 204088 203358 180 372 0 203713 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 816352
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4465
/proc/meminfo: memFree=24024228/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=845152 CPUtime=1542.3 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 210598 0 0 0 153624 606 0 0 25 0 1 0 822127549 865435648 210547 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 211288 210547 180 372 0 210913 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 845152
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/555 4467
/proc/meminfo: memFree=23955132/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=873244 CPUtime=1602.3 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 217616 0 0 0 159603 627 0 0 25 0 1 0 822127549 894201856 217565 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 218311 217565 180 372 0 217936 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 873244
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/555 4469
/proc/meminfo: memFree=23881952/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=902692 CPUtime=1662.31 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 224952 0 0 0 165583 648 0 0 25 0 1 0 822127549 924356608 224901 33554432000 4194304 5714214 140735843055456 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 225673 224901 180 372 0 225298 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 902692
[startup+1722.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/555 4470
/proc/meminfo: memFree=23816332/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=931588 CPUtime=1722.31 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 232171 0 0 0 171565 666 0 0 25 0 1 0 822127549 953946112 232120 33554432000 4194304 5714214 140735843055456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 232897 232120 180 372 0 232522 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 931588
[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/555 4472
/proc/meminfo: memFree=23749848/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=957928 CPUtime=1782.31 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 238738 0 0 0 177541 690 0 0 25 0 1 0 822127549 980918272 238687 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 239482 238687 180 372 0 239107 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 957928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.06 2.01 3/555 4472
/proc/meminfo: memFree=23730988/32950928 swapFree=67056580/67111528
[pid=4356] ppid=4354 vsize=964792 CPUtime=1800.01 cores=0,2,4,6
/proc/4356/stat : 4356 (wbo1.6) R 4354 4356 3492 0 -1 4202496 240460 0 0 0 179305 696 0 0 25 0 1 0 822127549 987947008 240409 33554432000 4194304 5714214 140735843055456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/4356/statm: 241198 240409 180 372 0 240823 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 964792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.09
CPU user time (s): 1793.07
CPU system time (s): 7.01193
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 964792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.07
system time used= 7.01193
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240460
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= 5
involuntary context switches= 3897
runsolver used 10.4344 second user time and 22.2746 second system time
The end