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-4251707-1500917499/watcher-4251707-1500917499 -o /tmp/evaluation-result-4251707-1500917499/solver-4251707-1500917499 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500914928-3982 --watchdog 2560 miniBTD 2400 HOME/instance-4251707-1500917499.xml
pid=5214
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.02 2.02 1.96 4/181 5217
/proc/meminfo: memFree=32105564/32770624 swapFree=5872/113596
[pid=5217] ppid=5214 vsize=26000 CPUtime=0 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 800 0 0 0 0 0 0 0 20 0 1 0 1288971 26624000 614 33554432000 4194304 4832315 140727706669840 140727706666840 139797471969820 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 6500 614 512 156 0 142 0
[startup+0.100107 s]
/proc/loadavg: 2.02 2.02 1.96 4/181 5217
/proc/meminfo: memFree=32105564/32770624 swapFree=5872/113596
[pid=5217] ppid=5214 vsize=33860 CPUtime=0.09 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 2773 0 0 0 9 0 0 0 20 0 1 0 1288971 34672640 2579 33554432000 4194304 4832315 140727706669840 140727706666840 139797471974406 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 8465 2579 512 156 0 2107 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33860
[startup+0.20028 s]
/proc/loadavg: 2.02 2.02 1.96 4/181 5217
/proc/meminfo: memFree=32105564/32770624 swapFree=5872/113596
[pid=5217] ppid=5214 vsize=36452 CPUtime=0.19 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 3459 0 0 0 19 0 0 0 20 0 1 0 1288971 37326848 3261 33554432000 4194304 4832315 140727706669840 140727706666840 139797471985585 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 9113 3261 550 156 0 2755 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36452
[startup+0.300205 s]
/proc/loadavg: 2.02 2.02 1.96 4/181 5217
/proc/meminfo: memFree=32105564/32770624 swapFree=5872/113596
[pid=5217] ppid=5214 vsize=38824 CPUtime=0.29 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 4081 0 0 0 29 0 0 0 20 0 1 0 1288971 39755776 3898 33554432000 4194304 4832315 140727706669840 140727706666840 4278721 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 9706 3898 583 156 0 3348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38824
[startup+0.700176 s]
/proc/loadavg: 2.02 2.02 1.96 4/181 5217
/proc/meminfo: memFree=32105564/32770624 swapFree=5872/113596
[pid=5217] ppid=5214 vsize=44368 CPUtime=0.69 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 5455 0 0 0 68 1 0 0 20 0 1 0 1288971 45432832 5284 33554432000 4194304 4832315 140727706669840 140727706666840 4340799 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 11092 5284 584 156 0 4734 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44368
[startup+1.50017 s]
/proc/loadavg: 2.02 2.02 1.96 3/182 5218
/proc/meminfo: memFree=32086888/32770624 swapFree=5872/113620
[pid=5217] ppid=5214 vsize=44368 CPUtime=1.49 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 5455 0 0 0 148 1 0 0 20 0 1 0 1288971 45432832 5284 33554432000 4194304 4832315 140727706669840 140727706667016 4340788 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 11092 5284 584 156 0 4734 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44368
[startup+3.10017 s]
/proc/loadavg: 2.02 2.02 1.96 3/182 5218
/proc/meminfo: memFree=32071140/32770624 swapFree=5872/113620
[pid=5217] ppid=5214 vsize=63616 CPUtime=3.09 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 11164 0 0 0 308 1 0 0 20 0 1 0 1288971 65142784 9751 33554432000 4194304 4832315 140727706669840 140727706666728 4340810 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15904 9751 601 156 0 9546 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63616
[startup+6.30017 s]
/proc/loadavg: 2.02 2.02 1.96 3/182 5218
/proc/meminfo: memFree=32068384/32770624 swapFree=5872/113620
[pid=5217] ppid=5214 vsize=63616 CPUtime=6.29 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 17626 0 0 0 628 1 0 0 20 0 1 0 1288971 65142784 9751 33554432000 4194304 4832315 140727706669840 140727706667560 4340805 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15904 9751 601 156 0 9546 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63616
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 1.96 3/182 5218
/proc/meminfo: memFree=32068376/32770624 swapFree=5872/113632
[pid=5217] ppid=5214 vsize=63616 CPUtime=12.68 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 21562 0 0 0 1267 1 0 0 20 0 1 0 1288971 65142784 9751 33554432000 4194304 4832315 140727706669840 140727706667560 4339940 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15904 9751 601 156 0 9546 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63616
[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 5218
/proc/meminfo: memFree=32068500/32770624 swapFree=5872/113644
[pid=5217] ppid=5214 vsize=63616 CPUtime=25.49 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 28731 0 0 0 2547 2 0 0 20 0 1 0 1288971 65142784 9751 33554432000 4194304 4832315 140727706669840 140727706667560 4340805 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15904 9751 601 156 0 9546 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63616
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 1.96 3/182 5218
/proc/meminfo: memFree=32067064/32770624 swapFree=5872/113660
[pid=5217] ppid=5214 vsize=63616 CPUtime=51.08 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 31891 0 0 0 5106 2 0 0 20 0 1 0 1288971 65142784 9751 33554432000 4194304 4832315 140727706669840 140727706667560 4340805 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15904 9751 601 156 0 9546 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63616
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 5219
/proc/meminfo: memFree=32066484/32770624 swapFree=5872/113704
[pid=5217] ppid=5214 vsize=63748 CPUtime=102.28 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 32388 0 0 0 10226 2 0 0 20 0 1 0 1288971 65277952 9767 33554432000 4194304 4832315 140727706669840 140727706667560 4340805 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9767 601 156 0 9579 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 63748
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 5220
/proc/meminfo: memFree=32066484/32770624 swapFree=5872/113736
[pid=5217] ppid=5214 vsize=63748 CPUtime=162.28 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 32730 0 0 0 16226 2 0 0 20 0 1 0 1288971 65277952 9799 33554432000 4194304 4832315 140727706669840 140727706667560 4340810 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9799 601 156 0 9579 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 63748
[startup+222.306 s]
/proc/loadavg: 2.07 2.03 1.97 3/182 5221
/proc/meminfo: memFree=32066856/32770624 swapFree=5872/113764
[pid=5217] ppid=5214 vsize=63748 CPUtime=222.28 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 33080 0 0 0 22226 2 0 0 20 0 1 0 1288971 65277952 9799 33554432000 4194304 4832315 140727706669840 140727706667560 4264056 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9799 601 156 0 9579 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 63748
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/182 5222
/proc/meminfo: memFree=32066352/32770624 swapFree=5872/113784
[pid=5217] ppid=5214 vsize=63748 CPUtime=282.27 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 33434 0 0 0 28225 2 0 0 20 0 1 0 1288971 65277952 9799 33554432000 4194304 4832315 140727706669840 140727706667560 4278651 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9799 601 156 0 9579 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 63748
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/182 5223
/proc/meminfo: memFree=32066348/32770624 swapFree=5872/113820
[pid=5217] ppid=5214 vsize=63748 CPUtime=342.27 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 33786 0 0 0 34225 2 0 0 20 0 1 0 1288971 65277952 9799 33554432000 4194304 4832315 140727706669840 140727706667560 4264099 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9799 601 156 0 9579 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 63748
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 5224
/proc/meminfo: memFree=32066228/32770624 swapFree=5872/113848
[pid=5217] ppid=5214 vsize=63748 CPUtime=402.27 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 34136 0 0 0 40225 2 0 0 20 0 1 0 1288971 65277952 9799 33554432000 4194304 4832315 140727706669840 140727706667560 4264076 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9799 601 156 0 9579 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 63748
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/182 5225
/proc/meminfo: memFree=32066476/32770624 swapFree=5872/113888
[pid=5217] ppid=5214 vsize=63748 CPUtime=462.26 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 34484 0 0 0 46224 2 0 0 20 0 1 0 1288971 65277952 9799 33554432000 4194304 4832315 140727706669840 140727706667560 4264048 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9799 601 156 0 9579 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 63748
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/182 5233
/proc/meminfo: memFree=32065548/32770624 swapFree=5872/113908
[pid=5217] ppid=5214 vsize=63748 CPUtime=522.26 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 34830 0 0 0 52224 2 0 0 20 0 1 0 1288971 65277952 9799 33554432000 4194304 4832315 140727706669840 140727706667560 4264135 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9799 601 156 0 9579 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 63748
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 5234
/proc/meminfo: memFree=32066424/32770624 swapFree=5872/113952
[pid=5217] ppid=5214 vsize=63748 CPUtime=582.26 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 35164 0 0 0 58224 2 0 0 20 0 1 0 1288971 65277952 9799 33554432000 4194304 4832315 140727706669840 140727706667560 4264113 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9799 601 156 0 9579 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 63748
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 5258
/proc/meminfo: memFree=32066108/32770624 swapFree=5872/114456
[pid=5217] ppid=5214 vsize=63748 CPUtime=1542.24 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 40523 0 0 0 154221 3 0 0 20 0 1 0 1288971 65277952 9800 33554432000 4194304 4832315 140727706669840 140727706667560 4280411 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9800 601 156 0 9579 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 63748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 5260
/proc/meminfo: memFree=32066180/32770624 swapFree=5872/114480
[pid=5217] ppid=5214 vsize=63748 CPUtime=1602.23 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 40900 0 0 0 160220 3 0 0 20 0 1 0 1288971 65277952 9800 33554432000 4194304 4832315 140727706669840 140727706667560 4264099 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9800 601 156 0 9579 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 63748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 5261
/proc/meminfo: memFree=32065936/32770624 swapFree=5872/114524
[pid=5217] ppid=5214 vsize=63748 CPUtime=1662.23 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 41272 0 0 0 166220 3 0 0 20 0 1 0 1288971 65277952 9800 33554432000 4194304 4832315 140727706669840 140727706667560 4280411 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9800 601 156 0 9579 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 63748
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/182 5269
/proc/meminfo: memFree=32065828/32770624 swapFree=5872/114560
[pid=5217] ppid=5214 vsize=63748 CPUtime=1722.23 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 41775 0 0 0 172220 3 0 0 20 0 1 0 1288971 65277952 9800 33554432000 4194304 4832315 140727706669840 140727706667560 4340788 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9800 601 156 0 9579 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 63748
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 5292
/proc/meminfo: memFree=32064448/32770624 swapFree=5872/114600
[pid=5217] ppid=5214 vsize=63748 CPUtime=1782.22 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 42179 0 0 0 178219 3 0 0 20 0 1 0 1288971 65277952 9815 33554432000 4194304 4832315 140727706669840 140727706667560 139797481423367 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9815 601 156 0 9579 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 63748
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 5354
/proc/meminfo: memFree=31923092/32770624 swapFree=5872/114672
[pid=5217] ppid=5214 vsize=63748 CPUtime=1842.22 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 42586 0 0 0 184219 3 0 0 20 0 1 0 1288971 65277952 9815 33554432000 4194304 4832315 140727706669840 140727706667560 4278814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9815 601 156 0 9579 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 63748
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5355
/proc/meminfo: memFree=31785272/32770624 swapFree=5872/114716
[pid=5217] ppid=5214 vsize=63748 CPUtime=1902.22 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 42965 0 0 0 190219 3 0 0 20 0 1 0 1288971 65277952 9815 33554432000 4194304 4832315 140727706669840 140727706667560 4340846 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15937 9815 601 156 0 9579 0
Current children cumulated CPU time (s) 1902.22
Current children cumulated vsize (KiB) 63748
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5356
/proc/meminfo: memFree=31785548/32770624 swapFree=5872/114744
[pid=5217] ppid=5214 vsize=63880 CPUtime=1962.22 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 43477 0 0 0 196219 3 0 0 20 0 1 0 1288971 65413120 9822 33554432000 4194304 4832315 140727706669840 140727706667560 4340822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15970 9822 601 156 0 9612 0
Current children cumulated CPU time (s) 1962.22
Current children cumulated vsize (KiB) 63880
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5357
/proc/meminfo: memFree=31785344/32770624 swapFree=5872/114772
[pid=5217] ppid=5214 vsize=63880 CPUtime=2022.21 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 43967 0 0 0 202218 3 0 0 20 0 1 0 1288971 65413120 9828 33554432000 4194304 4832315 140727706669840 140727706667560 4340810 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 15970 9828 601 156 0 9612 0
Current children cumulated CPU time (s) 2022.21
Current children cumulated vsize (KiB) 63880
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5358
/proc/meminfo: memFree=31780564/32770624 swapFree=5872/114800
[pid=5217] ppid=5214 vsize=64012 CPUtime=2082.22 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 44475 0 0 0 208219 3 0 0 20 0 1 0 1288971 65548288 9855 33554432000 4194304 4832315 140727706669840 140727706667560 4339024 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 16003 9855 601 156 0 9645 0
Current children cumulated CPU time (s) 2082.22
Current children cumulated vsize (KiB) 64012
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5359
/proc/meminfo: memFree=31780704/32770624 swapFree=5872/114832
[pid=5217] ppid=5214 vsize=64012 CPUtime=2142.21 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 44987 0 0 0 214218 3 0 0 20 0 1 0 1288971 65548288 9855 33554432000 4194304 4832315 140727706669840 140727706667560 4264106 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 16003 9855 601 156 0 9645 0
Current children cumulated CPU time (s) 2142.21
Current children cumulated vsize (KiB) 64012
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5360
/proc/meminfo: memFree=31780700/32770624 swapFree=5872/114868
[pid=5217] ppid=5214 vsize=64012 CPUtime=2202.21 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 45355 0 0 0 220218 3 0 0 20 0 1 0 1288971 65548288 9857 33554432000 4194304 4832315 140727706669840 140727706667560 4278685 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 16003 9857 601 156 0 9645 0
Current children cumulated CPU time (s) 2202.21
Current children cumulated vsize (KiB) 64012
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 5361
/proc/meminfo: memFree=31780788/32770624 swapFree=5872/114896
[pid=5217] ppid=5214 vsize=64012 CPUtime=2262.2 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 45717 0 0 0 226217 3 0 0 20 0 1 0 1288971 65548288 9857 33554432000 4194304 4832315 140727706669840 140727706667560 4339045 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 16003 9857 601 156 0 9645 0
Current children cumulated CPU time (s) 2262.2
Current children cumulated vsize (KiB) 64012
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 5369
/proc/meminfo: memFree=31780552/32770624 swapFree=5872/114928
[pid=5217] ppid=5214 vsize=64012 CPUtime=2322.2 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 46176 0 0 0 232217 3 0 0 20 0 1 0 1288971 65548288 9857 33554432000 4194304 4832315 140727706669840 140727706667560 4340822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 16003 9857 601 156 0 9645 0
Current children cumulated CPU time (s) 2322.2
Current children cumulated vsize (KiB) 64012
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5370
/proc/meminfo: memFree=31780908/32770624 swapFree=5872/114956
[pid=5217] ppid=5214 vsize=64012 CPUtime=2382.2 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 46620 0 0 0 238217 3 0 0 20 0 1 0 1288971 65548288 9859 33554432000 4194304 4832315 140727706669840 140727706667560 4339027 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 16003 9859 601 156 0 9645 0
Current children cumulated CPU time (s) 2382.2
Current children cumulated vsize (KiB) 64012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5370
/proc/meminfo: memFree=31780660/32770624 swapFree=5872/114964
[pid=5217] ppid=5214 vsize=64012 CPUtime=2400 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 47127 0 0 0 239997 3 0 0 20 0 1 0 1288971 65548288 9867 33554432000 4194304 4832315 140727706669840 140727706667560 4339694 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 16003 9867 601 156 0 9645 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 64012
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 5217 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5370
/proc/meminfo: memFree=31780660/32770624 swapFree=5872/114964
[pid=5217] ppid=5214 vsize=64012 CPUtime=2400 cores=0,2,4,6
/proc/5217/stat : 5217 (miniBTD) R 5214 5217 3951 0 -1 4202496 47127 0 0 0 239997 3 0 0 20 0 1 0 1288971 65548288 9867 33554432000 4194304 4832315 140727706669840 140727706667560 4339694 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 14237696 140727706678514 140727706678594 140727706678594 140727706681293 0
/proc/5217/statm: 16003 9867 601 156 0 9645 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 64012
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.1
CPU time (s): 2400.01
CPU user time (s): 2399.97
CPU system time (s): 0.039998
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 64012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.039998
maximum resident set size= 39468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47127
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= 21
involuntary context switches= 2706
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.142 second user time and 8.45322 second system time
The end