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-4252286-1500929030/watcher-4252286-1500929030 -o /tmp/evaluation-result-4252286-1500929030/solver-4252286-1500929030 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500914928-3983 --watchdog 2560 miniBTD 2400 HOME/instance-4252286-1500929030.xml
pid=7750
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: 2.02 2.02 2.05 3/181 7753
/proc/meminfo: memFree=32042716/32770624 swapFree=5872/135408
[pid=7753] ppid=7750 vsize=26184 CPUtime=0 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 815 0 0 0 0 0 0 0 20 0 1 0 2442081 26812416 600 33554432000 4194304 4832315 140733985074944 140733985071944 4490440 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 6546 600 515 156 0 188 0
[startup+0.100124 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 7753
/proc/meminfo: memFree=32042716/32770624 swapFree=5872/135408
[pid=7753] ppid=7750 vsize=42704 CPUtime=0.09 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 5237 0 0 0 8 1 0 0 20 0 1 0 2442081 43728896 4469 33554432000 4194304 4832315 140733985074944 140733985071944 140393189879410 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 10676 4469 528 156 0 4318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42704
[startup+0.200364 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 7753
/proc/meminfo: memFree=32042716/32770624 swapFree=5872/135408
[pid=7753] ppid=7750 vsize=60212 CPUtime=0.19 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 9621 0 0 0 18 1 0 0 20 0 1 0 2442081 61657088 8825 33554432000 4194304 4832315 140733985074944 140733985071944 4570128 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 15053 8825 528 156 0 8695 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 60212
[startup+0.300308 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 7753
/proc/meminfo: memFree=32042716/32770624 swapFree=5872/135408
[pid=7753] ppid=7750 vsize=78332 CPUtime=0.29 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 14147 0 0 0 28 1 0 0 20 0 1 0 2442081 80211968 13379 33554432000 4194304 4832315 140733985074944 140733985071944 4558354 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 19583 13379 528 156 0 13225 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78332
[startup+0.70026 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 7753
/proc/meminfo: memFree=32042716/32770624 swapFree=5872/135408
[pid=7753] ppid=7750 vsize=135104 CPUtime=0.69 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 28368 0 0 0 65 4 0 0 20 0 1 0 2442081 138346496 27569 33554432000 4194304 4832315 140733985074944 140733985072520 140393189877758 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 33776 27569 528 156 0 27418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135104
[startup+1.50025 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7754
/proc/meminfo: memFree=31871964/32770624 swapFree=5872/135468
[pid=7753] ppid=7750 vsize=262172 CPUtime=1.49 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 60131 0 0 0 141 8 0 0 20 0 1 0 2442081 268464128 59381 33554432000 4194304 4832315 140733985074944 140733985072520 140393204503680 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 65543 59381 529 156 0 59185 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 262172
[startup+3.10026 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7754
/proc/meminfo: memFree=31703324/32770624 swapFree=5872/135468
[pid=7753] ppid=7750 vsize=501656 CPUtime=3.09 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 130446 0 0 0 293 16 0 0 20 0 1 0 2442081 513695744 119233 33554432000 4194304 4832315 140733985074944 140733985072520 140393189877778 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 125414 119233 529 156 0 119056 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 501656
[startup+6.30028 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7754
/proc/meminfo: memFree=31504020/32770624 swapFree=5872/135468
[pid=7753] ppid=7750 vsize=562612 CPUtime=6.29 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 310411 0 0 0 605 24 0 0 20 0 1 0 2442081 576114688 134675 33554432000 4194304 4832315 140733985074944 140733985072664 4312440 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134675 568 156 0 134295 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 562612
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7754
/proc/meminfo: memFree=31504028/32770624 swapFree=5872/135476
[pid=7753] ppid=7750 vsize=562612 CPUtime=12.69 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 445720 0 0 0 1239 30 0 0 20 0 1 0 2442081 576114688 134675 33554432000 4194304 4832315 140733985074944 140733985072664 140393189884543 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134675 568 156 0 134295 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 562612
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7754
/proc/meminfo: memFree=31504276/32770624 swapFree=5872/135492
[pid=7753] ppid=7750 vsize=562612 CPUtime=25.49 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 578616 0 0 0 2513 36 0 0 20 0 1 0 2442081 576114688 134675 33554432000 4194304 4832315 140733985074944 140733985072664 140393199232064 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134675 568 156 0 134295 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 562612
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7754
/proc/meminfo: memFree=31504272/32770624 swapFree=5872/135508
[pid=7753] ppid=7750 vsize=562612 CPUtime=51.1 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 776400 0 0 0 5064 46 0 0 20 0 1 0 2442081 576114688 134675 33554432000 4194304 4832315 140733985074944 140733985072664 140393189886047 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134675 568 156 0 134295 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 562612
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7755
/proc/meminfo: memFree=31504192/32770624 swapFree=5872/135536
[pid=7753] ppid=7750 vsize=562612 CPUtime=102.3 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 899475 0 0 0 10179 51 0 0 20 0 1 0 2442081 576114688 134675 33554432000 4194304 4832315 140733985074944 140733985072664 4210976 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134675 568 156 0 134295 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 562612
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 7756
/proc/meminfo: memFree=31503544/32770624 swapFree=5872/135556
[pid=7753] ppid=7750 vsize=562612 CPUtime=162.3 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 999021 0 0 0 16173 57 0 0 20 0 1 0 2442081 576114688 134675 33554432000 4194304 4832315 140733985074944 140733985072664 4313260 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134675 568 156 0 134295 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 562612
[startup+222.306 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7757
/proc/meminfo: memFree=31502952/32770624 swapFree=5872/135576
[pid=7753] ppid=7750 vsize=562612 CPUtime=222.3 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1073317 0 0 0 22170 60 0 0 20 0 1 0 2442081 576114688 134675 33554432000 4194304 4832315 140733985074944 140733985072664 140393189879495 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134675 568 156 0 134295 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 562612
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7758
/proc/meminfo: memFree=31503088/32770624 swapFree=5872/135604
[pid=7753] ppid=7750 vsize=562612 CPUtime=282.3 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1116085 0 0 0 28167 63 0 0 20 0 1 0 2442081 576114688 134675 33554432000 4194304 4832315 140733985074944 140733985072664 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134675 568 156 0 134295 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 562612
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7759
/proc/meminfo: memFree=31503364/32770624 swapFree=5872/135628
[pid=7753] ppid=7750 vsize=562612 CPUtime=342.31 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1134291 0 0 0 34167 64 0 0 20 0 1 0 2442081 576114688 134675 33554432000 4194304 4832315 140733985074944 140733985072664 140393189897091 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134675 568 156 0 134295 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 562612
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7767
/proc/meminfo: memFree=31501388/32770624 swapFree=5872/135652
[pid=7753] ppid=7750 vsize=562612 CPUtime=402.31 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1135089 0 0 0 40166 65 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 562612
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7768
/proc/meminfo: memFree=31502068/32770624 swapFree=5872/135676
[pid=7753] ppid=7750 vsize=562612 CPUtime=462.32 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1135841 0 0 0 46166 66 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 140393189884492 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 562612
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 7769
/proc/meminfo: memFree=31502160/32770624 swapFree=5872/135696
[pid=7753] ppid=7750 vsize=562612 CPUtime=522.33 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1136593 0 0 0 52166 67 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 140393189896124 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 562612
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7831
/proc/meminfo: memFree=28014900/32770624 swapFree=5872/135836
[pid=7753] ppid=7750 vsize=562612 CPUtime=582.33 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1137345 0 0 0 58165 68 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 140393199232112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 562612
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7879
/proc/meminfo: memFree=28013836/32770624 swapFree=5872/136240
[pid=7753] ppid=7750 vsize=562612 CPUtime=1542.42 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1149371 0 0 0 154159 83 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4313260 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 1542.42
Current children cumulated vsize (KiB) 562612
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7887
/proc/meminfo: memFree=28013448/32770624 swapFree=5872/136268
[pid=7753] ppid=7750 vsize=562612 CPUtime=1602.42 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1150122 0 0 0 160158 84 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 140393189879406 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 1602.42
Current children cumulated vsize (KiB) 562612
[startup+1662.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/182 7888
/proc/meminfo: memFree=28013404/32770624 swapFree=5872/136288
[pid=7753] ppid=7750 vsize=562612 CPUtime=1662.43 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1150874 0 0 0 166158 85 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4312440 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 1662.43
Current children cumulated vsize (KiB) 562612
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 7889
/proc/meminfo: memFree=28013508/32770624 swapFree=5872/136312
[pid=7753] ppid=7750 vsize=562612 CPUtime=1722.43 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1151625 0 0 0 172158 85 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 1722.43
Current children cumulated vsize (KiB) 562612
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 7890
/proc/meminfo: memFree=28013200/32770624 swapFree=5872/136340
[pid=7753] ppid=7750 vsize=562612 CPUtime=1782.44 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1152377 0 0 0 178158 86 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 140393189884477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (KiB) 562612
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7891
/proc/meminfo: memFree=28013228/32770624 swapFree=5872/136360
[pid=7753] ppid=7750 vsize=562612 CPUtime=1842.44 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1153128 0 0 0 184157 87 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 1842.44
Current children cumulated vsize (KiB) 562612
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7892
/proc/meminfo: memFree=28012972/32770624 swapFree=5872/136380
[pid=7753] ppid=7750 vsize=562612 CPUtime=1902.45 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1153879 0 0 0 190157 88 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 140393189884722 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 1902.45
Current children cumulated vsize (KiB) 562612
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7893
/proc/meminfo: memFree=28013388/32770624 swapFree=5872/136400
[pid=7753] ppid=7750 vsize=562612 CPUtime=1962.45 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1154631 0 0 0 196156 89 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4312632 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 1962.45
Current children cumulated vsize (KiB) 562612
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7894
/proc/meminfo: memFree=28013416/32770624 swapFree=5872/136424
[pid=7753] ppid=7750 vsize=562612 CPUtime=2022.45 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1155382 0 0 0 202156 89 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 140393189896087 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 2022.45
Current children cumulated vsize (KiB) 562612
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7895
/proc/meminfo: memFree=28013444/32770624 swapFree=5872/136448
[pid=7753] ppid=7750 vsize=562612 CPUtime=2082.47 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1156133 0 0 0 208155 92 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4313248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 2082.47
Current children cumulated vsize (KiB) 562612
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7896
/proc/meminfo: memFree=28013844/32770624 swapFree=5872/136468
[pid=7753] ppid=7750 vsize=562612 CPUtime=2142.47 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1156885 0 0 0 214155 92 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4313248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 2142.47
Current children cumulated vsize (KiB) 562612
[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7904
/proc/meminfo: memFree=28013588/32770624 swapFree=5872/136492
[pid=7753] ppid=7750 vsize=562612 CPUtime=2202.48 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1157636 0 0 0 220155 93 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4312440 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 2202.48
Current children cumulated vsize (KiB) 562612
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7905
/proc/meminfo: memFree=28014032/32770624 swapFree=5872/136516
[pid=7753] ppid=7750 vsize=562612 CPUtime=2262.48 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1158387 0 0 0 226154 94 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4312496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 2262.48
Current children cumulated vsize (KiB) 562612
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7906
/proc/meminfo: memFree=28013812/32770624 swapFree=5872/136536
[pid=7753] ppid=7750 vsize=562612 CPUtime=2322.49 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1159138 0 0 0 232154 95 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4299576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 2322.49
Current children cumulated vsize (KiB) 562612
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7907
/proc/meminfo: memFree=28013592/32770624 swapFree=5872/136568
[pid=7753] ppid=7750 vsize=562612 CPUtime=2382.49 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1159890 0 0 0 238153 96 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 4313248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 2382.49
Current children cumulated vsize (KiB) 562612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7907
/proc/meminfo: memFree=28013560/32770624 swapFree=5872/136576
[pid=7753] ppid=7750 vsize=562612 CPUtime=2400.09 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1160325 0 0 0 239913 96 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 140393189879410 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 562612
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 7753 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 7907
/proc/meminfo: memFree=28013560/32770624 swapFree=5872/136576
[pid=7753] ppid=7750 vsize=562612 CPUtime=2400.09 cores=1,3,5,7
/proc/7753/stat : 7753 (miniBTD) R 7750 7753 3951 0 -1 4202496 1160325 0 0 0 239913 96 0 0 20 0 1 0 2442081 576114688 134828 33554432000 4194304 4832315 140733985074944 140733985072664 140393189879410 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15253504 140733985076466 140733985076546 140733985076546 140733985079245 0
/proc/7753/statm: 140653 134828 568 156 0 134295 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 562612
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2399.9
CPU time (s): 2400.1
CPU user time (s): 2399.13
CPU system time (s): 0.971085
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 562612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.13
system time used= 0.971085
maximum resident set size= 539476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1160325
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= 29
involuntary context switches= 609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.10882 second user time and 13.6563 second system time
The end