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-4260459-1502241262/watcher-4260459-1502241262 -o /tmp/evaluation-result-4260459-1502241262/solver-4260459-1502241262 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502235469-7074 --watchdog 2580 BTD 2520 HOME/instance-4260459-1502241262.xml
pid=8034
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: 2.00 2.01 2.00 2/184 8037
/proc/meminfo: memFree=31793120/32770624 swapFree=0/264044
[pid=8037] ppid=8034 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8037/stat : 8037 (runsolver) D 8034 8037 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12466944 24240128 106 18446744073709551615 4194304 4338465 140721761130448 140721761128088 140068663317207 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 28766208 140721761136854 140721761137226 140721761137226 140721761140682 0
/proc/8037/statm: 5918 106 53 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 2.00 2.01 2.00 2/184 8037
/proc/meminfo: memFree=31793120/32770624 swapFree=0/264044
[pid=8037] ppid=8034 vsize=31016 CPUtime=0.02 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 500 0 0 0 2 0 0 0 20 0 1 0 12466944 31760384 365 18446744073709551615 4194304 35031035 140722543248352 140722543248352 4208995 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 7754 365 229 7529 0 201 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 31016
[startup+0.200255 s]
/proc/loadavg: 2.00 2.01 2.00 2/184 8037
/proc/meminfo: memFree=31793120/32770624 swapFree=0/264044
[pid=8037] ppid=8034 vsize=32440 CPUtime=0.12 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 851 0 0 0 12 0 0 0 20 0 1 0 12466944 33218560 728 18446744073709551615 4194304 35031035 140722543248352 140722543248352 4207907 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 8110 728 231 7529 0 557 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 32440
[startup+0.300246 s]
/proc/loadavg: 2.00 2.01 2.00 2/184 8037
/proc/meminfo: memFree=31793120/32770624 swapFree=0/264044
[pid=8037] ppid=8034 vsize=33756 CPUtime=0.22 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 1176 0 0 0 22 0 0 0 20 0 1 0 12466944 34566144 1052 18446744073709551615 4194304 35031035 140722543248352 140722543244312 4207325 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 8439 1052 231 7529 0 886 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 33756
[startup+0.700217 s]
/proc/loadavg: 2.00 2.01 2.00 2/184 8037
/proc/meminfo: memFree=31793120/32770624 swapFree=0/264044
[pid=8037] ppid=8034 vsize=39280 CPUtime=0.62 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 2545 0 0 0 62 0 0 0 20 0 1 0 12466944 40222720 2383 18446744073709551615 4194304 35031035 140722543248352 140722543244312 4208208 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 9820 2383 231 7529 0 2267 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 39280
[startup+1.50022 s]
/proc/loadavg: 1.92 2.00 1.99 3/185 8038
/proc/meminfo: memFree=31751668/32770624 swapFree=0/264072
[pid=8037] ppid=8034 vsize=71840 CPUtime=1.41 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 10806 0 0 0 140 1 0 0 20 0 1 0 12466944 73564160 10657 18446744073709551615 4194304 35031035 140722543248352 140722543246904 4293352 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 17960 10657 324 7529 0 10407 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 71840
[startup+3.10024 s]
/proc/loadavg: 1.92 2.00 1.99 3/185 8038
/proc/meminfo: memFree=31751048/32770624 swapFree=0/264072
[pid=8037] ppid=8034 vsize=72104 CPUtime=3.01 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 10875 0 0 0 300 1 0 0 20 0 1 0 12466944 73834496 10717 18446744073709551615 4194304 35031035 140722543248352 140722543246904 4293304 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 18026 10717 324 7529 0 10473 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 72104
[startup+6.30021 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 8038
/proc/meminfo: memFree=31739040/32770624 swapFree=0/264072
[pid=8037] ppid=8034 vsize=72764 CPUtime=6.21 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 11323 0 0 0 620 1 0 0 20 0 1 0 12466944 74510336 10883 18446744073709551615 4194304 35031035 140722543248352 140722543246904 4293293 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 18191 10883 325 7529 0 10638 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 72764
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 8039
/proc/meminfo: memFree=31748780/32770624 swapFree=0/264080
[pid=8037] ppid=8034 vsize=73820 CPUtime=12.61 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 11764 0 0 0 1260 1 0 0 20 0 1 0 12466944 75591680 11131 18446744073709551615 4194304 35031035 140722543248352 140722543246904 4293343 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 18455 11131 325 7529 0 10902 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 73820
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 8039
/proc/meminfo: memFree=31746560/32770624 swapFree=0/264104
[pid=8037] ppid=8034 vsize=76064 CPUtime=25.4 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 12569 0 0 0 2539 1 0 0 20 0 1 0 12466944 77889536 11722 18446744073709551615 4194304 35031035 140722543248352 140722543246904 7408826 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 19016 11722 325 7529 0 11463 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 76064
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 8039
/proc/meminfo: memFree=31742096/32770624 swapFree=0/264112
[pid=8037] ppid=8034 vsize=80684 CPUtime=51 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 13854 0 0 0 5099 1 0 0 20 0 1 0 12466944 82620416 12836 18446744073709551615 4194304 35031035 140722543248352 140722543246904 4300364 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 20171 12836 325 7529 0 12618 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 80684
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/186 8066
/proc/meminfo: memFree=31693892/32770624 swapFree=0/264192
[pid=8037] ppid=8034 vsize=128992 CPUtime=102.2 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 25749 0 0 0 10218 2 0 0 20 0 1 0 12466944 132087808 24252 18446744073709551615 4194304 35031035 140722543248352 140722543246552 4296763 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32248 24252 338 7529 0 24695 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 128992
[startup+162.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/183 8068
/proc/meminfo: memFree=31695136/32770624 swapFree=0/264224
[pid=8037] ppid=8034 vsize=131896 CPUtime=162.2 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 30913 0 0 0 16217 3 0 0 20 0 1 0 12466944 135061504 25219 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4293678 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25219 338 7529 0 25421 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 131896
[startup+222.306 s]
/proc/loadavg: 1.98 2.00 1.99 3/183 8070
/proc/meminfo: memFree=31695996/32770624 swapFree=0/264256
[pid=8037] ppid=8034 vsize=131896 CPUtime=222.2 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 31727 0 0 0 22217 3 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4300344 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 131896
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 8072
/proc/meminfo: memFree=31696132/32770624 swapFree=0/264292
[pid=8037] ppid=8034 vsize=131896 CPUtime=282.2 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 32540 0 0 0 28217 3 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4213184 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 131896
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 8074
/proc/meminfo: memFree=31696156/32770624 swapFree=0/264320
[pid=8037] ppid=8034 vsize=131896 CPUtime=342.2 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 33353 0 0 0 34217 3 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4213328 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 131896
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 8076
/proc/meminfo: memFree=31696520/32770624 swapFree=0/264352
[pid=8037] ppid=8034 vsize=131896 CPUtime=402.2 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 34166 0 0 0 40217 3 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4300339 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 131896
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 8078
/proc/meminfo: memFree=31696520/32770624 swapFree=0/264380
[pid=8037] ppid=8034 vsize=131896 CPUtime=462.2 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 34979 0 0 0 46217 3 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4300339 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 131896
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 8080
/proc/meminfo: memFree=31696652/32770624 swapFree=0/264412
[pid=8037] ppid=8034 vsize=131896 CPUtime=522.21 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 34979 0 0 0 52218 3 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4293678 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 131896
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 8082
/proc/meminfo: memFree=31696156/32770624 swapFree=0/264440
[pid=8037] ppid=8034 vsize=131896 CPUtime=582.21 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 35784 0 0 0 58218 3 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4300312 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 131896
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/181 8206
/proc/meminfo: memFree=31693724/32770624 swapFree=0/265496
[pid=8037] ppid=8034 vsize=131896 CPUtime=1602.23 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 47047 0 0 0 160219 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4300339 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 131896
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 8208
/proc/meminfo: memFree=31693856/32770624 swapFree=0/265532
[pid=8037] ppid=8034 vsize=131896 CPUtime=1662.23 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 47859 0 0 0 166219 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4293279 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 131896
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 8211
/proc/meminfo: memFree=31693848/32770624 swapFree=0/265564
[pid=8037] ppid=8034 vsize=131896 CPUtime=1722.23 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 48670 0 0 0 172219 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4293279 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 131896
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.03 3/181 8213
/proc/meminfo: memFree=31693564/32770624 swapFree=0/265592
[pid=8037] ppid=8034 vsize=131896 CPUtime=1782.23 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 49479 0 0 0 178219 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4300344 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 131896
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/185 8230
/proc/meminfo: memFree=31690156/32770624 swapFree=0/265656
[pid=8037] ppid=8034 vsize=131896 CPUtime=1842.23 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 50285 0 0 0 184219 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4293279 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 131896
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 8232
/proc/meminfo: memFree=31692816/32770624 swapFree=0/265692
[pid=8037] ppid=8034 vsize=131896 CPUtime=1902.24 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 50285 0 0 0 190220 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4300341 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 1902.24
Current children cumulated vsize (KiB) 131896
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 8234
/proc/meminfo: memFree=31693064/32770624 swapFree=0/265724
[pid=8037] ppid=8034 vsize=131896 CPUtime=1962.24 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 51088 0 0 0 196220 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4293343 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 131896
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 8236
/proc/meminfo: memFree=31692940/32770624 swapFree=0/265764
[pid=8037] ppid=8034 vsize=131896 CPUtime=2022.24 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 51890 0 0 0 202220 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4213184 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 131896
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/182 8238
/proc/meminfo: memFree=31693024/32770624 swapFree=0/265788
[pid=8037] ppid=8034 vsize=131896 CPUtime=2082.24 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 51890 0 0 0 208220 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4296400 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 2082.24
Current children cumulated vsize (KiB) 131896
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 8240
/proc/meminfo: memFree=31693544/32770624 swapFree=0/265816
[pid=8037] ppid=8034 vsize=131896 CPUtime=2142.24 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 52691 0 0 0 214220 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4293312 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 131896
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 8242
/proc/meminfo: memFree=31693420/32770624 swapFree=0/265844
[pid=8037] ppid=8034 vsize=131896 CPUtime=2202.24 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 52692 0 0 0 220220 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4293256 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 2202.24
Current children cumulated vsize (KiB) 131896
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 8244
/proc/meminfo: memFree=31693688/32770624 swapFree=0/265872
[pid=8037] ppid=8034 vsize=131896 CPUtime=2262.24 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 53494 0 0 0 226220 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4300339 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 2262.24
Current children cumulated vsize (KiB) 131896
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 8246
/proc/meminfo: memFree=31693432/32770624 swapFree=0/265904
[pid=8037] ppid=8034 vsize=131896 CPUtime=2322.24 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 54295 0 0 0 232220 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4293312 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 2322.24
Current children cumulated vsize (KiB) 131896
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 8248
/proc/meminfo: memFree=31693316/32770624 swapFree=0/265932
[pid=8037] ppid=8034 vsize=131896 CPUtime=2382.24 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 55097 0 0 0 238220 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4293678 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 2382.24
Current children cumulated vsize (KiB) 131896
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/184 8325
/proc/meminfo: memFree=31433972/32770624 swapFree=0/266048
[pid=8037] ppid=8034 vsize=131896 CPUtime=2442.24 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 55899 0 0 0 244220 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4300312 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 2442.24
Current children cumulated vsize (KiB) 131896
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/181 8327
/proc/meminfo: memFree=31435764/32770624 swapFree=0/266080
[pid=8037] ppid=8034 vsize=131896 CPUtime=2502.25 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 56700 0 0 0 250221 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4300888 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 2502.25
Current children cumulated vsize (KiB) 131896
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.04 3/181 8327
/proc/meminfo: memFree=31436232/32770624 swapFree=0/266088
[pid=8037] ppid=8034 vsize=131896 CPUtime=2519.95 cores=1,3,5,7
/proc/8037/stat : 8037 (BTD) R 8034 8037 6971 0 -1 4202496 57052 0 0 0 251991 4 0 0 20 0 1 0 12466944 135061504 25222 18446744073709551615 4194304 35031035 140722543248352 140722543247352 4293312 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 50241536 140722543251973 140722543252049 140722543252049 140722543255505 0
/proc/8037/statm: 32974 25222 338 7529 0 25421 0
Current children cumulated CPU time (s) 2519.95
Current children cumulated vsize (KiB) 131896
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 8037 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.96
CPU user time (s): 2519.91
CPU system time (s): 0.049
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 131896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.91
system time used= 0.049
maximum resident set size= 100888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57052
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= 20
involuntary context switches= 772
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.90308 second user time and 8.49627 second system time
The end