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-3461254-1307070775/watcher-3461254-1307070775 -o /tmp/evaluation-result-3461254-1307070775/solver-3461254-1307070775 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461254-1307070775.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/400 24411
/proc/meminfo: memFree=29882292/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=3696 CPUtime=0.01 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 727 0 0 0 1 0 0 0 25 0 1 0 818677303 3784704 669 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 924 669 180 372 0 549 0
[startup+0.049383 s]
/proc/loadavg: 2.00 2.00 2.00 2/400 24411
/proc/meminfo: memFree=29882292/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=3828 CPUtime=0.04 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 763 0 0 0 4 0 0 0 25 0 1 0 818677303 3919872 705 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 957 705 180 372 0 582 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3828
[startup+0.100398 s]
/proc/loadavg: 2.00 2.00 2.00 2/400 24411
/proc/meminfo: memFree=29882292/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=4356 CPUtime=0.09 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 902 0 0 0 9 0 0 0 25 0 1 0 818677303 4460544 844 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 1089 844 180 372 0 714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4356
[startup+0.300366 s]
/proc/loadavg: 2.00 2.00 2.00 2/400 24411
/proc/meminfo: memFree=29882292/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=6084 CPUtime=0.29 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 1344 0 0 0 29 0 0 0 25 0 1 0 818677303 6230016 1286 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 1521 1286 180 372 0 1146 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6084
[startup+0.700248 s]
/proc/loadavg: 2.00 2.00 2.00 2/400 24411
/proc/meminfo: memFree=29882292/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=8856 CPUtime=0.69 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 2026 0 0 0 69 0 0 0 25 0 1 0 818677303 9068544 1968 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 2214 1968 180 372 0 1839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8856
[startup+1.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24412
/proc/meminfo: memFree=29872736/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=14144 CPUtime=1.49 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 3340 0 0 0 148 1 0 0 25 0 1 0 818677303 14483456 3282 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 3536 3282 180 372 0 3161 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14144
[startup+3.10075 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24412
/proc/meminfo: memFree=29864552/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=18140 CPUtime=3.09 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 4330 0 0 0 306 3 0 0 25 0 1 0 818677303 18575360 4272 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 4535 4272 180 372 0 4160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18140
[startup+6.30029 s]
/proc/loadavg: 2.08 2.02 2.01 3/401 24412
/proc/meminfo: memFree=29860904/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=23216 CPUtime=6.29 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 5606 0 0 0 625 4 0 0 25 0 1 0 818677303 23773184 5548 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319874 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 5804 5548 180 372 0 5429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23216
[startup+12.7011 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 24412
/proc/meminfo: memFree=29852224/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=31272 CPUtime=12.69 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 7541 0 0 0 1262 7 0 0 25 0 1 0 818677303 32022528 7483 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 7818 7483 180 372 0 7443 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31272
[startup+25.5009 s]
/proc/loadavg: 2.06 2.01 2.00 3/401 24412
/proc/meminfo: memFree=29841308/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=40408 CPUtime=25.5 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 9779 0 0 0 2538 12 0 0 25 0 1 0 818677303 41377792 9721 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 10102 9721 180 372 0 9727 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 40408
[startup+51.1003 s]
/proc/loadavg: 2.16 2.04 2.01 3/401 24413
/proc/meminfo: memFree=29819004/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=58816 CPUtime=51.09 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 14339 0 0 0 5090 19 0 0 25 0 1 0 818677303 60227584 14281 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 14704 14281 180 372 0 14329 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58816
[startup+102.315 s]
/proc/loadavg: 2.14 2.05 2.01 3/401 24415
/proc/meminfo: memFree=29779048/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=88020 CPUtime=102.31 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 21516 0 0 0 10199 32 0 0 25 0 1 0 818677303 90132480 21458 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 22005 21458 180 372 0 21630 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 88020
[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/401 24416
/proc/meminfo: memFree=29760056/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=98376 CPUtime=162.29 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 24073 0 0 0 16184 45 0 0 25 0 1 0 818677303 100737024 23893 33554432000 4194304 5714214 140734853082528 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 24594 23893 180 372 0 24219 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 98376
[startup+222.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/401 24418
/proc/meminfo: memFree=29722448/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=116296 CPUtime=222.29 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 28574 0 0 0 22170 59 0 0 25 0 1 0 818677303 119087104 28337 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 29074 28337 180 372 0 28699 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 116296
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/401 24419
/proc/meminfo: memFree=29688944/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=143616 CPUtime=282.3 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 35273 0 0 0 28155 75 0 0 25 0 1 0 818677303 147062784 35036 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 35904 35036 180 372 0 35529 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 143616
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 24421
/proc/meminfo: memFree=29649360/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=153496 CPUtime=342.3 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 37739 0 0 0 34141 89 0 0 25 0 1 0 818677303 157179904 37502 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 38374 37502 180 372 0 37999 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 153496
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 24423
/proc/meminfo: memFree=29628996/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=160776 CPUtime=402.3 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 39531 0 0 0 40121 109 0 0 25 0 1 0 818677303 164634624 39294 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 40194 39294 180 372 0 39819 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 160776
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24533
/proc/meminfo: memFree=29933008/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=203476 CPUtime=462.31 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 50201 0 0 0 46108 123 0 0 25 0 1 0 818677303 208359424 49900 33554432000 4194304 5714214 140734853082528 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 50869 49900 180 372 0 50494 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 203476
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24535
/proc/meminfo: memFree=29926980/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=203692 CPUtime=522.3 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 50255 0 0 0 52096 134 0 0 25 0 1 0 818677303 208580608 49954 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 50923 49954 180 372 0 50548 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 203692
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24536
/proc/meminfo: memFree=29917872/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=206184 CPUtime=582.3 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 50820 0 0 0 58088 142 0 0 25 0 1 0 818677303 211132416 50519 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 51546 50519 180 372 0 51171 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 206184
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/401 24543
/proc/meminfo: memFree=29846460/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=257944 CPUtime=822.3 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 63421 0 0 0 82060 170 0 0 25 0 1 0 818677303 264134656 63120 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 64486 63120 180 372 0 64111 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 257944
[startup+882.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 24544
/proc/meminfo: memFree=29840856/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=258164 CPUtime=882.3 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 63534 0 0 0 88053 177 0 0 25 0 1 0 818677303 264359936 63211 33554432000 4194304 5714214 140734853082528 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 64541 63211 180 372 0 64166 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 258164
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24546
/proc/meminfo: memFree=29828284/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=264636 CPUtime=942.3 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 65459 0 0 0 94043 187 0 0 25 0 1 0 818677303 270987264 64801 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 66159 64801 180 372 0 65784 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 264636
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24548
/proc/meminfo: memFree=29820072/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=269012 CPUtime=1002.3 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 66494 0 0 0 100036 194 0 0 25 0 1 0 818677303 275468288 65836 33554432000 4194304 5714214 140734853082528 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 67253 65836 180 372 0 66878 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 269012
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24549
/proc/meminfo: memFree=29805164/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=279780 CPUtime=1062.31 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 69103 0 0 0 106029 202 0 0 25 0 1 0 818677303 286494720 68445 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 69945 68445 180 372 0 69570 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 279780
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24551
/proc/meminfo: memFree=29786164/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=293876 CPUtime=1122.32 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 72407 0 0 0 112021 211 0 0 25 0 1 0 818677303 300929024 71745 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 73469 71745 180 372 0 73094 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 293876
[startup+1182.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/401 24552
/proc/meminfo: memFree=29773248/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=303452 CPUtime=1182.31 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 74614 0 0 0 118010 221 0 0 25 0 1 0 818677303 310734848 73952 33554432000 4194304 5714214 140734853082528 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 75863 73952 180 372 0 75488 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 303452
[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/401 24554
/proc/meminfo: memFree=29753752/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=318872 CPUtime=1242.32 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 78386 0 0 0 124004 228 0 0 25 0 1 0 818677303 326524928 77724 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 79718 77724 180 372 0 79343 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 318872
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 24556
/proc/meminfo: memFree=29743436/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=325820 CPUtime=1302.33 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 80042 0 0 0 129998 235 0 0 25 0 1 0 818677303 333639680 79380 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 81455 79380 180 372 0 81080 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 325820
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24557
/proc/meminfo: memFree=29728660/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=337148 CPUtime=1362.32 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 83078 0 0 0 135989 243 0 0 25 0 1 0 818677303 345239552 82159 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 84287 82159 180 372 0 83912 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 337148
[startup+1422.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 24559
/proc/meminfo: memFree=29704460/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=357268 CPUtime=1422.33 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 88089 0 0 0 141982 251 0 0 25 0 1 0 818677303 365842432 87170 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 89317 87170 180 372 0 88942 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 357268
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24560
/proc/meminfo: memFree=29703820/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=353720 CPUtime=1482.32 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 88138 0 0 0 147973 259 0 0 25 0 1 0 818677303 362209280 86299 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 88430 86299 180 372 0 88055 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 353720
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 24751
/proc/meminfo: memFree=29839672/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=355992 CPUtime=1542.32 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 88661 0 0 0 153961 271 0 0 25 0 1 0 818677303 364535808 86822 33554432000 4194304 5714214 140734853082528 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 88998 86822 180 372 0 88623 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 355992
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24753
/proc/meminfo: memFree=29767120/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=367856 CPUtime=1602.32 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 91502 0 0 0 159950 282 0 0 25 0 1 0 818677303 376684544 89663 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 91964 89663 180 372 0 91589 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 367856
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24754
/proc/meminfo: memFree=29696860/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=390156 CPUtime=1662.33 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 96939 0 0 0 165941 292 0 0 25 0 1 0 818677303 399519744 95100 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 97539 95100 180 372 0 97164 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 390156
[startup+1722.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/401 24756
/proc/meminfo: memFree=29661116/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=400716 CPUtime=1722.33 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 99551 0 0 0 171934 299 0 0 25 0 1 0 818677303 410333184 97712 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 100179 97712 180 372 0 99804 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 400716
[startup+1782.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/401 24757
/proc/meminfo: memFree=29622132/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=416832 CPUtime=1782.33 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 103555 0 0 0 177925 308 0 0 25 0 1 0 818677303 426835968 101716 33554432000 4194304 5714214 140734853082528 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 104208 101716 180 372 0 103833 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 416832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.04 2.01 3/401 24758
/proc/meminfo: memFree=29610584/32950904 swapFree=56615552/67111528
[pid=24411] ppid=24409 vsize=421644 CPUtime=1800.04 cores=0,2,4,6
/proc/24411/stat : 24411 (wbo1.6) R 24409 24411 19672 0 -1 4202496 104760 0 0 0 179694 310 0 0 25 0 1 0 818677303 431763456 102921 33554432000 4194304 5714214 140734853082528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/24411/statm: 105411 102921 180 372 0 105036 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 421644
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): 1796.95
CPU system time (s): 3.12252
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 421644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.95
system time used= 3.12252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104760
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= 2396
runsolver used 7.10492 second user time and 15.8276 second system time
The end