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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259029-1502646663/watcher-4259029-1502646663 -o /tmp/evaluation-result-4259029-1502646663/solver-4259029-1502646663 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502640747-30540 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1357880982 HOME/instance-4259029-1502646663.xml 

running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB

solver pid=930, runsolver pid=927

[startup+0.100156 s]*
/proc/loadavg: 2.08 2.02 2.05 2/181 931
/proc/meminfo: memFree=31551884/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/930/stat : 930 (runsolver) D 927 930 12560 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 66861739 34791424 113 18446744073709551615 4194304 4346622 140726566201600 140726566198232 140297599607511 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 19263488 140726566207597 140726566208041 140726566208041 140726566211530 0
/proc/930/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.209104 s]*
/proc/loadavg: 2.08 2.02 2.05 3/181 931
/proc/meminfo: memFree=31550508/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=30176 memory=4532 CPUtime=0.1 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 1324 0 0 0 10 0 0 0 20 0 1 0 66861739 30900224 1133 18446744073709551615 4194304 7396336 140734725866736 140734725859976 5882050 0 0 1 0 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 7544 1133 614 782 0 560 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30176 KiB
Current children cumulated memory: 4532 KiB

[startup+0.308925 s]*
/proc/loadavg: 2.08 2.02 2.05 3/181 931
/proc/meminfo: memFree=31549908/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=31016 memory=5100 CPUtime=0.19 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 1586 0 0 0 19 0 0 0 20 0 1 0 66861739 31760384 1275 18446744073709551615 4194304 7396336 140734725866736 140734725859976 139946104937445 0 0 1 0 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 7754 1275 614 782 0 770 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 31016 KiB
Current children cumulated memory: 5100 KiB

[startup+0.700275 s]
/proc/loadavg: 2.08 2.02 2.05 3/181 931
/proc/meminfo: memFree=31548420/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=32708 memory=6784 CPUtime=0.58 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 2220 0 0 0 58 0 0 0 20 0 1 0 66861739 33492992 1696 18446744073709551615 4194304 7396336 140734725866736 140734725859976 6081073 0 0 1 0 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 8177 1696 661 782 0 1193 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 32708 KiB
Current children cumulated memory: 6784 KiB

[startup+1.50028 s]
/proc/loadavg: 2.08 2.02 2.05 3/181 931
/proc/meminfo: memFree=31548420/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=33624 memory=7576 CPUtime=1.38 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 2444 0 0 0 138 0 0 0 20 0 1 0 66861739 34430976 1894 18446744073709551615 4194304 7396336 140734725866736 140734725857480 139946111110528 0 0 1 0 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 8406 1894 670 782 0 1422 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 33624 KiB
Current children cumulated memory: 7576 KiB

[startup+3.10874 s]
/proc/loadavg: 2.08 2.02 2.05 3/181 931
/proc/meminfo: memFree=31546068/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=35408 memory=9468 CPUtime=2.99 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 3297 0 0 0 299 0 0 0 20 0 1 0 66861739 36257792 2367 18446744073709551615 4194304 7396336 140734725866736 140734725857400 139946104929824 0 0 1 0 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 8852 2367 670 782 0 1868 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 35408 KiB
Current children cumulated memory: 9468 KiB

[startup+6.30026 s]
/proc/loadavg: 2.08 2.02 2.05 3/181 994
/proc/meminfo: memFree=31660400/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=38608 memory=12640 CPUtime=6.17 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 4779 0 0 0 617 0 0 0 20 0 1 0 66861739 39534592 3160 18446744073709551615 4194304 7396336 140734725866736 140734725857480 6036740 0 0 1 0 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 9652 3160 670 782 0 2668 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 38608 KiB
Current children cumulated memory: 12640 KiB

