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-4251716-1500919320/watcher-4251716-1500919320 -o /tmp/evaluation-result-4251716-1500919320/solver-4251716-1500919320 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500914928-3983 --watchdog 2560 miniBTD 2400 HOME/instance-4251716-1500919320.xml
pid=5350
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.00 3/181 5353
/proc/meminfo: memFree=32068624/32770624 swapFree=5872/114628
[pid=5353] ppid=5350 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 778 0 0 0 0 0 0 0 20 0 1 0 1471031 26492928 601 33554432000 4194304 4832315 140728653776192 140728653773192 4444272 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 6468 601 510 156 0 110 0
[startup+0.100143 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 5353
/proc/meminfo: memFree=32068624/32770624 swapFree=5872/114628
[pid=5353] ppid=5350 vsize=31660 CPUtime=0.09 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 2201 0 0 0 9 0 0 0 20 0 1 0 1471031 32419840 2028 33554432000 4194304 4832315 140728653776192 140728653773192 140694076537829 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 7915 2028 512 156 0 1557 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31660
[startup+0.200271 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 5353
/proc/meminfo: memFree=32068624/32770624 swapFree=5872/114628
[pid=5353] ppid=5350 vsize=37440 CPUtime=0.19 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 3669 0 0 0 19 0 0 0 20 0 1 0 1471031 38338560 3473 33554432000 4194304 4832315 140728653776192 140728653773192 140694076537829 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 9360 3473 512 156 0 3002 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37440
[startup+0.300269 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 5353
/proc/meminfo: memFree=32068624/32770624 swapFree=5872/114628
[pid=5353] ppid=5350 vsize=43344 CPUtime=0.29 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 5129 0 0 0 29 0 0 0 20 0 1 0 1471031 44384256 4950 33554432000 4194304 4832315 140728653776192 140728653773192 140694076537829 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 10836 4950 512 156 0 4478 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43344
[startup+0.700223 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 5353
/proc/meminfo: memFree=32068624/32770624 swapFree=5872/114628
[pid=5353] ppid=5350 vsize=66520 CPUtime=0.69 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 10918 0 0 0 68 1 0 0 20 0 1 0 1471031 68116480 10743 33554432000 4194304 4832315 140728653776192 140728653773192 140694076537829 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 16630 10743 512 156 0 10272 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66520
[startup+1.50018 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 5354
/proc/meminfo: memFree=32004416/32770624 swapFree=5872/114644
[pid=5353] ppid=5350 vsize=105316 CPUtime=1.49 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 20667 0 0 0 147 2 0 0 20 0 1 0 1471031 107843584 20489 33554432000 4194304 4832315 140728653776192 140728653772744 140694086347345 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 26329 20489 557 156 0 19971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105316
[startup+3.1002 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 5354
/proc/meminfo: memFree=31970192/32770624 swapFree=5872/114644
[pid=5353] ppid=5350 vsize=128332 CPUtime=3.09 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 26655 0 0 0 306 3 0 0 20 0 1 0 1471031 131411968 26280 33554432000 4194304 4832315 140728653776192 140728653773368 4278123 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 32083 26280 583 156 0 25725 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 128332
[startup+6.3002 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 5354
/proc/meminfo: memFree=31950952/32770624 swapFree=5872/114656
[pid=5353] ppid=5350 vsize=146812 CPUtime=6.29 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 34778 0 0 0 625 4 0 0 20 0 1 0 1471031 150335488 30887 33554432000 4194304 4832315 140728653776192 140728653773368 140694076537829 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 36703 30887 583 156 0 30345 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 146812
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 5354
/proc/meminfo: memFree=31923092/32770624 swapFree=5872/114664
[pid=5353] ppid=5350 vsize=169648 CPUtime=12.69 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 47413 0 0 0 1264 5 0 0 20 0 1 0 1471031 173719552 36629 33554432000 4194304 4832315 140728653776192 140728653773368 140694085984714 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 42412 36629 584 156 0 36054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 169648
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 5354
/proc/meminfo: memFree=31923092/32770624 swapFree=5872/114672
[pid=5353] ppid=5350 vsize=169648 CPUtime=25.5 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 53403 0 0 0 2545 5 0 0 20 0 1 0 1471031 173719552 36629 33554432000 4194304 4832315 140728653776192 140728653773368 4340814 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 42412 36629 584 156 0 36054 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 169648
[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 5354
/proc/meminfo: memFree=31818592/32770624 swapFree=5872/114692
[pid=5353] ppid=5350 vsize=287512 CPUtime=51.09 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 84553 0 0 0 5101 8 0 0 20 0 1 0 1471031 294412288 63101 33554432000 4194304 4832315 140728653776192 140728653773080 4278714 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 71878 63101 601 156 0 65520 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 287512
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5355
/proc/meminfo: memFree=31785240/32770624 swapFree=5872/114724
[pid=5353] ppid=5350 vsize=318928 CPUtime=102.31 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 114704 0 0 0 10220 11 0 0 20 0 1 0 1471031 326582272 70974 33554432000 4194304 4832315 140728653776192 140728653773912 4280424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 70974 601 156 0 73374 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 318928
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5356
/proc/meminfo: memFree=31785516/32770624 swapFree=5872/114752
[pid=5353] ppid=5350 vsize=318928 CPUtime=162.3 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 130473 0 0 0 16219 11 0 0 20 0 1 0 1471031 326582272 70976 33554432000 4194304 4832315 140728653776192 140728653773912 4278766 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 70976 601 156 0 73374 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 318928
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5357
/proc/meminfo: memFree=31783384/32770624 swapFree=5872/114780
[pid=5353] ppid=5350 vsize=318928 CPUtime=222.31 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 140725 0 0 0 22220 11 0 0 20 0 1 0 1471031 326582272 71492 33554432000 4194304 4832315 140728653776192 140728653773912 4340788 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 71492 601 156 0 73374 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 318928
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5358
/proc/meminfo: memFree=31780572/32770624 swapFree=5872/114808
[pid=5353] ppid=5350 vsize=318928 CPUtime=282.31 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 141357 0 0 0 28220 11 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4264048 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 318928
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5359
/proc/meminfo: memFree=31780704/32770624 swapFree=5872/114848
[pid=5353] ppid=5350 vsize=318928 CPUtime=342.31 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 141369 0 0 0 34220 11 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4264048 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 318928
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/182 5360
/proc/meminfo: memFree=31780700/32770624 swapFree=5872/114876
[pid=5353] ppid=5350 vsize=318928 CPUtime=402.32 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 141984 0 0 0 40221 11 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4339928 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 318928
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 5361
/proc/meminfo: memFree=31780792/32770624 swapFree=5872/114904
[pid=5353] ppid=5350 vsize=318928 CPUtime=462.32 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 142231 0 0 0 46221 11 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4339687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 318928
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 5369
/proc/meminfo: memFree=31780428/32770624 swapFree=5872/114936
[pid=5353] ppid=5350 vsize=318928 CPUtime=522.33 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 142612 0 0 0 52222 11 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4339928 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 318928
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5431
/proc/meminfo: memFree=31819368/32770624 swapFree=5872/114988
[pid=5353] ppid=5350 vsize=318928 CPUtime=582.33 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 143230 0 0 0 58222 11 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4340784 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 318928
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.02 3/182 5455
/proc/meminfo: memFree=31817184/32770624 swapFree=5872/115520
[pid=5353] ppid=5350 vsize=318928 CPUtime=1542.43 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 148999 0 0 0 154231 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 140694085984794 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 1542.43
Current children cumulated vsize (KiB) 318928
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/182 5457
/proc/meminfo: memFree=31817188/32770624 swapFree=5872/115552
[pid=5353] ppid=5350 vsize=318928 CPUtime=1602.43 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 149151 0 0 0 160231 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4339928 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 1602.43
Current children cumulated vsize (KiB) 318928
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.03 3/182 5458
/proc/meminfo: memFree=31817188/32770624 swapFree=5872/115584
[pid=5353] ppid=5350 vsize=318928 CPUtime=1662.43 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 149647 0 0 0 166231 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4264173 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 1662.43
Current children cumulated vsize (KiB) 318928
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/182 5466
/proc/meminfo: memFree=31817312/32770624 swapFree=5872/115620
[pid=5353] ppid=5350 vsize=318928 CPUtime=1722.44 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 149857 0 0 0 172232 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4280376 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 1722.44
Current children cumulated vsize (KiB) 318928
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/182 5467
/proc/meminfo: memFree=31816972/32770624 swapFree=5872/115648
[pid=5353] ppid=5350 vsize=318928 CPUtime=1782.44 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 150297 0 0 0 178232 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4281232 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (KiB) 318928
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 5467
/proc/meminfo: memFree=31817220/32770624 swapFree=5872/115684
[pid=5353] ppid=5350 vsize=318928 CPUtime=1842.45 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 150835 0 0 0 184233 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 140694085984733 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 1842.45
Current children cumulated vsize (KiB) 318928
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 5469
/proc/meminfo: memFree=31816704/32770624 swapFree=5872/115716
[pid=5353] ppid=5350 vsize=318928 CPUtime=1902.45 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 151346 0 0 0 190233 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4278307 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 1902.45
Current children cumulated vsize (KiB) 318928
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 5469
/proc/meminfo: memFree=31817196/32770624 swapFree=5872/115744
[pid=5353] ppid=5350 vsize=318928 CPUtime=1962.46 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 151561 0 0 0 196234 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4264064 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 1962.46
Current children cumulated vsize (KiB) 318928
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 5471
/proc/meminfo: memFree=31817044/32770624 swapFree=5872/115780
[pid=5353] ppid=5350 vsize=318928 CPUtime=2022.46 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 151913 0 0 0 202234 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4265326 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 2022.46
Current children cumulated vsize (KiB) 318928
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 5472
/proc/meminfo: memFree=31816664/32770624 swapFree=5872/115804
[pid=5353] ppid=5350 vsize=318928 CPUtime=2082.47 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 152509 0 0 0 208235 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4264099 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 2082.47
Current children cumulated vsize (KiB) 318928
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 5472
/proc/meminfo: memFree=31816792/32770624 swapFree=5872/115840
[pid=5353] ppid=5350 vsize=318928 CPUtime=2142.47 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 152810 0 0 0 214235 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4340799 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 2142.47
Current children cumulated vsize (KiB) 318928
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 5474
/proc/meminfo: memFree=31816432/32770624 swapFree=5872/115868
[pid=5353] ppid=5350 vsize=318928 CPUtime=2202.48 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 153037 0 0 0 220236 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4340873 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 2202.48
Current children cumulated vsize (KiB) 318928
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 5474
/proc/meminfo: memFree=31816552/32770624 swapFree=5872/115896
[pid=5353] ppid=5350 vsize=318928 CPUtime=2262.48 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 153413 0 0 0 226236 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4278638 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 2262.48
Current children cumulated vsize (KiB) 318928
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 5483
/proc/meminfo: memFree=31816564/32770624 swapFree=5872/115932
[pid=5353] ppid=5350 vsize=318928 CPUtime=2322.49 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 153515 0 0 0 232237 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4264113 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 2322.49
Current children cumulated vsize (KiB) 318928
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 5483
/proc/meminfo: memFree=31816628/32770624 swapFree=5872/115964
[pid=5353] ppid=5350 vsize=318928 CPUtime=2382.49 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 154114 0 0 0 238237 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4278612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 2382.49
Current children cumulated vsize (KiB) 318928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 5484
/proc/meminfo: memFree=31816504/32770624 swapFree=5872/115984
[pid=5353] ppid=5350 vsize=318928 CPUtime=2400.09 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 154136 0 0 0 239997 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4264107 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 318928
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 5353 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.03 3/182 5484
/proc/meminfo: memFree=31816504/32770624 swapFree=5872/115984
[pid=5353] ppid=5350 vsize=318928 CPUtime=2400.09 cores=1,3,5,7
/proc/5353/stat : 5353 (miniBTD) R 5350 5353 3951 0 -1 4202496 154136 0 0 0 239997 12 0 0 20 0 1 0 1471031 326582272 72111 33554432000 4194304 4832315 140728653776192 140728653773912 4264107 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 15597568 140728653780210 140728653780290 140728653780290 140728653782989 0
/proc/5353/statm: 79732 72111 601 156 0 73374 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 318928
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2399.9
CPU time (s): 2400.11
CPU user time (s): 2399.98
CPU system time (s): 0.126011
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 318928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.126011
maximum resident set size= 288444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154136
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= 639
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.69764 second user time and 9.4927 second system time
The end