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-4260517-1502248850/watcher-4260517-1502248850 -o /tmp/evaluation-result-4260517-1502248850/solver-4260517-1502248850 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502235469-7074 --watchdog 2580 BTD 2520 HOME/instance-4260517-1502248850.xml
pid=10005
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.80 1.97 2.03 2/180 10008
/proc/meminfo: memFree=31592444/32770624 swapFree=0/270504
[pid=10008] ppid=10005 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10008/stat : 10008 (runsolver) D 10005 10008 6971 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13225798 24240128 107 18446744073709551615 4194304 4338465 140723822538096 140723822535736 140576944304855 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 27951104 140723822538966 140723822539338 140723822539338 140723822542794 0
/proc/10008/statm: 5918 107 54 36 0 2156 0
[startup+0.100166 s]
/proc/loadavg: 1.80 1.97 2.03 2/180 10008
/proc/meminfo: memFree=31592444/32770624 swapFree=0/270504
[pid=10008] ppid=10005 vsize=33888 CPUtime=0.05 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 1192 0 0 0 5 0 0 0 20 0 1 0 13225798 34701312 1036 18446744073709551615 4194304 35031035 140721994521232 140721994521232 7408826 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 8472 1036 231 7529 0 919 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 33888
[startup+0.200293 s]
/proc/loadavg: 1.80 1.97 2.03 2/180 10008
/proc/meminfo: memFree=31592444/32770624 swapFree=0/270504
[pid=10008] ppid=10005 vsize=39504 CPUtime=0.15 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 2617 0 0 0 15 0 0 0 20 0 1 0 13225798 40452096 2439 18446744073709551615 4194304 35031035 140721994521232 140721994521232 7408826 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 9876 2439 231 7529 0 2323 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 39504
[startup+0.300286 s]
/proc/loadavg: 1.80 1.97 2.03 2/180 10008
/proc/meminfo: memFree=31592444/32770624 swapFree=0/270504
[pid=10008] ppid=10005 vsize=45320 CPUtime=0.25 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 4050 0 0 0 25 0 0 0 20 0 1 0 13225798 46407680 3891 18446744073709551615 4194304 35031035 140721994521232 140721994521232 4632139 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 11330 3891 231 7529 0 3777 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 45320
[startup+0.700229 s]
/proc/loadavg: 1.80 1.97 2.03 2/180 10008
/proc/meminfo: memFree=31592444/32770624 swapFree=0/270504
[pid=10008] ppid=10005 vsize=56820 CPUtime=0.64 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 7014 0 0 0 64 0 0 0 20 0 1 0 13225798 58183680 6870 18446744073709551615 4194304 35031035 140721994521232 140721994521232 4445143 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6870 291 7529 0 6652 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 56820
[startup+1.50023 s]
/proc/loadavg: 1.80 1.97 2.03 3/181 10009
/proc/meminfo: memFree=31565276/32770624 swapFree=0/270504
[pid=10008] ppid=10005 vsize=56820 CPUtime=1.44 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 7014 0 0 0 144 0 0 0 20 0 1 0 13225798 58183680 6870 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4445147 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6870 291 7529 0 6652 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 56820
[startup+3.10022 s]
/proc/loadavg: 1.80 1.97 2.03 3/181 10009
/proc/meminfo: memFree=31564456/32770624 swapFree=0/270504
[pid=10008] ppid=10005 vsize=56820 CPUtime=3.04 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 8840 0 0 0 304 0 0 0 20 0 1 0 13225798 58183680 6892 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4445143 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6892 296 7529 0 6652 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 56820
[startup+6.30023 s]
/proc/loadavg: 1.81 1.97 2.03 3/181 10010
/proc/meminfo: memFree=31561656/32770624 swapFree=0/270512
[pid=10008] ppid=10005 vsize=56820 CPUtime=6.24 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 10673 0 0 0 624 0 0 0 20 0 1 0 13225798 58183680 6892 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4445137 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6892 296 7529 0 6652 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 56820
[startup+12.7002 s]
/proc/loadavg: 1.83 1.97 2.03 3/181 10010
/proc/meminfo: memFree=31558068/32770624 swapFree=0/270520
[pid=10008] ppid=10005 vsize=56820 CPUtime=12.64 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12542 0 0 0 1264 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389991 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 56820
[startup+25.5003 s]
/proc/loadavg: 1.87 1.97 2.03 3/181 10010
/proc/meminfo: memFree=31550928/32770624 swapFree=0/270532
[pid=10008] ppid=10005 vsize=56820 CPUtime=25.44 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12587 0 0 0 2544 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389897 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 56820
[startup+51.1003 s]
/proc/loadavg: 1.91 1.97 2.03 3/181 10010
/proc/meminfo: memFree=31536768/32770624 swapFree=0/270540
[pid=10008] ppid=10005 vsize=56820 CPUtime=51.04 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12614 0 0 0 5104 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389995 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 56820
[startup+102.3 s]
/proc/loadavg: 1.96 1.97 2.03 3/181 10012
/proc/meminfo: memFree=31509380/32770624 swapFree=0/270564
[pid=10008] ppid=10005 vsize=56820 CPUtime=102.24 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12638 0 0 0 10224 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390071 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 56820
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/181 10014
/proc/meminfo: memFree=31482760/32770624 swapFree=0/270592
[pid=10008] ppid=10005 vsize=56820 CPUtime=162.23 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12662 0 0 0 16223 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389929 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 56820
[startup+222.306 s]
/proc/loadavg: 1.99 1.99 2.03 3/185 10031
/proc/meminfo: memFree=31453540/32770624 swapFree=0/270648
[pid=10008] ppid=10005 vsize=56820 CPUtime=222.22 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12685 0 0 0 22222 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390071 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 56820
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 10033
/proc/meminfo: memFree=31431956/32770624 swapFree=0/270676
[pid=10008] ppid=10005 vsize=56820 CPUtime=282.21 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12708 0 0 0 28221 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389573 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 56820
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 10035
/proc/meminfo: memFree=31414508/32770624 swapFree=0/270720
[pid=10008] ppid=10005 vsize=56820 CPUtime=342.21 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12731 0 0 0 34221 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390071 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 56820
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 10037
/proc/meminfo: memFree=31393924/32770624 swapFree=0/270756
[pid=10008] ppid=10005 vsize=56820 CPUtime=402.2 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12754 0 0 0 40220 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390071 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 56820
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 10039
/proc/meminfo: memFree=31376316/32770624 swapFree=0/270784
[pid=10008] ppid=10005 vsize=56820 CPUtime=462.19 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12777 0 0 0 46219 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390071 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 56820
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 10041
/proc/meminfo: memFree=31359220/32770624 swapFree=0/270812
[pid=10008] ppid=10005 vsize=56820 CPUtime=522.19 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12800 0 0 0 52219 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390110 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 56820
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 10043
/proc/meminfo: memFree=31342952/32770624 swapFree=0/270840
[pid=10008] ppid=10005 vsize=56820 CPUtime=582.18 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 12823 0 0 0 58218 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389890 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 56820
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 10108
/proc/meminfo: memFree=31126520/32770624 swapFree=0/271444
[pid=10008] ppid=10005 vsize=56820 CPUtime=1602.07 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13231 0 0 0 160207 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389991 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 56820
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 10171
/proc/meminfo: memFree=31756460/32770624 swapFree=0/271572
[pid=10008] ppid=10005 vsize=56820 CPUtime=1662.07 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13254 0 0 0 166207 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390000 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 56820
[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 10173
/proc/meminfo: memFree=31754508/32770624 swapFree=0/271500
[pid=10008] ppid=10005 vsize=56820 CPUtime=1722.06 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13277 0 0 0 172206 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389965 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 56820
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 10175
/proc/meminfo: memFree=31754416/32770624 swapFree=0/271548
[pid=10008] ppid=10005 vsize=56820 CPUtime=1782.06 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13300 0 0 0 178206 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389897 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 56820
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 10176
/proc/meminfo: memFree=31754416/32770624 swapFree=0/271564
[pid=10008] ppid=10005 vsize=56820 CPUtime=1842.05 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13325 0 0 0 184205 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390071 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 56820
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 10179
/proc/meminfo: memFree=31754596/32770624 swapFree=0/271604
[pid=10008] ppid=10005 vsize=56820 CPUtime=1902.04 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13349 0 0 0 190204 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389890 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 1902.04
Current children cumulated vsize (KiB) 56820
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 10180
/proc/meminfo: memFree=31754912/32770624 swapFree=0/271620
[pid=10008] ppid=10005 vsize=56820 CPUtime=1962.04 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13374 0 0 0 196204 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390126 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 56820
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 10196
/proc/meminfo: memFree=31749708/32770624 swapFree=0/271672
[pid=10008] ppid=10005 vsize=56820 CPUtime=2022.03 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13399 0 0 0 202203 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389893 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 2022.03
Current children cumulated vsize (KiB) 56820
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 10200
/proc/meminfo: memFree=31750048/32770624 swapFree=0/271704
[pid=10008] ppid=10005 vsize=56820 CPUtime=2082.03 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13424 0 0 0 208203 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389951 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 56820
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 10201
/proc/meminfo: memFree=31754416/32770624 swapFree=0/271748
[pid=10008] ppid=10005 vsize=56820 CPUtime=2142.02 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13449 0 0 0 214202 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390071 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 2142.02
Current children cumulated vsize (KiB) 56820
[startup+2202.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 10203
/proc/meminfo: memFree=31756060/32770624 swapFree=0/271780
[pid=10008] ppid=10005 vsize=56820 CPUtime=2202.02 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13478 0 0 0 220202 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390071 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 2202.02
Current children cumulated vsize (KiB) 56820
[startup+2262.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 10206
/proc/meminfo: memFree=31754928/32770624 swapFree=0/271808
[pid=10008] ppid=10005 vsize=56820 CPUtime=2262.01 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13501 0 0 0 226201 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389893 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 2262.01
Current children cumulated vsize (KiB) 56820
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 10208
/proc/meminfo: memFree=31754736/32770624 swapFree=0/271844
[pid=10008] ppid=10005 vsize=56820 CPUtime=2322 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13524 0 0 0 232200 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389856 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 2322
Current children cumulated vsize (KiB) 56820
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10210
/proc/meminfo: memFree=31754752/32770624 swapFree=0/271876
[pid=10008] ppid=10005 vsize=56820 CPUtime=2382 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13547 0 0 0 238200 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389890 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 2382
Current children cumulated vsize (KiB) 56820
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10212
/proc/meminfo: memFree=31754900/32770624 swapFree=0/271900
[pid=10008] ppid=10005 vsize=56820 CPUtime=2441.99 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13570 0 0 0 244199 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389929 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 2441.99
Current children cumulated vsize (KiB) 56820
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10214
/proc/meminfo: memFree=31754776/32770624 swapFree=0/271928
[pid=10008] ppid=10005 vsize=56820 CPUtime=2501.99 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13593 0 0 0 250199 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4390165 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 2501.99
Current children cumulated vsize (KiB) 56820
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10215
/proc/meminfo: memFree=31755404/32770624 swapFree=0/271952
[pid=10008] ppid=10005 vsize=56820 CPUtime=2519.69 cores=1,3,5,7
/proc/10008/stat : 10008 (BTD) R 10005 10008 6971 0 -1 4202496 13616 0 0 0 251969 0 0 0 20 0 1 0 13225798 58183680 6893 18446744073709551615 4194304 35031035 140721994521232 140721994520104 4389995 0 0 1 0 0 0 0 17 1 0 0 4 0 0 37130264 37226188 62967808 140721994527237 140721994527313 140721994527313 140721994530769 0
/proc/10008/statm: 14205 6893 297 7529 0 6652 0
Current children cumulated CPU time (s) 2519.69
Current children cumulated vsize (KiB) 56820
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 10008 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): 2520
CPU time (s): 2519.7
CPU user time (s): 2519.69
CPU system time (s): 0.008999
CPU usage (%): 99.988
Max. virtual memory (cumulated for all children) (KiB): 56820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.69
system time used= 0.008999
maximum resident set size= 27572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13616
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= 3
involuntary context switches= 1922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47021 second user time and 7.47046 second system time
The end