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-4239756-1500633224/watcher-4239756-1500633224 -o /tmp/evaluation-result-4239756-1500633224/solver-4239756-1500633224 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500623787-4640 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 768031201 HOME/instance-4239756-1500633224.xml
pid=5941
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5944
/proc/meminfo: memFree=31364512/32770624 swapFree=6256/333292
[pid=5944] ppid=5941 vsize=28804 CPUtime=0 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 1020 0 0 0 0 0 0 0 20 0 1 0 16601306 29495296 802 33554432000 4194304 7402444 140732158956752 140732158953800 6086652 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 7201 802 618 784 0 215 0
[startup+0.100162 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5944
/proc/meminfo: memFree=31364512/32770624 swapFree=6256/333292
[pid=5944] ppid=5941 vsize=28932 CPUtime=0.09 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 1100 0 0 0 9 0 0 0 20 0 1 0 16601306 29626368 929 33554432000 4194304 7402444 140732158956752 140732158947448 6057336 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 7233 929 722 784 0 247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28932
[startup+0.200295 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5944
/proc/meminfo: memFree=31364512/32770624 swapFree=6256/333292
[pid=5944] ppid=5941 vsize=28932 CPUtime=0.19 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 1123 0 0 0 19 0 0 0 20 0 1 0 16601306 29626368 929 33554432000 4194304 7402444 140732158956752 140732158947448 6047970 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 7233 929 722 784 0 247 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28932
[startup+0.300267 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5944
/proc/meminfo: memFree=31364512/32770624 swapFree=6256/333292
[pid=5944] ppid=5941 vsize=31252 CPUtime=0.29 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 1736 0 0 0 29 0 0 0 20 0 1 0 16601306 32002048 1512 33554432000 4194304 7402444 140732158956752 140732158951352 4238480 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 7813 1512 760 784 0 827 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31252
[startup+0.700219 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5944
/proc/meminfo: memFree=31364512/32770624 swapFree=6256/333292
[pid=5944] ppid=5941 vsize=31252 CPUtime=0.69 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 1736 0 0 0 69 0 0 0 20 0 1 0 16601306 32002048 1512 33554432000 4194304 7402444 140732158956752 140732158951352 4296274 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 7813 1512 760 784 0 827 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31252
[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5945
/proc/meminfo: memFree=31361068/32770624 swapFree=6256/333300
[pid=5944] ppid=5941 vsize=31252 CPUtime=1.49 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 1736 0 0 0 149 0 0 0 20 0 1 0 16601306 32002048 1512 33554432000 4194304 7402444 140732158956752 140732158951352 4747360 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 7813 1512 760 784 0 827 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31252
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5945
/proc/meminfo: memFree=31360696/32770624 swapFree=6256/333300
[pid=5944] ppid=5941 vsize=31252 CPUtime=3.09 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 2265 0 0 0 309 0 0 0 20 0 1 0 16601306 32002048 1569 33554432000 4194304 7402444 140732158956752 140732158951352 4747316 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 7813 1569 774 784 0 827 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31252
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5945
/proc/meminfo: memFree=31360244/32770624 swapFree=6256/333300
[pid=5944] ppid=5941 vsize=31252 CPUtime=6.29 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 2804 0 0 0 629 0 0 0 20 0 1 0 16601306 32002048 1570 33554432000 4194304 7402444 140732158956752 140732158951352 4301626 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 7813 1570 774 784 0 827 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31252
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5945
/proc/meminfo: memFree=31359052/32770624 swapFree=6256/333312
[pid=5944] ppid=5941 vsize=32308 CPUtime=12.69 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 3675 0 0 0 1269 0 0 0 20 0 1 0 16601306 33083392 1843 33554432000 4194304 7402444 140732158956752 140732158951768 4747208 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8077 1843 776 784 0 1091 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32308
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5945
/proc/meminfo: memFree=31359052/32770624 swapFree=6256/333328
[pid=5944] ppid=5941 vsize=32440 CPUtime=25.49 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 5369 0 0 0 2549 0 0 0 20 0 1 0 16601306 33218560 1879 33554432000 4194304 7402444 140732158956752 140732158951160 4238492 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8110 1879 776 784 0 1124 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32440
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5945
/proc/meminfo: memFree=31359180/32770624 swapFree=6256/333352
[pid=5944] ppid=5941 vsize=32572 CPUtime=51.08 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 6274 0 0 0 5108 0 0 0 20 0 1 0 16601306 33353728 1897 33554432000 4194304 7402444 140732158956752 140732158951096 4237828 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8143 1897 776 784 0 1157 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32572
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5946
/proc/meminfo: memFree=31358232/32770624 swapFree=6256/333384
[pid=5944] ppid=5941 vsize=32704 CPUtime=102.28 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 7200 0 0 0 10228 0 0 0 20 0 1 0 16601306 33488896 1906 33554432000 4194304 7402444 140732158956752 140732158951240 4301438 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8176 1906 776 784 0 1190 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 32704
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5947
/proc/meminfo: memFree=31357720/32770624 swapFree=6256/333412
[pid=5944] ppid=5941 vsize=32704 CPUtime=162.28 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 7676 0 0 0 16228 0 0 0 20 0 1 0 16601306 33488896 1929 33554432000 4194304 7402444 140732158956752 140732158951240 4747743 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8176 1929 776 784 0 1190 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 32704
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6008
/proc/meminfo: memFree=31490536/32770624 swapFree=6256/333476
[pid=5944] ppid=5941 vsize=32704 CPUtime=222.28 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 8173 0 0 0 22228 0 0 0 20 0 1 0 16601306 33488896 1949 33554432000 4194304 7402444 140732158956752 140732158951240 5871010 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8176 1949 776 784 0 1190 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 32704
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 6009
/proc/meminfo: memFree=31490288/32770624 swapFree=6256/333520
[pid=5944] ppid=5941 vsize=32836 CPUtime=282.27 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 8680 0 0 0 28227 0 0 0 20 0 1 0 16601306 33624064 1968 33554432000 4194304 7402444 140732158956752 140732158951096 4301184 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8209 1968 776 784 0 1223 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 32836
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 6010
/proc/meminfo: memFree=31490660/32770624 swapFree=6256/333540
[pid=5944] ppid=5941 vsize=32836 CPUtime=342.27 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 9198 0 0 0 34227 0 0 0 20 0 1 0 16601306 33624064 1973 33554432000 4194304 7402444 140732158956752 140732158951096 5758807 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8209 1973 776 784 0 1223 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 32836
[startup+402.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 6018
/proc/meminfo: memFree=31489256/32770624 swapFree=6256/333572
[pid=5944] ppid=5941 vsize=32836 CPUtime=402.26 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 9722 0 0 0 40226 0 0 0 20 0 1 0 16601306 33624064 1985 33554432000 4194304 7402444 140732158956752 140732158951096 5758615 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8209 1985 776 784 0 1223 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 32836
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 6019
/proc/meminfo: memFree=31489156/32770624 swapFree=6256/333596
[pid=5944] ppid=5941 vsize=32968 CPUtime=462.26 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 10264 0 0 0 46226 0 0 0 20 0 1 0 16601306 33759232 2001 33554432000 4194304 7402444 140732158956752 140732158951096 4238492 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2001 776 784 0 1256 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 32968
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6020
/proc/meminfo: memFree=31489536/32770624 swapFree=6256/333612
[pid=5944] ppid=5941 vsize=32968 CPUtime=522.25 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 10806 0 0 0 52225 0 0 0 20 0 1 0 16601306 33759232 2005 33554432000 4194304 7402444 140732158956752 140732158951096 4238492 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2005 776 784 0 1256 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 32968
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6021
/proc/meminfo: memFree=31489800/32770624 swapFree=6256/333644
[pid=5944] ppid=5941 vsize=32968 CPUtime=582.25 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 11364 0 0 0 58225 0 0 0 20 0 1 0 16601306 33759232 2017 33554432000 4194304 7402444 140732158956752 140732158951096 5758845 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2017 776 784 0 1256 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 32968
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6046
/proc/meminfo: memFree=31489304/32770624 swapFree=6256/334068
[pid=5944] ppid=5941 vsize=32968 CPUtime=1482.21 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 19523 0 0 0 148220 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5758615 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 32968
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6047
/proc/meminfo: memFree=31489428/32770624 swapFree=6256/334088
[pid=5944] ppid=5941 vsize=32968 CPUtime=1542.21 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 20067 0 0 0 154220 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5877694 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 1542.21
Current children cumulated vsize (KiB) 32968
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6056
/proc/meminfo: memFree=31488752/32770624 swapFree=6256/334116
[pid=5944] ppid=5941 vsize=32968 CPUtime=1602.2 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 20609 0 0 0 160219 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5878051 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 32968
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6080
/proc/meminfo: memFree=31488284/32770624 swapFree=6256/334152
[pid=5944] ppid=5941 vsize=32968 CPUtime=1662.2 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 21155 0 0 0 166219 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5750448 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 32968
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6081
/proc/meminfo: memFree=31488892/32770624 swapFree=6256/334172
[pid=5944] ppid=5941 vsize=32968 CPUtime=1722.19 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 21651 0 0 0 172218 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5758845 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 32968
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6082
/proc/meminfo: memFree=31488696/32770624 swapFree=6256/334208
[pid=5944] ppid=5941 vsize=32968 CPUtime=1782.19 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 22147 0 0 0 178218 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 4238492 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 32968
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 6083
/proc/meminfo: memFree=31488696/32770624 swapFree=6256/334228
[pid=5944] ppid=5941 vsize=32968 CPUtime=1842.19 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 22692 0 0 0 184218 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5750752 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 1842.19
Current children cumulated vsize (KiB) 32968
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6084
/proc/meminfo: memFree=31488960/32770624 swapFree=6256/334252
[pid=5944] ppid=5941 vsize=32968 CPUtime=1902.18 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 23236 0 0 0 190217 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5824528 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 1902.18
Current children cumulated vsize (KiB) 32968
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6085
/proc/meminfo: memFree=31488720/32770624 swapFree=6256/334280
[pid=5944] ppid=5941 vsize=32968 CPUtime=1962.18 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 23779 0 0 0 196217 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5877690 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 1962.18
Current children cumulated vsize (KiB) 32968
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6086
/proc/meminfo: memFree=31488472/32770624 swapFree=6256/334296
[pid=5944] ppid=5941 vsize=32968 CPUtime=2022.18 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 24322 0 0 0 202217 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 4747176 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 2022.18
Current children cumulated vsize (KiB) 32968
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6087
/proc/meminfo: memFree=31488348/32770624 swapFree=6256/334316
[pid=5944] ppid=5941 vsize=32968 CPUtime=2082.18 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 24865 0 0 0 208217 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 4238492 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 2082.18
Current children cumulated vsize (KiB) 32968
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6088
/proc/meminfo: memFree=31489752/32770624 swapFree=6256/334340
[pid=5944] ppid=5941 vsize=32968 CPUtime=2142.17 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 25409 0 0 0 214216 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5877651 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 2142.17
Current children cumulated vsize (KiB) 32968
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6098
/proc/meminfo: memFree=31488292/32770624 swapFree=6256/334376
[pid=5944] ppid=5941 vsize=32968 CPUtime=2202.17 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 25952 0 0 0 220216 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5758845 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 2202.17
Current children cumulated vsize (KiB) 32968
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6099
/proc/meminfo: memFree=31488436/32770624 swapFree=6256/334392
[pid=5944] ppid=5941 vsize=32968 CPUtime=2262.16 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 26495 0 0 0 226215 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 4238492 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 2262.16
Current children cumulated vsize (KiB) 32968
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 6100
/proc/meminfo: memFree=31488436/32770624 swapFree=6256/334420
[pid=5944] ppid=5941 vsize=32968 CPUtime=2322.16 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 27040 0 0 0 232215 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 4296274 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 2322.16
Current children cumulated vsize (KiB) 32968
[startup+2382.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 6101
/proc/meminfo: memFree=31488304/32770624 swapFree=6256/334444
[pid=5944] ppid=5941 vsize=32968 CPUtime=2382.16 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 27583 0 0 0 238215 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5750450 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 2382.16
Current children cumulated vsize (KiB) 32968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 6101
/proc/meminfo: memFree=31488304/32770624 swapFree=6256/334452
[pid=5944] ppid=5941 vsize=32968 CPUtime=2400.06 cores=1,3,5,7
/proc/5944/stat : 5944 (MistralXCSP) R 5941 5944 4608 0 -1 4202496 28125 0 0 0 240005 1 0 0 20 0 1 0 16601306 33759232 2019 33554432000 4194304 7402444 140732158956752 140732158951096 5746100 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 11653120 140732158964905 140732158965054 140732158965054 140732158967753 0
/proc/5944/statm: 8242 2019 776 784 0 1256 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 32968
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 5944 sig 9
??? kill -5944 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.07
CPU user time (s): 2400.06
CPU system time (s): 0.012999
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 32968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.012999
maximum resident set size= 8100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28164
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= 120638
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.44396 second user time and 9.16163 second system time
The end