runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4252723-1501983885/watcher-4252723-1501983885 -o /tmp/evaluation-result-4252723-1501983885/solver-4252723-1501983885 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501978194-17167 --watchdog 2560 miniBTD 2400 HOME/instance-4252723-1501983885.xml
pid=18076
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.97 2.00 2.04 3/189 18079
/proc/meminfo: memFree=30876836/32770624 swapFree=0/380628
[pid=18079] ppid=18076 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18079/stat : 18079 (runsolver) D 18076 18079 15278 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45894481 24240128 107 18446744073709551615 4194304 4338465 140732612539792 140732612537432 140408110117591 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 36724736 140732612546768 140732612547145 140732612547145 140732612550602 0
/proc/18079/statm: 5918 107 54 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 1.97 2.00 2.04 3/189 18079
/proc/meminfo: memFree=30876836/32770624 swapFree=0/380628
[pid=18079] ppid=18076 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18079/stat : 18079 (runsolver) D 18076 18079 15278 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45894481 24240128 107 18446744073709551615 4194304 4338465 140732612539792 140732612537432 140408110117591 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 36724736 140732612546768 140732612547145 140732612547145 140732612550602 0
/proc/18079/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200322 s]
/proc/loadavg: 1.97 2.00 2.04 3/189 18079
/proc/meminfo: memFree=30876836/32770624 swapFree=0/380628
[pid=18079] ppid=18076 vsize=30636 CPUtime=0.08 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2196 0 0 0 8 0 0 0 20 0 1 0 45894481 31371264 1667 18446744073709551615 4194304 4832315 140720885873520 140720885870520 140575191591909 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 7659 1667 520 156 0 1301 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30636
[startup+0.300314 s]
/proc/loadavg: 1.97 2.00 2.04 3/189 18079
/proc/meminfo: memFree=30876836/32770624 swapFree=0/380628
[pid=18079] ppid=18076 vsize=65280 CPUtime=0.18 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 10294 0 0 0 17 1 0 0 20 0 1 0 45894481 66846720 9878 18446744073709551615 4194304 4832315 140720885873520 140720885870520 140575191591909 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 16320 9878 534 156 0 9962 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 65280
[startup+0.700302 s]
/proc/loadavg: 1.97 2.00 2.04 3/189 18079
/proc/meminfo: memFree=30876836/32770624 swapFree=0/380628
[pid=18079] ppid=18076 vsize=222228 CPUtime=0.58 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 49552 0 0 0 52 6 0 0 20 0 1 0 45894481 227561472 49148 18446744073709551615 4194304 4832315 140720885873520 140720885870520 140575191591909 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 55557 49148 534 156 0 49199 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 222228
[startup+1.5003 s]
/proc/loadavg: 1.97 2.00 2.04 3/190 18080
/proc/meminfo: memFree=30525504/32770624 swapFree=0/380620
[pid=18079] ppid=18076 vsize=534936 CPUtime=1.38 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 127711 0 0 0 122 16 0 0 20 0 1 0 45894481 547774464 127292 18446744073709551615 4194304 4832315 140720885873520 140720885867496 140575191591909 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 133734 127292 534 156 0 127376 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 534936
[startup+3.10032 s]
/proc/loadavg: 2.05 2.02 2.05 3/190 18080
/proc/meminfo: memFree=30276132/32770624 swapFree=0/380380
[pid=18079] ppid=18076 vsize=624092 CPUtime=2.98 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 266213 0 0 0 274 24 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312437 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 624092
[startup+6.30032 s]
/proc/loadavg: 2.05 2.02 2.05 3/190 18080
/proc/meminfo: memFree=30276556/32770624 swapFree=0/380380
[pid=18079] ppid=18076 vsize=624092 CPUtime=6.19 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 426216 0 0 0 587 32 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4299576 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 624092
[startup+12.7003 s]
/proc/loadavg: 2.05 2.02 2.05 3/190 18080
/proc/meminfo: memFree=30276060/32770624 swapFree=0/380380
[pid=18079] ppid=18076 vsize=624092 CPUtime=12.59 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 608943 0 0 0 1218 41 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312566 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 624092
[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 2.05 3/190 18081
/proc/meminfo: memFree=30275540/32770624 swapFree=0/380380
[pid=18079] ppid=18076 vsize=624092 CPUtime=25.39 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 771539 0 0 0 2490 49 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4210976 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 624092
[startup+51.1004 s]
/proc/loadavg: 2.03 2.02 2.05 3/189 18081
/proc/meminfo: memFree=30275120/32770624 swapFree=0/380388
[pid=18079] ppid=18076 vsize=624092 CPUtime=50.98 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 980024 0 0 0 5042 56 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312440 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 624092
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 18083
/proc/meminfo: memFree=30277700/32770624 swapFree=0/380404
[pid=18079] ppid=18076 vsize=624092 CPUtime=102.19 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 1146752 0 0 0 10156 63 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312440 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 624092
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 18085
/proc/meminfo: memFree=30277900/32770624 swapFree=0/380436
[pid=18079] ppid=18076 vsize=624092 CPUtime=162.19 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 1295358 0 0 0 16149 70 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4299576 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 624092
[startup+222.306 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 18087
/proc/meminfo: memFree=30276940/32770624 swapFree=0/380468
[pid=18079] ppid=18076 vsize=624092 CPUtime=222.2 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 1438291 0 0 0 22144 76 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312560 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 624092
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 18090
/proc/meminfo: memFree=30276984/32770624 swapFree=0/380496
[pid=18079] ppid=18076 vsize=624092 CPUtime=282.19 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 1592570 0 0 0 28135 84 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 140575191584356 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 624092
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 18092
/proc/meminfo: memFree=30276640/32770624 swapFree=0/380520
[pid=18079] ppid=18076 vsize=624092 CPUtime=342.2 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 1741176 0 0 0 34129 91 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312440 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 624092
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 18094
/proc/meminfo: memFree=30276552/32770624 swapFree=0/380552
[pid=18079] ppid=18076 vsize=624092 CPUtime=402.19 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 1889784 0 0 0 40123 96 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312440 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 624092
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 18096
/proc/meminfo: memFree=30275964/32770624 swapFree=0/380576
[pid=18079] ppid=18076 vsize=624092 CPUtime=462.2 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2038361 0 0 0 46116 104 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312440 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 624092
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 18099
/proc/meminfo: memFree=30276356/32770624 swapFree=0/380596
[pid=18079] ppid=18076 vsize=624092 CPUtime=522.2 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2178049 0 0 0 52110 110 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312637 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 624092
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18115
/proc/meminfo: memFree=30272260/32770624 swapFree=0/380608
[pid=18079] ppid=18076 vsize=624092 CPUtime=582.2 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2287082 0 0 0 58105 115 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312578 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 624092
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 18169
/proc/meminfo: memFree=30276916/32770624 swapFree=0/380964
[pid=18079] ppid=18076 vsize=624092 CPUtime=1542.23 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2470190 0 0 0 154097 126 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312652 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 624092
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 18171
/proc/meminfo: memFree=30276428/32770624 swapFree=0/380988
[pid=18079] ppid=18076 vsize=624092 CPUtime=1602.23 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2470851 0 0 0 160097 126 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 140575191589503 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 624092
[startup+1662.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/186 18174
/proc/meminfo: memFree=30276448/32770624 swapFree=0/381028
[pid=18079] ppid=18076 vsize=624092 CPUtime=1662.23 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2471495 0 0 0 166097 126 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 140575191601084 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 624092
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/186 18176
/proc/meminfo: memFree=30276336/32770624 swapFree=0/381052
[pid=18079] ppid=18076 vsize=624092 CPUtime=1722.23 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2472140 0 0 0 172097 126 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 140575191602032 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 624092
[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/189 18192
/proc/meminfo: memFree=30272520/32770624 swapFree=0/381080
[pid=18079] ppid=18076 vsize=624092 CPUtime=1782.24 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2472804 0 0 0 178097 127 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 140575200945232 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 624092
[startup+1842.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/187 18218
/proc/meminfo: memFree=30271240/32770624 swapFree=0/381124
[pid=18079] ppid=18076 vsize=624092 CPUtime=1842.24 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2473445 0 0 0 184097 127 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312440 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 1842.24
Current children cumulated vsize (KiB) 624092
[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 18220
/proc/meminfo: memFree=30271876/32770624 swapFree=0/381160
[pid=18079] ppid=18076 vsize=624092 CPUtime=1902.23 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2474086 0 0 0 190096 127 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 140575191589426 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 1902.23
Current children cumulated vsize (KiB) 624092
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/185 18223
/proc/meminfo: memFree=30275764/32770624 swapFree=0/381168
[pid=18079] ppid=18076 vsize=624092 CPUtime=1962.24 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2474749 0 0 0 196097 127 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4299576 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 624092
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 18225
/proc/meminfo: memFree=30276080/32770624 swapFree=0/381200
[pid=18079] ppid=18076 vsize=624092 CPUtime=2022.24 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2475394 0 0 0 202097 127 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 140575191601136 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 624092
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 18228
/proc/meminfo: memFree=30275824/32770624 swapFree=0/381216
[pid=18079] ppid=18076 vsize=624092 CPUtime=2082.25 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2476039 0 0 0 208097 128 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312440 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 2082.25
Current children cumulated vsize (KiB) 624092
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 18230
/proc/meminfo: memFree=30276080/32770624 swapFree=0/381236
[pid=18079] ppid=18076 vsize=624092 CPUtime=2142.25 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2476672 0 0 0 214097 128 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4299576 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 2142.25
Current children cumulated vsize (KiB) 624092
[startup+2202.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 18232
/proc/meminfo: memFree=30275812/32770624 swapFree=0/381260
[pid=18079] ppid=18076 vsize=624092 CPUtime=2202.26 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2477317 0 0 0 220098 128 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 140575191589437 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 2202.26
Current children cumulated vsize (KiB) 624092
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 18234
/proc/meminfo: memFree=30275960/32770624 swapFree=0/381288
[pid=18079] ppid=18076 vsize=624092 CPUtime=2262.25 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2477961 0 0 0 226097 128 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312440 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 2262.25
Current children cumulated vsize (KiB) 624092
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 18237
/proc/meminfo: memFree=30275784/32770624 swapFree=0/381308
[pid=18079] ppid=18076 vsize=624092 CPUtime=2322.25 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2478625 0 0 0 232097 128 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312574 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 2322.25
Current children cumulated vsize (KiB) 624092
[startup+2382.3 s]
/proc/loadavg: 2.32 2.09 2.07 3/189 18627
/proc/meminfo: memFree=30983664/32770624 swapFree=0/381644
[pid=18079] ppid=18076 vsize=624092 CPUtime=2382.25 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2479273 0 0 0 238097 128 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312440 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 2382.25
Current children cumulated vsize (KiB) 624092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.23 2.09 2.07 3/189 18627
/proc/meminfo: memFree=30983568/32770624 swapFree=0/381648
[pid=18079] ppid=18076 vsize=624092 CPUtime=2400.05 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2479559 0 0 0 239877 128 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312632 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 624092
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18079 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.23 2.09 2.07 3/189 18627
/proc/meminfo: memFree=30983568/32770624 swapFree=0/381648
[pid=18079] ppid=18076 vsize=624092 CPUtime=2400.05 cores=1,3,5,7
/proc/18079/stat : 18079 (miniBTD) R 18076 18079 15278 0 -1 4202496 2479559 0 0 0 239877 128 0 0 20 0 1 0 45894481 639070208 150226 18446744073709551615 4194304 4832315 140720885873520 140720885871240 4312632 0 0 1 0 0 0 0 17 3 0 0 10 0 0 6932504 6936608 21397504 140720885879292 140720885879372 140720885879372 140720885882829 0
/proc/18079/statm: 156023 150226 573 156 0 149665 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 624092
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.1
CPU time (s): 2400.07
CPU user time (s): 2398.78
CPU system time (s): 1.29005
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 624092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.78
system time used= 1.29005
maximum resident set size= 604472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2479559
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= 32
involuntary context switches= 628
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8744 second user time and 10.0413 second system time
The end