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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312541-1534699395/watcher-4312541-1534699395 -o /tmp/evaluation-result-4312541-1534699395/solver-4312541-1534699395 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534698887-10499 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1598251266 HOME/instance-4312541-1534699395.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=10795, runsolver pid=10792
Current StackSize limit: 8192 KiB


[startup+0.100598 s]*
/proc/loadavg: 2.17 1.68 0.88 3/189 10796
/proc/meminfo: memFree=22003896/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=34488 memory=9064 CPUtime=0.1 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 2433 0 0 0 10 0 0 0 20 0 1 0 287502696 35315712 2266 33554432000 4194304 7499544 140734786237152 140734786227992 139667734502206 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 8622 2266 702 807 0 1613 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34488 KiB
Current children cumulated memory: 9064 KiB

[startup+0.209635 s]*
/proc/loadavg: 2.17 1.68 0.88 3/189 10796
/proc/meminfo: memFree=22001352/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=36992 memory=11436 CPUtime=0.2 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 3065 0 0 0 20 0 0 0 20 0 1 0 287502696 37879808 2859 33554432000 4194304 7499544 140734786237152 140734786227992 139667734506469 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 9248 2859 703 807 0 2239 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36992 KiB
Current children cumulated memory: 11436 KiB

[startup+0.309134 s]*
/proc/loadavg: 2.17 1.68 0.88 3/189 10796
/proc/meminfo: memFree=21999120/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=39820 memory=14404 CPUtime=0.3 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 3791 0 0 0 30 0 0 0 20 0 1 0 287502696 40775680 3601 33554432000 4194304 7499544 140734786237152 140734786227992 4563992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 9955 3601 703 807 0 2946 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39820 KiB
Current children cumulated memory: 14404 KiB

[startup+0.700241 s]
/proc/loadavg: 2.17 1.68 0.88 3/189 10796
/proc/meminfo: memFree=21992796/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=51424 memory=25964 CPUtime=0.68 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 6717 0 0 0 68 0 0 0 20 0 1 0 287502696 52658176 6491 33554432000 4194304 7499544 140734786237152 140734786227992 139667734504250 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 12856 6491 703 807 0 5847 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 25964 KiB

[startup+1.50025 s]
/proc/loadavg: 2.17 1.68 0.88 3/189 10796
/proc/meminfo: memFree=21978512/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=75052 memory=49572 CPUtime=1.49 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 12687 0 0 0 148 1 0 0 20 0 1 0 287502696 76853248 12393 33554432000 4194304 7499544 140734786237152 140734786228072 5896688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 18763 12393 703 807 0 11754 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75052 KiB
Current children cumulated memory: 49572 KiB

[startup+3.10956 s]
/proc/loadavg: 2.23 1.70 0.89 3/189 10796
/proc/meminfo: memFree=21893568/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=144320 memory=119008 CPUtime=3.09 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 44245 0 0 0 304 5 0 0 20 0 1 0 287502696 147783680 29752 33554432000 4194304 7499544 140734786237152 140734786231688 4252699 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 36080 29752 755 807 0 29071 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 144320 KiB
Current children cumulated memory: 119008 KiB

[startup+6.30024 s]
/proc/loadavg: 2.23 1.70 0.89 3/189 10796
/proc/meminfo: memFree=21893576/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=144320 memory=119096 CPUtime=6.28 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 57666 0 0 0 622 6 0 0 20 0 1 0 287502696 147783680 29774 33554432000 4194304 7499544 140734786237152 140734786232168 4249920 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 36080 29774 758 807 0 29071 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 144320 KiB
Current children cumulated memory: 119096 KiB

[startup+12.7003 s]
/proc/loadavg: 2.21 1.70 0.90 3/189 10796
/proc/meminfo: memFree=21893800/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=144464 memory=119152 CPUtime=12.69 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 71102 0 0 0 1262 7 0 0 20 0 1 0 287502696 147931136 29788 33554432000 4194304 7499544 140734786237152 140734786231848 4249680 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 36116 29788 758 807 0 29107 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 144464 KiB
Current children cumulated memory: 119152 KiB

