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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312527-1534699266/watcher-4312527-1534699266 -o /tmp/evaluation-result-4312527-1534699266/solver-4312527-1534699266 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534699010-24031 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1003867968 HOME/instance-4312527-1534699266.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=24262, runsolver pid=24259
Current StackSize limit: 8192 KiB


[startup+0.100196 s]*
/proc/loadavg: 2.05 1.16 0.52 3/188 24263
/proc/meminfo: memFree=24143184/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=33572 memory=8144 CPUtime=0.1 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 2216 0 0 0 10 0 0 0 20 0 1 0 287489794 34377728 2036 33554432000 4194304 7499544 140729871336400 140729871333400 140335432305637 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 8393 2036 701 807 0 1384 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33572 KiB
Current children cumulated memory: 8144 KiB

[startup+0.209692 s]*
/proc/loadavg: 2.05 1.16 0.52 3/188 24263
/proc/meminfo: memFree=24109564/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=37020 memory=11592 CPUtime=0.21 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 3071 0 0 0 21 0 0 0 20 0 1 0 287489794 37908480 2898 33554432000 4194304 7499544 140729871336400 140729871333400 140335432305637 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 9255 2898 701 807 0 2246 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37020 KiB
Current children cumulated memory: 11592 KiB

[startup+0.309295 s]*
/proc/loadavg: 2.05 1.16 0.52 3/188 24263
/proc/meminfo: memFree=24102248/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=40044 memory=14720 CPUtime=0.3 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 3845 0 0 0 30 0 0 0 20 0 1 0 287489794 41005056 3680 33554432000 4194304 7499544 140729871336400 140729871333400 140335432305637 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 10011 3680 701 807 0 3002 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40044 KiB
Current children cumulated memory: 14720 KiB

[startup+0.700344 s]
/proc/loadavg: 2.05 1.16 0.52 3/188 24263
/proc/meminfo: memFree=24081732/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=51884 memory=26416 CPUtime=0.69 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 6830 0 0 0 68 1 0 0 20 0 1 0 287489794 53129216 6604 33554432000 4194304 7499544 140729871336400 140729871333400 4563992 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 12971 6604 701 807 0 5962 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51884 KiB
Current children cumulated memory: 26416 KiB

[startup+1.50036 s]
/proc/loadavg: 2.05 1.16 0.52 3/188 24263
/proc/meminfo: memFree=24059644/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=75976 memory=50436 CPUtime=1.49 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 12903 0 0 0 147 2 0 0 20 0 1 0 287489794 77799424 12609 33554432000 4194304 7499544 140729871336400 140729871327160 140335432305637 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 18994 12609 701 807 0 11985 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 50436 KiB

[startup+3.1096 s]
/proc/loadavg: 2.05 1.18 0.52 3/188 24263
/proc/meminfo: memFree=23854812/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=138452 memory=113108 CPUtime=3.1 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 36647 0 0 0 306 4 0 0 20 0 1 0 287489794 141774848 28277 33554432000 4194304 7499544 140729871336400 140729871327400 140335432305637 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 34613 28277 719 807 0 27604 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 138452 KiB
Current children cumulated memory: 113108 KiB

[startup+6.30041 s]
/proc/loadavg: 2.05 1.18 0.52 3/188 24263
/proc/meminfo: memFree=23770800/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=220652 memory=195440 CPUtime=6.3 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 102947 0 0 0 620 10 0 0 20 0 1 0 287489794 225947648 48860 33554432000 4194304 7499544 140729871336400 140729871331416 4249920 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 55163 48860 756 807 0 48154 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 220652 KiB
Current children cumulated memory: 195440 KiB

[startup+12.7004 s]
/proc/loadavg: 2.04 1.20 0.54 3/188 24263
/proc/meminfo: memFree=23768324/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=221448 memory=196204 CPUtime=12.69 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 140653 0 0 0 1258 11 0 0 20 0 1 0 287489794 226762752 49051 33554432000 4194304 7499544 140729871336400 140729871331096 5163908 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 55362 49051 758 807 0 48353 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 221448 KiB
Current children cumulated memory: 196204 KiB

