runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14790 MiB free)
memory of node 1: 16384 MiB (15566 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4264971-1502604830/watcher-4264971-1502604830 -o /tmp/evaluation-result-4264971-1502604830/solver-4264971-1502604830 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502603034-32434 --watchdog 2560 miniBTD 2400 HOME/instance-4264971-1502604830.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1122, runsolver pid=1119
Current StackSize limit: 8192 KiB
[startup+0.100815 s]*
/proc/loadavg: 1.98 2.01 2.04 3/187 1123
/proc/meminfo: memFree=31069616/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=43080 memory=18292 CPUtime=0.09 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 5328 0 0 0 9 0 0 0 20 0 1 0 93570706 44113920 4573 33554432000 4194304 4832229 140729132537568 140729132535144 4233444 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 10770 4573 531 156 0 4412 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43080 KiB
Current children cumulated memory: 18292 KiB
[startup+0.209892 s]*
/proc/loadavg: 1.98 2.01 2.04 3/187 1123
/proc/meminfo: memFree=31053296/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=59944 memory=35188 CPUtime=0.2 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 9554 0 0 0 19 1 0 0 20 0 1 0 93570706 61382656 8797 33554432000 4194304 4832229 140729132537568 140729132535144 4708074 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 14986 8797 531 156 0 8628 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59944 KiB
Current children cumulated memory: 35188 KiB
[startup+0.30963 s]*
/proc/loadavg: 1.98 2.01 2.04 3/187 1123
/proc/meminfo: memFree=31034696/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=79016 memory=54460 CPUtime=0.3 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 14360 0 0 0 28 2 0 0 20 0 1 0 93570706 80912384 13615 33554432000 4194304 4832229 140729132537568 140729132535144 139700379292800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 19754 13615 531 156 0 13396 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79016 KiB
Current children cumulated memory: 54460 KiB
[startup+0.700399 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 1123
/proc/meminfo: memFree=31009212/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=136304 memory=111484 CPUtime=0.68 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 28643 0 0 0 65 3 0 0 20 0 1 0 93570706 139575296 27871 33554432000 4194304 4832229 140729132537568 140729132532920 139700379292800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 34076 27871 531 156 0 27718 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 136304 KiB
Current children cumulated memory: 111484 KiB
[startup+1.50041 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 1123
/proc/meminfo: memFree=30929604/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=257072 memory=232396 CPUtime=1.49 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 58880 0 0 0 142 7 0 0 20 0 1 0 93570706 263241728 58099 33554432000 4194304 4832229 140729132537568 140729132535144 139700379292800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 64268 58099 531 156 0 57910 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 257072 KiB
Current children cumulated memory: 232396 KiB
[startup+3.10957 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 1123
/proc/meminfo: memFree=30633368/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=496332 memory=471932 CPUtime=3.1 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 121656 0 0 0 295 15 0 0 20 0 1 0 93570706 508243968 117983 33554432000 4194304 4832229 140729132537568 140729132535144 139700379292800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 124083 117983 531 156 0 117725 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 496332 KiB
Current children cumulated memory: 471932 KiB
[startup+6.3004 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 1123
/proc/meminfo: memFree=30559104/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527132 CPUtime=6.28 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 307695 0 0 0 604 24 0 0 20 0 1 0 93570706 564142080 131783 33554432000 4194304 4832229 140729132537568 140729132535288 139700364668694 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131783 570 156 0 131372 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527132 KiB
[startup+12.7004 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 1123
/proc/meminfo: memFree=30559300/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527132 CPUtime=12.68 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 491245 0 0 0 1237 31 0 0 20 0 1 0 93570706 564142080 131783 33554432000 4194304 4832229 140729132537568 140729132535288 4312581 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131783 570 156 0 131372 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527132 KiB
[startup+25.5004 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 1123
/proc/meminfo: memFree=30559300/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527132 CPUtime=25.48 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 632076 0 0 0 2510 38 0 0 20 0 1 0 93570706 564142080 131783 33554432000 4194304 4832229 140729132537568 140729132535288 139700364939644 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131783 570 156 0 131372 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527132 KiB
[startup+51.1098 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 1131
/proc/meminfo: memFree=30558548/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527132 CPUtime=51.09 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 764918 0 0 0 5064 45 0 0 20 0 1 0 93570706 564142080 131783 33554432000 4194304 4832229 140729132537568 140729132535288 139700364668726 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131783 570 156 0 131372 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527132 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 1154
/proc/meminfo: memFree=30558556/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527132 CPUtime=102.26 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 961075 0 0 0 10172 54 0 0 20 0 1 0 93570706 564142080 131783 33554432000 4194304 4832229 140729132537568 140729132535288 4312574 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131783 570 156 0 131372 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527132 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 1155
/proc/meminfo: memFree=30558956/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527132 CPUtime=162.25 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 1156423 0 0 0 16162 63 0 0 20 0 1 0 93570706 564142080 131783 33554432000 4194304 4832229 140729132537568 140729132535288 4312584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131783 570 156 0 131372 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527132 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 1156
/proc/meminfo: memFree=30559204/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527132 CPUtime=222.25 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 1352541 0 0 0 22152 73 0 0 20 0 1 0 93570706 564142080 131783 33554432000 4194304 4832229 140729132537568 140729132535288 4312392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131783 570 156 0 131372 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527132 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 1157
/proc/meminfo: memFree=30559096/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527132 CPUtime=282.23 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 1547897 0 0 0 28142 81 0 0 20 0 1 0 93570706 564142080 131783 33554432000 4194304 4832229 140729132537568 140729132535288 4312584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131783 570 156 0 131372 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527132 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 1158
/proc/meminfo: memFree=30559112/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527132 CPUtime=342.24 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 1744013 0 0 0 34134 90 0 0 20 0 1 0 93570706 564142080 131783 33554432000 4194304 4832229 140729132537568 140729132535288 4312584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131783 570 156 0 131372 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527132 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 1159
/proc/meminfo: memFree=30558200/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527132 CPUtime=402.23 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 1934255 0 0 0 40124 99 0 0 20 0 1 0 93570706 564142080 131783 33554432000 4194304 4832229 140729132537568 140729132535288 4312420 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131783 570 156 0 131372 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527132 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 1160
/proc/meminfo: memFree=30558368/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527132 CPUtime=462.23 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2071270 0 0 0 46117 106 0 0 20 0 1 0 93570706 564142080 131783 33554432000 4194304 4832229 140729132537568 140729132535288 139700364685215 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131783 570 156 0 131372 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527132 KiB
################
# More data... #
################
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 1602.15 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 1765
/proc/meminfo: memFree=31123232/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=1662.16 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2346886 0 0 0 166090 126 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 4312584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 1662.16 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 1767
/proc/meminfo: memFree=31123112/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=1722.15 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2348335 0 0 0 172089 126 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 4312392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 1768
/proc/meminfo: memFree=31122552/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=1782.15 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2349804 0 0 0 178089 126 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 4312392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 1777
/proc/meminfo: memFree=31121672/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=1842.14 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2351252 0 0 0 184088 126 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 4312392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 1900
/proc/meminfo: memFree=31126984/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=1902.15 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2352721 0 0 0 190088 127 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 139700364673648 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+1962.3 s]
/proc/loadavg: 2.18 2.03 2.05 3/188 2413
/proc/meminfo: memFree=31110736/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=1962.14 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2354168 0 0 0 196087 127 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 4312624 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+2022.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 2477
/proc/meminfo: memFree=30554032/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=2022.14 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2355638 0 0 0 202085 129 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 139700364668599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 2478
/proc/meminfo: memFree=30553908/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=2082.14 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2357085 0 0 0 208085 129 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 4312392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 2479
/proc/meminfo: memFree=30553800/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=2142.13 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2358554 0 0 0 214084 129 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 4312392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2480
/proc/meminfo: memFree=30552744/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=2202.13 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2360002 0 0 0 220083 130 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 4299528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2481
/proc/meminfo: memFree=30553124/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=2262.12 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2361471 0 0 0 226082 130 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 4312392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2482
/proc/meminfo: memFree=30553028/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=2322.13 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2362918 0 0 0 232082 131 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 4312665 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2483
/proc/meminfo: memFree=30553056/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=2382.12 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2364387 0 0 0 238081 131 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 4312392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2484
/proc/meminfo: memFree=30552788/32770624 swapFree=67108860/67108860
[pid=1122] ppid=1119 vsize=550920 memory=527728 CPUtime=2400.02 cores=1,3,5,7
/proc/1122/stat : 1122 (miniBTD) R 1119 1122 32402 0 -1 4202496 2364889 0 0 0 239871 131 0 0 20 0 1 0 93570706 564142080 131932 33554432000 4194304 4832229 140729132537568 140729132535288 139700364668587 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 36073472 140729132545229 140729132545309 140729132545309 140729132548045 0
/proc/1122/statm: 137730 131932 570 156 0 131372 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 550920 KiB
Current children cumulated memory: 527728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 1122 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.71 s, system=1.32192 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.2
CPU time (s): 2400.04
CPU user time (s): 2398.71
CPU system time (s): 1.32192
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 550920
Max. memory (cumulated for all children) (KiB): 527728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.71
system time used= 1.32192
maximum resident set size= 527964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2364889
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= 44
involuntary context switches= 740
# summary of solver processes directly reported to runsolver:
# pid: 1122
# total CPU time (s): 2400.04
# total CPU user time (s): 2398.71
# total CPU system time (s): 1.32192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.57845 second user time and 18.2439 second system time
The end