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-4242263-1500631255/watcher-4242263-1500631255 -o /tmp/evaluation-result-4242263-1500631255/solver-4242263-1500631255 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500623787-3307 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1001068643 HOME/instance-4242263-1500631255.xml
pid=4886
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.02 2.05 2.03 3/188 4889
/proc/meminfo: memFree=28911832/32770624 swapFree=7088/3010900
[pid=4889] ppid=4886 vsize=28936 CPUtime=0 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 1033 0 0 0 0 0 0 0 20 0 1 0 16401869 29630464 802 33554432000 4194304 7402444 140728344200656 140728344197704 6216924 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7234 868 658 784 0 248 0
[startup+0.100091 s]
/proc/loadavg: 2.02 2.05 2.03 3/188 4889
/proc/meminfo: memFree=28911832/32770624 swapFree=7088/3010900
[pid=4889] ppid=4886 vsize=31248 CPUtime=0.09 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 1745 0 0 0 9 0 0 0 20 0 1 0 16401869 31997952 1491 33554432000 4194304 7402444 140728344200656 140728344190664 6029774 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7812 1491 739 784 0 826 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31248
[startup+0.200225 s]
/proc/loadavg: 2.02 2.05 2.03 3/188 4889
/proc/meminfo: memFree=28911832/32770624 swapFree=7088/3010900
[pid=4889] ppid=4886 vsize=31512 CPUtime=0.19 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 1865 0 0 0 19 0 0 0 20 0 1 0 16401869 32268288 1623 33554432000 4194304 7402444 140728344200656 140728344194728 5698142 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1623 768 784 0 892 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31512
[startup+0.300203 s]
/proc/loadavg: 2.02 2.05 2.03 3/188 4889
/proc/meminfo: memFree=28911832/32770624 swapFree=7088/3010900
[pid=4889] ppid=4886 vsize=31512 CPUtime=0.29 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 1867 0 0 0 29 0 0 0 20 0 1 0 16401869 32268288 1623 33554432000 4194304 7402444 140728344200656 140728344194728 5878959 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1623 768 784 0 892 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31512
[startup+0.700171 s]
/proc/loadavg: 2.02 2.05 2.03 3/188 4889
/proc/meminfo: memFree=28911832/32770624 swapFree=7088/3010900
[pid=4889] ppid=4886 vsize=31512 CPUtime=0.69 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 1870 0 0 0 69 0 0 0 20 0 1 0 16401869 32268288 1623 33554432000 4194304 7402444 140728344200656 140728344194728 5879910 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1623 768 784 0 892 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31512
[startup+1.50017 s]
/proc/loadavg: 2.02 2.05 2.03 3/189 4890
/proc/meminfo: memFree=28908200/32770624 swapFree=7088/3010924
[pid=4889] ppid=4886 vsize=31512 CPUtime=1.49 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 1870 0 0 0 149 0 0 0 20 0 1 0 16401869 32268288 1623 33554432000 4194304 7402444 140728344200656 140728344194728 5768579 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1623 768 784 0 892 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31512
[startup+3.10017 s]
/proc/loadavg: 2.02 2.05 2.03 3/189 4890
/proc/meminfo: memFree=28908216/32770624 swapFree=7088/3010932
[pid=4889] ppid=4886 vsize=31512 CPUtime=3.09 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 1991 0 0 0 309 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4309162 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31512
[startup+6.30017 s]
/proc/loadavg: 2.10 2.07 2.04 3/189 4890
/proc/meminfo: memFree=28908464/32770624 swapFree=7088/3010932
[pid=4889] ppid=4886 vsize=31512 CPUtime=6.29 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 2106 0 0 0 629 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5696191 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31512
[startup+12.7002 s]
/proc/loadavg: 2.09 2.07 2.04 3/189 4912
/proc/meminfo: memFree=28908364/32770624 swapFree=7088/3010948
[pid=4889] ppid=4886 vsize=31512 CPUtime=12.68 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 2221 0 0 0 1268 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5698138 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31512
[startup+25.5002 s]
/proc/loadavg: 2.07 2.07 2.04 3/189 4912
/proc/meminfo: memFree=28908392/32770624 swapFree=7088/3010956
[pid=4889] ppid=4886 vsize=31512 CPUtime=25.48 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 2451 0 0 0 2548 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5698151 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31512
[startup+51.1002 s]
/proc/loadavg: 2.05 2.06 2.04 3/189 4912
/proc/meminfo: memFree=28908020/32770624 swapFree=7088/3010972
[pid=4889] ppid=4886 vsize=31512 CPUtime=51.08 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 2566 0 0 0 5108 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4747338 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31512
[startup+102.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/189 4913
/proc/meminfo: memFree=28906152/32770624 swapFree=7088/3011004
[pid=4889] ppid=4886 vsize=31512 CPUtime=102.27 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 2681 0 0 0 10227 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4747346 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31512
[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.04 3/188 4914
/proc/meminfo: memFree=28906360/32770624 swapFree=7088/3011036
[pid=4889] ppid=4886 vsize=31512 CPUtime=162.26 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 2796 0 0 0 16226 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5695885 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 31512
[startup+222.306 s]
/proc/loadavg: 2.03 2.05 2.04 3/188 4915
/proc/meminfo: memFree=28904944/32770624 swapFree=7088/3011068
[pid=4889] ppid=4886 vsize=31512 CPUtime=222.25 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 2911 0 0 0 22225 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4747059 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 31512
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.04 3/187 4916
/proc/meminfo: memFree=28905272/32770624 swapFree=7088/3011096
[pid=4889] ppid=4886 vsize=31512 CPUtime=282.23 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 3026 0 0 0 28223 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4747394 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 31512
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/187 4917
/proc/meminfo: memFree=28904688/32770624 swapFree=7088/3011124
[pid=4889] ppid=4886 vsize=31512 CPUtime=342.22 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 3141 0 0 0 34222 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4709505 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 31512
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/187 4918
/proc/meminfo: memFree=28904112/32770624 swapFree=7088/3011156
[pid=4889] ppid=4886 vsize=31512 CPUtime=402.21 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 3256 0 0 0 40221 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5754016 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 31512
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 4919
/proc/meminfo: memFree=28904016/32770624 swapFree=7088/3011192
[pid=4889] ppid=4886 vsize=31512 CPUtime=462.2 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 3371 0 0 0 46220 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4748142 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 31512
[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 4920
/proc/meminfo: memFree=28903812/32770624 swapFree=7088/3011216
[pid=4889] ppid=4886 vsize=31512 CPUtime=522.19 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 3486 0 0 0 52219 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5750503 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 31512
[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 4928
/proc/meminfo: memFree=28902624/32770624 swapFree=7088/3011264
[pid=4889] ppid=4886 vsize=31512 CPUtime=582.18 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 3601 0 0 0 58218 0 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5753890 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 31512
################
# More data... #
################
/proc/meminfo: memFree=28899636/32770624 swapFree=7088/3011680
[pid=4889] ppid=4886 vsize=31512 CPUtime=1362.05 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 5096 0 0 0 136204 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5695885 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 31512
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4950
/proc/meminfo: memFree=28899388/32770624 swapFree=7088/3011708
[pid=4889] ppid=4886 vsize=31512 CPUtime=1422.04 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 5211 0 0 0 142203 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5764624 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 31512
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4952
/proc/meminfo: memFree=28898908/32770624 swapFree=7088/3011752
[pid=4889] ppid=4886 vsize=31512 CPUtime=1482.03 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 5326 0 0 0 148202 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5768137 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 31512
[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 4953
/proc/meminfo: memFree=28899536/32770624 swapFree=7088/3011780
[pid=4889] ppid=4886 vsize=31512 CPUtime=1542.02 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 5441 0 0 0 154201 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4747422 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 31512
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 4954
/proc/meminfo: memFree=28899584/32770624 swapFree=7088/3011812
[pid=4889] ppid=4886 vsize=31512 CPUtime=1602.01 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 5556 0 0 0 160200 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4709536 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 31512
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 4956
/proc/meminfo: memFree=28899256/32770624 swapFree=7088/3011856
[pid=4889] ppid=4886 vsize=31512 CPUtime=1662 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 5671 0 0 0 166199 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5822736 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 31512
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4957
/proc/meminfo: memFree=28899544/32770624 swapFree=7088/3011880
[pid=4889] ppid=4886 vsize=31512 CPUtime=1721.98 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 5786 0 0 0 172197 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5696174 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 31512
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4965
/proc/meminfo: memFree=28898896/32770624 swapFree=7088/3011920
[pid=4889] ppid=4886 vsize=31512 CPUtime=1781.97 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 5901 0 0 0 178196 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4709505 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 31512
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4966
/proc/meminfo: memFree=28898888/32770624 swapFree=7088/3011948
[pid=4889] ppid=4886 vsize=31512 CPUtime=1841.96 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 6016 0 0 0 184195 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5698142 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 1841.96
Current children cumulated vsize (KiB) 31512
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4967
/proc/meminfo: memFree=28899324/32770624 swapFree=7088/3011976
[pid=4889] ppid=4886 vsize=31512 CPUtime=1901.95 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 6131 0 0 0 190194 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4747291 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 1901.95
Current children cumulated vsize (KiB) 31512
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4968
/proc/meminfo: memFree=28899240/32770624 swapFree=7088/3012016
[pid=4889] ppid=4886 vsize=31512 CPUtime=1961.94 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 6246 0 0 0 196193 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5764686 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 1961.94
Current children cumulated vsize (KiB) 31512
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 4969
/proc/meminfo: memFree=28899028/32770624 swapFree=7088/3012044
[pid=4889] ppid=4886 vsize=31512 CPUtime=2021.93 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 6361 0 0 0 202192 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4248655 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 2021.93
Current children cumulated vsize (KiB) 31512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4889 sig 9
??? kill -4889 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2022.4 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 4969
/proc/meminfo: memFree=28899028/32770624 swapFree=7088/3012044
[pid=4889] ppid=4886 vsize=31512 CPUtime=2022.03 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 6361 0 0 0 202202 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4747338 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 2022.03
Current children cumulated vsize (KiB) 31512
[startup+2025.6 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 4969
/proc/meminfo: memFree=28899028/32770624 swapFree=7088/3012044
[pid=4889] ppid=4886 vsize=31512 CPUtime=2025.23 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 6361 0 0 0 202522 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4747401 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 2025.23
Current children cumulated vsize (KiB) 31512
[startup+2028.8 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 4969
/proc/meminfo: memFree=28899028/32770624 swapFree=7088/3012052
[pid=4889] ppid=4886 vsize=31512 CPUtime=2028.43 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 6361 0 0 0 202842 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4709390 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 2028.43
Current children cumulated vsize (KiB) 31512
[startup+2029.61 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 4969
/proc/meminfo: memFree=28899028/32770624 swapFree=7088/3012056
[pid=4889] ppid=4886 vsize=31512 CPUtime=2029.23 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 6361 0 0 0 202922 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4309136 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 2029.23
Current children cumulated vsize (KiB) 31512
[startup+2030.4 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 4969
/proc/meminfo: memFree=28899028/32770624 swapFree=7088/3012056
[pid=4889] ppid=4886 vsize=31512 CPUtime=2030.03 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 6361 0 0 0 203002 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 4747338 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 2030.03
Current children cumulated vsize (KiB) 31512
[startup+2030.6 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 4969
/proc/meminfo: memFree=28899028/32770624 swapFree=7088/3012056
[pid=4889] ppid=4886 vsize=31512 CPUtime=2030.23 cores=0,2,4,6
/proc/4889/stat : 4889 (MistralXCSP) R 4886 4889 3276 0 -1 4202496 6361 0 0 0 203022 1 0 0 20 0 1 0 16401869 32268288 1663 33554432000 4194304 7402444 140728344200656 140728344194728 5698112 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 22786048 140728344208552 140728344208702 140728344208702 140728344211401 0
/proc/4889/statm: 7878 1663 779 784 0 892 0
Current children cumulated CPU time (s) 2030.23
Current children cumulated vsize (KiB) 31512
Child status: 0
Real time (s): 2030.64
CPU time (s): 2030.28
CPU user time (s): 2030.27
CPU system time (s): 0.015997
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 31512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2030.27
system time used= 0.015997
maximum resident set size= 6668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6584
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= 103328
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.97165 second user time and 6.58322 second system time
The end