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-4240867-1500626204/watcher-4240867-1500626204 -o /tmp/evaluation-result-4240867-1500626204/solver-4240867-1500626204 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500623787-5249 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 216306901 HOME/instance-4240867-1500626204.xml
pid=5861
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: 1.94 2.01 1.87 3/186 5864
/proc/meminfo: memFree=31132188/32770624 swapFree=6412/501292
[pid=5864] ppid=5861 vsize=28672 CPUtime=0 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1022 0 0 0 0 0 0 0 20 0 1 0 17513642 29360128 802 33554432000 4194304 7402444 140727591486656 140727591479896 6047941 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7168 802 636 784 0 182 0
[startup+0.100173 s]
/proc/loadavg: 1.94 2.01 1.87 3/186 5864
/proc/meminfo: memFree=31132188/32770624 swapFree=6412/501292
[pid=5864] ppid=5861 vsize=28796 CPUtime=0.09 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1124 0 0 0 9 0 0 0 20 0 1 0 17513642 29487104 901 33554432000 4194304 7402444 140727591486656 140727591482008 5758845 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 901 728 784 0 213 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28796
[startup+0.200273 s]
/proc/loadavg: 1.94 2.01 1.87 3/186 5864
/proc/meminfo: memFree=31132188/32770624 swapFree=6412/501292
[pid=5864] ppid=5861 vsize=28796 CPUtime=0.19 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1124 0 0 0 19 0 0 0 20 0 1 0 17513642 29487104 901 33554432000 4194304 7402444 140727591486656 140727591482008 5877651 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 901 728 784 0 213 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28796
[startup+0.300251 s]
/proc/loadavg: 1.94 2.01 1.87 3/186 5864
/proc/meminfo: memFree=31132188/32770624 swapFree=6412/501292
[pid=5864] ppid=5861 vsize=28796 CPUtime=0.29 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1124 0 0 0 29 0 0 0 20 0 1 0 17513642 29487104 901 33554432000 4194304 7402444 140727591486656 140727591482008 4748105 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 901 728 784 0 213 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28796
[startup+0.700215 s]
/proc/loadavg: 1.94 2.01 1.87 3/186 5864
/proc/meminfo: memFree=31132188/32770624 swapFree=6412/501292
[pid=5864] ppid=5861 vsize=28796 CPUtime=0.69 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1124 0 0 0 69 0 0 0 20 0 1 0 17513642 29487104 901 33554432000 4194304 7402444 140727591486656 140727591482008 5753536 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 901 728 784 0 213 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28796
[startup+1.50023 s]
/proc/loadavg: 1.94 2.01 1.87 3/187 5865
/proc/meminfo: memFree=31115272/32770624 swapFree=6412/501280
[pid=5864] ppid=5861 vsize=28796 CPUtime=1.49 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1124 0 0 0 149 0 0 0 20 0 1 0 17513642 29487104 901 33554432000 4194304 7402444 140727591486656 140727591482008 5820815 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 901 728 784 0 213 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28796
[startup+3.10021 s]
/proc/loadavg: 1.94 2.01 1.87 3/187 5865
/proc/meminfo: memFree=31101912/32770624 swapFree=6412/501280
[pid=5864] ppid=5861 vsize=28796 CPUtime=3.09 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1195 0 0 0 309 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5878467 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28796
[startup+6.30022 s]
/proc/loadavg: 1.94 2.01 1.87 3/187 5865
/proc/meminfo: memFree=31053256/32770624 swapFree=6412/501288
[pid=5864] ppid=5861 vsize=28796 CPUtime=6.29 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1266 0 0 0 629 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4239136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28796
[startup+12.7002 s]
/proc/loadavg: 1.95 2.01 1.87 3/187 5865
/proc/meminfo: memFree=30979036/32770624 swapFree=6412/501296
[pid=5864] ppid=5861 vsize=28796 CPUtime=12.69 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1337 0 0 0 1269 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5874793 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28796
[startup+25.5003 s]
/proc/loadavg: 1.96 2.01 1.87 3/187 5865
/proc/meminfo: memFree=30745040/32770624 swapFree=6412/501304
[pid=5864] ppid=5861 vsize=28796 CPUtime=25.49 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1479 0 0 0 2549 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5746096 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28796
[startup+51.1003 s]
/proc/loadavg: 2.03 2.03 1.88 3/187 5865
/proc/meminfo: memFree=30740632/32770624 swapFree=6412/501312
[pid=5864] ppid=5861 vsize=28796 CPUtime=51.09 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1550 0 0 0 5109 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5695888 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28796
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 1.89 3/187 5866
/proc/meminfo: memFree=30740204/32770624 swapFree=6412/501340
[pid=5864] ppid=5861 vsize=28796 CPUtime=102.29 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1621 0 0 0 10229 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4529236 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 28796
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.89 3/187 5867
/proc/meminfo: memFree=30739976/32770624 swapFree=6412/501368
[pid=5864] ppid=5861 vsize=28796 CPUtime=162.28 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1692 0 0 0 16228 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4748060 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 28796
[startup+222.306 s]
/proc/loadavg: 2.08 2.03 1.90 3/188 5876
/proc/meminfo: memFree=30738888/32770624 swapFree=6412/501400
[pid=5864] ppid=5861 vsize=28796 CPUtime=222.28 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1763 0 0 0 22228 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5820889 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 28796
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 1.91 3/188 5877
/proc/meminfo: memFree=30738880/32770624 swapFree=6412/501424
[pid=5864] ppid=5861 vsize=28796 CPUtime=282.27 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1834 0 0 0 28227 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5823656 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 28796
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/188 5878
/proc/meminfo: memFree=30738692/32770624 swapFree=6412/501440
[pid=5864] ppid=5861 vsize=28796 CPUtime=342.27 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1905 0 0 0 34227 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4747279 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 28796
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/188 5879
/proc/meminfo: memFree=30739004/32770624 swapFree=6412/501460
[pid=5864] ppid=5861 vsize=28796 CPUtime=402.26 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 1976 0 0 0 40226 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4379234 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 28796
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 1.93 3/188 5880
/proc/meminfo: memFree=30738756/32770624 swapFree=6412/501492
[pid=5864] ppid=5861 vsize=28796 CPUtime=462.26 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 2047 0 0 0 46226 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5878886 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 28796
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/187 5881
/proc/meminfo: memFree=30739764/32770624 swapFree=6412/501516
[pid=5864] ppid=5861 vsize=28796 CPUtime=522.25 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 2118 0 0 0 52225 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5877736 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 28796
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/187 5882
/proc/meminfo: memFree=30740076/32770624 swapFree=6412/501532
[pid=5864] ppid=5861 vsize=28796 CPUtime=582.25 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 2189 0 0 0 58225 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4377867 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 28796
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 5937
/proc/meminfo: memFree=30738472/32770624 swapFree=6412/501924
[pid=5864] ppid=5861 vsize=28796 CPUtime=1482.18 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 3254 0 0 0 148218 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5877736 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 1482.18
Current children cumulated vsize (KiB) 28796
[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 1.98 3/189 5938
/proc/meminfo: memFree=30738960/32770624 swapFree=6412/501948
[pid=5864] ppid=5861 vsize=28796 CPUtime=1542.18 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 3324 0 0 0 154218 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 139800310724259 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 1542.18
Current children cumulated vsize (KiB) 28796
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 1.98 3/189 5939
/proc/meminfo: memFree=30739088/32770624 swapFree=6412/501968
[pid=5864] ppid=5861 vsize=28796 CPUtime=1602.17 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 3395 0 0 0 160217 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4378398 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 1602.17
Current children cumulated vsize (KiB) 28796
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/189 5940
/proc/meminfo: memFree=30739092/32770624 swapFree=6412/501996
[pid=5864] ppid=5861 vsize=28796 CPUtime=1662.17 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 3466 0 0 0 166217 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5750503 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 1662.17
Current children cumulated vsize (KiB) 28796
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 5941
/proc/meminfo: memFree=30739412/32770624 swapFree=6412/502020
[pid=5864] ppid=5861 vsize=28796 CPUtime=1722.16 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 3537 0 0 0 172216 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5758807 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 28796
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 5942
/proc/meminfo: memFree=30739452/32770624 swapFree=6412/502040
[pid=5864] ppid=5861 vsize=28796 CPUtime=1782.16 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 3608 0 0 0 178216 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5750503 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 28796
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 5943
/proc/meminfo: memFree=30739392/32770624 swapFree=6412/502060
[pid=5864] ppid=5861 vsize=28796 CPUtime=1842.16 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 3679 0 0 0 184216 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4378999 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 28796
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 5944
/proc/meminfo: memFree=30739520/32770624 swapFree=6412/502084
[pid=5864] ppid=5861 vsize=28796 CPUtime=1902.15 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 3750 0 0 0 190215 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4377845 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 28796
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 5945
/proc/meminfo: memFree=30739524/32770624 swapFree=6412/502112
[pid=5864] ppid=5861 vsize=28796 CPUtime=1962.15 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 3821 0 0 0 196215 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5758807 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 28796
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 5954
/proc/meminfo: memFree=30738484/32770624 swapFree=6412/502144
[pid=5864] ppid=5861 vsize=28796 CPUtime=2022.14 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 3892 0 0 0 202214 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4262906 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 28796
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 5955
/proc/meminfo: memFree=30738856/32770624 swapFree=6412/502168
[pid=5864] ppid=5861 vsize=28796 CPUtime=2082.14 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 3963 0 0 0 208214 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4237728 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 2082.14
Current children cumulated vsize (KiB) 28796
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 5956
/proc/meminfo: memFree=30738456/32770624 swapFree=6412/502188
[pid=5864] ppid=5861 vsize=28796 CPUtime=2142.13 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 4034 0 0 0 214213 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4379005 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 28796
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 5957
/proc/meminfo: memFree=30738828/32770624 swapFree=6412/502208
[pid=5864] ppid=5861 vsize=28796 CPUtime=2202.14 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 4105 0 0 0 220214 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5871039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 28796
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/188 5958
/proc/meminfo: memFree=30738824/32770624 swapFree=6412/502236
[pid=5864] ppid=5861 vsize=28796 CPUtime=2262.13 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 4176 0 0 0 226213 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5878474 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 28796
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 5959
/proc/meminfo: memFree=30738944/32770624 swapFree=6412/502256
[pid=5864] ppid=5861 vsize=28796 CPUtime=2322.12 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 4247 0 0 0 232212 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5878600 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 2322.12
Current children cumulated vsize (KiB) 28796
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 5960
/proc/meminfo: memFree=30738828/32770624 swapFree=6412/502280
[pid=5864] ppid=5861 vsize=28796 CPUtime=2382.12 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 4318 0 0 0 238212 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 5877832 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 28796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 6038
/proc/meminfo: memFree=31308292/32770624 swapFree=6412/502320
[pid=5864] ppid=5861 vsize=28796 CPUtime=2400.02 cores=0,2,4,6
/proc/5864/stat : 5864 (MistralXCSP) R 5861 5864 5218 0 -1 4202496 4389 0 0 0 240002 0 0 0 20 0 1 0 17513642 29487104 956 33554432000 4194304 7402444 140727591486656 140727591482008 4378467 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 9764864 140727591490729 140727591490878 140727591490878 140727591493577 0
/proc/5864/statm: 7199 956 767 784 0 213 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 28796
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 5864 sig 9
??? kill -5864 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.03
CPU user time (s): 2400.03
CPU system time (s): 0.006999
CPU usage (%): 99.9928
Max. virtual memory (cumulated for all children) (KiB): 28796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.006999
maximum resident set size= 3848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4425
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= 6
involuntary context switches= 120790
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78917 second user time and 8.03314 second system time
The end