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-4253431-1500936391/watcher-4253431-1500936391 -o /tmp/evaluation-result-4253431-1500936391/solver-4253431-1500936391 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500930520-5025 --watchdog 2560 miniBTD 2400 HOME/instance-4253431-1500936391.xml
pid=7652
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.00 2.01 2.02 4/181 7655
/proc/meminfo: memFree=31967336/32770624 swapFree=5832/161116
[pid=7655] ppid=7652 vsize=26000 CPUtime=0 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 3289916 26624000 607 33554432000 4194304 4832315 140727865511264 140727865508264 140050313432037 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 6500 607 506 156 0 142 0
[startup+0.100154 s]
/proc/loadavg: 2.00 2.01 2.02 4/181 7655
/proc/meminfo: memFree=31967336/32770624 swapFree=5832/161116
[pid=7655] ppid=7652 vsize=30460 CPUtime=0.09 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 3931 0 0 0 9 0 0 0 20 0 1 0 3289916 31191040 1719 33554432000 4194304 4832315 140727865511264 140727865508264 140050313892844 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 7615 1719 512 156 0 1257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30460
[startup+0.200293 s]
/proc/loadavg: 2.00 2.01 2.02 4/181 7655
/proc/meminfo: memFree=31967336/32770624 swapFree=5832/161116
[pid=7655] ppid=7652 vsize=31304 CPUtime=0.19 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 9544 0 0 0 18 1 0 0 20 0 1 0 3289916 32055296 1923 33554432000 4194304 4832315 140727865511264 140727865508264 4274733 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 7826 1923 540 156 0 1468 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31304
[startup+0.300248 s]
/proc/loadavg: 2.00 2.01 2.02 4/181 7655
/proc/meminfo: memFree=31967336/32770624 swapFree=5832/161116
[pid=7655] ppid=7652 vsize=31700 CPUtime=0.29 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 9624 0 0 0 28 1 0 0 20 0 1 0 3289916 32460800 2055 33554432000 4194304 4832315 140727865511264 140727865508264 4274733 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 7925 2055 540 156 0 1567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31700
[startup+0.700215 s]
/proc/loadavg: 2.00 2.01 2.02 4/181 7655
/proc/meminfo: memFree=31967336/32770624 swapFree=5832/161116
[pid=7655] ppid=7652 vsize=32624 CPUtime=0.69 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 9890 0 0 0 68 1 0 0 20 0 1 0 3289916 33406976 2319 33554432000 4194304 4832315 140727865511264 140727865508264 4274733 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 8156 2319 544 156 0 1798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32624
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 7656
/proc/meminfo: memFree=31927844/32770624 swapFree=5832/161116
[pid=7655] ppid=7652 vsize=70624 CPUtime=1.49 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 19385 0 0 0 146 3 0 0 20 0 1 0 3289916 72318976 11734 33554432000 4194304 4832315 140727865511264 140727865508696 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 17656 11734 581 156 0 11298 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70624
[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 7656
/proc/meminfo: memFree=31924124/32770624 swapFree=5832/161116
[pid=7655] ppid=7652 vsize=70624 CPUtime=3.09 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 21131 0 0 0 306 3 0 0 20 0 1 0 3289916 72318976 11807 33554432000 4194304 4832315 140727865511264 140727865508696 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 17656 11807 586 156 0 11298 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70624
[startup+6.30024 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 7656
/proc/meminfo: memFree=31923752/32770624 swapFree=5832/161116
[pid=7655] ppid=7652 vsize=70780 CPUtime=6.29 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 23057 0 0 0 625 4 0 0 20 0 1 0 3289916 72478720 11846 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 17695 11846 586 156 0 11337 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70780
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 7656
/proc/meminfo: memFree=31923008/32770624 swapFree=5832/161116
[pid=7655] ppid=7652 vsize=71092 CPUtime=12.69 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 25104 0 0 0 1264 5 0 0 20 0 1 0 3289916 72798208 11921 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 17773 11921 586 156 0 11415 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71092
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 7656
/proc/meminfo: memFree=31921860/32770624 swapFree=5832/161116
[pid=7655] ppid=7652 vsize=72024 CPUtime=25.49 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 27875 0 0 0 2541 8 0 0 20 0 1 0 3289916 73752576 12157 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 18006 12157 586 156 0 11648 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72024
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 7656
/proc/meminfo: memFree=31920908/32770624 swapFree=5832/161164
[pid=7655] ppid=7652 vsize=73096 CPUtime=51.1 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 28814 0 0 0 5097 13 0 0 20 0 1 0 3289916 74850304 12469 33554432000 4194304 4832315 140727865511264 140727865508984 4323742 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 18274 12469 586 156 0 11916 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 73096
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 7657
/proc/meminfo: memFree=31918104/32770624 swapFree=5832/161196
[pid=7655] ppid=7652 vsize=75104 CPUtime=102.31 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 29841 0 0 0 10211 20 0 0 20 0 1 0 3289916 76906496 12934 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 18776 12934 586 156 0 12418 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 75104
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 7658
/proc/meminfo: memFree=31917124/32770624 swapFree=5832/161232
[pid=7655] ppid=7652 vsize=76464 CPUtime=162.3 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 30413 0 0 0 16202 28 0 0 20 0 1 0 3289916 78299136 13295 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 19116 13295 586 156 0 12758 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 76464
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 7666
/proc/meminfo: memFree=31915076/32770624 swapFree=5832/161268
[pid=7655] ppid=7652 vsize=77524 CPUtime=222.33 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 30961 0 0 0 22196 37 0 0 20 0 1 0 3289916 79384576 13516 33554432000 4194304 4832315 140727865511264 140727865508984 4323136 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 19381 13516 586 156 0 13023 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 77524
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 7667
/proc/meminfo: memFree=31914324/32770624 swapFree=5832/161296
[pid=7655] ppid=7652 vsize=78280 CPUtime=282.33 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 31178 0 0 0 28186 47 0 0 20 0 1 0 3289916 80158720 13764 33554432000 4194304 4832315 140727865511264 140727865508984 4323747 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 19570 13764 586 156 0 13212 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 78280
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.02 3/182 7668
/proc/meminfo: memFree=31913428/32770624 swapFree=5832/161328
[pid=7655] ppid=7652 vsize=79040 CPUtime=342.33 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 31590 0 0 0 34177 56 0 0 20 0 1 0 3289916 80936960 13938 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 19760 13938 586 156 0 13402 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 79040
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/182 7669
/proc/meminfo: memFree=31913056/32770624 swapFree=5832/161352
[pid=7655] ppid=7652 vsize=79496 CPUtime=402.34 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 31703 0 0 0 40167 67 0 0 20 0 1 0 3289916 81403904 14070 33554432000 4194304 4832315 140727865511264 140727865508984 4323262 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 19874 14070 586 156 0 13516 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 79496
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/182 7670
/proc/meminfo: memFree=31912588/32770624 swapFree=5832/161392
[pid=7655] ppid=7652 vsize=79952 CPUtime=462.35 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 32232 0 0 0 46156 79 0 0 20 0 1 0 3289916 81870848 14171 33554432000 4194304 4832315 140727865511264 140727865508984 4357645 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 19988 14171 586 156 0 13630 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 79952
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.03 3/182 7672
/proc/meminfo: memFree=31912268/32770624 swapFree=5832/161424
[pid=7655] ppid=7652 vsize=80252 CPUtime=522.36 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 32320 0 0 0 52146 90 0 0 20 0 1 0 3289916 82178048 14237 33554432000 4194304 4832315 140727865511264 140727865508984 4323747 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20063 14237 586 156 0 13705 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 80252
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/182 7673
/proc/meminfo: memFree=31912180/32770624 swapFree=5832/161456
[pid=7655] ppid=7652 vsize=80556 CPUtime=582.37 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 32617 0 0 0 58133 104 0 0 20 0 1 0 3289916 82489344 14301 33554432000 4194304 4832315 140727865511264 140727865508984 4323742 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20139 14301 586 156 0 13781 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 80556
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 1.04 1.53 1.85 2/175 7775
/proc/meminfo: memFree=31929108/32770624 swapFree=5832/161460
[pid=7655] ppid=7652 vsize=82828 CPUtime=1542.51 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 35213 0 0 0 153949 302 0 0 20 0 1 0 3289916 84815872 14905 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20707 14905 586 156 0 14349 0
Current children cumulated CPU time (s) 1542.51
Current children cumulated vsize (KiB) 82828
[startup+1602.3 s]
/proc/loadavg: 1.01 1.43 1.80 2/175 7776
/proc/meminfo: memFree=31929124/32770624 swapFree=5832/161480
[pid=7655] ppid=7652 vsize=82828 CPUtime=1602.51 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 35213 0 0 0 159937 314 0 0 20 0 1 0 3289916 84815872 14905 33554432000 4194304 4832315 140727865511264 140727865508984 4323259 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20707 14905 586 156 0 14349 0
Current children cumulated CPU time (s) 1602.51
Current children cumulated vsize (KiB) 82828
[startup+1662.3 s]
/proc/loadavg: 1.01 1.35 1.75 2/175 7777
/proc/meminfo: memFree=31929248/32770624 swapFree=5832/161504
[pid=7655] ppid=7652 vsize=82980 CPUtime=1662.52 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 35542 0 0 0 165923 329 0 0 20 0 1 0 3289916 84971520 14944 33554432000 4194304 4832315 140727865511264 140727865508984 4357645 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20745 14944 586 156 0 14387 0
Current children cumulated CPU time (s) 1662.52
Current children cumulated vsize (KiB) 82980
[startup+1722.3 s]
/proc/loadavg: 1.00 1.29 1.70 2/175 7778
/proc/meminfo: memFree=31929284/32770624 swapFree=5832/161524
[pid=7655] ppid=7652 vsize=82980 CPUtime=1722.53 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 35542 0 0 0 171910 343 0 0 20 0 1 0 3289916 84971520 14944 33554432000 4194304 4832315 140727865511264 140727865508984 4323747 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20745 14944 586 156 0 14387 0
Current children cumulated CPU time (s) 1722.53
Current children cumulated vsize (KiB) 82980
[startup+1782.3 s]
/proc/loadavg: 1.00 1.24 1.66 2/175 7779
/proc/meminfo: memFree=31929568/32770624 swapFree=5832/161548
[pid=7655] ppid=7652 vsize=82980 CPUtime=1782.54 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 35863 0 0 0 177897 357 0 0 20 0 1 0 3289916 84971520 14957 33554432000 4194304 4832315 140727865511264 140727865508984 4323304 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20745 14957 586 156 0 14387 0
Current children cumulated CPU time (s) 1782.54
Current children cumulated vsize (KiB) 82980
[startup+1842.3 s]
/proc/loadavg: 1.00 1.19 1.61 2/175 7780
/proc/meminfo: memFree=31929372/32770624 swapFree=5832/161548
[pid=7655] ppid=7652 vsize=83132 CPUtime=1842.55 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 35905 0 0 0 183886 369 0 0 20 0 1 0 3289916 85127168 14957 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20783 14957 586 156 0 14425 0
Current children cumulated CPU time (s) 1842.55
Current children cumulated vsize (KiB) 83132
[startup+1902.3 s]
/proc/loadavg: 1.00 1.16 1.58 2/175 7781
/proc/meminfo: memFree=31929732/32770624 swapFree=5832/161580
[pid=7655] ppid=7652 vsize=83132 CPUtime=1902.55 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 36243 0 0 0 189873 382 0 0 20 0 1 0 3289916 85127168 14995 33554432000 4194304 4832315 140727865511264 140727865508984 4323259 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20783 14995 586 156 0 14425 0
Current children cumulated CPU time (s) 1902.55
Current children cumulated vsize (KiB) 83132
[startup+1962.3 s]
/proc/loadavg: 1.00 1.13 1.54 2/175 7782
/proc/meminfo: memFree=31929660/32770624 swapFree=5832/161608
[pid=7655] ppid=7652 vsize=83432 CPUtime=1962.56 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 36297 0 0 0 195865 391 0 0 20 0 1 0 3289916 85434368 15003 33554432000 4194304 4832315 140727865511264 140727865508984 4323742 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20858 15003 586 156 0 14500 0
Current children cumulated CPU time (s) 1962.56
Current children cumulated vsize (KiB) 83432
[startup+2022.3 s]
/proc/loadavg: 1.00 1.11 1.51 2/175 7790
/proc/meminfo: memFree=31929260/32770624 swapFree=5832/161632
[pid=7655] ppid=7652 vsize=83432 CPUtime=2022.57 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 36677 0 0 0 201854 403 0 0 20 0 1 0 3289916 85434368 15045 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20858 15045 586 156 0 14500 0
Current children cumulated CPU time (s) 2022.57
Current children cumulated vsize (KiB) 83432
[startup+2082.3 s]
/proc/loadavg: 1.00 1.09 1.47 2/175 7791
/proc/meminfo: memFree=31929424/32770624 swapFree=5832/161652
[pid=7655] ppid=7652 vsize=83432 CPUtime=2082.59 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 36677 0 0 0 207843 416 0 0 20 0 1 0 3289916 85434368 15045 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20858 15045 586 156 0 14500 0
Current children cumulated CPU time (s) 2082.59
Current children cumulated vsize (KiB) 83432
[startup+2142.3 s]
/proc/loadavg: 1.00 1.07 1.45 2/175 7792
/proc/meminfo: memFree=31929460/32770624 swapFree=5832/161668
[pid=7655] ppid=7652 vsize=83584 CPUtime=2142.59 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 37099 0 0 0 213834 425 0 0 20 0 1 0 3289916 85590016 15045 33554432000 4194304 4832315 140727865511264 140727865508984 4323747 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20896 15045 586 156 0 14538 0
Current children cumulated CPU time (s) 2142.59
Current children cumulated vsize (KiB) 83584
[startup+2202.31 s]
/proc/loadavg: 1.00 1.06 1.42 2/175 7793
/proc/meminfo: memFree=31929576/32770624 swapFree=5832/161692
[pid=7655] ppid=7652 vsize=83584 CPUtime=2202.6 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 37099 0 0 0 219821 439 0 0 20 0 1 0 3289916 85590016 15045 33554432000 4194304 4832315 140727865511264 140727865508984 140050322879011 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20896 15045 586 156 0 14538 0
Current children cumulated CPU time (s) 2202.6
Current children cumulated vsize (KiB) 83584
[startup+2262.3 s]
/proc/loadavg: 1.00 1.05 1.39 2/175 7794
/proc/meminfo: memFree=31929448/32770624 swapFree=5832/161720
[pid=7655] ppid=7652 vsize=83584 CPUtime=2262.6 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 37490 0 0 0 225808 452 0 0 20 0 1 0 3289916 85590016 15083 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20896 15083 586 156 0 14538 0
Current children cumulated CPU time (s) 2262.6
Current children cumulated vsize (KiB) 83584
[startup+2322.3 s]
/proc/loadavg: 1.00 1.04 1.37 2/175 7796
/proc/meminfo: memFree=31929192/32770624 swapFree=5832/161740
[pid=7655] ppid=7652 vsize=83736 CPUtime=2322.61 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 37544 0 0 0 231796 465 0 0 20 0 1 0 3289916 85745664 15100 33554432000 4194304 4832315 140727865511264 140727865508984 4357645 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20934 15100 586 156 0 14576 0
Current children cumulated CPU time (s) 2322.61
Current children cumulated vsize (KiB) 83736
[startup+2382.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/175 7797
/proc/meminfo: memFree=31928920/32770624 swapFree=5832/161760
[pid=7655] ppid=7652 vsize=83736 CPUtime=2382.62 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 37969 0 0 0 237784 478 0 0 20 0 1 0 3289916 85745664 15133 33554432000 4194304 4832315 140727865511264 140727865508984 140050313695612 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 20934 15133 586 156 0 14576 0
Current children cumulated CPU time (s) 2382.62
Current children cumulated vsize (KiB) 83736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.7 s]
/proc/loadavg: 1.00 1.03 1.34 2/175 7797
/proc/meminfo: memFree=31928920/32770624 swapFree=5832/161760
[pid=7655] ppid=7652 vsize=68328 CPUtime=2400.02 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 38018 0 0 0 239521 481 0 0 20 0 1 0 3289916 69967872 11313 33554432000 4194304 4832315 140727865511264 140727865508984 4441740 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 17082 11313 598 156 0 10724 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 68328
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 7655 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.7 s]
/proc/loadavg: 1.00 1.03 1.34 2/175 7797
/proc/meminfo: memFree=31928920/32770624 swapFree=5832/161760
[pid=7655] ppid=7652 vsize=68328 CPUtime=2400.02 cores=1,3,5,7
/proc/7655/stat : 7655 (miniBTD) R 7652 7655 4993 0 -1 4202496 38018 0 0 0 239521 481 0 0 20 0 1 0 3289916 69967872 11313 33554432000 4194304 4832315 140727865511264 140727865508984 4441740 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 30806016 140727865513202 140727865513282 140727865513282 140727865515981 0
/proc/7655/statm: 17082 11313 598 156 0 10724 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 68328
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2399.7
CPU time (s): 2400.04
CPU user time (s): 2395.22
CPU system time (s): 4.81868
CPU usage (%): 100.014
Max. virtual memory (cumulated for all children) (KiB): 83736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.22
system time used= 4.81868
maximum resident set size= 60532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38018
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= 18
involuntary context switches= 693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06523 second user time and 8.51385 second system time
The end