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-4252575-1500930996/watcher-4252575-1500930996 -o /tmp/evaluation-result-4252575-1500930996/solver-4252575-1500930996 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500914976-3528 --watchdog 2560 miniBTD 2400 HOME/instance-4252575-1500930996.xml
pid=10915
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.03 2.03 2.05 2/181 10918
/proc/meminfo: memFree=28586336/32770624 swapFree=5860/127028
[pid=10918] ppid=10915 vsize=26000 CPUtime=0 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 1 0 2658957 26624000 612 33554432000 4194304 4832315 140727316392512 140727316389512 4215833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 6500 612 511 156 0 142 0
[startup+0.100158 s]
/proc/loadavg: 2.03 2.03 2.05 2/181 10918
/proc/meminfo: memFree=28586336/32770624 swapFree=5860/127028
[pid=10918] ppid=10915 vsize=26784 CPUtime=0.09 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 1737 0 0 0 9 0 0 0 20 0 1 0 2658957 27426816 839 33554432000 4194304 4832315 140727316392512 140727316389512 139634808083436 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 6696 839 511 156 0 338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26784
[startup+0.200251 s]
/proc/loadavg: 2.03 2.03 2.05 2/181 10918
/proc/meminfo: memFree=28586336/32770624 swapFree=5860/127028
[pid=10918] ppid=10915 vsize=27112 CPUtime=0.19 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 8336 0 0 0 18 1 0 0 20 0 1 0 2658957 27762688 921 33554432000 4194304 4832315 140727316392512 140727316389064 139634808083436 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 6778 921 511 156 0 420 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27112
[startup+0.300257 s]
/proc/loadavg: 2.03 2.03 2.05 2/181 10918
/proc/meminfo: memFree=28586336/32770624 swapFree=5860/127028
[pid=10918] ppid=10915 vsize=27620 CPUtime=0.29 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 19006 0 0 0 26 3 0 0 20 0 1 0 2658957 28282880 978 33554432000 4194304 4832315 140727316392512 140727316389064 139634808083436 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 6835 978 511 156 0 477 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27620
[startup+0.700228 s]
/proc/loadavg: 2.03 2.03 2.05 2/181 10918
/proc/meminfo: memFree=28586336/32770624 swapFree=5860/127028
[pid=10918] ppid=10915 vsize=28132 CPUtime=0.69 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 84496 0 0 0 59 10 0 0 20 0 1 0 2658957 28807168 1126 33554432000 4194304 4832315 140727316392512 140727316389064 139634808083436 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 6983 1126 511 156 0 625 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28132
[startup+1.50018 s]
/proc/loadavg: 1.95 2.01 2.04 3/182 10919
/proc/meminfo: memFree=28582944/32770624 swapFree=5860/127088
[pid=10918] ppid=10915 vsize=28856 CPUtime=1.49 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 246874 0 0 0 122 27 0 0 20 0 1 0 2658957 29548544 1286 33554432000 4194304 4832315 140727316392512 140727316389064 4216673 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 7214 1286 512 156 0 856 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28856
[startup+3.10023 s]
/proc/loadavg: 1.95 2.01 2.04 3/182 10919
/proc/meminfo: memFree=28581532/32770624 swapFree=5860/127088
[pid=10918] ppid=10915 vsize=30080 CPUtime=3.09 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 634364 0 0 0 246 63 0 0 20 0 1 0 2658957 30801920 1614 33554432000 4194304 4832315 140727316392512 140727316388840 4217329 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 7520 1614 512 156 0 1162 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30080
[startup+6.30023 s]
/proc/loadavg: 1.95 2.01 2.04 3/182 10919
/proc/meminfo: memFree=28579632/32770624 swapFree=5860/127100
[pid=10918] ppid=10915 vsize=31544 CPUtime=6.29 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 1426581 0 0 0 490 139 0 0 20 0 1 0 2658957 32301056 1959 33554432000 4194304 4832315 140727316392512 140727316388840 4217329 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 7886 1959 512 156 0 1528 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31544
[startup+12.7002 s]
/proc/loadavg: 1.96 2.01 2.04 3/182 10919
/proc/meminfo: memFree=28576804/32770624 swapFree=5860/127100
[pid=10918] ppid=10915 vsize=34428 CPUtime=12.69 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 3140513 0 0 0 961 308 0 0 20 0 1 0 2658957 35254272 2716 33554432000 4194304 4832315 140727316392512 140727316388840 4217657 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 8607 2716 512 156 0 2249 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34428
[startup+25.5003 s]
/proc/loadavg: 1.96 2.01 2.04 3/182 10919
/proc/meminfo: memFree=28572860/32770624 swapFree=5860/127100
[pid=10918] ppid=10915 vsize=38028 CPUtime=25.49 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 6593596 0 0 0 1916 633 0 0 20 0 1 0 2658957 38940672 3500 33554432000 4194304 4832315 140727316392512 140727316389064 4215833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 9507 3500 512 156 0 3149 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38028
[startup+51.1003 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 10919
/proc/meminfo: memFree=28569956/32770624 swapFree=5860/127120
[pid=10918] ppid=10915 vsize=41860 CPUtime=51.09 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 13338706 0 0 0 3802 1307 0 0 20 0 1 0 2658957 42864640 4561 33554432000 4194304 4832315 140727316392512 140727316388840 4216673 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 10465 4561 512 156 0 4107 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41860
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 10920
/proc/meminfo: memFree=28550900/32770624 swapFree=5860/127156
[pid=10918] ppid=10915 vsize=59312 CPUtime=102.28 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 22064684 0 0 0 8050 2178 0 0 20 0 1 0 2658957 60735488 8906 33554432000 4194304 4832315 140727316392512 140727316388840 4216998 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 14828 8906 513 156 0 8470 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 59312
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 10921
/proc/meminfo: memFree=28532104/32770624 swapFree=5860/127184
[pid=10918] ppid=10915 vsize=78388 CPUtime=162.27 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 31788415 0 0 0 13036 3191 0 0 20 0 1 0 2658957 80269312 13685 33554432000 4194304 4832315 140727316392512 140727316388840 4216673 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 19597 13685 513 156 0 13239 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 78388
[startup+222.306 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 10929
/proc/meminfo: memFree=28516088/32770624 swapFree=5860/127224
[pid=10918] ppid=10915 vsize=94592 CPUtime=222.27 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 42481449 0 0 0 17955 4272 0 0 20 0 1 0 2658957 96862208 17699 33554432000 4194304 4832315 140727316392512 140727316388840 4217329 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 23648 17699 513 156 0 17290 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 94592
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 10930
/proc/meminfo: memFree=28499084/32770624 swapFree=5860/127260
[pid=10918] ppid=10915 vsize=109420 CPUtime=282.26 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 54247311 0 0 0 22755 5471 0 0 20 0 1 0 2658957 112046080 21442 33554432000 4194304 4832315 140727316392512 140727316388840 4215833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 27355 21442 513 156 0 20997 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 109420
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 10931
/proc/meminfo: memFree=28482880/32770624 swapFree=5860/127284
[pid=10918] ppid=10915 vsize=127116 CPUtime=342.26 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 64256481 0 0 0 27657 6569 0 0 20 0 1 0 2658957 130166784 25835 33554432000 4194304 4832315 140727316392512 140727316388840 4215830 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 31779 25835 513 156 0 25421 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 127116
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 10932
/proc/meminfo: memFree=28464280/32770624 swapFree=5860/127316
[pid=10918] ppid=10915 vsize=146060 CPUtime=402.25 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 73404927 0 0 0 32763 7462 0 0 20 0 1 0 2658957 149565440 30592 33554432000 4194304 4832315 140727316392512 140727316388840 4215833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 36515 30592 513 156 0 30157 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 146060
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 10933
/proc/meminfo: memFree=28448080/32770624 swapFree=5860/127344
[pid=10918] ppid=10915 vsize=163176 CPUtime=462.24 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 84980181 0 0 0 37661 8563 0 0 20 0 1 0 2658957 167092224 34842 33554432000 4194304 4832315 140727316392512 140727316388840 4217657 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 40794 34842 513 156 0 34436 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 163176
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10935
/proc/meminfo: memFree=28429904/32770624 swapFree=5860/127380
[pid=10918] ppid=10915 vsize=181124 CPUtime=522.23 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 95508713 0 0 0 42620 9603 0 0 20 0 1 0 2658957 185470976 39359 33554432000 4194304 4832315 140727316392512 140727316388840 4216670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 45281 39359 513 156 0 38923 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 181124
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10936
/proc/meminfo: memFree=28409740/32770624 swapFree=5860/127416
[pid=10918] ppid=10915 vsize=200136 CPUtime=582.23 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 104517947 0 0 0 47738 10485 0 0 20 0 1 0 2658957 204939264 44113 33554432000 4194304 4832315 140727316392512 140727316388840 4217329 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 50034 44113 513 156 0 43676 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 200136
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 11029
/proc/meminfo: memFree=31337964/32770624 swapFree=5840/128060
[pid=10918] ppid=10915 vsize=479312 CPUtime=1542.03 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 268971744 0 0 0 127011 27192 0 0 20 0 1 0 2658957 490815488 113594 33554432000 4194304 4832315 140727316392512 140727316388840 139634808083436 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 119828 113594 513 156 0 113470 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 479312
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 11030
/proc/meminfo: memFree=31318152/32770624 swapFree=5840/128092
[pid=10918] ppid=10915 vsize=498012 CPUtime=1601.98 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 279119804 0 0 0 131953 28245 0 0 20 0 1 0 2658957 509964288 118554 33554432000 4194304 4832315 140727316392512 140727316388840 4216670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 124503 118554 513 156 0 118145 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 498012
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 11031
/proc/meminfo: memFree=31301656/32770624 swapFree=5840/128120
[pid=10918] ppid=10915 vsize=514440 CPUtime=1661.96 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 288795005 0 0 0 136965 29231 0 0 20 0 1 0 2658957 526786560 122678 33554432000 4194304 4832315 140727316392512 140727316388840 4217329 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 128610 122678 513 156 0 122252 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 514440
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 11032
/proc/meminfo: memFree=31285312/32770624 swapFree=5840/128156
[pid=10918] ppid=10915 vsize=531744 CPUtime=1721.95 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 300061790 0 0 0 141827 30368 0 0 20 0 1 0 2658957 544505856 127001 33554432000 4194304 4832315 140727316392512 140727316388840 4215833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 132936 127001 513 156 0 126578 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 531744
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 11033
/proc/meminfo: memFree=31269248/32770624 swapFree=5840/128184
[pid=10918] ppid=10915 vsize=548332 CPUtime=1781.95 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 311268212 0 0 0 146635 31560 0 0 20 0 1 0 2658957 561491968 131030 33554432000 4194304 4832315 140727316392512 140727316389064 4217001 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 137083 131030 513 156 0 130725 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 548332
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 11034
/proc/meminfo: memFree=31248840/32770624 swapFree=5840/128212
[pid=10918] ppid=10915 vsize=568308 CPUtime=1841.94 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 319542850 0 0 0 151781 32413 0 0 20 0 1 0 2658957 581947392 136169 33554432000 4194304 4832315 140727316392512 140727316388840 4217320 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 142077 136169 513 156 0 135719 0
Current children cumulated CPU time (s) 1841.94
Current children cumulated vsize (KiB) 568308
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 11035
/proc/meminfo: memFree=31230016/32770624 swapFree=5840/128240
[pid=10918] ppid=10915 vsize=586632 CPUtime=1901.94 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 330375191 0 0 0 156704 33490 0 0 20 0 1 0 2658957 600711168 140736 33554432000 4194304 4832315 140727316392512 140727316388840 4217657 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 146658 140736 513 156 0 140300 0
Current children cumulated CPU time (s) 1901.94
Current children cumulated vsize (KiB) 586632
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 11036
/proc/meminfo: memFree=31216548/32770624 swapFree=5840/128272
[pid=10918] ppid=10915 vsize=600628 CPUtime=1961.93 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 341396931 0 0 0 161568 34625 0 0 20 0 1 0 2658957 615043072 144221 33554432000 4194304 4832315 140727316392512 140727316388840 4216673 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 150339 144287 513 156 0 143981 0
Current children cumulated CPU time (s) 1961.93
Current children cumulated vsize (KiB) 600628
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 11044
/proc/meminfo: memFree=31197984/32770624 swapFree=5840/128312
[pid=10918] ppid=10915 vsize=618320 CPUtime=2021.92 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 350873860 0 0 0 166531 35661 0 0 20 0 1 0 2658957 633159680 148705 33554432000 4194304 4832315 140727316392512 140727316388840 4217326 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 154580 148705 513 156 0 148222 0
Current children cumulated CPU time (s) 2021.92
Current children cumulated vsize (KiB) 618320
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 11045
/proc/meminfo: memFree=31178796/32770624 swapFree=5840/128344
[pid=10918] ppid=10915 vsize=637708 CPUtime=2081.92 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 360247016 0 0 0 171631 36561 0 0 20 0 1 0 2658957 653012992 153438 33554432000 4194304 4832315 140727316392512 140727316388840 4215833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 159427 153504 513 156 0 153069 0
Current children cumulated CPU time (s) 2081.92
Current children cumulated vsize (KiB) 637708
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 11046
/proc/meminfo: memFree=31161044/32770624 swapFree=5840/128372
[pid=10918] ppid=10915 vsize=654052 CPUtime=2141.91 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 372308063 0 0 0 176487 37704 0 0 20 0 1 0 2658957 669749248 157623 33554432000 4194304 4832315 140727316392512 140727316388840 4217648 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 163513 157623 513 156 0 157155 0
Current children cumulated CPU time (s) 2141.91
Current children cumulated vsize (KiB) 654052
[startup+2202.31 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 11058
/proc/meminfo: memFree=31145496/32770624 swapFree=5840/128708
[pid=10918] ppid=10915 vsize=669440 CPUtime=2201.88 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 382760161 0 0 0 181402 38786 0 0 20 0 1 0 2658957 685506560 161441 33554432000 4194304 4832315 140727316392512 140727316388840 4217326 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 167360 161441 513 156 0 161002 0
Current children cumulated CPU time (s) 2201.88
Current children cumulated vsize (KiB) 669440
[startup+2262.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 11059
/proc/meminfo: memFree=31125280/32770624 swapFree=5840/128744
[pid=10918] ppid=10915 vsize=691028 CPUtime=2261.84 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 390795064 0 0 0 186556 39628 0 0 20 0 1 0 2658957 707612672 166818 33554432000 4194304 4832315 140727316392512 140727316388840 4216998 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 172757 166818 513 156 0 166399 0
Current children cumulated CPU time (s) 2261.84
Current children cumulated vsize (KiB) 691028
[startup+2322.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 11061
/proc/meminfo: memFree=31107500/32770624 swapFree=5840/128780
[pid=10918] ppid=10915 vsize=708200 CPUtime=2321.84 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 402100706 0 0 0 191396 40788 0 0 20 0 1 0 2658957 725196800 171127 33554432000 4194304 4832315 140727316392512 140727316389064 4217329 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 177050 171127 513 156 0 170692 0
Current children cumulated CPU time (s) 2321.84
Current children cumulated vsize (KiB) 708200
[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 11062
/proc/meminfo: memFree=31090276/32770624 swapFree=5840/128812
[pid=10918] ppid=10915 vsize=724796 CPUtime=2381.83 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 412761334 0 0 0 196317 41866 0 0 20 0 1 0 2658957 742191104 175304 33554432000 4194304 4832315 140727316392512 140727316388840 4215833 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 181199 175304 513 156 0 174841 0
Current children cumulated CPU time (s) 2381.83
Current children cumulated vsize (KiB) 724796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 11062
/proc/meminfo: memFree=31084064/32770624 swapFree=5840/128820
[pid=10918] ppid=10915 vsize=730492 CPUtime=2400.03 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 414986250 0 0 0 197898 42105 0 0 20 0 1 0 2658957 748023808 176730 33554432000 4194304 4832315 140727316392512 140727316388840 4217329 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 182623 176730 513 156 0 176265 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 730492
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 10918 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 11062
/proc/meminfo: memFree=31084064/32770624 swapFree=5840/128820
[pid=10918] ppid=10915 vsize=730492 CPUtime=2400.03 cores=1,3,5,7
/proc/10918/stat : 10918 (miniBTD) R 10915 10918 3496 0 -1 4202496 414986250 0 0 0 197898 42105 0 0 20 0 1 0 2658957 748023808 176730 33554432000 4194304 4832315 140727316392512 140727316388840 4217329 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6932504 6936608 22466560 140727316395250 140727316395330 140727316395330 140727316398029 0
/proc/10918/statm: 182623 176730 513 156 0 176265 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 730492
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.51
CPU time (s): 2400.04
CPU user time (s): 1978.98
CPU system time (s): 421.061
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 732056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1978.98
system time used= 421.061
maximum resident set size= 708504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 414986250
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= 330
involuntary context switches= 2054
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.64875 second user time and 9.31677 second system time
The end