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-4251719-1500919779/watcher-4251719-1500919779 -o /tmp/evaluation-result-4251719-1500919779/solver-4251719-1500919779 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500914928-3502 --watchdog 2560 miniBTD 2400 HOME/instance-4251719-1500919779.xml
pid=4935
running on 4 cores: 0,2,4,6
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.08 2.03 2.05 2/181 4938
/proc/meminfo: memFree=31854744/32770624 swapFree=5828/111876
[pid=4938] ppid=4935 vsize=26000 CPUtime=0 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 790 0 0 0 0 0 0 0 20 0 1 0 1517550 26624000 613 33554432000 4194304 4832315 140731495631456 140731495628456 140220489039867 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 6500 613 512 156 0 142 0
[startup+0.100196 s]
/proc/loadavg: 2.08 2.03 2.05 2/181 4938
/proc/meminfo: memFree=31854744/32770624 swapFree=5828/111876
[pid=4938] ppid=4935 vsize=32756 CPUtime=0.09 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 2497 0 0 0 9 0 0 0 20 0 1 0 1517550 33542144 2302 33554432000 4194304 4832315 140731495631456 140731495628456 140220489047013 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 8189 2302 512 156 0 1831 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32756
[startup+0.200381 s]
/proc/loadavg: 2.08 2.03 2.05 2/181 4938
/proc/meminfo: memFree=31854744/32770624 swapFree=5828/111876
[pid=4938] ppid=4935 vsize=39896 CPUtime=0.19 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 4269 0 0 0 19 0 0 0 20 0 1 0 1517550 40853504 4087 33554432000 4194304 4832315 140731495631456 140731495628456 140220489047013 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 9974 4087 512 156 0 3616 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39896
[startup+0.300374 s]
/proc/loadavg: 2.08 2.03 2.05 2/181 4938
/proc/meminfo: memFree=31854744/32770624 swapFree=5828/111876
[pid=4938] ppid=4935 vsize=46868 CPUtime=0.29 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 6024 0 0 0 29 0 0 0 20 0 1 0 1517550 47992832 5830 33554432000 4194304 4832315 140731495631456 140731495628456 140220489047013 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 11717 5830 512 156 0 5359 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46868
[startup+0.700284 s]
/proc/loadavg: 2.08 2.03 2.05 2/181 4938
/proc/meminfo: memFree=31854744/32770624 swapFree=5828/111876
[pid=4938] ppid=4935 vsize=63328 CPUtime=0.69 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 10164 0 0 0 69 0 0 0 20 0 1 0 1517550 64847872 9992 33554432000 4194304 4832315 140731495631456 140731495629032 140220498405279 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 15832 9992 557 156 0 9474 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63328
[startup+1.50028 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 4939
/proc/meminfo: memFree=31807592/32770624 swapFree=5828/111880
[pid=4938] ppid=4935 vsize=76256 CPUtime=1.49 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 13427 0 0 0 148 1 0 0 20 0 1 0 1517550 78086144 13257 33554432000 4194304 4832315 140731495631456 140731495629032 140220489047013 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 19064 13257 583 156 0 12706 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76256
[startup+3.10028 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 4939
/proc/meminfo: memFree=31798168/32770624 swapFree=5828/111896
[pid=4938] ppid=4935 vsize=89852 CPUtime=3.09 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 19258 0 0 0 307 2 0 0 20 0 1 0 1517550 92008448 16642 33554432000 4194304 4832315 140731495631456 140731495628632 140220489047013 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 22463 16642 583 156 0 16105 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89852
[startup+6.30027 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 4939
/proc/meminfo: memFree=31787740/32770624 swapFree=5828/111896
[pid=4938] ppid=4935 vsize=92360 CPUtime=6.29 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 23019 0 0 0 627 2 0 0 20 0 1 0 1517550 94576640 17288 33554432000 4194304 4832315 140731495631456 140731495628632 4210720 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 23090 17288 584 156 0 16732 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92360
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 4939
/proc/meminfo: memFree=31745076/32770624 swapFree=5828/111904
[pid=4938] ppid=4935 vsize=142716 CPUtime=12.69 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 35618 0 0 0 1266 3 0 0 20 0 1 0 1517550 146141184 28470 33554432000 4194304 4832315 140731495631456 140731495628344 4264160 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 35679 28470 601 156 0 29321 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 142716
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4946
/proc/meminfo: memFree=31722748/32770624 swapFree=5828/111924
[pid=4938] ppid=4935 vsize=161460 CPUtime=25.49 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 53356 0 0 0 2545 4 0 0 20 0 1 0 1517550 165335040 33190 33554432000 4194304 4832315 140731495631456 140731495629176 4278589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40365 33190 601 156 0 34007 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 161460
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 4946
/proc/meminfo: memFree=31723156/32770624 swapFree=5828/111940
[pid=4938] ppid=4935 vsize=161460 CPUtime=51.09 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 71200 0 0 0 5104 5 0 0 20 0 1 0 1517550 165335040 33190 33554432000 4194304 4832315 140731495631456 140731495629176 4340814 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40365 33190 601 156 0 34007 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 161460
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4947
/proc/meminfo: memFree=31723072/32770624 swapFree=5828/111964
[pid=4938] ppid=4935 vsize=161460 CPUtime=102.31 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 83815 0 0 0 10225 6 0 0 20 0 1 0 1517550 165335040 33190 33554432000 4194304 4832315 140731495631456 140731495629176 4340788 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40365 33190 601 156 0 34007 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 161460
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4948
/proc/meminfo: memFree=31719520/32770624 swapFree=5828/111984
[pid=4938] ppid=4935 vsize=161460 CPUtime=162.3 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 90556 0 0 0 16224 6 0 0 20 0 1 0 1517550 165335040 33845 33554432000 4194304 4832315 140731495631456 140731495629176 4340784 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40365 33845 601 156 0 34007 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 161460
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4949
/proc/meminfo: memFree=31720020/32770624 swapFree=5828/112012
[pid=4938] ppid=4935 vsize=161460 CPUtime=222.31 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 91378 0 0 0 22225 6 0 0 20 0 1 0 1517550 165335040 33845 33554432000 4194304 4832315 140731495631456 140731495629176 4340814 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40365 33845 601 156 0 34007 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 161460
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4950
/proc/meminfo: memFree=31719908/32770624 swapFree=5828/112036
[pid=4938] ppid=4935 vsize=161460 CPUtime=282.3 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 91378 0 0 0 28224 6 0 0 20 0 1 0 1517550 165335040 33845 33554432000 4194304 4832315 140731495631456 140731495629176 4340810 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40365 33845 601 156 0 34007 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 161460
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4951
/proc/meminfo: memFree=31720408/32770624 swapFree=5828/112060
[pid=4938] ppid=4935 vsize=161460 CPUtime=342.31 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 92192 0 0 0 34225 6 0 0 20 0 1 0 1517550 165335040 33845 33554432000 4194304 4832315 140731495631456 140731495629176 4340805 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40365 33845 601 156 0 34007 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 161460
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4952
/proc/meminfo: memFree=31719920/32770624 swapFree=5828/112080
[pid=4938] ppid=4935 vsize=161460 CPUtime=402.31 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 92192 0 0 0 40225 6 0 0 20 0 1 0 1517550 165335040 33845 33554432000 4194304 4832315 140731495631456 140731495629176 4264076 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40365 33845 601 156 0 34007 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 161460
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4953
/proc/meminfo: memFree=31719676/32770624 swapFree=5828/112100
[pid=4938] ppid=4935 vsize=161460 CPUtime=462.32 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 92974 0 0 0 46226 6 0 0 20 0 1 0 1517550 165335040 33845 33554432000 4194304 4832315 140731495631456 140731495629176 4278544 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40365 33845 601 156 0 34007 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 161460
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5015
/proc/meminfo: memFree=31984044/32770624 swapFree=5828/112184
[pid=4938] ppid=4935 vsize=161460 CPUtime=522.32 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 92975 0 0 0 52226 6 0 0 20 0 1 0 1517550 165335040 33845 33554432000 4194304 4832315 140731495631456 140731495629176 4281244 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40365 33845 601 156 0 34007 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 161460
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 5016
/proc/meminfo: memFree=31983492/32770624 swapFree=5828/112216
[pid=4938] ppid=4935 vsize=161460 CPUtime=582.33 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 93787 0 0 0 58227 6 0 0 20 0 1 0 1517550 165335040 33845 33554432000 4194304 4832315 140731495631456 140731495629176 4339598 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40365 33845 601 156 0 34007 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 161460
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5048
/proc/meminfo: memFree=31983720/32770624 swapFree=5828/112612
[pid=4938] ppid=4935 vsize=161724 CPUtime=1542.42 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 99946 0 0 0 154235 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4278710 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 1542.42
Current children cumulated vsize (KiB) 161724
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5049
/proc/meminfo: memFree=31983880/32770624 swapFree=5828/112632
[pid=4938] ppid=4935 vsize=161724 CPUtime=1602.42 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 99946 0 0 0 160235 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4264048 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 1602.42
Current children cumulated vsize (KiB) 161724
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5050
/proc/meminfo: memFree=31983636/32770624 swapFree=5828/112656
[pid=4938] ppid=4935 vsize=161724 CPUtime=1662.42 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 100701 0 0 0 166235 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4264115 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 1662.42
Current children cumulated vsize (KiB) 161724
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5051
/proc/meminfo: memFree=31983520/32770624 swapFree=5828/112684
[pid=4938] ppid=4935 vsize=161724 CPUtime=1722.43 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 100701 0 0 0 172236 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4279048 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 1722.43
Current children cumulated vsize (KiB) 161724
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5052
/proc/meminfo: memFree=31983028/32770624 swapFree=5828/112708
[pid=4938] ppid=4935 vsize=161724 CPUtime=1782.43 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 101445 0 0 0 178236 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4264076 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (KiB) 161724
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5060
/proc/meminfo: memFree=31982552/32770624 swapFree=5828/112732
[pid=4938] ppid=4935 vsize=161724 CPUtime=1842.44 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 101445 0 0 0 184237 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 140220498493898 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 1842.44
Current children cumulated vsize (KiB) 161724
[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 5061
/proc/meminfo: memFree=31983324/32770624 swapFree=5828/112756
[pid=4938] ppid=4935 vsize=161724 CPUtime=1902.44 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 102039 0 0 0 190237 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4278657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 1902.44
Current children cumulated vsize (KiB) 161724
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 5062
/proc/meminfo: memFree=31983584/32770624 swapFree=5828/112780
[pid=4938] ppid=4935 vsize=161724 CPUtime=1962.45 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 102181 0 0 0 196238 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4278589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 1962.45
Current children cumulated vsize (KiB) 161724
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5063
/proc/meminfo: memFree=31983880/32770624 swapFree=5828/112808
[pid=4938] ppid=4935 vsize=161724 CPUtime=2022.45 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 102902 0 0 0 202238 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4278677 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 2022.45
Current children cumulated vsize (KiB) 161724
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5064
/proc/meminfo: memFree=31983388/32770624 swapFree=5828/112828
[pid=4938] ppid=4935 vsize=161724 CPUtime=2082.46 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 102906 0 0 0 208239 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4264064 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 2082.46
Current children cumulated vsize (KiB) 161724
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5065
/proc/meminfo: memFree=31983408/32770624 swapFree=5828/112848
[pid=4938] ppid=4935 vsize=161724 CPUtime=2142.46 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 103628 0 0 0 214239 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4281134 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 2142.46
Current children cumulated vsize (KiB) 161724
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5066
/proc/meminfo: memFree=31983428/32770624 swapFree=5828/112868
[pid=4938] ppid=4935 vsize=161724 CPUtime=2202.47 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 103631 0 0 0 220240 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4264173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 2202.47
Current children cumulated vsize (KiB) 161724
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5067
/proc/meminfo: memFree=31983556/32770624 swapFree=5828/112888
[pid=4938] ppid=4935 vsize=161724 CPUtime=2262.47 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 104335 0 0 0 226240 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4278612 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 2262.47
Current children cumulated vsize (KiB) 161724
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5068
/proc/meminfo: memFree=31983308/32770624 swapFree=5828/112920
[pid=4938] ppid=4935 vsize=161724 CPUtime=2322.48 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 104356 0 0 0 232241 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4264048 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 2322.48
Current children cumulated vsize (KiB) 161724
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5069
/proc/meminfo: memFree=31983092/32770624 swapFree=5828/112940
[pid=4938] ppid=4935 vsize=161724 CPUtime=2382.48 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 104765 0 0 0 238241 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4264099 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 2382.48
Current children cumulated vsize (KiB) 161724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5069
/proc/meminfo: memFree=31983092/32770624 swapFree=5828/112948
[pid=4938] ppid=4935 vsize=161724 CPUtime=2400.08 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 105081 0 0 0 240001 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4264079 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 161724
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 4938 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 5069
/proc/meminfo: memFree=31983092/32770624 swapFree=5828/112948
[pid=4938] ppid=4935 vsize=161724 CPUtime=2400.08 cores=0,2,4,6
/proc/4938/stat : 4938 (miniBTD) R 4935 4938 3471 0 -1 4202496 105081 0 0 0 240001 7 0 0 20 0 1 0 1517550 165605376 33913 33554432000 4194304 4832315 140731495631456 140731495629176 4264079 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 8847360 140731495634162 140731495634242 140731495634242 140731495636941 0
/proc/4938/statm: 40431 33913 601 156 0 34073 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 161724
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2399.9
CPU time (s): 2400.1
CPU user time (s): 2400.02
CPU system time (s): 0.079006
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 161724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.079006
maximum resident set size= 135652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105081
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= 24
involuntary context switches= 617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48154 second user time and 9.10422 second system time
The end