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-3461242-1307069104/watcher-3461242-1307069104 -o /tmp/evaluation-result-3461242-1307069104/solver-3461242-1307069104 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461242-1307069104.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.04 1.62 1.25 2/517 2550
/proc/meminfo: memFree=21362032/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=3336 CPUtime=0 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 609 0 0 0 0 0 0 0 25 0 1 0 818507057 3416064 562 33554432000 4194304 5714214 140733797135808 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 834 563 180 372 0 436 0
[startup+0.0601379 s]
/proc/loadavg: 2.04 1.62 1.25 2/517 2550
/proc/meminfo: memFree=21362032/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=5472 CPUtime=0.05 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 1254 0 0 0 5 0 0 0 25 0 1 0 818507057 5603328 1104 33554432000 4194304 5714214 140733797135808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 1368 1104 180 372 0 993 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5472
[startup+0.101135 s]
/proc/loadavg: 2.04 1.62 1.25 2/517 2550
/proc/meminfo: memFree=21362032/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=5868 CPUtime=0.09 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 1364 0 0 0 9 0 0 0 25 0 1 0 818507057 6008832 1214 33554432000 4194304 5714214 140733797135808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 1467 1214 180 372 0 1092 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5868
[startup+0.301091 s]
/proc/loadavg: 2.04 1.62 1.25 2/517 2550
/proc/meminfo: memFree=21362032/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=7720 CPUtime=0.29 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 1805 0 0 0 29 0 0 0 25 0 1 0 818507057 7905280 1655 33554432000 4194304 5714214 140733797135808 18446744073709551615 4309531 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 1930 1655 180 372 0 1555 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7720
[startup+0.701012 s]
/proc/loadavg: 2.04 1.62 1.25 2/517 2550
/proc/meminfo: memFree=21362032/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=11036 CPUtime=0.69 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 2640 0 0 0 69 0 0 0 25 0 1 0 818507057 11300864 2490 33554432000 4194304 5714214 140733797135808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 2759 2490 180 372 0 2384 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11036
[startup+1.50086 s]
/proc/loadavg: 2.28 1.68 1.27 3/518 2551
/proc/meminfo: memFree=21349500/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=16348 CPUtime=1.49 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 3991 0 0 0 149 0 0 0 25 0 1 0 818507057 16740352 3841 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 4087 3841 180 372 0 3712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16348
[startup+3.10054 s]
/proc/loadavg: 2.28 1.68 1.27 3/518 2551
/proc/meminfo: memFree=21341068/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=25576 CPUtime=3.09 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 6283 0 0 0 308 1 0 0 25 0 1 0 818507057 26189824 6133 33554432000 4194304 5714214 140733797135808 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 6394 6133 180 372 0 6019 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25576
[startup+6.30089 s]
/proc/loadavg: 2.25 1.68 1.27 3/518 2551
/proc/meminfo: memFree=21329908/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=30748 CPUtime=6.29 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 7586 0 0 0 627 2 0 0 25 0 1 0 818507057 31485952 7436 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 7687 7436 180 372 0 7312 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30748
[startup+12.7006 s]
/proc/loadavg: 2.23 1.69 1.28 3/518 2551
/proc/meminfo: memFree=21321076/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=36268 CPUtime=12.69 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 8923 0 0 0 1265 4 0 0 25 0 1 0 818507057 37138432 8773 33554432000 4194304 5714214 140733797135808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 9067 8773 180 372 0 8692 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36268
[startup+25.5011 s]
/proc/loadavg: 2.18 1.70 1.29 3/518 2551
/proc/meminfo: memFree=21295016/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=59740 CPUtime=25.49 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 14785 0 0 0 2540 9 0 0 25 0 1 0 818507057 61173760 14635 33554432000 4194304 5714214 140733797135808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 14935 14635 180 372 0 14560 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59740
[startup+51.101 s]
/proc/loadavg: 2.12 1.73 1.30 3/518 2552
/proc/meminfo: memFree=21246620/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=99180 CPUtime=51.09 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 24602 0 0 0 5096 13 0 0 25 0 1 0 818507057 101560320 24452 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 24795 24452 180 372 0 24420 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99180
[startup+102.32 s]
/proc/loadavg: 2.20 1.80 1.35 3/518 2553
/proc/meminfo: memFree=21163032/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=161208 CPUtime=102.31 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 40086 0 0 0 10209 22 0 0 25 0 1 0 818507057 165076992 39936 33554432000 4194304 5714214 140733797135808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 40302 39936 180 372 0 39927 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 161208
[startup+162.301 s]
/proc/loadavg: 2.14 1.85 1.39 3/518 2555
/proc/meminfo: memFree=21143172/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=161316 CPUtime=162.29 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 40095 0 0 0 16201 28 0 0 25 0 1 0 818507057 165187584 39945 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 40329 39945 180 372 0 39954 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 161316
[startup+222.301 s]
/proc/loadavg: 2.05 1.87 1.43 3/518 2557
/proc/meminfo: memFree=21117604/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=161316 CPUtime=222.3 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 40100 0 0 0 22195 35 0 0 25 0 1 0 818507057 165187584 39950 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 40329 39950 180 372 0 39954 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 161316
[startup+282.301 s]
/proc/loadavg: 2.02 1.89 1.46 3/518 2558
/proc/meminfo: memFree=21035000/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=220732 CPUtime=282.31 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 54931 0 0 0 28188 43 0 0 25 0 1 0 818507057 226029568 54781 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 55183 54781 180 372 0 54808 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 220732
[startup+342.301 s]
/proc/loadavg: 2.00 1.91 1.49 3/518 2560
/proc/meminfo: memFree=21009180/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=230824 CPUtime=342.31 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 57807 0 0 0 34183 48 0 0 25 0 1 0 818507057 236363776 57314 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 57706 57314 180 372 0 57331 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 230824
[startup+402.301 s]
/proc/loadavg: 2.00 1.92 1.52 3/518 2561
/proc/meminfo: memFree=20986452/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=244688 CPUtime=402.31 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 61267 0 0 0 40179 52 0 0 25 0 1 0 818507057 250560512 60774 33554432000 4194304 5714214 140733797135808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 61172 60774 180 372 0 60797 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 244688
[startup+462.301 s]
/proc/loadavg: 2.00 1.93 1.55 3/518 2563
/proc/meminfo: memFree=20970556/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=244688 CPUtime=462.31 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 61267 0 0 0 46176 55 0 0 25 0 1 0 818507057 250560512 60774 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 61172 60774 180 372 0 60797 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 244688
[startup+522.301 s]
/proc/loadavg: 2.05 1.96 1.58 3/518 2565
/proc/meminfo: memFree=20930964/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=244688 CPUtime=522.31 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 61267 0 0 0 52174 57 0 0 25 0 1 0 818507057 250560512 60774 33554432000 4194304 5714214 140733797135808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 61172 60774 180 372 0 60797 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 244688
[startup+582.301 s]
/proc/loadavg: 2.02 1.97 1.60 3/518 2566
/proc/meminfo: memFree=20923980/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=244688 CPUtime=582.31 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 61267 0 0 0 58170 61 0 0 25 0 1 0 818507057 250560512 60774 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 61172 60774 180 372 0 60797 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 244688
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.69 3/518 2573
/proc/meminfo: memFree=20873340/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=244688 CPUtime=822.33 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 61282 0 0 0 82150 83 0 0 25 0 1 0 818507057 250560512 60789 33554432000 4194304 5714214 140733797135808 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 61172 60789 180 372 0 60797 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 244688
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.71 3/518 2574
/proc/meminfo: memFree=20849480/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=244688 CPUtime=882.33 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 61282 0 0 0 88145 88 0 0 25 0 1 0 818507057 250560512 60789 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 61172 60789 180 372 0 60797 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 244688
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.72 3/518 2576
/proc/meminfo: memFree=20828868/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=244688 CPUtime=942.33 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 61282 0 0 0 94140 93 0 0 25 0 1 0 818507057 250560512 60789 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 61172 60789 180 372 0 60797 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 244688
[startup+1002.3 s]
/proc/loadavg: 2.16 2.03 1.75 3/518 2586
/proc/meminfo: memFree=20760204/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=293140 CPUtime=1002.34 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 73367 0 0 0 100131 103 0 0 25 0 1 0 818507057 300175360 72874 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 73285 72874 180 372 0 72910 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 293140
[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 1.76 3/518 2588
/proc/meminfo: memFree=20684292/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=350808 CPUtime=1062.34 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 87772 0 0 0 106123 111 0 0 25 0 1 0 818507057 359227392 87279 33554432000 4194304 5714214 140733797135808 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 87702 87279 180 372 0 87327 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 350808
[startup+1122.3 s]
/proc/loadavg: 2.14 2.05 1.78 3/518 2590
/proc/meminfo: memFree=20655988/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=357932 CPUtime=1122.34 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 89518 0 0 0 112118 116 0 0 25 0 1 0 818507057 366522368 89025 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 89483 89025 180 372 0 89108 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 357932
[startup+1182.3 s]
/proc/loadavg: 2.11 2.06 1.80 3/518 2594
/proc/meminfo: memFree=20619980/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=377832 CPUtime=1182.35 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 94513 0 0 0 118113 122 0 0 25 0 1 0 818507057 386899968 94020 33554432000 4194304 5714214 140733797135808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 94458 94020 180 372 0 94083 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 377832
[startup+1242.3 s]
/proc/loadavg: 2.04 2.04 1.81 3/518 2596
/proc/meminfo: memFree=20597780/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=378452 CPUtime=1242.35 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 94738 0 0 0 124107 128 0 0 25 0 1 0 818507057 387534848 94182 33554432000 4194304 5714214 140733797135808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 94613 94182 180 372 0 94238 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 378452
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.82 3/518 2597
/proc/meminfo: memFree=20566744/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=381508 CPUtime=1302.36 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 95473 0 0 0 130103 133 0 0 25 0 1 0 818507057 390664192 94917 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 95377 94917 180 372 0 95002 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 381508
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.83 3/518 2599
/proc/meminfo: memFree=20538324/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=395636 CPUtime=1362.36 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 99576 0 0 0 136097 139 0 0 25 0 1 0 818507057 405131264 98471 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 98909 98471 180 372 0 98534 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 395636
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.83 3/518 2601
/proc/meminfo: memFree=20527120/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=395636 CPUtime=1422.37 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 99578 0 0 0 142093 144 0 0 25 0 1 0 818507057 405131264 98473 33554432000 4194304 5714214 140733797135808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 98909 98473 180 372 0 98534 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 395636
[startup+1482.3 s]
/proc/loadavg: 2.10 2.04 1.85 3/518 2602
/proc/meminfo: memFree=20511440/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=396172 CPUtime=1482.36 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 99697 0 0 0 148086 150 0 0 25 0 1 0 818507057 405680128 98592 33554432000 4194304 5714214 140733797135808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 99043 98592 180 372 0 98668 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 396172
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 1.86 3/518 2604
/proc/meminfo: memFree=20471368/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=420684 CPUtime=1542.36 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 105764 0 0 0 154080 156 0 0 25 0 1 0 818507057 430780416 104659 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 105171 104659 180 372 0 104796 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 420684
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 1.87 3/518 2605
/proc/meminfo: memFree=20448636/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=422440 CPUtime=1602.37 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 106768 0 0 0 160074 163 0 0 25 0 1 0 818507057 432578560 105135 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 105610 105135 180 372 0 105235 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 422440
[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 1.88 3/518 2607
/proc/meminfo: memFree=20435324/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=422440 CPUtime=1662.36 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 106768 0 0 0 166066 170 0 0 25 0 1 0 818507057 432578560 105135 33554432000 4194304 5714214 140733797135808 18446744073709551615 4309494 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 105610 105135 180 372 0 105235 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 422440
[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 1.89 3/518 2609
/proc/meminfo: memFree=20421408/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=422440 CPUtime=1722.38 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 106768 0 0 0 172061 177 0 0 25 0 1 0 818507057 432578560 105135 33554432000 4194304 5714214 140733797135808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 105610 105135 180 372 0 105235 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 422440
[startup+1782.3 s]
/proc/loadavg: 1.97 2.03 1.89 3/518 2719
/proc/meminfo: memFree=20943936/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=422440 CPUtime=1782.38 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 106768 0 0 0 178056 182 0 0 25 0 1 0 818507057 432578560 105135 33554432000 4194304 5714214 140733797135808 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 105610 105135 180 372 0 105235 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 422440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.98 2.03 1.90 3/518 2720
/proc/meminfo: memFree=20938212/32950928 swapFree=34259960/67111528
[pid=2550] ppid=2548 vsize=422440 CPUtime=1800.08 cores=0,2,4,6
/proc/2550/stat : 2550 (wbo1.6) R 2548 2550 1159 0 -1 4202496 106768 0 0 0 179824 184 0 0 25 0 1 0 818507057 432578560 105135 33554432000 4194304 5714214 140733797135808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/2550/statm: 105610 105135 180 372 0 105235 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 422440
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.12
CPU user time (s): 1798.26
CPU system time (s): 1.86272
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 424564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.26
system time used= 1.86272
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106768
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= 3
involuntary context switches= 2824
runsolver used 9.75952 second user time and 20.3229 second system time
The end