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-4253038-1500935553/watcher-4253038-1500935553 -o /tmp/evaluation-result-4253038-1500935553/solver-4253038-1500935553 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500930917-5931 --watchdog 2560 miniBTD 2400 HOME/instance-4253038-1500935553.xml
pid=7864
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 1.98 3/181 7867
/proc/meminfo: memFree=29353680/32770624 swapFree=6520/142160
[pid=7867] ppid=7864 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 761 0 0 0 0 0 0 0 20 0 1 0 3114163 26492928 535 33554432000 4194304 4832315 140735431600480 140735431597480 140436472249317 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 6468 535 459 156 0 110 0
[startup+0.100201 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 7867
/proc/meminfo: memFree=29353680/32770624 swapFree=6520/142160
[pid=7867] ppid=7864 vsize=31808 CPUtime=0.09 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 2240 0 0 0 9 0 0 0 20 0 1 0 3114163 32571392 2064 33554432000 4194304 4832315 140735431600480 140735431597480 140436472249317 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 7952 2064 512 156 0 1594 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31808
[startup+0.200371 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 7867
/proc/meminfo: memFree=29353680/32770624 swapFree=6520/142160
[pid=7867] ppid=7864 vsize=37988 CPUtime=0.19 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 3781 0 0 0 19 0 0 0 20 0 1 0 3114163 38899712 3608 33554432000 4194304 4832315 140735431600480 140735431597480 140436472249317 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 9497 3608 512 156 0 3139 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37988
[startup+0.300352 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 7867
/proc/meminfo: memFree=29353680/32770624 swapFree=6520/142160
[pid=7867] ppid=7864 vsize=44064 CPUtime=0.29 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 5319 0 0 0 28 1 0 0 20 0 1 0 3114163 45121536 5127 33554432000 4194304 4832315 140735431600480 140735431597480 140436472249317 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 11016 5127 512 156 0 4658 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44064
[startup+0.700335 s]
/proc/loadavg: 2.00 2.01 1.98 3/181 7867
/proc/meminfo: memFree=29353680/32770624 swapFree=6520/142160
[pid=7867] ppid=7864 vsize=69516 CPUtime=0.68 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 11743 0 0 0 67 1 0 0 20 0 1 0 3114163 71184384 11544 33554432000 4194304 4832315 140735431600480 140735431597480 4340799 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11544 564 156 0 11021 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 69516
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 7868
/proc/meminfo: memFree=29309504/32770624 swapFree=6520/142376
[pid=7867] ppid=7864 vsize=69516 CPUtime=1.48 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 11743 0 0 0 147 1 0 0 20 0 1 0 3114163 71184384 11544 33554432000 4194304 4832315 140735431600480 140735431598024 4340814 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11544 564 156 0 11021 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 69516
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 7868
/proc/meminfo: memFree=29309060/32770624 swapFree=6520/142184
[pid=7867] ppid=7864 vsize=69516 CPUtime=3.09 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 14422 0 0 0 307 2 0 0 20 0 1 0 3114163 71184384 11576 33554432000 4194304 4832315 140735431600480 140735431598024 4340810 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11576 568 156 0 11021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69516
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 7868
/proc/meminfo: memFree=29306808/32770624 swapFree=6520/142184
[pid=7867] ppid=7864 vsize=69516 CPUtime=6.29 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 17102 0 0 0 627 2 0 0 20 0 1 0 3114163 71184384 11576 33554432000 4194304 4832315 140735431600480 140735431598024 140436481696229 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11576 568 156 0 11021 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69516
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 7868
/proc/meminfo: memFree=29308568/32770624 swapFree=6520/142196
[pid=7867] ppid=7864 vsize=69516 CPUtime=12.69 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 19787 0 0 0 1267 2 0 0 20 0 1 0 3114163 71184384 11576 33554432000 4194304 4832315 140735431600480 140735431598024 4340788 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11576 568 156 0 11021 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69516
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.98 3/182 7868
/proc/meminfo: memFree=29308924/32770624 swapFree=6520/142208
[pid=7867] ppid=7864 vsize=69516 CPUtime=25.49 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 22547 0 0 0 2547 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317956 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69516
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 1.99 3/182 7868
/proc/meminfo: memFree=29308520/32770624 swapFree=6520/142224
[pid=7867] ppid=7864 vsize=69516 CPUtime=51.09 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 22574 0 0 0 5107 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317343 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 69516
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/182 7869
/proc/meminfo: memFree=29307176/32770624 swapFree=6520/142256
[pid=7867] ppid=7864 vsize=69516 CPUtime=102.29 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 22601 0 0 0 10227 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317325 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 69516
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/182 7870
/proc/meminfo: memFree=29306936/32770624 swapFree=6520/142292
[pid=7867] ppid=7864 vsize=69516 CPUtime=162.29 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 22628 0 0 0 16227 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317273 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 69516
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 8114
/proc/meminfo: memFree=31995316/32770624 swapFree=6520/142452
[pid=7867] ppid=7864 vsize=69516 CPUtime=222.29 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 22656 0 0 0 22227 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317363 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 69516
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 8115
/proc/meminfo: memFree=31995440/32770624 swapFree=6520/142488
[pid=7867] ppid=7864 vsize=69516 CPUtime=282.28 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 22681 0 0 0 28226 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317359 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 69516
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 8116
/proc/meminfo: memFree=31995680/32770624 swapFree=6520/142508
[pid=7867] ppid=7864 vsize=69516 CPUtime=342.28 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 22705 0 0 0 34226 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317325 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 69516
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 8117
/proc/meminfo: memFree=31995676/32770624 swapFree=6520/142528
[pid=7867] ppid=7864 vsize=69516 CPUtime=402.28 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 22730 0 0 0 40226 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 69516
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 8125
/proc/meminfo: memFree=31995220/32770624 swapFree=6520/142564
[pid=7867] ppid=7864 vsize=69516 CPUtime=462.28 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 22754 0 0 0 46226 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317359 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 69516
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 8126
/proc/meminfo: memFree=31995468/32770624 swapFree=6520/142584
[pid=7867] ppid=7864 vsize=69516 CPUtime=522.28 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 22778 0 0 0 52226 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317343 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 69516
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 8127
/proc/meminfo: memFree=31995468/32770624 swapFree=6520/142608
[pid=7867] ppid=7864 vsize=69516 CPUtime=582.28 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 22802 0 0 0 58226 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317953 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 69516
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 8153
/proc/meminfo: memFree=31993952/32770624 swapFree=6520/142988
[pid=7867] ppid=7864 vsize=69516 CPUtime=1542.27 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23192 0 0 0 154225 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317264 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 69516
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 8154
/proc/meminfo: memFree=31993952/32770624 swapFree=6520/143008
[pid=7867] ppid=7864 vsize=69516 CPUtime=1602.27 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23217 0 0 0 160225 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317678 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 69516
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 8163
/proc/meminfo: memFree=31993036/32770624 swapFree=6520/143048
[pid=7867] ppid=7864 vsize=69516 CPUtime=1662.27 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23242 0 0 0 166225 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317678 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 69516
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8189
/proc/meminfo: memFree=31993592/32770624 swapFree=6520/143060
[pid=7867] ppid=7864 vsize=69516 CPUtime=1722.27 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23267 0 0 0 172225 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317363 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 69516
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8190
/proc/meminfo: memFree=31993840/32770624 swapFree=6520/143080
[pid=7867] ppid=7864 vsize=69516 CPUtime=1782.27 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23292 0 0 0 178225 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317920 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 69516
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8191
/proc/meminfo: memFree=31993944/32770624 swapFree=6520/143104
[pid=7867] ppid=7864 vsize=69516 CPUtime=1842.27 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23323 0 0 0 184225 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317363 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 1842.27
Current children cumulated vsize (KiB) 69516
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8192
/proc/meminfo: memFree=31993944/32770624 swapFree=6520/143124
[pid=7867] ppid=7864 vsize=69516 CPUtime=1902.26 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23348 0 0 0 190224 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317359 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 1902.26
Current children cumulated vsize (KiB) 69516
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 8193
/proc/meminfo: memFree=31993596/32770624 swapFree=6520/143152
[pid=7867] ppid=7864 vsize=69516 CPUtime=1962.26 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23373 0 0 0 196224 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 1962.26
Current children cumulated vsize (KiB) 69516
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 8194
/proc/meminfo: memFree=31993572/32770624 swapFree=6520/143172
[pid=7867] ppid=7864 vsize=69516 CPUtime=2022.26 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23398 0 0 0 202224 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317363 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 69516
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 8195
/proc/meminfo: memFree=31993820/32770624 swapFree=6520/143192
[pid=7867] ppid=7864 vsize=69516 CPUtime=2082.27 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23423 0 0 0 208225 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317325 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 69516
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 8196
/proc/meminfo: memFree=31993696/32770624 swapFree=6520/143212
[pid=7867] ppid=7864 vsize=69516 CPUtime=2142.26 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23447 0 0 0 214224 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 69516
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 8197
/proc/meminfo: memFree=31993432/32770624 swapFree=6520/143236
[pid=7867] ppid=7864 vsize=69516 CPUtime=2202.27 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23472 0 0 0 220225 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317363 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 2202.27
Current children cumulated vsize (KiB) 69516
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8206
/proc/meminfo: memFree=31993092/32770624 swapFree=6520/143272
[pid=7867] ppid=7864 vsize=69516 CPUtime=2262.26 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23496 0 0 0 226224 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 69516
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 8207
/proc/meminfo: memFree=31993464/32770624 swapFree=6520/143292
[pid=7867] ppid=7864 vsize=69516 CPUtime=2322.26 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23520 0 0 0 232224 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317310 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 2322.26
Current children cumulated vsize (KiB) 69516
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/183 8208
/proc/meminfo: memFree=31993612/32770624 swapFree=6520/143312
[pid=7867] ppid=7864 vsize=69516 CPUtime=2382.26 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23544 0 0 0 238224 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 2382.26
Current children cumulated vsize (KiB) 69516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 8208
/proc/meminfo: memFree=31993612/32770624 swapFree=6520/143320
[pid=7867] ppid=7864 vsize=69516 CPUtime=2400.06 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23568 0 0 0 240004 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317352 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 69516
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 7867 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 8208
/proc/meminfo: memFree=31993612/32770624 swapFree=6520/143320
[pid=7867] ppid=7864 vsize=69516 CPUtime=2400.06 cores=0,2,4,6
/proc/7867/stat : 7867 (miniBTD) R 7864 7867 5900 0 -1 4202496 23568 0 0 0 240004 2 0 0 20 0 1 0 3114163 71184384 11577 33554432000 4194304 4832315 140735431600480 140735431598024 4317352 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 6932504 6936608 20221952 140735431607538 140735431607618 140735431607618 140735431610317 0
/proc/7867/statm: 17379 11577 569 156 0 11021 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 69516
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.1
CPU time (s): 2400.07
CPU user time (s): 2400.04
CPU system time (s): 0.024
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 69516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.024
maximum resident set size= 46308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23569
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= 11
involuntary context switches= 3023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13284 second user time and 6.81717 second system time
The end