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-3461251-1307069431/watcher-3461251-1307069431 -o /tmp/evaluation-result-3461251-1307069431/solver-3461251-1307069431 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461251-1307069431.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.00 2.02 2.00 4/400 24335
/proc/meminfo: memFree=30004248/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=2820 CPUtime=0.01 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 498 0 0 0 1 0 0 0 25 0 1 0 818542842 2887680 446 33554432000 4194304 5714214 140737423867904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 705 446 180 372 0 330 0
[startup+0.04197 s]
/proc/loadavg: 2.00 2.02 2.00 4/400 24335
/proc/meminfo: memFree=30004248/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=3084 CPUtime=0.03 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 572 0 0 0 3 0 0 0 25 0 1 0 818542842 3158016 520 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 771 520 180 372 0 396 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3084
[startup+0.10096 s]
/proc/loadavg: 2.00 2.02 2.00 4/400 24335
/proc/meminfo: memFree=30004248/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=3744 CPUtime=0.09 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 742 0 0 0 9 0 0 0 25 0 1 0 818542842 3833856 690 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 936 690 180 372 0 561 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3744
[startup+0.300924 s]
/proc/loadavg: 2.00 2.02 2.00 4/400 24335
/proc/meminfo: memFree=30004248/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=5240 CPUtime=0.29 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 1119 0 0 0 28 1 0 0 25 0 1 0 818542842 5365760 1067 33554432000 4194304 5714214 140737423867904 18446744073709551615 4309516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 1310 1067 180 372 0 935 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5240
[startup+0.700853 s]
/proc/loadavg: 2.00 2.02 2.00 4/400 24335
/proc/meminfo: memFree=30004248/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=7104 CPUtime=0.69 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 1586 0 0 0 68 1 0 0 25 0 1 0 818542842 7274496 1534 33554432000 4194304 5714214 140737423867904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 1776 1534 180 372 0 1401 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7104
[startup+1.50071 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 24336
/proc/meminfo: memFree=29996924/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=11224 CPUtime=1.49 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 2584 0 0 0 147 2 0 0 25 0 1 0 818542842 11493376 2532 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 2806 2532 180 372 0 2431 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11224
[startup+3.10047 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 24336
/proc/meminfo: memFree=29991120/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=14836 CPUtime=3.09 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 3497 0 0 0 306 3 0 0 25 0 1 0 818542842 15192064 3445 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 3709 3445 180 372 0 3334 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14836
[startup+6.30092 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 24336
/proc/meminfo: memFree=29984912/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=19100 CPUtime=6.29 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 4562 0 0 0 623 6 0 0 25 0 1 0 818542842 19558400 4510 33554432000 4194304 5714214 140737423867904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 4775 4510 180 372 0 4400 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19100
[startup+12.7007 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 24336
/proc/meminfo: memFree=29979164/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=23676 CPUtime=12.69 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 5671 0 0 0 1259 10 0 0 25 0 1 0 818542842 24244224 5619 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 5919 5619 180 372 0 5544 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23676
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 24337
/proc/meminfo: memFree=29967628/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=35240 CPUtime=25.49 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 8461 0 0 0 2531 18 0 0 25 0 1 0 818542842 36085760 8409 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 8810 8409 180 372 0 8435 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35240
[startup+51.1009 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24337
/proc/meminfo: memFree=29952000/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=50884 CPUtime=51.1 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 12270 0 0 0 5082 28 0 0 25 0 1 0 818542842 52105216 12218 33554432000 4194304 5714214 140737423867904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 12721 12218 180 372 0 12346 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 50884
[startup+102.316 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24339
/proc/meminfo: memFree=29920976/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=65816 CPUtime=102.31 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 15945 0 0 0 10187 44 0 0 25 0 1 0 818542842 67395584 15893 33554432000 4194304 5714214 140737423867904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 16454 15893 180 372 0 16079 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 65816
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24340
/proc/meminfo: memFree=29898000/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=87036 CPUtime=162.29 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 21148 0 0 0 16170 59 0 0 25 0 1 0 818542842 89124864 21096 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 21759 21096 180 372 0 21384 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 87036
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24342
/proc/meminfo: memFree=29865600/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=88572 CPUtime=222.3 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 21500 0 0 0 22156 74 0 0 25 0 1 0 818542842 90697728 21448 33554432000 4194304 5714214 140737423867904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 22143 21448 180 372 0 21768 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 88572
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24343
/proc/meminfo: memFree=29857140/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=96636 CPUtime=282.3 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 23474 0 0 0 28138 92 0 0 25 0 1 0 818542842 98955264 23422 33554432000 4194304 5714214 140737423867904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 24159 23422 180 372 0 23784 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 96636
[startup+342.301 s]
/proc/loadavg: 2.15 2.03 2.01 3/401 24345
/proc/meminfo: memFree=29831948/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=107724 CPUtime=342.3 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 26124 0 0 0 34121 109 0 0 25 0 1 0 818542842 110309376 26069 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 26931 26069 180 372 0 26556 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 107724
[startup+402.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/401 24347
/proc/meminfo: memFree=29804892/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=123136 CPUtime=402.3 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 29894 0 0 0 40102 128 0 0 25 0 1 0 818542842 126091264 29839 33554432000 4194304 5714214 140737423867904 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 30784 29839 180 372 0 30409 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 123136
[startup+462.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 24348
/proc/meminfo: memFree=29781664/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=146436 CPUtime=462.3 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 35686 0 0 0 46076 154 0 0 25 0 1 0 818542842 149950464 35606 33554432000 4194304 5714214 140737423867904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 36609 35606 180 372 0 36234 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 146436
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24350
/proc/meminfo: memFree=29767744/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=147192 CPUtime=522.31 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 35853 0 0 0 52066 165 0 0 25 0 1 0 818542842 150724608 35773 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 36798 35773 180 372 0 36423 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 147192
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24351
/proc/meminfo: memFree=29759288/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=151240 CPUtime=582.3 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 36778 0 0 0 58052 178 0 0 25 0 1 0 818542842 154869760 36698 33554432000 4194304 5714214 140737423867904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 37810 36698 180 372 0 37435 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 151240
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24370
/proc/meminfo: memFree=29678160/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=204164 CPUtime=822.31 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 49629 0 0 0 81970 261 0 0 25 0 1 0 818542842 209063936 49545 33554432000 4194304 5714214 140737423867904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 51041 49545 180 372 0 50666 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 204164
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24372
/proc/meminfo: memFree=29654236/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=217148 CPUtime=882.31 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 53054 0 0 0 87945 286 0 0 25 0 1 0 818542842 222359552 52752 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 54287 52752 180 372 0 53912 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 217148
[startup+942.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/401 24373
/proc/meminfo: memFree=29620460/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=242684 CPUtime=942.32 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 59315 0 0 0 93921 311 0 0 25 0 1 0 818542842 248508416 59013 33554432000 4194304 5714214 140737423867904 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 60671 59013 180 372 0 60296 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 242684
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 24375
/proc/meminfo: memFree=29598240/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=263196 CPUtime=1002.31 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 64420 0 0 0 99880 351 0 0 25 0 1 0 818542842 269512704 64118 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 65799 64118 180 372 0 65424 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 263196
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 24376
/proc/meminfo: memFree=29582600/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=278872 CPUtime=1062.32 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 69048 0 0 0 105848 384 0 0 25 0 1 0 818542842 285564928 67963 33554432000 4194304 5714214 140737423867904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 69718 67963 180 372 0 69343 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 278872
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24378
/proc/meminfo: memFree=29553064/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=283948 CPUtime=1122.32 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 70258 0 0 0 111822 410 0 0 25 0 1 0 818542842 290762752 69173 33554432000 4194304 5714214 140737423867904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 70987 69173 180 372 0 70612 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 283948
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24379
/proc/meminfo: memFree=29519568/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=315980 CPUtime=1182.32 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 78411 0 0 0 117799 433 0 0 25 0 1 0 818542842 323563520 77141 33554432000 4194304 5714214 140737423867904 18446744073709551615 4313776 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 78995 77141 180 372 0 78620 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 315980
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24381
/proc/meminfo: memFree=29512352/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=322712 CPUtime=1242.32 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 80083 0 0 0 123781 451 0 0 25 0 1 0 818542842 330457088 78809 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 80678 78809 180 372 0 80303 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 322712
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 24383
/proc/meminfo: memFree=29471780/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=328676 CPUtime=1302.34 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 81553 0 0 0 129750 484 0 0 25 0 1 0 818542842 336564224 80279 33554432000 4194304 5714214 140737423867904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 82169 80279 180 372 0 81794 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 328676
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 24412
/proc/meminfo: memFree=29843684/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=346580 CPUtime=1362.33 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 86113 0 0 0 135723 510 0 0 25 0 1 0 818542842 354897920 84735 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 86645 84735 180 372 0 86270 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 346580
[startup+1422.32 s]
/proc/loadavg: 2.10 2.04 2.01 3/401 24414
/proc/meminfo: memFree=29810680/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=356304 CPUtime=1422.34 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 88929 0 0 0 141703 531 0 0 25 0 1 0 818542842 364855296 87091 33554432000 4194304 5714214 140737423867904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 89076 87091 180 372 0 88701 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 356304
[startup+1482.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/401 24415
/proc/meminfo: memFree=29777792/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=362776 CPUtime=1482.33 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 90524 0 0 0 147674 559 0 0 25 0 1 0 818542842 371482624 88686 33554432000 4194304 5714214 140737423867904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 90694 88686 180 372 0 90319 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 362776
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/401 24417
/proc/meminfo: memFree=29728544/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=390520 CPUtime=1542.33 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 97410 0 0 0 153649 584 0 0 25 0 1 0 818542842 399892480 95572 33554432000 4194304 5714214 140737423867904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 97630 95572 180 372 0 97255 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 390520
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/401 24419
/proc/meminfo: memFree=29713008/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=392656 CPUtime=1602.33 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 97964 0 0 0 159626 607 0 0 25 0 1 0 818542842 402079744 96126 33554432000 4194304 5714214 140737423867904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 98164 96126 180 372 0 97789 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 392656
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/401 24420
/proc/meminfo: memFree=29668960/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=408516 CPUtime=1662.33 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 101893 0 0 0 165591 642 0 0 25 0 1 0 818542842 418320384 100055 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 102129 100055 180 372 0 101754 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 408516
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 24422
/proc/meminfo: memFree=29633092/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=439208 CPUtime=1722.33 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 109594 0 0 0 171555 678 0 0 25 0 1 0 818542842 449748992 107654 33554432000 4194304 5714214 140737423867904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 109802 107654 180 372 0 109427 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 439208
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24423
/proc/meminfo: memFree=29593016/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=441176 CPUtime=1782.33 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 110205 0 0 0 177530 703 0 0 25 0 1 0 818542842 451764224 108152 33554432000 4194304 5714214 140737423867904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 110294 108152 180 372 0 109919 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 441176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 24424
/proc/meminfo: memFree=29580976/32950904 swapFree=56615552/67111528
[pid=24335] ppid=24333 vsize=445928 CPUtime=1800.05 cores=1,3,5,7
/proc/24335/stat : 24335 (wbo1.6) R 24333 24335 19672 0 -1 4202496 111399 0 0 0 179296 709 0 0 25 0 1 0 818542842 456630272 109346 33554432000 4194304 5714214 140737423867904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24335/statm: 111482 109346 180 372 0 111107 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 445928
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.04
CPU time (s): 1800.08
CPU user time (s): 1792.96
CPU system time (s): 7.11892
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 445928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.96
system time used= 7.11892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111399
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= 20581
runsolver used 6.43502 second user time and 16.5885 second system time
The end