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 (15061 MiB free)
memory of node 1: 16384 MiB (12108 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265361-1502705161/watcher-4265361-1502705161 -o /tmp/evaluation-result-4265361-1502705161/solver-4265361-1502705161 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21654 --watchdog 2580 BTD 2520 HOME/instance-4265361-1502705161.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5803, runsolver pid=5800
[startup+0.1002 s]*
/proc/loadavg: 2.11 2.04 2.05 3/181 5804
/proc/meminfo: memFree=27820932/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=32772 memory=3052 CPUtime=0.03 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 1054 0 0 0 3 0 0 0 20 0 1 0 72709408 33558528 763 18446744073709551615 4194304 35031035 140736424476336 140736424476336 4641205 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 8193 763 239 7529 0 640 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 32772 KiB
Current children cumulated memory: 3052 KiB
[startup+0.209202 s]*
/proc/loadavg: 2.11 2.04 2.05 3/181 5804
/proc/meminfo: memFree=27801852/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=55480 memory=24636 CPUtime=0.14 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 6884 0 0 0 14 0 0 0 20 0 1 0 72709408 56811520 6159 18446744073709551615 4194304 35031035 140736424476336 140736424476336 6429792 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 13870 6159 252 7529 0 6317 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 55480 KiB
Current children cumulated memory: 24636 KiB
[startup+0.309494 s]*
/proc/loadavg: 2.11 2.04 2.05 3/181 5804
/proc/meminfo: memFree=27790320/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=64692 memory=33876 CPUtime=0.23 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 9190 0 0 0 23 0 0 0 20 0 1 0 72709408 66244608 8469 18446744073709551615 4194304 35031035 140736424476336 140736424476336 4890719 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 16173 8469 252 7529 0 8620 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 64692 KiB
Current children cumulated memory: 33876 KiB
[startup+0.700419 s]
/proc/loadavg: 2.11 2.04 2.05 3/181 5804
/proc/meminfo: memFree=27763784/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=116560 memory=85620 CPUtime=0.61 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 22162 0 0 0 60 1 0 0 20 0 1 0 72709408 119357440 21405 18446744073709551615 4194304 35031035 140736424476336 140736424476336 6429792 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 29140 21405 252 7529 0 21587 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 116560 KiB
Current children cumulated memory: 85620 KiB
[startup+1.50044 s]
/proc/loadavg: 2.11 2.04 2.05 3/181 5804
/proc/meminfo: memFree=27697076/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=223176 memory=192276 CPUtime=1.42 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 48820 0 0 0 136 6 0 0 20 0 1 0 72709408 228532224 48069 18446744073709551615 4194304 35031035 140736424476336 140736424476336 6429792 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 55794 48069 252 7529 0 48241 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 223176 KiB
Current children cumulated memory: 192276 KiB
[startup+3.10954 s]
/proc/loadavg: 2.10 2.04 2.05 3/181 5804
/proc/meminfo: memFree=27439528/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=433116 memory=402452 CPUtime=3.03 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 109139 0 0 0 289 14 0 0 20 0 1 0 72709408 443510784 100613 18446744073709551615 4194304 35031035 140736424476336 140736424473512 7993641 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 108279 100613 252 7529 0 100726 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 433116 KiB
Current children cumulated memory: 402452 KiB
[startup+6.30043 s]
/proc/loadavg: 2.10 2.04 2.05 3/181 5804
/proc/meminfo: memFree=27296144/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=525820 CPUtime=6.21 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 284256 0 0 0 598 23 0 0 20 0 1 0 72709408 569131008 131455 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4376535 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131455 291 7529 0 131395 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 525820 KiB
[startup+12.7004 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 5804
/proc/meminfo: memFree=27296048/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=525820 CPUtime=12.61 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 414818 0 0 0 1232 29 0 0 20 0 1 0 72709408 569131008 131455 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4376535 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131455 291 7529 0 131395 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 525820 KiB
[startup+25.5004 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 5804
/proc/meminfo: memFree=27295868/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=525820 CPUtime=25.42 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 546714 0 0 0 2505 37 0 0 20 0 1 0 72709408 569131008 131455 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4376765 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131455 291 7529 0 131395 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 525820 KiB
[startup+51.1096 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 5805
/proc/meminfo: memFree=27296088/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=525820 CPUtime=51.02 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 741631 0 0 0 5056 46 0 0 20 0 1 0 72709408 569131008 131455 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4376535 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131455 291 7529 0 131395 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 525820 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 5807
/proc/meminfo: memFree=27296516/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=525820 CPUtime=102.21 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 873749 0 0 0 10169 52 0 0 20 0 1 0 72709408 569131008 131455 18446744073709551615 4194304 35031035 140736424476336 140736424475336 7416239 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131455 291 7529 0 131395 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 525820 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 5809
/proc/meminfo: memFree=27296436/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=525820 CPUtime=162.21 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 1004229 0 0 0 16164 57 0 0 20 0 1 0 72709408 569131008 131455 18446744073709551615 4194304 35031035 140736424476336 140736424475336 7398506 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131455 291 7529 0 131395 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 525820 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 5812
/proc/meminfo: memFree=27296200/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=525820 CPUtime=222.21 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 1134721 0 0 0 22159 62 0 0 20 0 1 0 72709408 569131008 131455 18446744073709551615 4194304 35031035 140736424476336 140736424475336 7416224 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131455 291 7529 0 131395 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 525820 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 5814
/proc/meminfo: memFree=27296256/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=525820 CPUtime=282.2 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 1265207 0 0 0 28152 68 0 0 20 0 1 0 72709408 569131008 131455 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4346772 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131455 291 7529 0 131395 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 525820 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5816
/proc/meminfo: memFree=27295996/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=525820 CPUtime=342.2 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 1395693 0 0 0 34145 75 0 0 20 0 1 0 72709408 569131008 131455 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4376729 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131455 291 7529 0 131395 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 525820 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5819
/proc/meminfo: memFree=27296284/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=525820 CPUtime=402.2 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 1526179 0 0 0 40139 81 0 0 20 0 1 0 72709408 569131008 131455 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4376729 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131455 291 7529 0 131395 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 525820 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5821
/proc/meminfo: memFree=27296040/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=525820 CPUtime=462.17 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 1656665 0 0 0 46130 87 0 0 20 0 1 0 72709408 569131008 131455 18446744073709551615 4194304 35031035 140736424476336 140736424475336 7406609 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131455 291 7529 0 131395 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 525820 KiB
################
# More data... #
################
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 1722.03 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 5997
/proc/meminfo: memFree=30225228/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=1782.03 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2173902 0 0 0 178082 121 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4213184 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 1782.03 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5999
/proc/meminfo: memFree=30228624/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=1842.02 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2174871 0 0 0 184081 121 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4376729 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 1842.02 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6001
/proc/meminfo: memFree=30228996/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=1902.02 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2175842 0 0 0 190081 121 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 7405921 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 1902.02 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6003
/proc/meminfo: memFree=30228996/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=1962.01 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2176813 0 0 0 196080 121 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 7415457 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 1962.01 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 6006
/proc/meminfo: memFree=30229012/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=2022 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2177784 0 0 0 202079 121 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4376792 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 2022 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 6008
/proc/meminfo: memFree=30228888/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=2082 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2178756 0 0 0 208078 122 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4376729 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 2082 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 6010
/proc/meminfo: memFree=30229136/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=2141.99 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2179726 0 0 0 214077 122 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4376729 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 2141.99 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 6013
/proc/meminfo: memFree=30229260/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=2201.99 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2180697 0 0 0 220076 123 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4213184 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 2201.99 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 6015
/proc/meminfo: memFree=30229332/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=2261.98 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2181670 0 0 0 226075 123 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4346776 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 2261.98 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 6032
/proc/meminfo: memFree=30225412/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=2321.98 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2182642 0 0 0 232074 124 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 7398587 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 2321.98 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6034
/proc/meminfo: memFree=30225404/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=2381.97 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2183614 0 0 0 238073 124 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 7416231 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 2381.97 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6036
/proc/meminfo: memFree=30228552/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=2441.97 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2184587 0 0 0 244072 125 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 4376729 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 2441.97 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6038
/proc/meminfo: memFree=30228948/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=2501.96 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2185558 0 0 0 250071 125 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 7415332 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 2501.96 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/182 6038
/proc/meminfo: memFree=30229048/32770624 swapFree=67108860/67108860
[pid=5803] ppid=5800 vsize=555792 memory=526416 CPUtime=2519.67 cores=0,2,4,6
/proc/5803/stat : 5803 (BTD) R 5800 5803 17093 0 -1 4202496 2185558 0 0 0 251842 125 0 0 20 0 1 0 72709408 569131008 131604 18446744073709551615 4194304 35031035 140736424476336 140736424475336 7398409 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 52457472 140736424481247 140736424481323 140736424481323 140736424484817 0
/proc/5803/statm: 138948 131604 291 7529 0 131395 0
Current children cumulated CPU time: 2519.67 s
Current children cumulated vsize: 555792 KiB
Current children cumulated memory: 526416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 5803 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.42 s, system=1.25888 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): 2520.01
CPU time (s): 2519.68
CPU user time (s): 2518.42
CPU system time (s): 1.25888
CPU usage (%): 99.9869
Max. virtual memory (cumulated for all children) (KiB): 555792
Max. memory (cumulated for all children) (KiB): 526416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.42
system time used= 1.25888
maximum resident set size= 526592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2185558
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= 29
involuntary context switches= 2957
# summary of solver processes directly reported to runsolver:
# pid: 5803
# total CPU time (s): 2519.68
# total CPU user time (s): 2518.42
# total CPU system time (s): 1.25888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.92957 second user time and 18.3135 second system time
The end