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-3461272-1307070880/watcher-3461272-1307070880 -o /tmp/evaluation-result-3461272-1307070880/solver-3461272-1307070880 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461272-1307070880.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.05 2.00 2/386 25558
/proc/meminfo: memFree=23477580/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=4780 CPUtime=0.01 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 1013 0 0 0 1 0 0 0 18 0 1 0 818690757 4894720 949 33554432000 4194304 5714214 140736936803872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 1195 949 179 372 0 820 0
[startup+0.0716101 s]
/proc/loadavg: 2.07 2.05 2.00 2/386 25558
/proc/meminfo: memFree=23477580/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=4912 CPUtime=0.06 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 1044 0 0 0 6 0 0 0 18 0 1 0 818690757 5029888 980 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 1228 980 180 372 0 853 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4912
[startup+0.100605 s]
/proc/loadavg: 2.07 2.05 2.00 2/386 25558
/proc/meminfo: memFree=23477580/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=5176 CPUtime=0.09 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 1116 0 0 0 9 0 0 0 18 0 1 0 818690757 5300224 1052 33554432000 4194304 5714214 140736936803872 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 1294 1052 180 372 0 919 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5176
[startup+0.300571 s]
/proc/loadavg: 2.07 2.05 2.00 2/386 25558
/proc/meminfo: memFree=23477580/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=6892 CPUtime=0.29 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 1552 0 0 0 29 0 0 0 18 0 1 0 818690757 7057408 1488 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 1723 1488 180 372 0 1348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6892
[startup+0.700501 s]
/proc/loadavg: 2.07 2.05 2.00 2/386 25558
/proc/meminfo: memFree=23477580/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=10340 CPUtime=0.69 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 2387 0 0 0 68 1 0 0 18 0 1 0 818690757 10588160 2323 33554432000 4194304 5714214 140736936803872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 2585 2323 180 372 0 2210 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10340
[startup+1.50037 s]
/proc/loadavg: 2.07 2.05 2.00 3/387 25559
/proc/meminfo: memFree=23465916/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=16096 CPUtime=1.49 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 3827 0 0 0 146 3 0 0 20 0 1 0 818690757 16482304 3763 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 4024 3763 180 372 0 3649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16096
[startup+3.10109 s]
/proc/loadavg: 2.07 2.05 2.00 3/387 25559
/proc/meminfo: memFree=23457856/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=23256 CPUtime=3.1 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 5631 0 0 0 306 4 0 0 25 0 1 0 818690757 23814144 5567 33554432000 4194304 5714214 140736936803872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 5814 5567 180 372 0 5439 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 23256
[startup+6.30051 s]
/proc/loadavg: 2.07 2.05 2.00 3/387 25559
/proc/meminfo: memFree=23451584/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=26256 CPUtime=6.29 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 6369 0 0 0 623 6 0 0 25 0 1 0 818690757 26886144 6305 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 6564 6305 180 372 0 6189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26256
[startup+12.7004 s]
/proc/loadavg: 2.06 2.05 2.00 3/387 25559
/proc/meminfo: memFree=23443504/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=35740 CPUtime=12.69 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 8699 0 0 0 1259 10 0 0 25 0 1 0 818690757 36597760 8635 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 8935 8635 180 372 0 8560 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35740
[startup+25.5011 s]
/proc/loadavg: 2.05 2.05 2.00 3/387 25559
/proc/meminfo: memFree=23420732/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=55964 CPUtime=25.49 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 13701 0 0 0 2534 15 0 0 25 0 1 0 818690757 57307136 13637 33554432000 4194304 5714214 140736936803872 18446744073709551615 4309105 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 13991 13637 180 372 0 13616 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55964
[startup+51.1006 s]
/proc/loadavg: 2.03 2.04 2.00 3/387 25560
/proc/meminfo: memFree=23403464/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=69584 CPUtime=51.1 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 17089 0 0 0 5085 25 0 0 25 0 1 0 818690757 71254016 17025 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 17396 17025 180 372 0 17021 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 69584
[startup+102.314 s]
/proc/loadavg: 2.01 2.03 2.00 3/387 25561
/proc/meminfo: memFree=23324816/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=130692 CPUtime=102.31 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 32314 0 0 0 10184 47 0 0 25 0 1 0 818690757 133828608 32250 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 32673 32250 180 372 0 32298 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 130692
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 25618
/proc/meminfo: memFree=23645940/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=171244 CPUtime=162.29 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 42456 0 0 0 16169 60 0 0 25 0 1 0 818690757 175353856 42374 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 42811 42374 180 372 0 42436 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 171244
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 25620
/proc/meminfo: memFree=23614904/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=185888 CPUtime=222.3 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 46114 0 0 0 22152 78 0 0 25 0 1 0 818690757 190349312 46032 33554432000 4194304 5714214 140736936803872 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 46472 46032 180 372 0 46097 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 185888
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 25891
/proc/meminfo: memFree=23571344/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=185888 CPUtime=282.3 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 46116 0 0 0 28139 91 0 0 25 0 1 0 818690757 190349312 46034 33554432000 4194304 5714214 140736936803872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 46472 46034 180 372 0 46097 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 185888
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 25893
/proc/meminfo: memFree=23567968/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=185888 CPUtime=342.3 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 46122 0 0 0 34126 104 0 0 25 0 1 0 818690757 190349312 46040 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 46472 46040 180 372 0 46097 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 185888
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25894
/proc/meminfo: memFree=23546720/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=191716 CPUtime=402.3 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 47851 0 0 0 40118 112 0 0 25 0 1 0 818690757 196317184 47501 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 47929 47501 180 372 0 47554 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 191716
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25896
/proc/meminfo: memFree=23506636/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=221028 CPUtime=462.31 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 55143 0 0 0 46112 119 0 0 25 0 1 0 818690757 226332672 54793 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 55257 54793 180 372 0 54882 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 221028
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25898
/proc/meminfo: memFree=23484512/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=233976 CPUtime=522.3 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 58365 0 0 0 52109 121 0 0 25 0 1 0 818690757 239591424 58015 33554432000 4194304 5714214 140736936803872 18446744073709551615 4309235 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 58494 58015 180 372 0 58119 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 233976
[startup+582.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/387 25899
/proc/meminfo: memFree=23475768/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=233976 CPUtime=582.3 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 58366 0 0 0 58107 123 0 0 25 0 1 0 818690757 239591424 58016 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 58494 58016 180 372 0 58119 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 233976
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25906
/proc/meminfo: memFree=23429300/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=242872 CPUtime=822.31 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 60590 0 0 0 82101 130 0 0 25 0 1 0 818690757 248700928 60240 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 60718 60240 180 372 0 60343 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 242872
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25907
/proc/meminfo: memFree=23417324/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=246328 CPUtime=882.31 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 61437 0 0 0 88099 132 0 0 25 0 1 0 818690757 252239872 61087 33554432000 4194304 5714214 140736936803872 18446744073709551615 4200560 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 61582 61087 180 372 0 61207 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 246328
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25909
/proc/meminfo: memFree=23407476/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=249580 CPUtime=942.31 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 62229 0 0 0 94096 135 0 0 25 0 1 0 818690757 255569920 61871 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 62395 61871 180 372 0 62020 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 249580
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25910
/proc/meminfo: memFree=23393412/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=255404 CPUtime=1002.32 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 63718 0 0 0 100094 138 0 0 25 0 1 0 818690757 261533696 63360 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 63851 63360 180 372 0 63476 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 255404
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25912
/proc/meminfo: memFree=23386552/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=255404 CPUtime=1062.32 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 63718 0 0 0 106091 141 0 0 25 0 1 0 818690757 261533696 63360 33554432000 4194304 5714214 140736936803872 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 63851 63360 180 372 0 63476 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 255404
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/387 25914
/proc/meminfo: memFree=23380424/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=255404 CPUtime=1122.32 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 63726 0 0 0 112080 152 0 0 25 0 1 0 818690757 261533696 63368 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319793 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 63851 63368 180 372 0 63476 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 255404
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/387 25915
/proc/meminfo: memFree=23370332/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=260136 CPUtime=1182.32 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 64834 0 0 0 118074 158 0 0 25 0 1 0 818690757 266379264 64476 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 65034 64476 180 372 0 64659 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 260136
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 25917
/proc/meminfo: memFree=23364448/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=260136 CPUtime=1242.32 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 64835 0 0 0 124065 167 0 0 25 0 1 0 818690757 266379264 64477 33554432000 4194304 5714214 140736936803872 18446744073709551615 4309494 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 65034 64477 180 372 0 64659 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 260136
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25918
/proc/meminfo: memFree=23360044/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=260136 CPUtime=1302.34 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 64835 0 0 0 130062 172 0 0 25 0 1 0 818690757 266379264 64477 33554432000 4194304 5714214 140736936803872 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 65034 64477 180 372 0 64659 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 260136
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 25947
/proc/meminfo: memFree=23437168/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=260136 CPUtime=1362.32 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 64835 0 0 0 136054 178 0 0 25 0 1 0 818690757 266379264 64477 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319295 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 65034 64477 180 372 0 64659 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 260136
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25949
/proc/meminfo: memFree=23407628/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=263964 CPUtime=1422.34 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 65793 0 0 0 142047 187 0 0 25 0 1 0 818690757 270299136 65435 33554432000 4194304 5714214 140736936803872 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 65991 65435 180 372 0 65616 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 263964
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25950
/proc/meminfo: memFree=23383280/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=264368 CPUtime=1482.33 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 65922 0 0 0 148039 194 0 0 25 0 1 0 818690757 270712832 65553 33554432000 4194304 5714214 140736936803872 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 66092 65553 180 372 0 65717 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 264368
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 25952
/proc/meminfo: memFree=23347892/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=271140 CPUtime=1542.33 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 67563 0 0 0 154029 204 0 0 25 0 1 0 818690757 277647360 67194 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 67785 67194 180 372 0 67410 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 271140
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/387 25953
/proc/meminfo: memFree=23312628/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=276360 CPUtime=1602.33 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 68738 0 0 0 160018 215 0 0 25 0 1 0 818690757 282992640 68369 33554432000 4194304 5714214 140736936803872 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 69090 68369 180 372 0 68715 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 276360
[startup+1662.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/387 25955
/proc/meminfo: memFree=23287400/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=276360 CPUtime=1662.33 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 68767 0 0 0 166007 226 0 0 25 0 1 0 818690757 282992640 68398 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 69090 68398 180 372 0 68715 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 276360
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/387 25957
/proc/meminfo: memFree=23265516/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=278940 CPUtime=1722.34 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 69318 0 0 0 172000 234 0 0 25 0 1 0 818690757 285634560 68949 33554432000 4194304 5714214 140736936803872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 69735 68949 180 372 0 69360 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 278940
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 25985
/proc/meminfo: memFree=22507016/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=283776 CPUtime=1782.33 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 70497 0 0 0 177991 242 0 0 25 0 1 0 818690757 290586624 70128 33554432000 4194304 5714214 140736936803872 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 70944 70128 180 372 0 70569 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 283776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 25986
/proc/meminfo: memFree=22499824/32951124 swapFree=49244120/67111528
[pid=25558] ppid=25556 vsize=283776 CPUtime=1800.05 cores=1,3,5,7
/proc/25558/stat : 25558 (wbo1.6) R 25556 25558 23490 0 -1 4202496 70500 0 0 0 179761 244 0 0 25 0 1 0 818690757 290586624 70131 33554432000 4194304 5714214 140736936803872 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25558/statm: 70944 70131 180 372 0 70569 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 283776
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.03
CPU time (s): 1800.07
CPU user time (s): 1797.61
CPU system time (s): 2.45963
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 283776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.61
system time used= 2.45963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70500
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= 20544
runsolver used 6.543 second user time and 16.3605 second system time
The end