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 (5919 MiB free)
memory of node 1: 16384 MiB (10606 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289491-1532197750/watcher-4289491-1532197750 -o /tmp/evaluation-result-4289491-1532197750/solver-4289491-1532197750 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532190502-25106 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 470857800 HOME/instance-4289491-1532197750.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
Current StackSize limit: 8192 KiB
solver pid=26022, runsolver pid=26019
[startup+0.100106 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 26023
/proc/meminfo: memFree=16921500/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=29580 memory=3740 CPUtime=0.1 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 1162 0 0 0 10 0 0 0 20 0 1 0 37338183 30289920 935 33554432000 4194304 7498468 140730144635952 140730144632952 139855835402143 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 7395 935 665 807 0 386 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29580 KiB
Current children cumulated memory: 3740 KiB
[startup+0.209461 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 26023
/proc/meminfo: memFree=16921128/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=29904 memory=4176 CPUtime=0.21 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 1286 0 0 0 21 0 0 0 20 0 1 0 37338183 30621696 1044 33554432000 4194304 7498468 140730144635952 140730144632952 139855835392997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 7476 1044 665 807 0 467 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29904 KiB
Current children cumulated memory: 4176 KiB
[startup+0.309056 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 26023
/proc/meminfo: memFree=16920384/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=30960 memory=5492 CPUtime=0.31 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 1600 0 0 0 31 0 0 0 20 0 1 0 37338183 31703040 1373 33554432000 4194304 7498468 140730144635952 140730144632952 139855835392997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 7740 1373 694 807 0 731 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30960 KiB
Current children cumulated memory: 5492 KiB
[startup+0.700262 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26023
/proc/meminfo: memFree=16914060/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=43528 memory=17900 CPUtime=0.69 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 4718 0 0 0 69 0 0 0 20 0 1 0 37338183 44572672 4475 33554432000 4194304 7498468 140730144635952 140730144632952 139855835392997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 10882 4475 694 807 0 3873 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43528 KiB
Current children cumulated memory: 17900 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26023
/proc/meminfo: memFree=16898196/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=68700 memory=43132 CPUtime=1.49 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 11142 0 0 0 148 1 0 0 20 0 1 0 37338183 70348800 10783 33554432000 4194304 7498468 140730144635952 140730144626968 6002778 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 17175 10783 694 807 0 10166 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 68700 KiB
Current children cumulated memory: 43132 KiB
[startup+3.10947 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26023
/proc/meminfo: memFree=16840376/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=113100 memory=87652 CPUtime=3.1 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 23039 0 0 0 308 2 0 0 20 0 1 0 37338183 115814400 21913 33554432000 4194304 7498468 140730144635952 140730144626856 4564424 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 28275 21913 694 807 0 21266 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 113100 KiB
Current children cumulated memory: 87652 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26023
/proc/meminfo: memFree=16762508/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=194904 memory=169136 CPUtime=6.29 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 59059 0 0 0 624 5 0 0 20 0 1 0 37338183 199581696 42284 33554432000 4194304 7498468 140730144635952 140730144626856 5889615 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 48726 42284 694 807 0 41717 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 194904 KiB
Current children cumulated memory: 169136 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26023
/proc/meminfo: memFree=16723076/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202500 CPUtime=12.69 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 110797 0 0 0 1262 7 0 0 20 0 1 0 37338183 233189376 50625 33554432000 4194304 7498468 140730144635952 140730144631304 5161513 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50625 758 807 0 49922 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202500 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26023
/proc/meminfo: memFree=16722952/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202504 CPUtime=25.49 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 188551 0 0 0 2539 10 0 0 20 0 1 0 37338183 233189376 50626 33554432000 4194304 7498468 140730144635952 140730144631304 4378930 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50626 759 807 0 49922 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202504 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 26030
/proc/meminfo: memFree=16720988/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202504 CPUtime=51.09 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 223712 0 0 0 5098 11 0 0 20 0 1 0 37338183 233189376 50626 33554432000 4194304 7498468 140730144635952 140730144631304 5161526 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50626 759 807 0 49922 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202504 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 26032
/proc/meminfo: memFree=16721076/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202504 CPUtime=102.24 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 251068 0 0 0 10212 12 0 0 20 0 1 0 37338183 233189376 50626 33554432000 4194304 7498468 140730144635952 140730144631304 5161502 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50626 759 807 0 49922 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202504 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 26033
/proc/meminfo: memFree=16720928/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=162.2 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 261983 0 0 0 16207 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 4580304 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 26034
/proc/meminfo: memFree=16721796/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=222.2 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 262731 0 0 0 22207 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 4580275 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 26035
/proc/meminfo: memFree=16721796/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=282.2 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 263389 0 0 0 28207 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5161526 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 26036
/proc/meminfo: memFree=16721548/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=342.21 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 264344 0 0 0 34208 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5574588 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+402.3 s]
/proc/loadavg: 2.11 2.07 2.05 3/187 26037
/proc/meminfo: memFree=16721928/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=402.21 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 264351 0 0 0 40208 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 4252768 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+462.3 s]
/proc/loadavg: 2.15 2.10 2.06 3/187 26038
/proc/meminfo: memFree=16721928/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=462.21 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 265242 0 0 0 46208 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5609368 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
################
# More data... #
################
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 1662.25 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26076
/proc/meminfo: memFree=16722488/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=1722.25 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 277445 0 0 0 172212 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 4580366 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26078
/proc/meminfo: memFree=16722352/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=1782.25 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 277462 0 0 0 178212 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5161526 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26079
/proc/meminfo: memFree=16722600/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=1842.25 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 278292 0 0 0 184212 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5574915 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 26089
/proc/meminfo: memFree=16722640/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=1902.26 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 278887 0 0 0 190213 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5161733 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+1962.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/190 26113
/proc/meminfo: memFree=16722064/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=1962.26 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 279489 0 0 0 196213 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5585459 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+2022.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/190 26114
/proc/meminfo: memFree=16722412/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=2022.26 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 280085 0 0 0 202213 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5585442 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/190 26115
/proc/meminfo: memFree=16722188/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=2082.26 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 280085 0 0 0 208213 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5161586 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 26116
/proc/meminfo: memFree=16722064/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=2142.26 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 280681 0 0 0 214213 13 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5161513 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 26117
/proc/meminfo: memFree=16722344/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=2202.27 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 281277 0 0 0 220213 14 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 4319848 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26118
/proc/meminfo: memFree=16721864/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=2262.28 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 281867 0 0 0 226214 14 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 4245328 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26119
/proc/meminfo: memFree=16721864/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=2322.28 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 282457 0 0 0 232214 14 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5573924 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26181
/proc/meminfo: memFree=16683348/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=2382.28 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 283053 0 0 0 238214 14 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5161733 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26181
/proc/meminfo: memFree=16683348/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=2400.09 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 283053 0 0 0 239995 14 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5575363 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 26022 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.96 s, system=0.141003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26181
/proc/meminfo: memFree=16683348/32770624 swapFree=67108860/67108860
[pid=26022] ppid=26019 vsize=227724 memory=202568 CPUtime=2400.09 cores=1,3,5,7
/proc/26022/stat : 26022 (MistralXCSP) R 26019 26022 25074 0 -1 4202496 283053 0 0 0 239995 14 0 0 20 0 1 0 37338183 233189376 50642 33554432000 4194304 7498468 140730144635952 140730144631304 5575363 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 34168832 140730144642158 140730144642307 140730144642307 140730144645065 0
/proc/26022/statm: 56931 50642 759 807 0 49922 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 227724 KiB
Current children cumulated memory: 202568 KiB
Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.1
CPU user time (s): 2399.96
CPU system time (s): 0.141003
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 227724
Max. memory (cumulated for all children) (KiB): 202568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.96
system time used= 0.141003
maximum resident set size= 202588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283088
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= 96
involuntary context switches= 717
# summary of solver processes directly reported to runsolver:
# pid: 26022
# total CPU time (s): 2400.1
# total CPU user time (s): 2399.96
# total CPU system time (s): 0.141003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9252 second user time and 16.6892 second system time
The end