runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (7319 MiB free)
memory of node 1: 16384 MiB (10533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289604-1532202512/watcher-4289604-1532202512 -o /tmp/evaluation-result-4289604-1532202512/solver-4289604-1532202512 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532190502-26046 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1792869187 HOME/instance-4289604-1532202512.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27503, runsolver pid=27500
[startup+0.100175 s]*
/proc/loadavg: 2.06 2.03 2.05 3/187 27504
/proc/meminfo: memFree=18251932/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=57952 memory=32584 CPUtime=0.1 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 8503 0 0 0 9 1 0 0 20 0 1 0 37814082 59342848 8146 33554432000 4194304 7498468 140720753649552 140720753646552 5791403 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 14488 8146 727 807 0 7479 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57952 KiB
Current children cumulated memory: 32584 KiB
[startup+0.209912 s]*
/proc/loadavg: 2.06 2.03 2.05 3/187 27504
/proc/meminfo: memFree=18251932/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=57952 memory=32584 CPUtime=0.21 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 8503 0 0 0 20 1 0 0 20 0 1 0 37814082 59342848 8146 33554432000 4194304 7498468 140720753649552 140720753646552 4545912 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 14488 8146 727 807 0 7479 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57952 KiB
Current children cumulated memory: 32584 KiB
[startup+0.309766 s]*
/proc/loadavg: 2.06 2.03 2.05 3/187 27504
/proc/meminfo: memFree=18251932/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=57952 memory=32584 CPUtime=0.31 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 8503 0 0 0 30 1 0 0 20 0 1 0 37814082 59342848 8146 33554432000 4194304 7498468 140720753649552 140720753646552 5791403 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 14488 8146 727 807 0 7479 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57952 KiB
Current children cumulated memory: 32584 KiB
[startup+0.700425 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 27504
/proc/meminfo: memFree=18251932/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=57952 memory=32584 CPUtime=0.69 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 8505 0 0 0 68 1 0 0 20 0 1 0 37814082 59342848 8146 33554432000 4194304 7498468 140720753649552 140720753646552 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 14488 8146 727 807 0 7479 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57952 KiB
Current children cumulated memory: 32584 KiB
[startup+1.50041 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 27504
/proc/meminfo: memFree=18251328/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=58348 memory=33112 CPUtime=1.49 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 8608 0 0 0 148 1 0 0 20 0 1 0 37814082 59748352 8278 33554432000 4194304 7498468 140720753649552 140720753644552 4253269 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 14587 8278 733 807 0 7578 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58348 KiB
Current children cumulated memory: 33112 KiB
[startup+3.10961 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 27504
/proc/meminfo: memFree=18251332/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=58348 memory=33168 CPUtime=3.1 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 13328 0 0 0 309 1 0 0 20 0 1 0 37814082 59748352 8292 33554432000 4194304 7498468 140720753649552 140720753644552 4253280 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 14587 8292 733 807 0 7578 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 58348 KiB
Current children cumulated memory: 33168 KiB
[startup+6.3004 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 27504
/proc/meminfo: memFree=18251380/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=58348 memory=33168 CPUtime=6.29 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 18078 0 0 0 628 1 0 0 20 0 1 0 37814082 59748352 8292 33554432000 4194304 7498468 140720753649552 140720753644088 5791624 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 14587 8292 733 807 0 7578 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 58348 KiB
Current children cumulated memory: 33168 KiB
[startup+12.7004 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 27504
/proc/meminfo: memFree=18251380/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=58348 memory=33168 CPUtime=12.69 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 22815 0 0 0 1268 1 0 0 20 0 1 0 37814082 59748352 8292 33554432000 4194304 7498468 140720753649552 140720753644088 4253264 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 14587 8292 733 807 0 7578 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 58348 KiB
Current children cumulated memory: 33168 KiB
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 27504
/proc/meminfo: memFree=18249896/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60196 memory=34796 CPUtime=25.49 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 33122 0 0 0 2547 2 0 0 20 0 1 0 37814082 61640704 8699 33554432000 4194304 7498468 140720753649552 140720753644088 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15049 8699 733 807 0 8040 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 60196 KiB
Current children cumulated memory: 34796 KiB
[startup+51.1097 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 27504
/proc/meminfo: memFree=18248256/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60724 memory=35436 CPUtime=51.08 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 35050 0 0 0 5106 2 0 0 20 0 1 0 37814082 62181376 8859 33554432000 4194304 7498468 140720753649552 140720753644088 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15181 8859 733 807 0 8172 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 60724 KiB
Current children cumulated memory: 35436 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 27576
/proc/meminfo: memFree=18266684/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60856 memory=35604 CPUtime=102.27 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 35721 0 0 0 10225 2 0 0 20 0 1 0 37814082 62316544 8901 33554432000 4194304 7498468 140720753649552 140720753644088 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15214 8901 733 807 0 8205 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 60856 KiB
Current children cumulated memory: 35604 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27577
/proc/meminfo: memFree=18267708/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35756 CPUtime=162.26 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 36379 0 0 0 16224 2 0 0 20 0 1 0 37814082 62451712 8939 33554432000 4194304 7498468 140720753649552 140720753644088 4542238 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8939 733 807 0 8238 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35756 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27579
/proc/meminfo: memFree=18266708/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35832 CPUtime=222.26 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 37057 0 0 0 22224 2 0 0 20 0 1 0 37814082 62451712 8958 33554432000 4194304 7498468 140720753649552 140720753644088 4580135 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8958 733 807 0 8238 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35832 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27580
/proc/meminfo: memFree=18266832/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=282.25 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 37735 0 0 0 28223 2 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 4386171 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27581
/proc/meminfo: memFree=18267772/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=342.24 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 38408 0 0 0 34222 2 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 4319859 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27583
/proc/meminfo: memFree=18267968/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=402.24 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 39086 0 0 0 40222 2 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+462.3 s]
/proc/loadavg: 2.56 2.17 2.09 3/187 27584
/proc/meminfo: memFree=18268092/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=462.23 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 39755 0 0 0 46221 2 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 4317545 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
################
# More data... #
################
Current children cumulated memory: 35852 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 27620
/proc/meminfo: memFree=18265644/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=822.2 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 43724 0 0 0 82218 2 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 822.2 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 27621
/proc/meminfo: memFree=18266684/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=882.2 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 44380 0 0 0 88218 2 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 882.2 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 27622
/proc/meminfo: memFree=18266992/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=942.19 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 45040 0 0 0 94217 2 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 942.19 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 27623
/proc/meminfo: memFree=18267344/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1002.19 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 45686 0 0 0 100217 2 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 5791403 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1002.19 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1062.3 s]
/proc/loadavg: 2.22 2.07 2.06 3/187 27624
/proc/meminfo: memFree=18267220/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1062.18 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 46343 0 0 0 106216 2 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 4542211 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1062.18 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1122.3 s]
/proc/loadavg: 2.37 2.16 2.09 3/187 27625
/proc/meminfo: memFree=18267380/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1122.18 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 46990 0 0 0 112215 3 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 4317665 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1122.18 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1182.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/187 27626
/proc/meminfo: memFree=18267960/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1182.18 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 47643 0 0 0 118215 3 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 5791513 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1182.18 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1242.3 s]
/proc/loadavg: 2.05 2.11 2.08 3/187 27627
/proc/meminfo: memFree=18267780/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1242.17 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 48293 0 0 0 124214 3 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 5791236 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1242.17 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1302.3 s]
/proc/loadavg: 2.02 2.09 2.07 3/188 27636
/proc/meminfo: memFree=18266628/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1302.17 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 48934 0 0 0 130214 3 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 5791403 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1302.17 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1313.24 s]
# the end of solver process 27503 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1313.08 s, system=0.031997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.02 2.09 2.07 3/188 27636
/proc/meminfo: memFree=18266752/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1305.47 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 48934 0 0 0 130544 3 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 4542353 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1305.47 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1308.8 s]
/proc/loadavg: 2.02 2.09 2.07 3/188 27636
/proc/meminfo: memFree=18266752/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1308.67 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 48934 0 0 0 130864 3 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 4545925 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1308.67 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1310.4 s]
/proc/loadavg: 2.02 2.09 2.07 3/188 27636
/proc/meminfo: memFree=18266752/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1310.27 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 48934 0 0 0 131024 3 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 5791446 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1310.27 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1312 s]*
/proc/loadavg: 2.02 2.09 2.07 3/188 27636
/proc/meminfo: memFree=18266752/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1311.88 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 48934 0 0 0 131185 3 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 4253269 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1311.88 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1312.8 s]
/proc/loadavg: 2.02 2.09 2.07 3/188 27636
/proc/meminfo: memFree=18266752/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1312.67 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 48934 0 0 0 131264 3 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 5791513 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1312.67 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
[startup+1313.2 s]
/proc/loadavg: 2.02 2.09 2.07 3/188 27636
/proc/meminfo: memFree=18266876/32770624 swapFree=67108860/67108860
[pid=27503] ppid=27500 vsize=60988 memory=35852 CPUtime=1313.07 cores=1,3,5,7
/proc/27503/stat : 27503 (MistralXCSP) R 27500 27503 26014 0 -1 4202496 48934 0 0 0 131304 3 0 0 20 0 1 0 37814082 62451712 8963 33554432000 4194304 7498468 140720753649552 140720753644088 4317624 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 17309696 140720753652845 140720753652995 140720753652995 140720753655753 0
/proc/27503/statm: 15247 8963 733 807 0 8238 0
Current children cumulated CPU time: 1313.07 s
Current children cumulated vsize: 60988 KiB
Current children cumulated memory: 35852 KiB
Child status: 0
Real time (s): 1313.24
CPU time (s): 1313.11
CPU user time (s): 1313.08
CPU system time (s): 0.031997
CPU usage (%): 99.9903
Max. virtual memory (cumulated for all children) (KiB): 60988
Max. memory (cumulated for all children) (KiB): 35852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1313.08
system time used= 0.031997
maximum resident set size= 35852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49018
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= 22
involuntary context switches= 369
# summary of solver processes directly reported to runsolver:
# pid: 27503
# total CPU time (s): 1313.11
# total CPU user time (s): 1313.08
# total CPU system time (s): 0.031997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87918 second user time and 9.29605 second system time
The end