[startup+25.5003 s]
/proc/loadavg: 2.17 1.72 0.91 3/189 10796
/proc/meminfo: memFree=21894156/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=144464 memory=119172 CPUtime=25.48 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 86822 0 0 0 2541 7 0 0 20 0 1 0 287502696 147931136 29793 33554432000 4194304 7499544 140734786237152 140734786231848 4405038 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 36116 29793 758 807 0 29107 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 144464 KiB
Current children cumulated memory: 119172 KiB

[startup+51.1092 s]
/proc/loadavg: 2.11 1.74 0.94 3/189 10796
/proc/meminfo: memFree=21893508/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=144464 memory=119192 CPUtime=51.09 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 109208 0 0 0 5100 9 0 0 20 0 1 0 287502696 147931136 29798 33554432000 4194304 7499544 140734786237152 140734786231848 4249700 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 36116 29798 758 807 0 29107 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 144464 KiB
Current children cumulated memory: 119192 KiB

[startup+102.3 s]
/proc/loadavg: 2.05 1.78 1.00 5/202 10826
/proc/meminfo: memFree=21655792/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=144464 memory=119320 CPUtime=102.25 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 114691 0 0 0 10216 9 0 0 20 0 1 0 287502696 147931136 29830 33554432000 4194304 7499544 140734786237152 140734786231848 4249680 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 36116 29830 758 807 0 29107 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 144464 KiB
Current children cumulated memory: 119320 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 1.82 1.06 3/187 10920
/proc/meminfo: memFree=22011432/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=144464 memory=119324 CPUtime=162.25 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 115530 0 0 0 16216 9 0 0 20 0 1 0 287502696 147931136 29831 33554432000 4194304 7499544 140734786237152 140734786231848 5612967 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 36116 29831 758 807 0 29107 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 144464 KiB
Current children cumulated memory: 119324 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 1.85 1.12 3/187 10921
/proc/meminfo: memFree=22011332/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=144464 memory=119332 CPUtime=222.25 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 115891 0 0 0 22216 9 0 0 20 0 1 0 287502696 147931136 29833 33554432000 4194304 7499544 140734786237152 140734786231848 4321208 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 36116 29833 758 807 0 29107 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 144464 KiB
Current children cumulated memory: 119332 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.00 1.87 1.15 3/187 10922
/proc/meminfo: memFree=22011116/32770624 swapFree=67108368/67108860
[pid=10795] ppid=10792 vsize=144464 memory=119336 CPUtime=251.96 cores=0,2,4,6
/proc/10795/stat : 10795 (MistralXCSP) R 10792 10795 10468 0 -1 4202496 116749 0 0 0 25187 9 0 0 20 0 1 0 287502696 147931136 29834 33554432000 4194304 7499544 140734786237152 140734786231848 5613228 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 43151360 140734786241650 140734786241800 140734786241800 140734786244553 0
/proc/10795/statm: 36116 29834 758 807 0 29107 0
Current children cumulated CPU time: 251.96 s
Current children cumulated vsize: 144464 KiB
Current children cumulated memory: 119336 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.01 s]
# the end of solver process 10795 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.876 s, system=0.097001 s

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

Child status: 0
Real time (s): 252.011
CPU time (s): 251.973
CPU user time (s): 251.876
CPU system time (s): 0.097001
CPU usage (%): 99.9851
Max. virtual memory (cumulated for all children) (KiB): 144464
Max. memory (cumulated for all children) (KiB): 119336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.876
system time used= 0.097001
maximum resident set size= 119356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116861
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= 50
involuntary context switches= 105


# summary of solver processes directly reported to runsolver:
#   pid: 10795
#   total CPU time (s): 251.973
#   total CPU user time (s): 251.876
#   total CPU system time (s): 0.097001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.873415 second user time and 1.71808 second system time

The end