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 (10331 MiB free)
memory of node 1: 16384 MiB (6232 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304082-1534001774/watcher-4304082-1534001774 -o /tmp/evaluation-result-4304082-1534001774/solver-4304082-1534001774 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1533993481-20701 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 177820475 HOME/instance-4304082-1534001774.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=22031, runsolver pid=22028
[startup+0.100111 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 22032
/proc/meminfo: memFree=16958064/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=31860 memory=6544 CPUtime=0.1 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 1806 0 0 0 10 0 0 0 20 0 1 0 217740617 32624640 1636 33554432000 4194304 7499544 140728586825600 140728586822600 140609885731813 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 7965 1636 700 807 0 956 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31860 KiB
Current children cumulated memory: 6544 KiB
[startup+0.209561 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 22032
/proc/meminfo: memFree=16954592/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=35440 memory=9880 CPUtime=0.21 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 2687 0 0 0 21 0 0 0 20 0 1 0 217740617 36290560 2470 33554432000 4194304 7499544 140728586825600 140728586822600 140609885731813 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 8860 2470 700 807 0 1851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 9880 KiB
[startup+0.309182 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 22032
/proc/meminfo: memFree=16951616/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=38632 memory=13064 CPUtime=0.31 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 3479 0 0 0 31 0 0 0 20 0 1 0 217740617 39559168 3266 33554432000 4194304 7499544 140728586825600 140728586822600 140609885731813 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 9658 3266 700 807 0 2649 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38632 KiB
Current children cumulated memory: 13064 KiB
[startup+0.70024 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 22032
/proc/meminfo: memFree=16944672/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=50680 memory=25292 CPUtime=0.68 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 6547 0 0 0 68 0 0 0 20 0 1 0 217740617 51896320 6323 33554432000 4194304 7499544 140728586825600 140728586816184 140609889226117 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 12670 6323 700 807 0 5661 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50680 KiB
Current children cumulated memory: 25292 KiB
[startup+1.50024 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 22032
/proc/meminfo: memFree=16929340/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=75288 memory=49828 CPUtime=1.49 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 12751 0 0 0 147 2 0 0 20 0 1 0 217740617 77094912 12457 33554432000 4194304 7499544 140728586825600 140728586816184 5899526 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 18861 12457 700 807 0 11852 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75288 KiB
Current children cumulated memory: 49828 KiB
[startup+3.10956 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 22032
/proc/meminfo: memFree=16827404/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162108 memory=136932 CPUtime=3.1 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 47884 0 0 0 304 6 0 0 20 0 1 0 217740617 165998592 34233 33554432000 4194304 7499544 140728586825600 140728586816600 4398032 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40527 34233 736 807 0 33518 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 162108 KiB
Current children cumulated memory: 136932 KiB
[startup+6.30029 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 22032
/proc/meminfo: memFree=16827236/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162108 memory=136980 CPUtime=6.29 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 52370 0 0 0 623 6 0 0 20 0 1 0 217740617 165998592 34245 33554432000 4194304 7499544 140728586825600 140728586820024 4404984 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40527 34245 736 807 0 33518 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 162108 KiB
Current children cumulated memory: 136980 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 22032
/proc/meminfo: memFree=16827492/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162108 memory=136980 CPUtime=12.68 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 56855 0 0 0 1262 6 0 0 20 0 1 0 217740617 165998592 34245 33554432000 4194304 7499544 140728586825600 140728586820024 4258020 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40527 34245 736 807 0 33518 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 162108 KiB
Current children cumulated memory: 136980 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22032
/proc/meminfo: memFree=16826280/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=136992 CPUtime=25.47 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 65181 0 0 0 2541 6 0 0 20 0 1 0 217740617 166133760 34248 33554432000 4194304 7499544 140728586825600 140728586820024 4257927 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34248 736 807 0 33551 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 136992 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22032
/proc/meminfo: memFree=16826460/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=136992 CPUtime=51.07 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 68036 0 0 0 5100 7 0 0 20 0 1 0 217740617 166133760 34248 33554432000 4194304 7499544 140728586825600 140728586820024 4579688 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34248 736 807 0 33551 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 136992 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22033
/proc/meminfo: memFree=16826636/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=136996 CPUtime=102.24 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 69550 0 0 0 10217 7 0 0 20 0 1 0 217740617 166133760 34249 33554432000 4194304 7499544 140728586825600 140728586820024 4408866 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34249 736 807 0 33551 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 136996 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22034
/proc/meminfo: memFree=16827568/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=136996 CPUtime=162.23 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 69842 0 0 0 16216 7 0 0 20 0 1 0 217740617 166133760 34249 33554432000 4194304 7499544 140728586825600 140728586820024 4408844 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34249 736 807 0 33551 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 136996 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22035
/proc/meminfo: memFree=16827608/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137000 CPUtime=222.22 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 70135 0 0 0 22215 7 0 0 20 0 1 0 217740617 166133760 34250 33554432000 4194304 7499544 140728586825600 140728586820024 4405588 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34250 736 807 0 33551 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137000 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22043
/proc/meminfo: memFree=16827244/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137004 CPUtime=282.21 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 70428 0 0 0 28214 7 0 0 20 0 1 0 217740617 166133760 34251 33554432000 4194304 7499544 140728586825600 140728586820024 4579688 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34251 736 807 0 33551 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137004 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22044
/proc/meminfo: memFree=16827432/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137004 CPUtime=342.2 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 70722 0 0 0 34213 7 0 0 20 0 1 0 217740617 166133760 34251 33554432000 4194304 7499544 140728586825600 140728586820024 4222944 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34251 736 807 0 33551 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137004 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 22045
/proc/meminfo: memFree=16827684/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137008 CPUtime=402.19 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 71016 0 0 0 40212 7 0 0 20 0 1 0 217740617 166133760 34252 33554432000 4194304 7499544 140728586825600 140728586820024 4258054 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34252 736 807 0 33551 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137008 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 22046
/proc/meminfo: memFree=16827940/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137008 CPUtime=462.19 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 71312 0 0 0 46212 7 0 0 20 0 1 0 217740617 166133760 34252 33554432000 4194304 7499544 140728586825600 140728586820024 4258046 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34252 736 807 0 33551 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137008 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22047
/proc/meminfo: memFree=16827980/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=522.18 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 71607 0 0 0 52211 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 4258061 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 522.18 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22048
/proc/meminfo: memFree=16828184/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=582.17 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 71902 0 0 0 58210 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 4258041 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 582.17 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22049
/proc/meminfo: memFree=16828144/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=642.16 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 72192 0 0 0 64209 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 4406021 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 642.16 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22050
/proc/meminfo: memFree=16827972/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=702.15 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 72482 0 0 0 70208 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 140609889167081 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 702.15 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22051
/proc/meminfo: memFree=16827676/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=762.15 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 72772 0 0 0 76208 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 4405034 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 762.15 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22052
/proc/meminfo: memFree=16827756/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=822.14 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 73067 0 0 0 82207 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 4579850 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 822.14 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+859.414 s]
# the end of solver process 22031 was just reported to runsolver
# cumulated CPU time of all completed processes: user=859.18 s, system=0.077989 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+844.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22061
/proc/meminfo: memFree=16826568/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=844.64 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 73364 0 0 0 84457 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 4408852 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 844.64 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+851.2 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 22061
/proc/meminfo: memFree=16826816/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=851.03 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 73364 0 0 0 85096 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 4379079 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 851.03 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+854.4 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 22061
/proc/meminfo: memFree=16826940/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=854.23 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 73364 0 0 0 85416 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 4258046 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 854.23 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+857.6 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 22061
/proc/meminfo: memFree=16826940/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=857.43 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 73364 0 0 0 85736 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 4405034 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 857.43 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+858.4 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 22061
/proc/meminfo: memFree=16827064/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=858.23 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 73364 0 0 0 85816 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 4408863 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 858.23 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+859.2 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 22061
/proc/meminfo: memFree=16827064/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137012 CPUtime=859.03 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 73364 0 0 0 85896 7 0 0 20 0 1 0 217740617 166133760 34253 33554432000 4194304 7499544 140728586825600 140728586820024 4258061 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34253 736 807 0 33551 0
Current children cumulated CPU time: 859.03 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137012 KiB
[startup+859.4 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 22061
/proc/meminfo: memFree=16827064/32770624 swapFree=67108844/67108860
[pid=22031] ppid=22028 vsize=162240 memory=137036 CPUtime=859.23 cores=0,2,4,6
/proc/22031/stat : 22031 (MistralXCSP) R 22028 22031 20670 0 -1 4202496 73451 0 0 0 85916 7 0 0 20 0 1 0 217740617 166133760 34259 33554432000 4194304 7499544 140728586825600 140728586820024 140609885722503 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 16109568 140728586826862 140728586827011 140728586827011 140728586829769 0
/proc/22031/statm: 40560 34259 741 807 0 33551 0
Current children cumulated CPU time: 859.23 s
Current children cumulated vsize: 162240 KiB
Current children cumulated memory: 137036 KiB
Child status: 0
Real time (s): 859.414
CPU time (s): 859.258
CPU user time (s): 859.18
CPU system time (s): 0.077989
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 162240
Max. memory (cumulated for all children) (KiB): 137036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 859.18
system time used= 0.077989
maximum resident set size= 137040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73844
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= 57
involuntary context switches= 892
# summary of solver processes directly reported to runsolver:
# pid: 22031
# total CPU time (s): 859.258
# total CPU user time (s): 859.18
# total CPU system time (s): 0.077989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.26922 second user time and 6.28313 second system time
The end