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-4239765-1500633404/watcher-4239765-1500633404 -o /tmp/evaluation-result-4239765-1500633404/solver-4239765-1500633404 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500623787-4639 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 813064556 HOME/instance-4239765-1500633404.xml
pid=6004
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6007
/proc/meminfo: memFree=31496640/32770624 swapFree=6256/333416
[pid=6007] ppid=6004 vsize=28804 CPUtime=0 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 1022 0 0 0 0 0 0 0 20 0 1 0 16619314 29495296 802 33554432000 4194304 7402444 140733448147712 140733448144760 6086652 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 7201 802 618 784 0 215 0
[startup+0.100173 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6007
/proc/meminfo: memFree=31496640/32770624 swapFree=6256/333416
[pid=6007] ppid=6004 vsize=28932 CPUtime=0.09 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 1101 0 0 0 9 0 0 0 20 0 1 0 16619314 29626368 868 33554432000 4194304 7402444 140733448147712 140733448138408 6029240 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 7233 868 678 784 0 247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28932
[startup+0.200344 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6007
/proc/meminfo: memFree=31496640/32770624 swapFree=6256/333416
[pid=6007] ppid=6004 vsize=28932 CPUtime=0.19 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 1123 0 0 0 19 0 0 0 20 0 1 0 16619314 29626368 934 33554432000 4194304 7402444 140733448147712 140733448138408 140007791750117 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 7233 934 722 784 0 247 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28932
[startup+0.300345 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6007
/proc/meminfo: memFree=31496640/32770624 swapFree=6256/333416
[pid=6007] ppid=6004 vsize=31252 CPUtime=0.29 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 1741 0 0 0 29 0 0 0 20 0 1 0 16619314 32002048 1512 33554432000 4194304 7402444 140733448147712 140733448142296 5746100 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 7813 1512 760 784 0 827 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31252
[startup+0.700279 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6007
/proc/meminfo: memFree=31496640/32770624 swapFree=6256/333416
[pid=6007] ppid=6004 vsize=31252 CPUtime=0.69 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 1741 0 0 0 69 0 0 0 20 0 1 0 16619314 32002048 1512 33554432000 4194304 7402444 140733448147712 140733448142296 4301622 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 7813 1512 760 784 0 827 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31252
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6008
/proc/meminfo: memFree=31492984/32770624 swapFree=6256/333444
[pid=6007] ppid=6004 vsize=31912 CPUtime=1.49 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 1925 0 0 0 149 0 0 0 20 0 1 0 16619314 32677888 1710 33554432000 4194304 7402444 140733448147712 140733448142728 5750704 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 7978 1710 776 784 0 992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31912
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6008
/proc/meminfo: memFree=31491868/32770624 swapFree=6256/333444
[pid=6007] ppid=6004 vsize=32572 CPUtime=3.09 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 2909 0 0 0 309 0 0 0 20 0 1 0 16619314 33353728 1867 33554432000 4194304 7402444 140733448147712 140733448142056 5758807 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8143 1867 776 784 0 1157 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32572
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6008
/proc/meminfo: memFree=31490356/32770624 swapFree=6256/333452
[pid=6007] ppid=6004 vsize=32836 CPUtime=6.29 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 3892 0 0 0 629 0 0 0 20 0 1 0 16619314 33624064 1951 33554432000 4194304 7402444 140733448147712 140733448142728 4301451 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8209 1951 776 784 0 1223 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32836
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6008
/proc/meminfo: memFree=31490096/32770624 swapFree=6256/333456
[pid=6007] ppid=6004 vsize=32836 CPUtime=12.69 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 4442 0 0 0 1269 0 0 0 20 0 1 0 16619314 33624064 1989 33554432000 4194304 7402444 140733448147712 140733448142728 4301451 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8209 1989 776 784 0 1223 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32836
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6008
/proc/meminfo: memFree=31490468/32770624 swapFree=6256/333468
[pid=6007] ppid=6004 vsize=32836 CPUtime=25.49 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 5505 0 0 0 2549 0 0 0 20 0 1 0 16619314 33624064 1993 33554432000 4194304 7402444 140733448147712 140733448142728 5327208 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8209 1993 776 784 0 1223 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32836
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6008
/proc/meminfo: memFree=31490536/32770624 swapFree=6256/333488
[pid=6007] ppid=6004 vsize=32968 CPUtime=51.08 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 6049 0 0 0 5108 0 0 0 20 0 1 0 16619314 33759232 1996 33554432000 4194304 7402444 140733448147712 140733448142168 4238508 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8242 1996 776 784 0 1256 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32968
[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 6009
/proc/meminfo: memFree=31490288/32770624 swapFree=6256/333520
[pid=6007] ppid=6004 vsize=32968 CPUtime=102.29 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 6595 0 0 0 10229 0 0 0 20 0 1 0 16619314 33759232 1997 33554432000 4194304 7402444 140733448147712 140733448142168 5327250 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8242 1997 776 784 0 1256 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 32968
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 6010
/proc/meminfo: memFree=31490660/32770624 swapFree=6256/333540
[pid=6007] ppid=6004 vsize=32968 CPUtime=162.28 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 7148 0 0 0 16228 0 0 0 20 0 1 0 16619314 33759232 1999 33554432000 4194304 7402444 140733448147712 140733448142168 4238492 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8242 1999 776 784 0 1256 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 32968
[startup+222.306 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 6018
/proc/meminfo: memFree=31489256/32770624 swapFree=6256/333572
[pid=6007] ppid=6004 vsize=32968 CPUtime=222.28 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 7713 0 0 0 22228 0 0 0 20 0 1 0 16619314 33759232 2013 33554432000 4194304 7402444 140733448147712 140733448142168 5871069 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8242 2013 776 784 0 1256 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 32968
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 6019
/proc/meminfo: memFree=31489156/32770624 swapFree=6256/333596
[pid=6007] ppid=6004 vsize=32968 CPUtime=282.27 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 8271 0 0 0 28227 0 0 0 20 0 1 0 16619314 33759232 2014 33554432000 4194304 7402444 140733448147712 140733448142168 5877655 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8242 2014 776 784 0 1256 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 32968
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6020
/proc/meminfo: memFree=31489536/32770624 swapFree=6256/333612
[pid=6007] ppid=6004 vsize=32968 CPUtime=342.27 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 8829 0 0 0 34227 0 0 0 20 0 1 0 16619314 33759232 2015 33554432000 4194304 7402444 140733448147712 140733448142168 5878228 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8242 2015 776 784 0 1256 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 32968
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6021
/proc/meminfo: memFree=31489800/32770624 swapFree=6256/333644
[pid=6007] ppid=6004 vsize=32968 CPUtime=402.27 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 9389 0 0 0 40227 0 0 0 20 0 1 0 16619314 33759232 2016 33554432000 4194304 7402444 140733448147712 140733448142168 4537279 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8242 2016 776 784 0 1256 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 32968
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6022
/proc/meminfo: memFree=31489568/32770624 swapFree=6256/333664
[pid=6007] ppid=6004 vsize=32968 CPUtime=462.27 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 9951 0 0 0 46227 0 0 0 20 0 1 0 16619314 33759232 2017 33554432000 4194304 7402444 140733448147712 140733448142168 4747208 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8242 2017 776 784 0 1256 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 32968
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6023
/proc/meminfo: memFree=31489568/32770624 swapFree=6256/333684
[pid=6007] ppid=6004 vsize=32968 CPUtime=522.26 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 10507 0 0 0 52226 0 0 0 20 0 1 0 16619314 33759232 2018 33554432000 4194304 7402444 140733448147712 140733448142168 4301214 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8242 2018 776 784 0 1256 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 32968
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6024
/proc/meminfo: memFree=31489460/32770624 swapFree=6256/333708
[pid=6007] ppid=6004 vsize=32968 CPUtime=582.26 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 11071 0 0 0 58226 0 0 0 20 0 1 0 16619314 33759232 2018 33554432000 4194304 7402444 140733448147712 140733448142168 4301856 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8242 2018 776 784 0 1256 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 32968
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6080
/proc/meminfo: memFree=31488284/32770624 swapFree=6256/334152
[pid=6007] ppid=6004 vsize=33232 CPUtime=1482.22 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 20231 0 0 0 148222 0 0 0 20 0 1 0 16619314 34029568 2076 33554432000 4194304 7402444 140733448147712 140733448142728 5871085 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2076 776 784 0 1322 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 33232
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6081
/proc/meminfo: memFree=31488892/32770624 swapFree=6256/334172
[pid=6007] ppid=6004 vsize=33232 CPUtime=1542.23 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 20850 0 0 0 154222 1 0 0 20 0 1 0 16619314 34029568 2076 33554432000 4194304 7402444 140733448147712 140733448142728 4301211 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2076 776 784 0 1322 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 33232
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6082
/proc/meminfo: memFree=31488696/32770624 swapFree=6256/334208
[pid=6007] ppid=6004 vsize=33232 CPUtime=1602.22 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 21468 0 0 0 160221 1 0 0 20 0 1 0 16619314 34029568 2076 33554432000 4194304 7402444 140733448147712 140733448142728 4747176 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2076 776 784 0 1322 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 33232
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6083
/proc/meminfo: memFree=31488696/32770624 swapFree=6256/334228
[pid=6007] ppid=6004 vsize=33232 CPUtime=1662.22 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 22082 0 0 0 166221 1 0 0 20 0 1 0 16619314 34029568 2076 33554432000 4194304 7402444 140733448147712 140733448142728 5758845 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2076 776 784 0 1322 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 33232
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6084
/proc/meminfo: memFree=31488836/32770624 swapFree=6256/334252
[pid=6007] ppid=6004 vsize=33232 CPUtime=1722.22 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 22696 0 0 0 172221 1 0 0 20 0 1 0 16619314 34029568 2076 33554432000 4194304 7402444 140733448147712 140733448142728 5758845 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2076 776 784 0 1322 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 33232
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6085
/proc/meminfo: memFree=31488720/32770624 swapFree=6256/334280
[pid=6007] ppid=6004 vsize=33232 CPUtime=1782.21 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 23311 0 0 0 178220 1 0 0 20 0 1 0 16619314 34029568 2076 33554432000 4194304 7402444 140733448147712 140733448142728 5327204 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2076 776 784 0 1322 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 33232
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6086
/proc/meminfo: memFree=31488472/32770624 swapFree=6256/334296
[pid=6007] ppid=6004 vsize=33232 CPUtime=1842.21 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 23926 0 0 0 184220 1 0 0 20 0 1 0 16619314 34029568 2076 33554432000 4194304 7402444 140733448147712 140733448142728 5871010 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2076 776 784 0 1322 0
Current children cumulated CPU time (s) 1842.21
Current children cumulated vsize (KiB) 33232
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6087
/proc/meminfo: memFree=31488348/32770624 swapFree=6256/334316
[pid=6007] ppid=6004 vsize=33232 CPUtime=1902.21 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 24542 0 0 0 190220 1 0 0 20 0 1 0 16619314 34029568 2076 33554432000 4194304 7402444 140733448147712 140733448142728 4238492 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2076 776 784 0 1322 0
Current children cumulated CPU time (s) 1902.21
Current children cumulated vsize (KiB) 33232
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6088
/proc/meminfo: memFree=31489752/32770624 swapFree=6256/334340
[pid=6007] ppid=6004 vsize=33232 CPUtime=1962.2 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 25161 0 0 0 196219 1 0 0 20 0 1 0 16619314 34029568 2076 33554432000 4194304 7402444 140733448147712 140733448142728 5327213 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2076 776 784 0 1322 0
Current children cumulated CPU time (s) 1962.2
Current children cumulated vsize (KiB) 33232
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6098
/proc/meminfo: memFree=31488292/32770624 swapFree=6256/334376
[pid=6007] ppid=6004 vsize=33232 CPUtime=2022.2 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 25771 0 0 0 202219 1 0 0 20 0 1 0 16619314 34029568 2077 33554432000 4194304 7402444 140733448147712 140733448142728 4747338 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2077 776 784 0 1322 0
Current children cumulated CPU time (s) 2022.2
Current children cumulated vsize (KiB) 33232
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6099
/proc/meminfo: memFree=31488436/32770624 swapFree=6256/334392
[pid=6007] ppid=6004 vsize=33232 CPUtime=2082.2 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 26374 0 0 0 208219 1 0 0 20 0 1 0 16619314 34029568 2077 33554432000 4194304 7402444 140733448147712 140733448142728 5758807 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2077 776 784 0 1322 0
Current children cumulated CPU time (s) 2082.2
Current children cumulated vsize (KiB) 33232
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 6100
/proc/meminfo: memFree=31488436/32770624 swapFree=6256/334420
[pid=6007] ppid=6004 vsize=33232 CPUtime=2142.2 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 26991 0 0 0 214219 1 0 0 20 0 1 0 16619314 34029568 2077 33554432000 4194304 7402444 140733448147712 140733448142728 5758845 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2077 776 784 0 1322 0
Current children cumulated CPU time (s) 2142.2
Current children cumulated vsize (KiB) 33232
[startup+2202.31 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 6101
/proc/meminfo: memFree=31488304/32770624 swapFree=6256/334444
[pid=6007] ppid=6004 vsize=33232 CPUtime=2202.2 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 27609 0 0 0 220219 1 0 0 20 0 1 0 16619314 34029568 2077 33554432000 4194304 7402444 140733448147712 140733448142728 5878224 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2077 776 784 0 1322 0
Current children cumulated CPU time (s) 2202.2
Current children cumulated vsize (KiB) 33232
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 6162
/proc/meminfo: memFree=31473104/32770624 swapFree=6256/334680
[pid=6007] ppid=6004 vsize=33232 CPUtime=2262.19 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 28223 0 0 0 226218 1 0 0 20 0 1 0 16619314 34029568 2077 33554432000 4194304 7402444 140733448147712 140733448142728 4301456 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2077 776 784 0 1322 0
Current children cumulated CPU time (s) 2262.19
Current children cumulated vsize (KiB) 33232
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6163
/proc/meminfo: memFree=31472560/32770624 swapFree=6256/334716
[pid=6007] ppid=6004 vsize=33232 CPUtime=2322.19 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 28836 0 0 0 232218 1 0 0 20 0 1 0 16619314 34029568 2077 33554432000 4194304 7402444 140733448147712 140733448142728 4237728 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2077 776 784 0 1322 0
Current children cumulated CPU time (s) 2322.19
Current children cumulated vsize (KiB) 33232
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6164
/proc/meminfo: memFree=31472188/32770624 swapFree=6256/334736
[pid=6007] ppid=6004 vsize=33232 CPUtime=2382.18 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 29450 0 0 0 238217 1 0 0 20 0 1 0 16619314 34029568 2077 33554432000 4194304 7402444 140733448147712 140733448142728 5747647 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2077 776 784 0 1322 0
Current children cumulated CPU time (s) 2382.18
Current children cumulated vsize (KiB) 33232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6164
/proc/meminfo: memFree=31472188/32770624 swapFree=6256/334740
[pid=6007] ppid=6004 vsize=33232 CPUtime=2400.09 cores=0,2,4,6
/proc/6007/stat : 6007 (MistralXCSP) R 6004 6007 4608 0 -1 4202496 30063 0 0 0 240008 1 0 0 20 0 1 0 16619314 34029568 2077 33554432000 4194304 7402444 140733448147712 140733448142728 4237728 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 37220352 140733448156329 140733448156478 140733448156478 140733448159177 0
/proc/6007/statm: 8308 2077 776 784 0 1322 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 33232
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 6007 sig 9
??? kill -6007 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.21
CPU time (s): 2400.1
CPU user time (s): 2400.08
CPU system time (s): 0.015999
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 33232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.015999
maximum resident set size= 8332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30102
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= 11
involuntary context switches= 120855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29421 second user time and 8.83167 second system time
The end