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 (1131 MiB free)
  memory of node 1: 16384 MiB (2580 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304054-1534005032/watcher-4304054-1534005032 -o /tmp/evaluation-result-4304054-1534005032/solver-4304054-1534005032 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1533992207-26950 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 386553960 HOME/instance-4304054-1534005032.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=28273, runsolver pid=28270

[startup+0.100147 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 28274
/proc/meminfo: memFree=3796236/32770624 swapFree=67108860/67108860
[pid=28273] ppid=28270 vsize=34784 memory=9376 CPUtime=0.1 cores=0,2,4,6
/proc/28273/stat : 28273 (MistralXCSP) R 28270 28273 26919 0 -1 4202496 2508 0 0 0 10 0 0 0 20 0 1 0 218066407 35618816 2344 33554432000 4194304 7499544 140734791430624 140734791420744 140643007491045 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32989184 140734791435374 140734791435523 140734791435523 140734791438281 0
/proc/28273/statm: 8696 2344 701 807 0 1687 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34784 KiB
Current children cumulated memory: 9376 KiB

[startup+0.209712 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 28274
/proc/meminfo: memFree=3793632/32770624 swapFree=67108860/67108860
[pid=28273] ppid=28270 vsize=37464 memory=12012 CPUtime=0.21 cores=0,2,4,6
/proc/28273/stat : 28273 (MistralXCSP) R 28270 28273 26919 0 -1 4202496 3171 0 0 0 21 0 0 0 20 0 1 0 218066407 38363136 3003 33554432000 4194304 7499544 140734791430624 140734791420744 140643007491045 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32989184 140734791435374 140734791435523 140734791435523 140734791438281 0
/proc/28273/statm: 9366 3003 702 807 0 2357 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37464 KiB
Current children cumulated memory: 12012 KiB

[startup+0.309252 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 28274
/proc/meminfo: memFree=3790532/32770624 swapFree=67108860/67108860
[pid=28273] ppid=28270 vsize=40420 memory=15000 CPUtime=0.31 cores=0,2,4,6
/proc/28273/stat : 28273 (MistralXCSP) R 28270 28273 26919 0 -1 4202496 3912 0 0 0 31 0 0 0 20 0 1 0 218066407 41390080 3750 33554432000 4194304 7499544 140734791430624 140734791420744 140643014284087 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32989184 140734791435374 140734791435523 140734791435523 140734791438281 0
/proc/28273/statm: 10105 3750 702 807 0 3096 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40420 KiB
Current children cumulated memory: 15000 KiB

[startup+0.700289 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28274
/proc/meminfo: memFree=3784332/32770624 swapFree=67108860/67108860
[pid=28273] ppid=28270 vsize=52532 memory=26892 CPUtime=0.69 cores=0,2,4,6
/proc/28273/stat : 28273 (MistralXCSP) R 28270 28273 26919 0 -1 4202496 7023 0 0 0 69 0 0 0 20 0 1 0 218066407 53792768 6723 33554432000 4194304 7499544 140734791430624 140734791420744 4563992 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32989184 140734791435374 140734791435523 140734791435523 140734791438281 0
/proc/28273/statm: 13133 6723 702 807 0 6124 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52532 KiB
Current children cumulated memory: 26892 KiB

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28274
/proc/meminfo: memFree=3768564/32770624 swapFree=67108860/67108860
[pid=28273] ppid=28270 vsize=76376 memory=50900 CPUtime=1.49 cores=0,2,4,6
/proc/28273/stat : 28273 (MistralXCSP) R 28270 28273 26919 0 -1 4202496 13006 0 0 0 148 1 0 0 20 0 1 0 218066407 78209024 12725 33554432000 4194304 7499544 140734791430624 140734791420744 4563984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32989184 140734791435374 140734791435523 140734791435523 140734791438281 0
/proc/28273/statm: 19094 12725 702 807 0 12085 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 76376 KiB
Current children cumulated memory: 50900 KiB

[startup+3.10978 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28274
/proc/meminfo: memFree=3666636/32770624 swapFree=67108860/67108860
[pid=28273] ppid=28270 vsize=163628 memory=138496 CPUtime=3.09 cores=0,2,4,6
/proc/28273/stat : 28273 (MistralXCSP) R 28270 28273 26919 0 -1 4202496 50124 0 0 0 305 4 0 0 20 0 1 0 218066407 167555072 34624 33554432000 4194304 7499544 140734791430624 140734791420744 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32989184 140734791435374 140734791435523 140734791435523 140734791438281 0
/proc/28273/statm: 40907 34624 752 807 0 33898 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 163628 KiB
Current children cumulated memory: 138496 KiB

[startup+5.90988 s]
# the end of solver process 28273 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.82457 s, system=0.076007 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20038 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28274
/proc/meminfo: memFree=3666636/32770624 swapFree=67108860/67108860
[pid=28273] ppid=28270 vsize=163628 memory=138496 CPUtime=3.19 cores=0,2,4,6
/proc/28273/stat : 28273 (MistralXCSP) R 28270 28273 26919 0 -1 4202496 50129 0 0 0 315 4 0 0 20 0 1 0 218066407 167555072 34624 33554432000 4194304 7499544 140734791430624 140734791420744 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32989184 140734791435374 140734791435523 140734791435523 140734791438281 0
/proc/28273/statm: 40907 34624 752 807 0 33898 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 163628 KiB
Current children cumulated memory: 138496 KiB

[startup+4.80034 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28274
/proc/meminfo: memFree=3665608/32770624 swapFree=67108860/67108860
[pid=28273] ppid=28270 vsize=165080 memory=139892 CPUtime=4.79 cores=0,2,4,6
/proc/28273/stat : 28273 (MistralXCSP) R 28270 28273 26919 0 -1 4202496 82356 0 0 0 473 6 0 0 20 0 1 0 218066407 169041920 34973 33554432000 4194304 7499544 140734791430624 140734791425048 4257879 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32989184 140734791435374 140734791435523 140734791435523 140734791438281 0
/proc/28273/statm: 41270 34973 753 807 0 34261 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 165080 KiB
Current children cumulated memory: 139892 KiB

[startup+5.60036 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28274
/proc/meminfo: memFree=3664864/32770624 swapFree=67108860/67108860
[pid=28273] ppid=28270 vsize=165344 memory=140016 CPUtime=5.59 cores=0,2,4,6
/proc/28273/stat : 28273 (MistralXCSP) R 28270 28273 26919 0 -1 4202496 82427 0 0 0 553 6 0 0 20 0 1 0 218066407 169312256 35004 33554432000 4194304 7499544 140734791430624 140734791425048 4401104 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32989184 140734791435374 140734791435523 140734791435523 140734791438281 0
/proc/28273/statm: 41336 35004 753 807 0 34327 0
Current children cumulated CPU time: 5.59 s
Current children cumulated vsize: 165344 KiB
Current children cumulated memory: 140016 KiB

[startup+5.80034 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28274
/proc/meminfo: memFree=3664864/32770624 swapFree=67108860/67108860
[pid=28273] ppid=28270 vsize=165476 memory=140280 CPUtime=5.79 cores=0,2,4,6
/proc/28273/stat : 28273 (MistralXCSP) R 28270 28273 26919 0 -1 4202496 82458 0 0 0 573 6 0 0 20 0 1 0 218066407 169447424 35070 33554432000 4194304 7499544 140734791430624 140734791425048 4257952 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32989184 140734791435374 140734791435523 140734791435523 140734791438281 0
/proc/28273/statm: 41369 35070 753 807 0 34360 0
Current children cumulated CPU time: 5.79 s
Current children cumulated vsize: 165476 KiB
Current children cumulated memory: 140280 KiB

[startup+5.90035 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 28274
/proc/meminfo: memFree=3772628/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 5.9099
CPU time (s): 5.90058
CPU user time (s): 5.82457
CPU system time (s): 0.076007
CPU usage (%): 99.8422
Max. virtual memory (cumulated for all children) (KiB): 165476
Max. memory (cumulated for all children) (KiB): 140280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.82457
system time used= 0.076007
maximum resident set size= 140356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84287
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= 8
involuntary context switches= 3


# summary of solver processes directly reported to runsolver:
#   pid: 28273
#   total CPU time (s): 5.90058
#   total CPU user time (s): 5.82457
#   total CPU system time (s): 0.076007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041994 second user time and 0.09283 second system time

The end