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 (5645 MiB free)
memory of node 1: 16384 MiB (1434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303960-1534024349/watcher-4303960-1534024349 -o /tmp/evaluation-result-4303960-1534024349/solver-4303960-1534024349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1533992764-9381 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1840415412 HOME/instance-4303960-1534024349.xml
running on 4 cores: 1,3,5,7
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
solver pid=12912, runsolver pid=12909
Current StackSize limit: 8192 KiB
[startup+0.100459 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 12913
/proc/meminfo: memFree=7221660/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=56216 memory=30896 CPUtime=0.09 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 8083 0 0 0 8 1 0 0 20 0 1 0 219998113 57565184 7724 33554432000 4194304 7499544 140735066396800 140735066391800 4319896 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14054 7724 727 807 0 7045 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56216 KiB
Current children cumulated memory: 30896 KiB
[startup+0.209852 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 12913
/proc/meminfo: memFree=7221288/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=56216 memory=30896 CPUtime=0.2 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 8083 0 0 0 19 1 0 0 20 0 1 0 219998113 57565184 7724 33554432000 4194304 7499544 140735066396800 140735066391800 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14054 7724 727 807 0 7045 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56216 KiB
Current children cumulated memory: 30896 KiB
[startup+0.309777 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 12913
/proc/meminfo: memFree=7221332/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=56216 memory=30896 CPUtime=0.3 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 8083 0 0 0 29 1 0 0 20 0 1 0 219998113 57565184 7724 33554432000 4194304 7499544 140735066396800 140735066391800 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14054 7724 727 807 0 7045 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 56216 KiB
Current children cumulated memory: 30896 KiB
[startup+0.700345 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 12913
/proc/meminfo: memFree=7221332/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=56216 memory=30896 CPUtime=0.68 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 8083 0 0 0 67 1 0 0 20 0 1 0 219998113 57565184 7724 33554432000 4194304 7499544 140735066396800 140735066391800 4317403 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14054 7724 727 807 0 7045 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56216 KiB
Current children cumulated memory: 30896 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 12913
/proc/meminfo: memFree=7221332/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=56216 memory=30896 CPUtime=1.48 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 8083 0 0 0 147 1 0 0 20 0 1 0 219998113 57565184 7724 33554432000 4194304 7499544 140735066396800 140735066391800 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14054 7724 727 807 0 7045 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56216 KiB
Current children cumulated memory: 30896 KiB
[startup+3.10958 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 12913
/proc/meminfo: memFree=7221228/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=56612 memory=31216 CPUtime=3.09 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 12381 0 0 0 308 1 0 0 20 0 1 0 219998113 57970688 7804 33554432000 4194304 7499544 140735066396800 140735066391336 4253104 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14153 7804 733 807 0 7144 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 56612 KiB
Current children cumulated memory: 31216 KiB
[startup+6.30034 s]
/proc/loadavg: 1.92 2.00 2.04 3/190 12913
/proc/meminfo: memFree=7219736/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=57800 memory=32568 CPUtime=6.29 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 17330 0 0 0 627 2 0 0 20 0 1 0 219998113 59187200 8142 33554432000 4194304 7499544 140735066396800 140735066391336 4545480 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14450 8142 733 807 0 7441 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 57800 KiB
Current children cumulated memory: 32568 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/190 12913
/proc/meminfo: memFree=7219368/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=58064 memory=32740 CPUtime=12.69 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 22024 0 0 0 1267 2 0 0 20 0 1 0 219998113 59457536 8185 33554432000 4194304 7499544 140735066396800 140735066391336 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14516 8185 733 807 0 7507 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 58064 KiB
Current children cumulated memory: 32740 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/190 12913
/proc/meminfo: memFree=7218512/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=58856 memory=33720 CPUtime=25.48 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 31846 0 0 0 2546 2 0 0 20 0 1 0 219998113 60268544 8430 33554432000 4194304 7499544 140735066396800 140735066391336 4317672 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14714 8430 733 807 0 7705 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 58856 KiB
Current children cumulated memory: 33720 KiB
[startup+51.1097 s]
/proc/loadavg: 1.96 2.00 2.04 3/191 12927
/proc/meminfo: memFree=7216620/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59120 memory=33852 CPUtime=51.09 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 36874 0 0 0 5107 2 0 0 20 0 1 0 219998113 60538880 8463 33554432000 4194304 7499544 140735066396800 140735066391336 4405156 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14780 8463 733 807 0 7771 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 59120 KiB
Current children cumulated memory: 33852 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/195 12949
/proc/meminfo: memFree=7213832/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59252 memory=33984 CPUtime=102.28 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 39681 0 0 0 10225 3 0 0 20 0 1 0 219998113 60674048 8496 33554432000 4194304 7499544 140735066396800 140735066391336 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14813 8496 733 807 0 7804 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 59252 KiB
Current children cumulated memory: 33984 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/191 12952
/proc/meminfo: memFree=7215984/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59252 memory=34056 CPUtime=162.27 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 40012 0 0 0 16224 3 0 0 20 0 1 0 219998113 60674048 8514 33554432000 4194304 7499544 140735066396800 140735066391336 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14813 8514 733 807 0 7804 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 59252 KiB
Current children cumulated memory: 34056 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/191 12953
/proc/meminfo: memFree=7216276/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59252 memory=34116 CPUtime=222.28 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 40353 0 0 0 22224 4 0 0 20 0 1 0 219998113 60674048 8529 33554432000 4194304 7499544 140735066396800 140735066391336 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14813 8529 733 807 0 7804 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 59252 KiB
Current children cumulated memory: 34116 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/192 12955
/proc/meminfo: memFree=7216324/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59252 memory=34116 CPUtime=282.28 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 40679 0 0 0 28224 4 0 0 20 0 1 0 219998113 60674048 8529 33554432000 4194304 7499544 140735066396800 140735066391336 5576304 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14813 8529 733 807 0 7804 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 59252 KiB
Current children cumulated memory: 34116 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 12957
/proc/meminfo: memFree=7216028/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59252 memory=34116 CPUtime=342.28 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 41025 0 0 0 34224 4 0 0 20 0 1 0 219998113 60674048 8529 33554432000 4194304 7499544 140735066396800 140735066391336 4253250 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14813 8529 733 807 0 7804 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 59252 KiB
Current children cumulated memory: 34116 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 12958
/proc/meminfo: memFree=7216212/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59252 memory=34116 CPUtime=402.28 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 41361 0 0 0 40224 4 0 0 20 0 1 0 219998113 60674048 8529 33554432000 4194304 7499544 140735066396800 140735066391336 4253216 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14813 8529 733 807 0 7804 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 59252 KiB
Current children cumulated memory: 34116 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 12967
/proc/meminfo: memFree=7215696/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59252 memory=34116 CPUtime=462.28 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 41691 0 0 0 46224 4 0 0 20 0 1 0 219998113 60674048 8529 33554432000 4194304 7499544 140735066396800 140735066391336 4545496 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14813 8529 733 807 0 7804 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 59252 KiB
Current children cumulated memory: 34116 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 12994
/proc/meminfo: memFree=7215216/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59252 memory=34116 CPUtime=522.29 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 42039 0 0 0 52224 5 0 0 20 0 1 0 219998113 60674048 8529 33554432000 4194304 7499544 140735066396800 140735066391336 5790944 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14813 8529 733 807 0 7804 0
Current children cumulated CPU time: 522.29 s
Current children cumulated vsize: 59252 KiB
Current children cumulated memory: 34116 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 12995
/proc/meminfo: memFree=7215720/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34120 CPUtime=582.29 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 42382 0 0 0 58224 5 0 0 20 0 1 0 219998113 60809216 8530 33554432000 4194304 7499544 140735066396800 140735066391336 4246863 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8530 733 807 0 7837 0
Current children cumulated CPU time: 582.29 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34120 KiB
[startup+642.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/192 12996
/proc/meminfo: memFree=7215768/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34128 CPUtime=642.29 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 42716 0 0 0 64224 5 0 0 20 0 1 0 219998113 60809216 8532 33554432000 4194304 7499544 140735066396800 140735066391336 5790951 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8532 733 807 0 7837 0
Current children cumulated CPU time: 642.29 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34128 KiB
[startup+702.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/193 12998
/proc/meminfo: memFree=7216196/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34132 CPUtime=702.29 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 43045 0 0 0 70224 5 0 0 20 0 1 0 219998113 60809216 8533 33554432000 4194304 7499544 140735066396800 140735066391336 5790971 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8533 733 807 0 7837 0
Current children cumulated CPU time: 702.29 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34132 KiB
[startup+762.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 12999
/proc/meminfo: memFree=7216020/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34132 CPUtime=762.29 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 43376 0 0 0 76224 5 0 0 20 0 1 0 219998113 60809216 8533 33554432000 4194304 7499544 140735066396800 140735066391336 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8533 733 807 0 7837 0
Current children cumulated CPU time: 762.29 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34132 KiB
[startup+808.778 s]
# the end of solver process 12912 was just reported to runsolver
# cumulated CPU time of all completed processes: user=808.72 s, system=0.058 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 2.01 2.02 2.05 3/192 12999
/proc/meminfo: memFree=7216028/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34132 CPUtime=768 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 43376 0 0 0 76795 5 0 0 20 0 1 0 219998113 60809216 8533 33554432000 4194304 7499544 140735066396800 140735066391336 5790971 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8533 733 807 0 7837 0
Current children cumulated CPU time: 768 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34132 KiB
[startup+793.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 13000
/proc/meminfo: memFree=7215680/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34132 CPUtime=793.59 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 43681 0 0 0 79354 5 0 0 20 0 1 0 219998113 60809216 8533 33554432000 4194304 7499544 140735066396800 140735066391336 4253104 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8533 733 807 0 7837 0
Current children cumulated CPU time: 793.59 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34132 KiB
[startup+800 s]*
/proc/loadavg: 2.01 2.02 2.05 3/192 13000
/proc/meminfo: memFree=7215684/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34132 CPUtime=800 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 43684 0 0 0 79995 5 0 0 20 0 1 0 219998113 60809216 8533 33554432000 4194304 7499544 140735066396800 140735066391336 5790987 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8533 733 807 0 7837 0
Current children cumulated CPU time: 800 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34132 KiB
[startup+803.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 13000
/proc/meminfo: memFree=7215688/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34132 CPUtime=803.19 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 43684 0 0 0 80314 5 0 0 20 0 1 0 219998113 60809216 8533 33554432000 4194304 7499544 140735066396800 140735066391336 5790390 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8533 733 807 0 7837 0
Current children cumulated CPU time: 803.19 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34132 KiB
[startup+806.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 13000
/proc/meminfo: memFree=7215568/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34132 CPUtime=806.39 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 43684 0 0 0 80634 5 0 0 20 0 1 0 219998113 60809216 8533 33554432000 4194304 7499544 140735066396800 140735066391336 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8533 733 807 0 7837 0
Current children cumulated CPU time: 806.39 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34132 KiB
[startup+808 s]*
/proc/loadavg: 2.01 2.02 2.05 3/192 13000
/proc/meminfo: memFree=7215692/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34132 CPUtime=808 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 43684 0 0 0 80795 5 0 0 20 0 1 0 219998113 60809216 8533 33554432000 4194304 7499544 140735066396800 140735066391336 5791018 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8533 733 807 0 7837 0
Current children cumulated CPU time: 808 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34132 KiB
[startup+808.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 13000
/proc/meminfo: memFree=7215692/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34132 CPUtime=808.39 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 43684 0 0 0 80834 5 0 0 20 0 1 0 219998113 60809216 8533 33554432000 4194304 7499544 140735066396800 140735066391336 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8533 733 807 0 7837 0
Current children cumulated CPU time: 808.39 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34132 KiB
[startup+808.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 13000
/proc/meminfo: memFree=7215692/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34132 CPUtime=808.59 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 43684 0 0 0 80854 5 0 0 20 0 1 0 219998113 60809216 8533 33554432000 4194304 7499544 140735066396800 140735066391336 5790987 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8533 733 807 0 7837 0
Current children cumulated CPU time: 808.59 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34132 KiB
[startup+808.7 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 13000
/proc/meminfo: memFree=7215692/32770624 swapFree=67108860/67108860
[pid=12912] ppid=12909 vsize=59384 memory=34132 CPUtime=808.69 cores=1,3,5,7
/proc/12912/stat : 12912 (MistralXCSP) R 12909 12912 9349 0 -1 4202496 43684 0 0 0 80864 5 0 0 20 0 1 0 219998113 60809216 8533 33554432000 4194304 7499544 140735066396800 140735066391336 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18452480 140735066403949 140735066404099 140735066404099 140735066406857 0
/proc/12912/statm: 14846 8533 733 807 0 7837 0
Current children cumulated CPU time: 808.69 s
Current children cumulated vsize: 59384 KiB
Current children cumulated memory: 34132 KiB
Child status: 0
Real time (s): 808.778
CPU time (s): 808.778
CPU user time (s): 808.72
CPU system time (s): 0.058
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 59384
Max. memory (cumulated for all children) (KiB): 34132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 808.72
system time used= 0.058
maximum resident set size= 34132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43765
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= 506
# summary of solver processes directly reported to runsolver:
# pid: 12912
# total CPU time (s): 808.778
# total CPU user time (s): 808.72
# total CPU system time (s): 0.058
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.16012 second user time and 7.23879 second system time
The end