[startup+25.5004 s]
/proc/loadavg: 2.03 1.23 0.56 3/188 24263
/proc/meminfo: memFree=23766652/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=222504 memory=197264 CPUtime=25.49 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 182373 0 0 0 2535 14 0 0 20 0 1 0 287489794 227844096 49316 33554432000 4194304 7499544 140729871336400 140729871330856 4249664 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 55626 49316 758 807 0 48617 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 222504 KiB
Current children cumulated memory: 197264 KiB

[startup+51.1093 s]
/proc/loadavg: 2.02 1.29 0.59 3/188 24263
/proc/meminfo: memFree=23765356/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=223204 memory=197960 CPUtime=51.11 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 254949 0 0 0 5093 18 0 0 20 0 1 0 287489794 228560896 49490 33554432000 4194304 7499544 140729871336400 140729871330936 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 55801 49490 758 807 0 48792 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 223204 KiB
Current children cumulated memory: 197960 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 1.41 0.67 3/188 24264
/proc/meminfo: memFree=23763416/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=223336 memory=198096 CPUtime=102.29 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 293096 0 0 0 10210 19 0 0 20 0 1 0 287489794 228696064 49524 33554432000 4194304 7499544 140729871336400 140729871330824 4258061 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 55834 49524 758 807 0 48825 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 223336 KiB
Current children cumulated memory: 198096 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 1.52 0.76 3/188 24265
/proc/meminfo: memFree=23762832/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=223468 memory=198220 CPUtime=162.3 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 331302 0 0 0 16209 21 0 0 20 0 1 0 287489794 228831232 49555 33554432000 4194304 7499544 140729871336400 140729871330824 5621203 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 55867 49555 758 807 0 48858 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 223468 KiB
Current children cumulated memory: 198220 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.61 0.83 3/188 24266
/proc/meminfo: memFree=23761352/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=223468 memory=198320 CPUtime=222.29 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 362775 0 0 0 22206 23 0 0 20 0 1 0 287489794 228831232 49580 33554432000 4194304 7499544 140729871336400 140729871330824 4249735 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 55867 49580 758 807 0 48858 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 223468 KiB
Current children cumulated memory: 198320 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.00 1.64 0.87 3/187 24329
/proc/meminfo: memFree=22785328/32770624 swapFree=67108452/67108860
[pid=24262] ppid=24259 vsize=223468 memory=198424 CPUtime=251.98 cores=0,2,4,6
/proc/24262/stat : 24262 (MistralXCSP) R 24259 24262 24000 0 -1 4202496 380353 0 0 0 25174 24 0 0 20 0 1 0 287489794 228831232 49606 33554432000 4194304 7499544 140729871336400 140729871330824 4252687 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 16105472 140729871340658 140729871340808 140729871340808 140729871343561 0
/proc/24262/statm: 55867 49606 758 807 0 48858 0
Current children cumulated CPU time: 251.98 s
Current children cumulated vsize: 223468 KiB
Current children cumulated memory: 198424 KiB

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

[startup+252.014 s]
# the end of solver process 24262 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.748 s, system=0.251017 s

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

Child status: 0
Real time (s): 252.015
CPU time (s): 251.999
CPU user time (s): 251.748
CPU system time (s): 0.251017
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 223468
Max. memory (cumulated for all children) (KiB): 198424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.748
system time used= 0.251017
maximum resident set size= 198456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380384
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= 44
involuntary context switches= 77


# summary of solver processes directly reported to runsolver:
#   pid: 24262
#   total CPU time (s): 251.999
#   total CPU user time (s): 251.748
#   total CPU system time (s): 0.251017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.963965 second user time and 1.77505 second system time

The end