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-3461474-1307098655/watcher-3461474-1307098655 -o /tmp/evaluation-result-3461474-1307098655/solver-3461474-1307098655 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461474-1307098655.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 3/514 18248
/proc/meminfo: memFree=21845656/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=3304 CPUtime=0 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 613 0 0 0 0 0 0 0 25 0 1 0 802281113 3383296 558 33554432000 4194304 5714214 140733216404176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 826 558 179 372 0 451 0
[startup+0.060668 s]
/proc/loadavg: 2.00 2.02 2.00 3/514 18248
/proc/meminfo: memFree=21845656/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=3700 CPUtime=0.05 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 726 0 0 0 5 0 0 0 25 0 1 0 802281113 3788800 671 33554432000 4194304 5714214 140733216404176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 925 671 180 372 0 550 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3700
[startup+0.100661 s]
/proc/loadavg: 2.00 2.02 2.00 3/514 18248
/proc/meminfo: memFree=21845656/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=4096 CPUtime=0.08 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 835 0 0 0 8 0 0 0 25 0 1 0 802281113 4194304 780 33554432000 4194304 5714214 140733216404176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 1024 780 180 372 0 649 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4096
[startup+0.300623 s]
/proc/loadavg: 2.00 2.02 2.00 3/514 18248
/proc/meminfo: memFree=21845656/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=6076 CPUtime=0.29 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 1329 0 0 0 28 1 0 0 25 0 1 0 802281113 6221824 1274 33554432000 4194304 5714214 140733216404176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 1519 1274 180 372 0 1144 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6076
[startup+0.700546 s]
/proc/loadavg: 2.00 2.02 2.00 3/514 18248
/proc/meminfo: memFree=21845656/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=9380 CPUtime=0.69 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 2128 0 0 0 67 2 0 0 25 0 1 0 802281113 9605120 2073 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 2345 2073 180 372 0 1970 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9380
[startup+1.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18249
/proc/meminfo: memFree=21829528/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=14400 CPUtime=1.49 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 3382 0 0 0 146 3 0 0 25 0 1 0 802281113 14745600 3327 33554432000 4194304 5714214 140733216404176 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 3600 3327 180 372 0 3225 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14400
[startup+3.10109 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18249
/proc/meminfo: memFree=21818120/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=21552 CPUtime=3.09 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 5176 0 0 0 305 4 0 0 25 0 1 0 802281113 22069248 5121 33554432000 4194304 5714214 140733216404176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 5388 5121 180 372 0 5013 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21552
[startup+6.30049 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18249
/proc/meminfo: memFree=21804052/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=27808 CPUtime=6.28 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 6733 0 0 0 622 6 0 0 22 0 1 0 802281113 28475392 6678 33554432000 4194304 5714214 140733216404176 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 6952 6678 180 372 0 6577 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27808
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18249
/proc/meminfo: memFree=21791368/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=31824 CPUtime=12.69 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 7747 0 0 0 1260 9 0 0 25 0 1 0 802281113 32587776 7692 33554432000 4194304 5714214 140733216404176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 7956 7692 180 372 0 7581 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31824
[startup+25.5009 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18250
/proc/meminfo: memFree=21752200/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=61428 CPUtime=25.49 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 15119 0 0 0 2534 15 0 0 25 0 1 0 802281113 62902272 15064 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 15357 15064 180 372 0 14982 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61428
[startup+51.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18250
/proc/meminfo: memFree=21727948/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=72528 CPUtime=51.08 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 17875 0 0 0 5086 22 0 0 25 0 1 0 802281113 74268672 17820 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 18132 17820 180 372 0 17757 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72528
[startup+102.319 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18252
/proc/meminfo: memFree=21691848/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=82832 CPUtime=102.31 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 20445 0 0 0 10191 40 0 0 25 0 1 0 802281113 84819968 20390 33554432000 4194304 5714214 140733216404176 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 20708 20390 180 372 0 20333 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 82832
[startup+162.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/515 18253
/proc/meminfo: memFree=21672100/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=93912 CPUtime=162.3 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 23094 0 0 0 16173 57 0 0 25 0 1 0 802281113 96165888 23039 33554432000 4194304 5714214 140733216404176 18446744073709551615 4309080 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 23478 23039 180 372 0 23103 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 93912
[startup+222.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/515 18264
/proc/meminfo: memFree=21605508/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=133524 CPUtime=222.3 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 32935 0 0 0 22156 74 0 0 25 0 1 0 802281113 136728576 32858 33554432000 4194304 5714214 140733216404176 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 33381 32858 180 372 0 33006 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 133524
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/515 18265
/proc/meminfo: memFree=21577540/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=145760 CPUtime=282.29 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 37569 0 0 0 28138 91 0 0 25 0 1 0 802281113 149258240 35921 33554432000 4194304 5714214 140733216404176 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 36440 35921 180 372 0 36065 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 145760
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18267
/proc/meminfo: memFree=21563220/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=145760 CPUtime=342.3 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 37571 0 0 0 34125 105 0 0 25 0 1 0 802281113 149258240 35923 33554432000 4194304 5714214 140733216404176 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 36440 35923 180 372 0 36065 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 145760
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18269
/proc/meminfo: memFree=21547536/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=146420 CPUtime=402.3 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 37719 0 0 0 40110 120 0 0 25 0 1 0 802281113 149934080 36071 33554432000 4194304 5714214 140733216404176 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 36605 36071 180 372 0 36230 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 146420
[startup+462.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/515 18270
/proc/meminfo: memFree=21494784/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=185820 CPUtime=462.3 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 47538 0 0 0 46092 138 0 0 25 0 1 0 802281113 190279680 45890 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 46455 45890 180 372 0 46080 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 185820
[startup+522.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/515 18272
/proc/meminfo: memFree=21471184/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=197148 CPUtime=522.31 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 50328 0 0 0 52076 155 0 0 25 0 1 0 802281113 201879552 48680 33554432000 4194304 5714214 140733216404176 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 49287 48680 180 372 0 48912 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 197148
[startup+582.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/515 18273
/proc/meminfo: memFree=21456732/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=205372 CPUtime=582.3 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 54102 0 0 0 58060 170 0 0 25 0 1 0 802281113 210300928 50757 33554432000 4194304 5714214 140733216404176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 51343 50757 180 372 0 50968 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 205372
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 18280
/proc/meminfo: memFree=21384136/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=227720 CPUtime=822.32 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 59507 0 0 0 82003 229 0 0 25 0 1 0 802281113 233185280 56162 33554432000 4194304 5714214 140733216404176 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 56930 56162 180 372 0 56555 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 227720
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18281
/proc/meminfo: memFree=21371412/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=230616 CPUtime=882.32 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 60205 0 0 0 87988 244 0 0 25 0 1 0 802281113 236150784 56860 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 57654 56860 180 372 0 57279 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 230616
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18283
/proc/meminfo: memFree=21358464/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=239616 CPUtime=942.33 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 62404 0 0 0 93974 259 0 0 25 0 1 0 802281113 245366784 59059 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 59904 59059 180 372 0 59529 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 239616
[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/515 18285
/proc/meminfo: memFree=21337836/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=252400 CPUtime=1002.32 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 65543 0 0 0 99961 271 0 0 25 0 1 0 802281113 258457600 62198 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 63100 62198 180 372 0 62725 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 252400
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/515 18286
/proc/meminfo: memFree=21286796/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=300548 CPUtime=1062.32 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 77501 0 0 0 105940 292 0 0 25 0 1 0 802281113 307761152 74156 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 75137 74156 180 372 0 74762 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 300548
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18288
/proc/meminfo: memFree=21261916/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=320504 CPUtime=1122.33 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 82474 0 0 0 111927 306 0 0 25 0 1 0 802281113 328196096 79129 33554432000 4194304 5714214 140733216404176 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 80126 79129 180 372 0 79751 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 320504
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 18289
/proc/meminfo: memFree=21215844/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=354984 CPUtime=1182.33 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 91085 0 0 0 117917 316 0 0 25 0 1 0 802281113 363503616 87736 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 88746 87736 180 372 0 88371 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 354984
[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/515 18291
/proc/meminfo: memFree=21197068/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=361500 CPUtime=1242.33 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 92707 0 0 0 123902 331 0 0 25 0 1 0 802281113 370176000 89358 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 90375 89358 180 372 0 90000 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 361500
[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/515 18293
/proc/meminfo: memFree=21183368/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=361572 CPUtime=1302.34 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 92714 0 0 0 129890 344 0 0 25 0 1 0 802281113 370249728 89365 33554432000 4194304 5714214 140733216404176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 90393 89365 180 372 0 90018 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 361572
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/515 18294
/proc/meminfo: memFree=21170040/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=361572 CPUtime=1362.34 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 92720 0 0 0 135879 355 0 0 25 0 1 0 802281113 370249728 89371 33554432000 4194304 5714214 140733216404176 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 90393 89371 180 372 0 90018 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 361572
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18296
/proc/meminfo: memFree=21165768/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=361572 CPUtime=1422.36 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 92720 0 0 0 141866 370 0 0 25 0 1 0 802281113 370249728 89371 33554432000 4194304 5714214 140733216404176 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 90393 89371 180 372 0 90018 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 361572
[startup+1482.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 18297
/proc/meminfo: memFree=21154408/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=361572 CPUtime=1482.34 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 92729 0 0 0 147851 383 0 0 25 0 1 0 802281113 370249728 89380 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 90393 89380 180 372 0 90018 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 361572
[startup+1542.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/515 18299
/proc/meminfo: memFree=21117544/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=379392 CPUtime=1542.35 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 97153 0 0 0 153837 398 0 0 25 0 1 0 802281113 388497408 93804 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 94848 93804 180 372 0 94473 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 379392
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/515 18301
/proc/meminfo: memFree=21118132/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=378272 CPUtime=1602.34 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 97158 0 0 0 159823 411 0 0 25 0 1 0 802281113 387350528 93560 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 94568 93560 180 372 0 94193 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 378272
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 18305
/proc/meminfo: memFree=21118928/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=378272 CPUtime=1662.34 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 97160 0 0 0 165811 423 0 0 25 0 1 0 802281113 387350528 93562 33554432000 4194304 5714214 140733216404176 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 94568 93562 180 372 0 94193 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 378272
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/515 18307
/proc/meminfo: memFree=21119408/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=378344 CPUtime=1722.35 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 97190 0 0 0 171799 436 0 0 25 0 1 0 802281113 387424256 93592 33554432000 4194304 5714214 140733216404176 18446744073709551615 4309516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 94586 93592 180 372 0 94211 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 378344
[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/515 18308
/proc/meminfo: memFree=21105712/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=378344 CPUtime=1782.35 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 97193 0 0 0 177785 450 0 0 25 0 1 0 802281113 387424256 93595 33554432000 4194304 5714214 140733216404176 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 94586 93595 180 372 0 94211 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 378344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.05 2.01 2/514 18310
/proc/meminfo: memFree=21464068/32951124 swapFree=62999000/67111528
[pid=18248] ppid=18246 vsize=378344 CPUtime=1800.06 cores=1,3,5,7
/proc/18248/stat : 18248 (wbo1.6) R 18246 18248 17882 0 -1 4202496 97193 0 0 0 179553 453 0 0 25 0 1 0 802281113 387424256 93595 33554432000 4194304 5714214 140733216404176 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18248/statm: 94586 93595 180 372 0 94211 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 378344
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.1
CPU user time (s): 1795.54
CPU system time (s): 4.55331
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 379392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.54
system time used= 4.55331
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97193
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= 7
involuntary context switches= 2559
runsolver used 8.92264 second user time and 22.0586 second system time
The end