[startup+12.7003 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 994
/proc/meminfo: memFree=31648828/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=44848 memory=18828 CPUtime=12.57 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 7504 0 0 0 1257 0 0 0 20 0 1 0 66861739 45924352 4707 18446744073709551615 4194304 7396336 140734725866736 140734725857480 5929814 0 0 1 0 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 11212 4707 670 782 0 4228 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 44848 KiB
Current children cumulated memory: 18828 KiB

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.05 3/181 994
/proc/meminfo: memFree=31622352/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=59204 memory=33124 CPUtime=25.37 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 13247 0 0 0 2536 1 0 0 20 0 1 0 66861739 60624896 8281 18446744073709551615 4194304 7396336 140734725866736 140734725857480 4566053 0 0 1 0 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 14801 8281 670 782 0 7817 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 59204 KiB
Current children cumulated memory: 33124 KiB

[startup+51.1096 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 995
/proc/meminfo: memFree=31555516/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=74368 memory=49208 CPUtime=50.95 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 21724 0 0 0 5094 1 0 0 20 0 1 0 66861739 76152832 12302 18446744073709551615 4194304 7396336 140734725866736 140734725861752 4406456 0 0 1 16386 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 18592 12302 722 782 0 11608 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 74368 KiB
Current children cumulated memory: 49208 KiB

[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 997
/proc/meminfo: memFree=31555324/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=74368 memory=49208 CPUtime=102.13 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 21992 0 0 0 10212 1 0 0 20 0 1 0 66861739 76152832 12302 18446744073709551615 4194304 7396336 140734725866736 140734725861752 5576651 0 0 1 16386 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 18592 12302 722 782 0 11608 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 74368 KiB
Current children cumulated memory: 49208 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 999
/proc/meminfo: memFree=31555080/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=74368 memory=49208 CPUtime=162.12 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 22257 0 0 0 16210 2 0 0 20 0 1 0 66861739 76152832 12302 18446744073709551615 4194304 7396336 140734725866736 140734725861752 4257799 0 0 1 16386 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 18592 12302 722 782 0 11608 0
Current children cumulated CPU time: 162.12 s
Current children cumulated vsize: 74368 KiB
Current children cumulated memory: 49208 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 1016
/proc/meminfo: memFree=31551424/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=74368 memory=49208 CPUtime=222.1 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 22519 0 0 0 22208 2 0 0 20 0 1 0 66861739 76152832 12302 18446744073709551615 4194304 7396336 140734725866736 140734725861752 4590624 0 0 1 16386 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 18592 12302 722 782 0 11608 0
Current children cumulated CPU time: 222.1 s
Current children cumulated vsize: 74368 KiB
Current children cumulated memory: 49208 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.00 2.01 2.05 3/185 1017
/proc/meminfo: memFree=31551236/32770624 swapFree=67105588/67108860
[pid=930] ppid=927 vsize=74368 memory=49208 CPUtime=251.79 cores=1,3,5,7
/proc/930/stat : 930 (MistralXCSP) R 927 930 12560 0 -1 4202496 22781 0 0 0 25177 2 0 0 20 0 1 0 66861739 76152832 12302 18446744073709551615 4194304 7396336 140734725866736 140734725861752 5649188 0 0 1 16386 0 0 0 17 1 0 0 11 0 0 9496464 9501696 35049472 140734725869970 140734725870120 140734725870120 140734725873609 0
/proc/930/statm: 18592 12302 722 782 0 11608 0
Current children cumulated CPU time: 251.79 s
Current children cumulated vsize: 74368 KiB
Current children cumulated memory: 49208 KiB

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

[startup+252.011 s]
# the end of solver process 930 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.782 s, system=0.021992 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.804
CPU user time (s): 251.782
CPU system time (s): 0.021992
CPU usage (%): 99.9179
Max. virtual memory (cumulated for all children) (KiB): 74368
Max. memory (cumulated for all children) (KiB): 49208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.782
system time used= 0.021992
maximum resident set size= 49236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22821
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= 25
involuntary context switches= 1357


# summary of solver processes directly reported to runsolver:
#   pid: 930
#   total CPU time (s): 251.804
#   total CPU user time (s): 251.782
#   total CPU system time (s): 0.021992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.962407 second user time and 1.82698 second system time

The end