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-4252726-1501983840/watcher-4252726-1501983840 -o /tmp/evaluation-result-4252726-1501983840/solver-4252726-1501983840 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501978194-17166 --watchdog 2560 miniBTD 2400 HOME/instance-4252726-1501983840.xml
pid=18004
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: 1.92 2.00 2.04 2/187 18007
/proc/meminfo: memFree=31097544/32770624 swapFree=0/380012
[pid=18007] ppid=18004 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18007/stat : 18007 (runsolver) D 18004 18007 15278 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 45889998 24240128 108 18446744073709551615 4194304 4338465 140730890477776 140730890475416 140014038450903 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 25092096 140730890481872 140730890482249 140730890482249 140730890485706 0
/proc/18007/statm: 5918 108 54 36 0 2156 0
[startup+0.100199 s]
/proc/loadavg: 1.92 2.00 2.04 2/187 18007
/proc/meminfo: memFree=31097544/32770624 swapFree=0/380012
[pid=18007] ppid=18004 vsize=28496 CPUtime=0.04 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1525 0 0 0 4 0 0 0 20 0 1 0 45889998 29179904 1161 18446744073709551615 4194304 4832315 140721532592608 140721532589608 4458003 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 7124 1161 519 156 0 766 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28496
[startup+0.200367 s]
/proc/loadavg: 1.92 2.00 2.04 2/187 18007
/proc/meminfo: memFree=31097544/32770624 swapFree=0/380012
[pid=18007] ppid=18004 vsize=34364 CPUtime=0.14 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 3311 0 0 0 14 0 0 0 20 0 1 0 45889998 35188736 2415 18446744073709551615 4194304 4832315 140721532592608 140721532590184 139957307524224 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 8591 2415 519 156 0 2233 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 34364
[startup+0.30037 s]
/proc/loadavg: 1.92 2.00 2.04 2/187 18007
/proc/meminfo: memFree=31097544/32770624 swapFree=0/380012
[pid=18007] ppid=18004 vsize=82168 CPUtime=0.24 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 14652 0 0 0 23 1 0 0 20 0 1 0 45889998 84140032 14278 18446744073709551615 4194304 4832315 140721532592608 140721532590184 139957292907493 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 20542 14278 533 156 0 14184 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 82168
[startup+0.700336 s]
/proc/loadavg: 1.92 2.00 2.04 2/187 18007
/proc/meminfo: memFree=31097544/32770624 swapFree=0/380012
[pid=18007] ppid=18004 vsize=243076 CPUtime=0.64 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 54889 0 0 0 58 6 0 0 20 0 1 0 45889998 248909824 54472 18446744073709551615 4194304 4832315 140721532592608 140721532590184 139957292907493 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 60769 54472 533 156 0 54411 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 243076
[startup+1.50034 s]
/proc/loadavg: 1.92 2.00 2.04 3/189 18014
/proc/meminfo: memFree=30429068/32770624 swapFree=0/380056
[pid=18007] ppid=18004 vsize=491100 CPUtime=1.43 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 117482 0 0 0 130 13 0 0 20 0 1 0 45889998 502886400 116580 18446744073709551615 4194304 4832315 140721532592608 140721532586712 139957292907493 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 122775 116580 533 156 0 116417 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 491100
[startup+3.10035 s]
/proc/loadavg: 1.93 2.00 2.04 3/189 18014
/proc/meminfo: memFree=30054968/32770624 swapFree=0/380056
[pid=18007] ppid=18004 vsize=732228 CPUtime=3.03 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 285215 0 0 0 279 24 0 0 20 0 1 0 45889998 749801472 177045 18446744073709551615 4194304 4832315 140721532592608 140721532586712 4312437 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177045 571 156 0 176699 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 732228
[startup+6.30036 s]
/proc/loadavg: 1.93 2.00 2.04 3/189 18014
/proc/meminfo: memFree=30055596/32770624 swapFree=0/380072
[pid=18007] ppid=18004 vsize=732228 CPUtime=6.24 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 497890 0 0 0 591 33 0 0 20 0 1 0 45889998 749801472 177046 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4299576 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177046 572 156 0 176699 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 732228
[startup+12.7004 s]
/proc/loadavg: 1.87 1.99 2.03 3/190 18016
/proc/meminfo: memFree=30054920/32770624 swapFree=0/380072
[pid=18007] ppid=18004 vsize=732228 CPUtime=12.64 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 698153 0 0 0 1221 43 0 0 20 0 1 0 45889998 749801472 177046 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312574 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177046 572 156 0 176699 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 732228
[startup+25.5004 s]
/proc/loadavg: 1.96 2.00 2.04 3/190 18016
/proc/meminfo: memFree=30055168/32770624 swapFree=0/380072
[pid=18007] ppid=18004 vsize=732228 CPUtime=25.44 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 879708 0 0 0 2493 51 0 0 20 0 1 0 45889998 749801472 177046 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4299580 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177046 572 156 0 176699 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 732228
[startup+51.1004 s]
/proc/loadavg: 2.05 2.02 2.05 3/190 18080
/proc/meminfo: memFree=30276556/32770624 swapFree=0/380380
[pid=18007] ppid=18004 vsize=732228 CPUtime=51.04 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1095851 0 0 0 5044 60 0 0 20 0 1 0 45889998 749801472 177046 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312632 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177046 572 156 0 176699 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 732228
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 18081
/proc/meminfo: memFree=30276996/32770624 swapFree=0/380388
[pid=18007] ppid=18004 vsize=732228 CPUtime=102.25 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1318610 0 0 0 10155 70 0 0 20 0 1 0 45889998 749801472 177046 18446744073709551615 4194304 4832315 140721532592608 140721532590328 139957292904975 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177046 572 156 0 176699 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 732228
[startup+162.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/186 18083
/proc/meminfo: memFree=30277668/32770624 swapFree=0/380412
[pid=18007] ppid=18004 vsize=732228 CPUtime=162.24 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1475137 0 0 0 16149 75 0 0 20 0 1 0 45889998 749801472 177046 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312632 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177046 572 156 0 176699 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 732228
[startup+222.306 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 18085
/proc/meminfo: memFree=30277992/32770624 swapFree=0/380440
[pid=18007] ppid=18004 vsize=732228 CPUtime=222.25 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1596239 0 0 0 22145 80 0 0 20 0 1 0 45889998 749801472 177046 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312440 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177046 572 156 0 176699 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 732228
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 18087
/proc/meminfo: memFree=30276908/32770624 swapFree=0/380472
[pid=18007] ppid=18004 vsize=732228 CPUtime=282.24 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1692783 0 0 0 28140 84 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4299576 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 732228
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 18090
/proc/meminfo: memFree=30277076/32770624 swapFree=0/380500
[pid=18007] ppid=18004 vsize=732228 CPUtime=342.24 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1757606 0 0 0 34137 87 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312440 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 732228
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 18092
/proc/meminfo: memFree=30276608/32770624 swapFree=0/380528
[pid=18007] ppid=18004 vsize=732228 CPUtime=402.23 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1800023 0 0 0 40134 89 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312632 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 732228
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 18094
/proc/meminfo: memFree=30276520/32770624 swapFree=0/380560
[pid=18007] ppid=18004 vsize=732228 CPUtime=462.23 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1818906 0 0 0 46133 90 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4299576 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 732228
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 18096
/proc/meminfo: memFree=30275816/32770624 swapFree=0/380580
[pid=18007] ppid=18004 vsize=732228 CPUtime=522.23 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1819447 0 0 0 52133 90 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312632 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 732228
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 18099
/proc/meminfo: memFree=30276208/32770624 swapFree=0/380600
[pid=18007] ppid=18004 vsize=732228 CPUtime=582.23 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1819985 0 0 0 58133 90 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312440 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 732228
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/184 18165
/proc/meminfo: memFree=30276524/32770624 swapFree=0/380952
[pid=18007] ppid=18004 vsize=732228 CPUtime=1542.27 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1828408 0 0 0 154135 92 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4299576 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 732228
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 18169
/proc/meminfo: memFree=30276916/32770624 swapFree=0/380968
[pid=18007] ppid=18004 vsize=732228 CPUtime=1602.27 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1828932 0 0 0 160135 92 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4299576 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 732228
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 18171
/proc/meminfo: memFree=30276428/32770624 swapFree=0/380996
[pid=18007] ppid=18004 vsize=732228 CPUtime=1662.27 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1829470 0 0 0 166135 92 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 139957292899950 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 732228
[startup+1722.3 s]
/proc/loadavg: 2.14 2.07 2.06 3/186 18174
/proc/meminfo: memFree=30276460/32770624 swapFree=0/381032
[pid=18007] ppid=18004 vsize=732228 CPUtime=1722.27 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1829980 0 0 0 172135 92 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312440 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 732228
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/186 18176
/proc/meminfo: memFree=30276096/32770624 swapFree=0/381056
[pid=18007] ppid=18004 vsize=732228 CPUtime=1782.27 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1830490 0 0 0 178135 92 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312632 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 732228
[startup+1842.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/189 18192
/proc/meminfo: memFree=30272588/32770624 swapFree=0/381084
[pid=18007] ppid=18004 vsize=732228 CPUtime=1842.27 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1831013 0 0 0 184135 92 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312632 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 1842.27
Current children cumulated vsize (KiB) 732228
[startup+1902.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 18218
/proc/meminfo: memFree=30271092/32770624 swapFree=0/381128
[pid=18007] ppid=18004 vsize=732228 CPUtime=1902.27 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1831551 0 0 0 190135 92 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 139957292916601 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 1902.27
Current children cumulated vsize (KiB) 732228
[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 18220
/proc/meminfo: memFree=30274520/32770624 swapFree=0/381160
[pid=18007] ppid=18004 vsize=732228 CPUtime=1962.27 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1832061 0 0 0 196135 92 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 139957292905277 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 1962.27
Current children cumulated vsize (KiB) 732228
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 18223
/proc/meminfo: memFree=30275952/32770624 swapFree=0/381180
[pid=18007] ppid=18004 vsize=732228 CPUtime=2022.27 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1832571 0 0 0 202135 92 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312440 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 2022.27
Current children cumulated vsize (KiB) 732228
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 18226
/proc/meminfo: memFree=30276196/32770624 swapFree=0/381204
[pid=18007] ppid=18004 vsize=732228 CPUtime=2082.28 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1833081 0 0 0 208136 92 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312632 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 2082.28
Current children cumulated vsize (KiB) 732228
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 18228
/proc/meminfo: memFree=30275956/32770624 swapFree=0/381220
[pid=18007] ppid=18004 vsize=732228 CPUtime=2142.28 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1833591 0 0 0 214136 92 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312589 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 2142.28
Current children cumulated vsize (KiB) 732228
[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 18230
/proc/meminfo: memFree=30276088/32770624 swapFree=0/381240
[pid=18007] ppid=18004 vsize=732228 CPUtime=2202.29 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1834129 0 0 0 220136 93 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312622 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 732228
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 18232
/proc/meminfo: memFree=30275944/32770624 swapFree=0/381260
[pid=18007] ppid=18004 vsize=732228 CPUtime=2262.29 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1834639 0 0 0 226136 93 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4299576 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 2262.29
Current children cumulated vsize (KiB) 732228
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 18235
/proc/meminfo: memFree=30275828/32770624 swapFree=0/381296
[pid=18007] ppid=18004 vsize=732228 CPUtime=2322.29 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1835162 0 0 0 232136 93 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4299576 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 732228
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 18237
/proc/meminfo: memFree=30275296/32770624 swapFree=0/381308
[pid=18007] ppid=18004 vsize=732228 CPUtime=2382.29 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1835672 0 0 0 238136 93 0 0 20 0 1 0 45889998 749801472 177231 18446744073709551615 4194304 4832315 140721532592608 140721532590328 4312632 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177231 572 156 0 176699 0
Current children cumulated CPU time (s) 2382.29
Current children cumulated vsize (KiB) 732228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 18238
/proc/meminfo: memFree=30275436/32770624 swapFree=0/381336
[pid=18007] ppid=18004 vsize=732228 CPUtime=2400.09 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1835912 0 0 0 239916 93 0 0 20 0 1 0 45889998 749801472 177241 18446744073709551615 4194304 4832315 140721532592608 140721532590328 139957292900076 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177241 582 156 0 176699 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 732228
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 18007 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.05 3/185 18238
/proc/meminfo: memFree=30275436/32770624 swapFree=0/381336
[pid=18007] ppid=18004 vsize=732228 CPUtime=2400.09 cores=0,2,4,6
/proc/18007/stat : 18007 (miniBTD) R 18004 18007 15278 0 -1 4202496 1835912 0 0 0 239916 93 0 0 20 0 1 0 45889998 749801472 177241 18446744073709551615 4194304 4832315 140721532592608 140721532590328 139957292900076 0 0 1 0 0 0 0 17 2 0 0 5 0 0 6932504 6936608 36225024 140721532600828 140721532600908 140721532600908 140721532604365 0
/proc/18007/statm: 183057 177241 582 156 0 176699 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 732228
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.1
CPU time (s): 2400.1
CPU user time (s): 2399.16
CPU system time (s): 0.937026
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 732228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.16
system time used= 0.937026
maximum resident set size= 710616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1835912
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= 49
involuntary context switches= 608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41329 second user time and 10.1721 second system time
The end