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-4251761-1500922179/watcher-4251761-1500922179 -o /tmp/evaluation-result-4251761-1500922179/solver-4251761-1500922179 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500914928-3502 --watchdog 2560 miniBTD 2400 HOME/instance-4251761-1500922179.xml
pid=5126
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.00 2.01 2.05 2/181 5129
/proc/meminfo: memFree=32117784/32770624 swapFree=5828/112956
[pid=5129] ppid=5126 vsize=26008 CPUtime=0 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 842 0 0 0 0 0 0 0 20 0 1 0 1757590 26632192 667 33554432000 4194304 4832315 140732109328960 140732109325960 4320795 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 667 555 156 0 144 0
[startup+0.100196 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 5129
/proc/meminfo: memFree=32117784/32770624 swapFree=5828/112956
[pid=5129] ppid=5126 vsize=26008 CPUtime=0.09 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 842 0 0 0 9 0 0 0 20 0 1 0 1757590 26632192 667 33554432000 4194304 4832315 140732109328960 140732109325960 4320970 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 667 555 156 0 144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26008
[startup+0.200328 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 5129
/proc/meminfo: memFree=32117784/32770624 swapFree=5828/112956
[pid=5129] ppid=5126 vsize=26008 CPUtime=0.19 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 842 0 0 0 19 0 0 0 20 0 1 0 1757590 26632192 667 33554432000 4194304 4832315 140732109328960 140732109325960 4321127 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 667 555 156 0 144 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26008
[startup+0.300343 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 5129
/proc/meminfo: memFree=32117784/32770624 swapFree=5828/112956
[pid=5129] ppid=5126 vsize=26008 CPUtime=0.29 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 842 0 0 0 29 0 0 0 20 0 1 0 1757590 26632192 667 33554432000 4194304 4832315 140732109328960 140732109326968 4321035 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 667 555 156 0 144 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26008
[startup+0.700276 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 5129
/proc/meminfo: memFree=32117784/32770624 swapFree=5828/112956
[pid=5129] ppid=5126 vsize=26008 CPUtime=0.69 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 842 0 0 0 69 0 0 0 20 0 1 0 1757590 26632192 667 33554432000 4194304 4832315 140732109328960 140732109326968 4321087 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 667 555 156 0 144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26008
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5130
/proc/meminfo: memFree=32117288/32770624 swapFree=5828/112972
[pid=5129] ppid=5126 vsize=26008 CPUtime=1.49 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 842 0 0 0 149 0 0 0 20 0 1 0 1757590 26632192 667 33554432000 4194304 4832315 140732109328960 140732109326968 4320815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 667 555 156 0 144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26008
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5130
/proc/meminfo: memFree=32116916/32770624 swapFree=5828/112972
[pid=5129] ppid=5126 vsize=26008 CPUtime=3.09 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 850 0 0 0 309 0 0 0 20 0 1 0 1757590 26632192 667 33554432000 4194304 4832315 140732109328960 140732109326968 4321276 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 667 555 156 0 144 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26008
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5130
/proc/meminfo: memFree=32116028/32770624 swapFree=5828/112968
[pid=5129] ppid=5126 vsize=26008 CPUtime=6.29 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 860 0 0 0 629 0 0 0 20 0 1 0 1757590 26632192 667 33554432000 4194304 4832315 140732109328960 140732109326968 4320791 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 667 555 156 0 144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26008
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5130
/proc/meminfo: memFree=32115896/32770624 swapFree=5828/112976
[pid=5129] ppid=5126 vsize=26008 CPUtime=12.69 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 869 0 0 0 1269 0 0 0 20 0 1 0 1757590 26632192 667 33554432000 4194304 4832315 140732109328960 140732109326968 4321229 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 667 555 156 0 144 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26008
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5137
/proc/meminfo: memFree=32115432/32770624 swapFree=5828/112996
[pid=5129] ppid=5126 vsize=26008 CPUtime=25.49 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 887 0 0 0 2549 0 0 0 20 0 1 0 1757590 26632192 667 33554432000 4194304 4832315 140732109328960 140732109326968 4320692 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 667 555 156 0 144 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26008
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5137
/proc/meminfo: memFree=32115760/32770624 swapFree=5828/113008
[pid=5129] ppid=5126 vsize=26008 CPUtime=51.1 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 897 0 0 0 5110 0 0 0 20 0 1 0 1757590 26632192 667 33554432000 4194304 4832315 140732109328960 140732109326968 4320750 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 667 555 156 0 144 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 26008
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5138
/proc/meminfo: memFree=32115768/32770624 swapFree=5828/113032
[pid=5129] ppid=5126 vsize=26008 CPUtime=102.31 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 908 0 0 0 10231 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320746 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 26008
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5139
/proc/meminfo: memFree=32115772/32770624 swapFree=5828/113060
[pid=5129] ppid=5126 vsize=26008 CPUtime=162.31 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 918 0 0 0 16231 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320692 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 26008
[startup+222.306 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 5140
/proc/meminfo: memFree=32116028/32770624 swapFree=5828/113088
[pid=5129] ppid=5126 vsize=26008 CPUtime=222.32 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 928 0 0 0 22232 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 26008
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 5141
/proc/meminfo: memFree=32116156/32770624 swapFree=5828/113112
[pid=5129] ppid=5126 vsize=26008 CPUtime=282.32 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 928 0 0 0 28232 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320718 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 26008
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5143
/proc/meminfo: memFree=32116180/32770624 swapFree=5828/113136
[pid=5129] ppid=5126 vsize=26008 CPUtime=342.32 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 938 0 0 0 34232 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320746 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 26008
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5144
/proc/meminfo: memFree=32116020/32770624 swapFree=5828/113160
[pid=5129] ppid=5126 vsize=26008 CPUtime=402.33 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 938 0 0 0 40233 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 26008
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 5145
/proc/meminfo: memFree=32117036/32770624 swapFree=5828/113180
[pid=5129] ppid=5126 vsize=26008 CPUtime=462.33 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 948 0 0 0 46233 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4321276 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 26008
[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 5209
/proc/meminfo: memFree=32114424/32770624 swapFree=5828/113292
[pid=5129] ppid=5126 vsize=26008 CPUtime=522.34 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 948 0 0 0 52234 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 26008
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5210
/proc/meminfo: memFree=32114484/32770624 swapFree=5828/113328
[pid=5129] ppid=5126 vsize=26008 CPUtime=582.34 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 958 0 0 0 58234 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 26008
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 5823
/proc/meminfo: memFree=31988264/32770624 swapFree=5828/118996
[pid=5129] ppid=5126 vsize=26008 CPUtime=1482.42 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1028 0 0 0 148242 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4321099 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 1482.42
Current children cumulated vsize (KiB) 26008
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5824
/proc/meminfo: memFree=31988044/32770624 swapFree=5828/119016
[pid=5129] ppid=5126 vsize=26008 CPUtime=1542.43 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1038 0 0 0 154243 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4321122 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 1542.43
Current children cumulated vsize (KiB) 26008
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 5825
/proc/meminfo: memFree=31988272/32770624 swapFree=5828/119040
[pid=5129] ppid=5126 vsize=26008 CPUtime=1602.43 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1038 0 0 0 160243 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 1602.43
Current children cumulated vsize (KiB) 26008
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 5826
/proc/meminfo: memFree=31988272/32770624 swapFree=5828/119060
[pid=5129] ppid=5126 vsize=26008 CPUtime=1662.43 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1048 0 0 0 166243 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 1662.43
Current children cumulated vsize (KiB) 26008
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 5827
/proc/meminfo: memFree=31987800/32770624 swapFree=5828/119088
[pid=5129] ppid=5126 vsize=26008 CPUtime=1722.44 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1048 0 0 0 172244 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 1722.44
Current children cumulated vsize (KiB) 26008
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5828
/proc/meminfo: memFree=31987692/32770624 swapFree=5828/119108
[pid=5129] ppid=5126 vsize=26008 CPUtime=1782.44 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1058 0 0 0 178244 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (KiB) 26008
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 5837
/proc/meminfo: memFree=31987344/32770624 swapFree=5828/119132
[pid=5129] ppid=5126 vsize=26008 CPUtime=1842.45 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1058 0 0 0 184245 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 1842.45
Current children cumulated vsize (KiB) 26008
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 5838
/proc/meminfo: memFree=31988088/32770624 swapFree=5828/119156
[pid=5129] ppid=5126 vsize=26008 CPUtime=1902.45 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1068 0 0 0 190245 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 1902.45
Current children cumulated vsize (KiB) 26008
[startup+1962.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/183 5839
/proc/meminfo: memFree=31987972/32770624 swapFree=5828/119176
[pid=5129] ppid=5126 vsize=26008 CPUtime=1962.46 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1068 0 0 0 196246 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4321153 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 1962.46
Current children cumulated vsize (KiB) 26008
[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/183 5840
/proc/meminfo: memFree=31987856/32770624 swapFree=5828/119204
[pid=5129] ppid=5126 vsize=26008 CPUtime=2022.46 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1078 0 0 0 202246 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4321276 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 2022.46
Current children cumulated vsize (KiB) 26008
[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 5841
/proc/meminfo: memFree=31988228/32770624 swapFree=5828/119228
[pid=5129] ppid=5126 vsize=26008 CPUtime=2082.47 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1078 0 0 0 208247 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320750 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 2082.47
Current children cumulated vsize (KiB) 26008
[startup+2142.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 5843
/proc/meminfo: memFree=31988000/32770624 swapFree=5828/119248
[pid=5129] ppid=5126 vsize=26008 CPUtime=2142.47 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1088 0 0 0 214247 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4321162 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 2142.47
Current children cumulated vsize (KiB) 26008
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5844
/proc/meminfo: memFree=31987876/32770624 swapFree=5828/119276
[pid=5129] ppid=5126 vsize=26008 CPUtime=2202.48 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1089 0 0 0 220248 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 2202.48
Current children cumulated vsize (KiB) 26008
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5845
/proc/meminfo: memFree=31987644/32770624 swapFree=5828/119296
[pid=5129] ppid=5126 vsize=26008 CPUtime=2262.48 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1099 0 0 0 226248 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320709 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 2262.48
Current children cumulated vsize (KiB) 26008
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5847
/proc/meminfo: memFree=31987896/32770624 swapFree=5828/119336
[pid=5129] ppid=5126 vsize=26008 CPUtime=2322.49 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1099 0 0 0 232249 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320869 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 2322.49
Current children cumulated vsize (KiB) 26008
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5848
/proc/meminfo: memFree=31987780/32770624 swapFree=5828/119356
[pid=5129] ppid=5126 vsize=26008 CPUtime=2382.49 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1109 0 0 0 238249 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 2382.49
Current children cumulated vsize (KiB) 26008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5848
/proc/meminfo: memFree=31987656/32770624 swapFree=5828/119364
[pid=5129] ppid=5126 vsize=26008 CPUtime=2400 cores=0,2,4,6
/proc/5129/stat : 5129 (miniBTD) R 5126 5129 3471 0 -1 4202496 1109 0 0 0 240000 0 0 0 20 0 1 0 1757590 26632192 674 33554432000 4194304 4832315 140732109328960 140732109326968 4320891 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 33128448 140732109333746 140732109333826 140732109333826 140732109336525 0
/proc/5129/statm: 6502 674 562 156 0 144 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 26008
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 5129 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2399.8
CPU time (s): 2400
CPU user time (s): 2400
CPU system time (s): 0.002
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 26008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.002
maximum resident set size= 2696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1110
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= 10
involuntary context switches= 602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.90099 second user time and 8.1033 second system time
The end