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-4252355-1500930365/watcher-4252355-1500930365 -o /tmp/evaluation-result-4252355-1500930365/solver-4252355-1500930365 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500914928-3503 --watchdog 2560 miniBTD 2400 HOME/instance-4252355-1500930365.xml
pid=7112
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.95 2.01 2.05 3/181 7115
/proc/meminfo: memFree=31508156/32770624 swapFree=5828/126156
[pid=7115] ppid=7112 vsize=26016 CPUtime=0 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 1 0 2576203 26640384 601 33554432000 4194304 4832315 140733174993760 140733174990760 140311528188901 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 6546 601 515 156 0 188 0
[startup+0.100168 s]
/proc/loadavg: 1.95 2.01 2.05 3/181 7115
/proc/meminfo: memFree=31508156/32770624 swapFree=5828/126156
[pid=7115] ppid=7112 vsize=41808 CPUtime=0.09 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 5022 0 0 0 9 0 0 0 20 0 1 0 2576203 42811392 4296 33554432000 4194304 4832315 140733174993760 140733174990760 140311528179710 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 10452 4296 528 156 0 4094 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41808
[startup+0.20041 s]
/proc/loadavg: 1.95 2.01 2.05 3/181 7115
/proc/meminfo: memFree=31508156/32770624 swapFree=5828/126156
[pid=7115] ppid=7112 vsize=60140 CPUtime=0.19 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 9595 0 0 0 18 1 0 0 20 0 1 0 2576203 61583360 8850 33554432000 4194304 4832315 140733174993760 140733174990760 140311542805632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 15035 8850 528 156 0 8677 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 60140
[startup+0.300349 s]
/proc/loadavg: 1.95 2.01 2.05 3/181 7115
/proc/meminfo: memFree=31508156/32770624 swapFree=5828/126156
[pid=7115] ppid=7112 vsize=77288 CPUtime=0.29 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 13909 0 0 0 28 1 0 0 20 0 1 0 2576203 79142912 13140 33554432000 4194304 4832315 140733174993760 140733174990760 140311542805632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 19322 13140 528 156 0 12964 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 77288
[startup+0.700301 s]
/proc/loadavg: 1.95 2.01 2.05 3/181 7115
/proc/meminfo: memFree=31508156/32770624 swapFree=5828/126156
[pid=7115] ppid=7112 vsize=135672 CPUtime=0.69 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 28562 0 0 0 67 2 0 0 20 0 1 0 2576203 138928128 27792 33554432000 4194304 4832315 140733174993760 140733174990760 4458003 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 33918 27792 528 156 0 27560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135672
[startup+1.5003 s]
/proc/loadavg: 1.95 2.01 2.05 3/182 7116
/proc/meminfo: memFree=31333872/32770624 swapFree=5828/126156
[pid=7115] ppid=7112 vsize=256696 CPUtime=1.49 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 58790 0 0 0 144 5 0 0 20 0 1 0 2576203 262856704 58020 33554432000 4194304 4832315 140733174993760 140733174990760 140311528179824 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 64174 58020 529 156 0 57816 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 256696
[startup+3.1003 s]
/proc/loadavg: 1.95 2.01 2.05 3/182 7116
/proc/meminfo: memFree=31168332/32770624 swapFree=5828/126156
[pid=7115] ppid=7112 vsize=504648 CPUtime=3.09 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 131308 0 0 0 297 12 0 0 20 0 1 0 2576203 516759552 120006 33554432000 4194304 4832315 140733174993760 140733174991336 140311542805632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 126162 120006 529 156 0 119804 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 504648
[startup+6.3003 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 7116
/proc/meminfo: memFree=30982872/32770624 swapFree=5828/126156
[pid=7115] ppid=7112 vsize=548676 CPUtime=6.29 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 305211 0 0 0 607 22 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 140311537542044 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 548676
[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 7116
/proc/meminfo: memFree=30981316/32770624 swapFree=5828/126156
[pid=7115] ppid=7112 vsize=548676 CPUtime=12.69 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 492634 0 0 0 1240 29 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 140311528199037 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 548676
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7116
/proc/meminfo: memFree=30982140/32770624 swapFree=5828/126160
[pid=7115] ppid=7112 vsize=548676 CPUtime=25.49 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 629081 0 0 0 2515 34 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 4299576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 548676
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7116
/proc/meminfo: memFree=30982144/32770624 swapFree=5828/126172
[pid=7115] ppid=7112 vsize=548676 CPUtime=51.09 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 760411 0 0 0 5069 40 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 4312440 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 548676
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 7117
/proc/meminfo: memFree=30982220/32770624 swapFree=5804/126220
[pid=7115] ppid=7112 vsize=548676 CPUtime=102.31 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 955693 0 0 0 10182 49 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 548676
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7118
/proc/meminfo: memFree=30982056/32770624 swapFree=5800/126248
[pid=7115] ppid=7112 vsize=548676 CPUtime=162.3 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 1150183 0 0 0 16173 57 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 140311528187990 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 548676
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7119
/proc/meminfo: memFree=30983328/32770624 swapFree=5800/126276
[pid=7115] ppid=7112 vsize=548676 CPUtime=222.31 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 1345446 0 0 0 22166 65 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 4299572 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 548676
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7127
/proc/meminfo: memFree=30984248/32770624 swapFree=5800/126312
[pid=7115] ppid=7112 vsize=548676 CPUtime=282.31 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 1539888 0 0 0 28158 73 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 4299576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 548676
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7128
/proc/meminfo: memFree=30982888/32770624 swapFree=5800/126348
[pid=7115] ppid=7112 vsize=548676 CPUtime=342.31 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 1734634 0 0 0 34149 82 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 4299576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 548676
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7129
/proc/meminfo: memFree=30982812/32770624 swapFree=5800/126380
[pid=7115] ppid=7112 vsize=548676 CPUtime=402.32 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 1911584 0 0 0 40142 90 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 140311528181556 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 548676
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7130
/proc/meminfo: memFree=30983140/32770624 swapFree=5800/126412
[pid=7115] ppid=7112 vsize=548676 CPUtime=462.31 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2024356 0 0 0 46137 94 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 140311528186653 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 548676
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7131
/proc/meminfo: memFree=30982388/32770624 swapFree=5800/126440
[pid=7115] ppid=7112 vsize=548676 CPUtime=522.31 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2144950 0 0 0 52132 99 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 140311537514656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 548676
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7132
/proc/meminfo: memFree=30982604/32770624 swapFree=5800/126468
[pid=7115] ppid=7112 vsize=548676 CPUtime=582.32 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2184902 0 0 0 58131 101 0 0 20 0 1 0 2576203 561844224 131218 33554432000 4194304 4832315 140733174993760 140733174991480 140311537514656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131218 568 156 0 130811 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 548676
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.06 2.04 2.05 3/183 7165
/proc/meminfo: memFree=30982056/32770624 swapFree=5800/126988
[pid=7115] ppid=7112 vsize=548676 CPUtime=1542.39 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2222398 0 0 0 154131 108 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 4312440 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 1542.39
Current children cumulated vsize (KiB) 548676
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 7166
/proc/meminfo: memFree=30982468/32770624 swapFree=5800/127032
[pid=7115] ppid=7112 vsize=548676 CPUtime=1602.39 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2222990 0 0 0 160130 109 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 140311528186444 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 1602.39
Current children cumulated vsize (KiB) 548676
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 7167
/proc/meminfo: memFree=30981972/32770624 swapFree=5800/127060
[pid=7115] ppid=7112 vsize=548676 CPUtime=1662.39 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2223601 0 0 0 166130 109 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 140311537542044 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 1662.39
Current children cumulated vsize (KiB) 548676
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 7168
/proc/meminfo: memFree=30982096/32770624 swapFree=5800/127088
[pid=7115] ppid=7112 vsize=548676 CPUtime=1722.41 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2224194 0 0 0 172131 110 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 4313248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 1722.41
Current children cumulated vsize (KiB) 548676
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7169
/proc/meminfo: memFree=30981800/32770624 swapFree=5800/127116
[pid=7115] ppid=7112 vsize=548676 CPUtime=1782.4 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2224595 0 0 0 178130 110 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 4313260 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 548676
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7170
/proc/meminfo: memFree=30981748/32770624 swapFree=5800/127144
[pid=7115] ppid=7112 vsize=548676 CPUtime=1842.41 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2225207 0 0 0 184131 110 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 140311528181280 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 1842.41
Current children cumulated vsize (KiB) 548676
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7171
/proc/meminfo: memFree=30982192/32770624 swapFree=5800/127180
[pid=7115] ppid=7112 vsize=548676 CPUtime=1902.41 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2225799 0 0 0 190130 111 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 140311528199064 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 1902.41
Current children cumulated vsize (KiB) 548676
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7172
/proc/meminfo: memFree=30982008/32770624 swapFree=5800/127212
[pid=7115] ppid=7112 vsize=548676 CPUtime=1962.42 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2226410 0 0 0 196131 111 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 4299576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 1962.42
Current children cumulated vsize (KiB) 548676
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7173
/proc/meminfo: memFree=30982324/32770624 swapFree=5800/127240
[pid=7115] ppid=7112 vsize=548676 CPUtime=2022.43 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2227003 0 0 0 202131 112 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 4299576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 2022.43
Current children cumulated vsize (KiB) 548676
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7181
/proc/meminfo: memFree=30981708/32770624 swapFree=5800/127276
[pid=7115] ppid=7112 vsize=548676 CPUtime=2082.43 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2227614 0 0 0 208131 112 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 4299576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 2082.43
Current children cumulated vsize (KiB) 548676
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7182
/proc/meminfo: memFree=30982176/32770624 swapFree=5800/127304
[pid=7115] ppid=7112 vsize=548676 CPUtime=2142.43 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2228206 0 0 0 214131 112 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 2142.43
Current children cumulated vsize (KiB) 548676
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7183
/proc/meminfo: memFree=30982488/32770624 swapFree=5800/127340
[pid=7115] ppid=7112 vsize=548676 CPUtime=2202.44 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2228817 0 0 0 220131 113 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 2202.44
Current children cumulated vsize (KiB) 548676
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7184
/proc/meminfo: memFree=30982176/32770624 swapFree=5800/127372
[pid=7115] ppid=7112 vsize=548676 CPUtime=2262.44 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2229412 0 0 0 226130 114 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 140311528181522 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 2262.44
Current children cumulated vsize (KiB) 548676
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7185
/proc/meminfo: memFree=30982112/32770624 swapFree=5800/127404
[pid=7115] ppid=7112 vsize=548676 CPUtime=2322.45 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2230024 0 0 0 232131 114 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 4312440 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 2322.45
Current children cumulated vsize (KiB) 548676
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7186
/proc/meminfo: memFree=30981684/32770624 swapFree=5800/127428
[pid=7115] ppid=7112 vsize=548676 CPUtime=2382.45 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2230618 0 0 0 238130 115 0 0 20 0 1 0 2576203 561844224 131367 33554432000 4194304 4832315 140733174993760 140733174991480 140311528186368 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131367 568 156 0 130811 0
Current children cumulated CPU time (s) 2382.45
Current children cumulated vsize (KiB) 548676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7247
/proc/meminfo: memFree=31517656/32770624 swapFree=5800/127576
[pid=7115] ppid=7112 vsize=548676 CPUtime=2400.05 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2230855 0 0 0 239890 115 0 0 20 0 1 0 2576203 561844224 131370 33554432000 4194304 4832315 140733174993760 140733174991480 4299923 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131370 571 156 0 130811 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 548676
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 7115 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7247
/proc/meminfo: memFree=31517656/32770624 swapFree=5800/127576
[pid=7115] ppid=7112 vsize=548676 CPUtime=2400.05 cores=1,3,5,7
/proc/7115/stat : 7115 (miniBTD) R 7112 7115 3471 0 -1 4202496 2230855 0 0 0 239890 115 0 0 20 0 1 0 2576203 561844224 131370 33554432000 4194304 4832315 140733174993760 140733174991480 4299923 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 22618112 140733174998258 140733174998338 140733174998338 140733175001037 0
/proc/7115/statm: 137169 131370 571 156 0 130811 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 548676
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2399.9
CPU time (s): 2400.06
CPU user time (s): 2398.91
CPU system time (s): 1.15509
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 548676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.91
system time used= 1.15509
maximum resident set size= 525688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2230855
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= 44
involuntary context switches= 603
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28693 second user time and 10.2087 second system time
The end