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-3461476-1307098970/watcher-3461476-1307098970 -o /tmp/evaluation-result-3461476-1307098970/solver-3461476-1307098970 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461476-1307098970.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.01 2.00 3/443 14240
/proc/meminfo: memFree=29968788/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=4760 CPUtime=0 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 878 0 0 0 0 0 0 0 25 0 1 0 900127643 4874240 832 33554432000 4194304 5714214 140734456943808 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 1190 832 187 372 0 770 0
[startup+0.081563 s]
/proc/loadavg: 2.00 2.01 2.00 3/443 14240
/proc/meminfo: memFree=29968788/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=9196 CPUtime=0.07 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 2230 0 0 0 7 0 0 0 25 0 1 0 900127643 9416704 1953 33554432000 4194304 5714214 140734456943808 18446744073709551615 4309546 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 2299 1953 180 372 0 1924 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9196
[startup+0.100561 s]
/proc/loadavg: 2.00 2.01 2.00 3/443 14240
/proc/meminfo: memFree=29968788/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=9196 CPUtime=0.09 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 2230 0 0 0 9 0 0 0 25 0 1 0 900127643 9416704 1953 33554432000 4194304 5714214 140734456943808 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 2299 1953 180 372 0 1924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9196
[startup+0.300525 s]
/proc/loadavg: 2.00 2.01 2.00 3/443 14240
/proc/meminfo: memFree=29968788/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=10268 CPUtime=0.29 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 2537 0 0 0 29 0 0 0 25 0 1 0 900127643 10514432 2260 33554432000 4194304 5714214 140734456943808 18446744073709551615 4313776 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 2567 2260 180 372 0 2192 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10268
[startup+0.700446 s]
/proc/loadavg: 2.00 2.01 2.00 3/443 14240
/proc/meminfo: memFree=29968788/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=12792 CPUtime=0.69 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 3145 0 0 0 68 1 0 0 25 0 1 0 900127643 13099008 2868 33554432000 4194304 5714214 140734456943808 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 3198 2868 180 372 0 2823 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12792
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14241
/proc/meminfo: memFree=29947456/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=16752 CPUtime=1.49 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 4157 0 0 0 148 1 0 0 25 0 1 0 900127643 17154048 3880 33554432000 4194304 5714214 140734456943808 18446744073709551615 4309542 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 4188 3880 180 372 0 3813 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16752
[startup+3.10099 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14241
/proc/meminfo: memFree=29934808/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=23756 CPUtime=3.09 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 5885 0 0 0 307 2 0 0 25 0 1 0 900127643 24326144 5608 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 5939 5608 180 372 0 5564 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23756
[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14241
/proc/meminfo: memFree=29910876/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=35868 CPUtime=6.29 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 8926 0 0 0 626 3 0 0 25 0 1 0 900127643 36728832 8649 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 8967 8649 180 372 0 8592 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35868
[startup+12.7012 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14242
/proc/meminfo: memFree=29884608/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=51872 CPUtime=12.69 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 12925 0 0 0 1264 5 0 0 25 0 1 0 900127643 53116928 12648 33554432000 4194304 5714214 140734456943808 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 12968 12648 180 372 0 12593 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51872
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14242
/proc/meminfo: memFree=29833520/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=82980 CPUtime=25.49 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 20687 0 0 0 2543 6 0 0 25 0 1 0 900127643 84971520 20410 33554432000 4194304 5714214 140734456943808 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 20745 20410 180 372 0 20370 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82980
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14243
/proc/meminfo: memFree=29720416/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=161880 CPUtime=51.1 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 40391 0 0 0 5099 11 0 0 25 0 1 0 900127643 165765120 40114 33554432000 4194304 5714214 140734456943808 18446744073709551615 4309542 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 40470 40114 180 372 0 40095 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 161880
[startup+102.316 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14244
/proc/meminfo: memFree=29628884/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=225612 CPUtime=102.31 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 56302 0 0 0 10215 16 0 0 25 0 1 0 900127643 231026688 56025 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 56403 56025 180 372 0 56028 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 225612
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14246
/proc/meminfo: memFree=29627728/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=224644 CPUtime=162.29 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 56302 0 0 0 16209 20 0 0 25 0 1 0 900127643 230035456 55811 33554432000 4194304 5714214 140734456943808 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 56161 55811 180 372 0 55786 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 224644
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14247
/proc/meminfo: memFree=29609596/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=224644 CPUtime=222.29 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 56302 0 0 0 22206 23 0 0 25 0 1 0 900127643 230035456 55811 33554432000 4194304 5714214 140734456943808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 56161 55811 180 372 0 55786 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 224644
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14249
/proc/meminfo: memFree=29605944/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=224644 CPUtime=282.3 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 56302 0 0 0 28203 27 0 0 25 0 1 0 900127643 230035456 55811 33554432000 4194304 5714214 140734456943808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 56161 55811 180 372 0 55786 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 224644
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14250
/proc/meminfo: memFree=29594132/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=236516 CPUtime=342.3 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 59240 0 0 0 34199 31 0 0 25 0 1 0 900127643 242192384 58749 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 59129 58749 180 372 0 58754 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 236516
[startup+402.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 14252
/proc/meminfo: memFree=29540400/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=236516 CPUtime=402.31 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 59240 0 0 0 40196 35 0 0 25 0 1 0 900127643 242192384 58749 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 59129 58749 180 372 0 58754 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 236516
[startup+462.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/444 14254
/proc/meminfo: memFree=29524132/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=236516 CPUtime=462.31 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 59240 0 0 0 46192 39 0 0 25 0 1 0 900127643 242192384 58749 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 59129 58749 180 372 0 58754 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 236516
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/444 14255
/proc/meminfo: memFree=29513520/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=236516 CPUtime=522.31 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 59240 0 0 0 52189 42 0 0 25 0 1 0 900127643 242192384 58749 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 59129 58749 180 372 0 58754 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 236516
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 14257
/proc/meminfo: memFree=29513348/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=236516 CPUtime=582.31 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 59240 0 0 0 58187 44 0 0 25 0 1 0 900127643 242192384 58749 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 59129 58749 180 372 0 58754 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 236516
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14263
/proc/meminfo: memFree=29477224/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=258564 CPUtime=822.32 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 64718 0 0 0 82174 58 0 0 20 0 1 0 900127643 264769536 64227 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 64641 64227 180 372 0 64266 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 258564
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14265
/proc/meminfo: memFree=29476804/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=258564 CPUtime=882.33 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 64718 0 0 0 88170 63 0 0 25 0 1 0 900127643 264769536 64227 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 64641 64227 180 372 0 64266 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 258564
[startup+942.3 s]
/proc/loadavg: 2.17 2.04 2.01 3/444 14266
/proc/meminfo: memFree=29423684/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=261740 CPUtime=942.32 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 65519 0 0 0 94167 65 0 0 25 0 1 0 900127643 268021760 65028 33554432000 4194304 5714214 140734456943808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 65435 65028 180 372 0 65060 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 261740
[startup+1002.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/444 14268
/proc/meminfo: memFree=29423636/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=261740 CPUtime=1002.32 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 65519 0 0 0 100165 67 0 0 25 0 1 0 900127643 268021760 65028 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 65435 65028 180 372 0 65060 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 261740
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/444 14270
/proc/meminfo: memFree=29422496/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=259392 CPUtime=1062.33 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 65519 0 0 0 106162 71 0 0 25 0 1 0 900127643 265617408 64453 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 64848 64453 180 372 0 64473 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 259392
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 14271
/proc/meminfo: memFree=29400136/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=259392 CPUtime=1122.33 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 65519 0 0 0 112158 75 0 0 25 0 1 0 900127643 265617408 64453 33554432000 4194304 5714214 140734456943808 18446744073709551615 4309516 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 64848 64453 180 372 0 64473 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 259392
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14273
/proc/meminfo: memFree=29297556/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=363764 CPUtime=1182.33 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 91578 0 0 0 118151 82 0 0 25 0 1 0 900127643 372494336 90512 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319405 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 90941 90512 180 372 0 90566 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 363764
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14274
/proc/meminfo: memFree=29126264/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=532472 CPUtime=1242.34 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 133695 0 0 0 124143 91 0 0 25 0 1 0 900127643 545251328 132629 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 133118 132629 180 372 0 132743 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 532472
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14276
/proc/meminfo: memFree=29117660/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=539284 CPUtime=1302.35 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 135424 0 0 0 130141 94 0 0 25 0 1 0 900127643 552226816 134358 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 134821 134358 180 372 0 134446 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 539284
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14278
/proc/meminfo: memFree=29057004/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=566252 CPUtime=1362.34 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 142127 0 0 0 136136 98 0 0 25 0 1 0 900127643 579842048 141061 33554432000 4194304 5714214 140734456943808 18446744073709551615 4309480 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 141563 141061 180 372 0 141188 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 566252
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14279
/proc/meminfo: memFree=29034652/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=596820 CPUtime=1422.36 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 149704 0 0 0 142134 102 0 0 25 0 1 0 900127643 611143680 148638 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 149205 148638 180 372 0 148830 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 596820
[startup+1482.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/444 14281
/proc/meminfo: memFree=29000020/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=621404 CPUtime=1482.35 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 155863 0 0 0 148129 106 0 0 25 0 1 0 900127643 636317696 154797 33554432000 4194304 5714214 140734456943808 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 155351 154797 180 372 0 154976 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 621404
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/444 14282
/proc/meminfo: memFree=28996616/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=626052 CPUtime=1542.35 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 157021 0 0 0 154127 108 0 0 25 0 1 0 900127643 641077248 155955 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 156513 155955 180 372 0 156138 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 626052
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/444 14284
/proc/meminfo: memFree=28996952/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=626052 CPUtime=1602.35 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 157021 0 0 0 160126 109 0 0 25 0 1 0 900127643 641077248 155955 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 156513 155955 180 372 0 156138 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 626052
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 14286
/proc/meminfo: memFree=28980184/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=629448 CPUtime=1662.35 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 157863 0 0 0 166124 111 0 0 25 0 1 0 900127643 644554752 156797 33554432000 4194304 5714214 140734456943808 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 157362 156797 180 372 0 156987 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 629448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14287
/proc/meminfo: memFree=28972576/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=629448 CPUtime=1722.35 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 157864 0 0 0 172122 113 0 0 25 0 1 0 900127643 644554752 156798 33554432000 4194304 5714214 140734456943808 18446744073709551615 4309531 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 157362 156798 180 372 0 156987 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 629448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14289
/proc/meminfo: memFree=28956180/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=629448 CPUtime=1782.36 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 157865 0 0 0 178119 117 0 0 25 0 1 0 900127643 644554752 156799 33554432000 4194304 5714214 140734456943808 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 157362 156799 180 372 0 156987 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 629448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 2/443 14290
/proc/meminfo: memFree=29338208/32950928 swapFree=52246700/67111528
[pid=14240] ppid=14238 vsize=629448 CPUtime=1800.06 cores=0,2,4,6
/proc/14240/stat : 14240 (wbo1.6) R 14238 14240 13866 0 -1 4202496 157865 0 0 0 179889 117 0 0 25 0 1 0 900127643 644554752 156799 33554432000 4194304 5714214 140734456943808 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14240/statm: 157362 156799 180 372 0 156987 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 629448
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.05
CPU time (s): 1800.11
CPU user time (s): 1798.9
CPU system time (s): 1.20982
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 629448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.20982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157865
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= 4
involuntary context switches= 3447
runsolver used 8.5207 second user time and 17.1994 second system time
The end