Trace number 4391555

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
NACRE 1.0.5-Hybrid? (TO) 2400.1 2400.61

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-05-m012.xml
MD5SUMf25b1aae0c79188cbfab33516e563679
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark626.863
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints34
Number of domains1
Minimum domain size61
Maximum domain size61
Distribution of domain sizes[{"size":61,"count":61}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":20},{"degree":4,"count":55},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity61
Distribution of constraint arities[{"arity":2,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":3},{"arity":61,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":27}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c NACRE 1.0.5
2400.08/2400.60	c
2400.08/2400.60	c # time = 2400.08
2400.08/2400.60	c # Dec = 6403809
2400.08/2400.60	c # Propagate Calls = 12678911257
2400.08/2400.60	c # assignAt Calls = 7439108
2400.08/2400.60	c # removeAt Calls = 2775894986
2400.08/2400.60	c # Run = 10034
2400.08/2400.60	c # Conflicts = 6184709
2400.08/2400.60	c # Memory used = 1588.14 Mb
2400.08/2400.60	s UNKNOWN

Verifier Data


Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391555-1568312633/watcher-4391555-1568312633 -o /tmp/evaluation-result-4391555-1568312633/solver-4391555-1568312633 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20541 --watchdog 2560 nacre_mini_release HOME/instance-4391555-1568312633.xml -ca -l100 -cm 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=22568, runsolver pid=22565
Current StackSize limit: 8192 KiB


[startup+0.100197 s]*
/proc/loadavg: 2.00 2.01 2.03 3/200 22569
/proc/meminfo: memFree=21943668/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=30136 memory=6760 CPUtime=0.1 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1857 0 0 0 10 0 0 0 20 0 1 0 407201765 30859264 1690 33554432000 4194304 4935366 140721304142032 140721304139800 139895793654139 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 7534 1690 622 181 0 1151 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30136 KiB
Current children cumulated memory: 6760 KiB

[startup+0.209949 s]*
/proc/loadavg: 2.00 2.01 2.03 3/200 22569
/proc/meminfo: memFree=21940832/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=33592 memory=10212 CPUtime=0.21 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 2722 0 0 0 21 0 0 0 20 0 1 0 407201765 34398208 2553 33554432000 4194304 4935366 140721304142032 140721304139800 139895793654171 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 8398 2553 622 181 0 2015 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33592 KiB
Current children cumulated memory: 10212 KiB

[startup+0.309479 s]*
/proc/loadavg: 2.00 2.01 2.03 3/200 22569
/proc/meminfo: memFree=21938600/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=35460 memory=12048 CPUtime=0.31 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 3187 0 0 0 31 0 0 0 20 0 1 0 407201765 36311040 3012 33554432000 4194304 4935366 140721304142032 140721304139800 139895792798693 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 8865 3012 622 181 0 2482 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35460 KiB
Current children cumulated memory: 12048 KiB

[startup+0.700374 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22569
/proc/meminfo: memFree=21933392/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=45424 memory=21896 CPUtime=0.68 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 5696 0 0 0 68 0 0 0 20 0 1 0 407201765 46514176 5474 33554432000 4194304 4935366 140721304142032 140721304139800 139895793654171 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 11356 5474 622 181 0 4973 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45424 KiB
Current children cumulated memory: 21896 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.03 3/201 22571
/proc/meminfo: memFree=21921560/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=62348 memory=38904 CPUtime=1.49 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 9898 0 0 0 148 1 0 0 20 0 1 0 407201765 63844352 9726 33554432000 4194304 4935366 140721304142032 140721304139800 139895792798693 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 15587 9726 622 181 0 9204 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 62348 KiB
Current children cumulated memory: 38904 KiB

[startup+3.10977 s]
/proc/loadavg: 2.00 2.01 2.03 3/201 22571
/proc/meminfo: memFree=21876212/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=97700 memory=74048 CPUtime=3.1 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 27103 0 0 0 307 3 0 0 20 0 1 0 407201765 100044800 18512 33554432000 4194304 4935366 140721304142032 140721304139800 139895798989508 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 24425 18512 622 181 0 18042 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 97700 KiB
Current children cumulated memory: 74048 KiB

[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 2.03 3/201 22572
/proc/meminfo: memFree=21835960/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=140124 memory=116144 CPUtime=6.29 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 55753 0 0 0 623 6 0 0 20 0 1 0 407201765 143486976 29036 33554432000 4194304 4935366 140721304142032 140721304139800 139895793654163 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 35031 29036 622 181 0 28648 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 140124 KiB
Current children cumulated memory: 116144 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22572
/proc/meminfo: memFree=21782236/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=193332 memory=169568 CPUtime=12.69 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 96958 0 0 0 1260 9 0 0 20 0 1 0 407201765 197971968 42392 33554432000 4194304 4935366 140721304142032 140721304139784 4420857 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 48333 42392 622 181 0 41950 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 193332 KiB
Current children cumulated memory: 169568 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22572
/proc/meminfo: memFree=21696840/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=271644 memory=248160 CPUtime=25.49 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 187524 0 0 0 2532 17 0 0 20 0 1 0 407201765 278163456 62040 33554432000 4194304 4935366 140721304142032 140721304139784 139895792808844 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 67911 62040 622 181 0 61528 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 271644 KiB
Current children cumulated memory: 248160 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.03 3/200 22574
/proc/meminfo: memFree=21597992/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=362292 memory=337652 CPUtime=51.09 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 267996 0 0 0 5084 25 0 0 20 0 1 0 407201765 370987008 84413 33554432000 4194304 4935366 140721304142032 140721304139720 4420612 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 90573 84413 622 181 0 84190 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 362292 KiB
Current children cumulated memory: 337652 KiB

[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.03 3/200 22578
/proc/meminfo: memFree=21454760/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=496064 memory=471668 CPUtime=102.25 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 351787 0 0 0 10191 34 0 0 20 0 1 0 407201765 507969536 117917 33554432000 4194304 4935366 140721304142032 140721304139736 139895793654020 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 124016 117917 622 181 0 117633 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 496064 KiB
Current children cumulated memory: 471668 KiB

[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.03 3/199 22583
/proc/meminfo: memFree=21356180/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=576608 memory=552316 CPUtime=162.21 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 433638 0 0 0 16180 41 0 0 20 0 1 0 407201765 590446592 138079 33554432000 4194304 4935366 140721304142032 140721304139784 139895798990188 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 144152 138079 622 181 0 137769 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 576608 KiB
Current children cumulated memory: 552316 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/199 22587
/proc/meminfo: memFree=21276872/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=645732 memory=621688 CPUtime=222.18 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 520543 0 0 0 22169 49 0 0 20 0 1 0 407201765 661229568 155422 33554432000 4194304 4935366 140721304142032 140721304139784 4461050 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 161433 155422 622 181 0 155050 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 645732 KiB
Current children cumulated memory: 621688 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/199 22593
/proc/meminfo: memFree=21221848/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=695840 memory=672056 CPUtime=282.14 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 561810 0 0 0 28161 53 0 0 20 0 1 0 407201765 712540160 168014 33554432000 4194304 4935366 140721304142032 140721304139720 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 173960 168014 622 181 0 167577 0
Current children cumulated CPU time: 282.14 s
Current children cumulated vsize: 695840 KiB
Current children cumulated memory: 672056 KiB

[startup+342.3 s]
/proc/loadavg: 2.53 2.15 2.08 3/199 22598
/proc/meminfo: memFree=21162204/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=742040 memory=718336 CPUtime=342.11 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 616155 0 0 0 34153 58 0 0 20 0 1 0 407201765 759848960 179584 33554432000 4194304 4935366 140721304142032 140721304139720 4416371 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 185510 179584 622 181 0 179127 0
Current children cumulated CPU time: 342.11 s
Current children cumulated vsize: 742040 KiB
Current children cumulated memory: 718336 KiB

[startup+402.3 s]
/proc/loadavg: 2.19 2.12 2.07 3/199 22602
/proc/meminfo: memFree=21092824/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=802044 memory=776548 CPUtime=402.07 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 671929 0 0 0 40143 64 0 0 20 0 1 0 407201765 821293056 194137 33554432000 4194304 4935366 140721304142032 140721304139720 4461069 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 200511 194137 622 181 0 194128 0
Current children cumulated CPU time: 402.07 s
Current children cumulated vsize: 802044 KiB
Current children cumulated memory: 776548 KiB

[startup+462.3 s]
/proc/loadavg: 2.07 2.10 2.07 3/199 22615
/proc/meminfo: memFree=21001092/32770624 swapFree=66999156/67108860
[pid=22568] ppid=22565 vsize=892412 memory=867132 CPUtime=462.04 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 726834 0 0 0 46131 73 0 0 20 0 1 0 407201765 913829888 216783 33554432000 4194304 4935366 140721304142032 140721304139736 139895792791553 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 223103 216783 622 181 0 216720 0
Current children cumulated CPU time: 462.04 s
Current children cumulated vsize: 892412 KiB
Current children cumulated memory: 867132 KiB


################
# More data... #
################

/proc/22568/statm: 364170 358122 622 181 0 357787 0
Current children cumulated CPU time: 1601.84 s
Current children cumulated vsize: 1456680 KiB
Current children cumulated memory: 1432488 KiB

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/199 22721
/proc/meminfo: memFree=20337996/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1471324 memory=1447312 CPUtime=1661.8 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1544794 0 0 0 166024 156 0 0 20 0 1 0 407201765 1506635776 361828 33554432000 4194304 4935366 140721304142032 140721304139736 4416353 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 367831 361828 622 181 0 361448 0
Current children cumulated CPU time: 1661.8 s
Current children cumulated vsize: 1471324 KiB
Current children cumulated memory: 1447312 KiB

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 22727
/proc/meminfo: memFree=20307636/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1497708 memory=1473904 CPUtime=1721.78 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1556856 0 0 0 172019 159 0 0 20 0 1 0 407201765 1533652992 368476 33554432000 4194304 4935366 140721304142032 140721304139736 4450202 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 374427 368476 622 181 0 368044 0
Current children cumulated CPU time: 1721.78 s
Current children cumulated vsize: 1497708 KiB
Current children cumulated memory: 1473904 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22731
/proc/meminfo: memFree=20282352/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1523500 memory=1499384 CPUtime=1781.77 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1567469 0 0 0 178017 160 0 0 20 0 1 0 407201765 1560064000 374846 33554432000 4194304 4935366 140721304142032 140721304139736 4461069 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 380875 374846 622 181 0 374492 0
Current children cumulated CPU time: 1781.77 s
Current children cumulated vsize: 1523500 KiB
Current children cumulated memory: 1499384 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22735
/proc/meminfo: memFree=20262464/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1540980 memory=1516816 CPUtime=1841.77 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1584415 0 0 0 184015 162 0 0 20 0 1 0 407201765 1577963520 379204 33554432000 4194304 4935366 140721304142032 140721304139720 4461244 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 385245 379204 622 181 0 378862 0
Current children cumulated CPU time: 1841.77 s
Current children cumulated vsize: 1540980 KiB
Current children cumulated memory: 1516816 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22741
/proc/meminfo: memFree=20254720/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1547216 memory=1523064 CPUtime=1901.77 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1600128 0 0 0 190013 164 0 0 20 0 1 0 407201765 1584349184 380766 33554432000 4194304 4935366 140721304142032 140721304139720 4461073 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 386804 380766 622 181 0 380421 0
Current children cumulated CPU time: 1901.77 s
Current children cumulated vsize: 1547216 KiB
Current children cumulated memory: 1523064 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22746
/proc/meminfo: memFree=20250464/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1547380 memory=1523392 CPUtime=1961.77 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1614868 0 0 0 196012 165 0 0 20 0 1 0 407201765 1584517120 380848 33554432000 4194304 4935366 140721304142032 140721304139720 4418771 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 386845 380848 622 181 0 380462 0
Current children cumulated CPU time: 1961.77 s
Current children cumulated vsize: 1547380 KiB
Current children cumulated memory: 1523392 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22750
/proc/meminfo: memFree=20247832/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1547756 memory=1523700 CPUtime=2021.77 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1629860 0 0 0 202010 167 0 0 20 0 1 0 407201765 1584902144 380925 33554432000 4194304 4935366 140721304142032 140721304139720 4418767 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 386939 380925 622 181 0 380556 0
Current children cumulated CPU time: 2021.77 s
Current children cumulated vsize: 1547756 KiB
Current children cumulated memory: 1523700 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22756
/proc/meminfo: memFree=20245132/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1547956 memory=1523952 CPUtime=2081.77 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1644398 0 0 0 208009 168 0 0 20 0 1 0 407201765 1585106944 380988 33554432000 4194304 4935366 140721304142032 140721304139720 4476276 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 386989 380988 622 181 0 380606 0
Current children cumulated CPU time: 2081.77 s
Current children cumulated vsize: 1547956 KiB
Current children cumulated memory: 1523952 KiB

[startup+2142.3 s]
/proc/loadavg: 2.53 2.15 2.09 3/199 22761
/proc/meminfo: memFree=20241864/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1548896 memory=1524940 CPUtime=2141.77 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1659345 0 0 0 214007 170 0 0 20 0 1 0 407201765 1586069504 381235 33554432000 4194304 4935366 140721304142032 140721304139720 4450992 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 387224 381235 622 181 0 380841 0
Current children cumulated CPU time: 2141.77 s
Current children cumulated vsize: 1548896 KiB
Current children cumulated memory: 1524940 KiB

[startup+2202.3 s]
/proc/loadavg: 2.23 2.14 2.09 3/199 22765
/proc/meminfo: memFree=20239640/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1550536 memory=1526636 CPUtime=2201.78 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1673641 0 0 0 220006 172 0 0 20 0 1 0 407201765 1587748864 381659 33554432000 4194304 4935366 140721304142032 140721304139720 4450202 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 387634 381659 622 181 0 381251 0
Current children cumulated CPU time: 2201.78 s
Current children cumulated vsize: 1550536 KiB
Current children cumulated memory: 1526636 KiB

[startup+2262.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/199 22778
/proc/meminfo: memFree=20219504/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1567016 memory=1543120 CPUtime=2261.78 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1692358 0 0 0 226003 175 0 0 20 0 1 0 407201765 1604624384 385780 33554432000 4194304 4935366 140721304142032 140721304139784 139895798989506 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 391754 385780 622 181 0 385371 0
Current children cumulated CPU time: 2261.78 s
Current children cumulated vsize: 1567016 KiB
Current children cumulated memory: 1543120 KiB

[startup+2322.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/200 22805
/proc/meminfo: memFree=20205100/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1582720 memory=1554984 CPUtime=2321.78 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1714869 0 0 0 232001 177 0 0 20 0 1 0 407201765 1620705280 388746 33554432000 4194304 4935366 140721304142032 140721304139720 139895792796414 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 395680 388746 622 181 0 389297 0
Current children cumulated CPU time: 2321.78 s
Current children cumulated vsize: 1582720 KiB
Current children cumulated memory: 1554984 KiB

[startup+2382.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/200 22870
/proc/meminfo: memFree=20353568/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1609548 memory=1581752 CPUtime=2381.78 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1745731 0 0 0 237997 181 0 0 20 0 1 0 407201765 1648177152 395438 33554432000 4194304 4935366 140721304142032 140721304139736 139895798999900 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 402387 395438 622 181 0 396004 0
Current children cumulated CPU time: 2381.78 s
Current children cumulated vsize: 1609548 KiB
Current children cumulated memory: 1581752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.03 2.09 2.08 3/200 22873
/proc/meminfo: memFree=20337440/32770624 swapFree=66999160/67108860
[pid=22568] ppid=22565 vsize=1615804 memory=1588136 CPUtime=2400.08 cores=0,2,4,6
/proc/22568/stat : 22568 (nacre_mini_rele) R 22565 22568 20510 0 -1 4202496 1748090 0 0 0 239826 182 0 0 20 0 1 0 407201765 1654583296 397034 33554432000 4194304 4935366 140721304142032 140721304139784 139895798990000 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 25530368 140721304146945 140721304147045 140721304147045 140721304149954 0
/proc/22568/statm: 403951 397034 622 181 0 397568 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 1615804 KiB
Current children cumulated memory: 1588136 KiB

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

[startup+2400.61 s]
# the end of solver process 22568 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.27 s, system=1.83797 s

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

Child status: 0
Real time (s): 2400.61
CPU time (s): 2400.1
CPU user time (s): 2398.27
CPU system time (s): 1.83797
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 1615804
Max. memory (cumulated for all children) (KiB): 1588136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.27
system time used= 1.83797
maximum resident set size= 1588208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1748133
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= 688
involuntary context switches= 1644


# summary of solver processes directly reported to runsolver:
#   pid: 22568
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2398.27
#   total CPU system time (s): 1.83797

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5261 second user time and 16.0901 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-12 20:23:13
IDJOB=4391555
IDBENCH=133613
IDSOLVER=2834
FILE ID=node140/4391555-1568312633
RUNJOBID= node140-1568307582-20541
PBS_JOBID= 21701122
Free space on /tmp= 56868 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-05-m012.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391555-1568312633/watcher-4391555-1568312633 -o /tmp/evaluation-result-4391555-1568312633/solver-4391555-1568312633 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568307582-20541 --watchdog 2560  nacre_mini_release HOME/instance-4391555-1568312633.xml -ca -l100 -cm

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f25b1aae0c79188cbfab33516e563679
RANDOM SEED=1318247256

node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21947988 kB
MemAvailable:   31806536 kB
Buffers:          145828 kB
Cached:          9888168 kB
SwapCached:         2864 kB
Active:          1608872 kB
Inactive:        8485312 kB
Active(anon):      57108 kB
Inactive(anon):    43924 kB
Active(file):    1551764 kB
Inactive(file):  8441388 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999156 kB
Dirty:               584 kB
Writeback:             0 kB
AnonPages:        166232 kB
Mapped:            43328 kB
Shmem:             32132 kB
Slab:             323300 kB
SReclaimable:     293856 kB
SUnreclaim:        29444 kB
KernelStack:        3568 kB
PageTables:         5700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     582036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56868 MiB
End job on node140 at 2019-09-12 21:03:14