Trace number 4391551

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.09 2400.61

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-06-m111.xml
MD5SUMeea69d6048e370864a24a271aefbf270
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables121
Number of constraints40
Number of domains1
Minimum domain size91
Maximum domain size91
Distribution of domain sizes[{"size":91,"count":91}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":30},{"degree":4,"count":85},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity91
Distribution of constraint arities[{"arity":2,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":3},{"arity":91,"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":33}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c NACRE 1.0.5
2400.07/2400.60	c
2400.07/2400.60	c # time = 2400.07
2400.07/2400.60	c # Dec = 3673824
2400.07/2400.60	c # Propagate Calls = 11767528122
2400.07/2400.60	c # assignAt Calls = 6453770
2400.07/2400.60	c # removeAt Calls = 1497413342
2400.07/2400.60	c # Run = 6297
2400.07/2400.60	c # Conflicts = 3635629
2400.07/2400.60	c # Memory used = 1506.96 Mb
2400.07/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 (12201 MiB free)
  memory of node 1: 16384 MiB (15169 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391551-1568311618/watcher-4391551-1568311618 -o /tmp/evaluation-result-4391551-1568311618/solver-4391551-1568311618 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11109 --watchdog 2560 nacre_mini_release HOME/instance-4391551-1568311618.xml -ca -l100 -cm 

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

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=12983, runsolver pid=12980
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 2.01 2.07 2.05 3/205 12984
/proc/meminfo: memFree=28023580/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=30392 memory=6756 CPUtime=0.1 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 2007 0 0 0 10 0 0 0 20 0 1 0 407084532 31121408 1689 33554432000 4194304 4935366 140730719270672 140730719267672 140045471493093 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 7598 1689 622 181 0 1215 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30392 KiB
Current children cumulated memory: 6756 KiB

[startup+0.209893 s]*
/proc/loadavg: 2.01 2.07 2.05 3/205 12984
/proc/meminfo: memFree=28022092/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=31992 memory=8340 CPUtime=0.21 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 2389 0 0 0 21 0 0 0 20 0 1 0 407084532 32759808 2085 33554432000 4194304 4935366 140730719270672 140730719267672 4450164 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 7998 2085 622 181 0 1615 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31992 KiB
Current children cumulated memory: 8340 KiB

[startup+0.309366 s]*
/proc/loadavg: 2.01 2.07 2.05 3/205 12984
/proc/meminfo: memFree=28020604/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=33320 memory=9660 CPUtime=0.31 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 2740 0 0 0 31 0 0 0 20 0 1 0 407084532 34119680 2415 33554432000 4194304 4935366 140730719270672 140730719267672 140045471493093 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 8330 2415 622 181 0 1947 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33320 KiB
Current children cumulated memory: 9660 KiB

[startup+0.700303 s]
/proc/loadavg: 2.01 2.07 2.05 3/205 12984
/proc/meminfo: memFree=28017788/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=39100 memory=15468 CPUtime=0.69 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 4166 0 0 0 69 0 0 0 20 0 1 0 407084532 40038400 3867 33554432000 4194304 4935366 140730719270672 140730719268424 140045471493093 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 9775 3867 622 181 0 3392 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39100 KiB
Current children cumulated memory: 15468 KiB

[startup+1.5003 s]
/proc/loadavg: 2.01 2.07 2.05 3/205 12984
/proc/meminfo: memFree=28012580/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=48332 memory=24708 CPUtime=1.49 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 6448 0 0 0 148 1 0 0 20 0 1 0 407084532 49491968 6177 33554432000 4194304 4935366 140730719270672 140730719268424 140045471493093 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 12083 6177 622 181 0 5700 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48332 KiB
Current children cumulated memory: 24708 KiB

[startup+3.10983 s]
/proc/loadavg: 2.01 2.07 2.05 3/205 12984
/proc/meminfo: memFree=27987960/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=67248 memory=43440 CPUtime=3.1 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 17282 0 0 0 308 2 0 0 20 0 1 0 407084532 68861952 10860 33554432000 4194304 4935366 140730719270672 140730719268440 140045471493093 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 16812 10860 622 181 0 10429 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 67248 KiB
Current children cumulated memory: 43440 KiB

[startup+6.30035 s]
/proc/loadavg: 2.09 2.09 2.05 3/205 12984
/proc/meminfo: memFree=27971152/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=83240 memory=59460 CPUtime=6.29 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 32930 0 0 0 626 3 0 0 20 0 1 0 407084532 85237760 14865 33554432000 4194304 4935366 140730719270672 140730719268424 4461073 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 20810 14865 622 181 0 14427 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 83240 KiB
Current children cumulated memory: 59460 KiB

[startup+12.7004 s]
/proc/loadavg: 2.08 2.08 2.05 3/205 12984
/proc/meminfo: memFree=27956740/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=98460 memory=74652 CPUtime=12.68 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 50845 0 0 0 1264 4 0 0 20 0 1 0 407084532 100823040 18663 33554432000 4194304 4935366 140730719270672 140730719268376 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 24615 18663 622 181 0 18232 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 98460 KiB
Current children cumulated memory: 74652 KiB

[startup+25.5004 s]
/proc/loadavg: 1.99 2.06 2.04 3/205 12984
/proc/meminfo: memFree=27939704/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=114620 memory=90440 CPUtime=25.48 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 81625 0 0 0 2541 7 0 0 20 0 1 0 407084532 117370880 22610 33554432000 4194304 4935366 140730719270672 140730719268424 4461250 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 28655 22610 622 181 0 22272 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 114620 KiB
Current children cumulated memory: 90440 KiB

[startup+51.1099 s]
/proc/loadavg: 2.00 2.06 2.04 3/205 12987
/proc/meminfo: memFree=27914984/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=138688 memory=114472 CPUtime=51.07 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 97277 0 0 0 5098 9 0 0 20 0 1 0 407084532 142016512 28618 33554432000 4194304 4935366 140730719270672 140730719268424 4461252 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 34672 28618 622 181 0 28289 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 138688 KiB
Current children cumulated memory: 114472 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.05 2.04 3/205 12992
/proc/meminfo: memFree=27882716/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=170908 memory=146872 CPUtime=102.24 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 108018 0 0 0 10212 12 0 0 20 0 1 0 407084532 175009792 36718 33554432000 4194304 4935366 140730719270672 140730719268376 4420887 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 42727 36718 622 181 0 36344 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 170908 KiB
Current children cumulated memory: 146872 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/205 12996
/proc/meminfo: memFree=27825268/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=229680 memory=204300 CPUtime=162.24 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 133109 0 0 0 16208 16 0 0 20 0 1 0 407084532 235192320 51075 33554432000 4194304 4935366 140730719270672 140730719268360 4461216 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 57420 51075 622 181 0 51037 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 229680 KiB
Current children cumulated memory: 204300 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/205 13002
/proc/meminfo: memFree=27784304/32770624 swapFree=67008512/67108860
[pid=12983] ppid=12980 vsize=270264 memory=244760 CPUtime=222.23 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 165505 0 0 0 22204 19 0 0 20 0 1 0 407084532 276750336 61190 33554432000 4194304 4935366 140730719270672 140730719268360 4461120 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 67566 61190 622 181 0 61183 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 270264 KiB
Current children cumulated memory: 244760 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/205 13012
/proc/meminfo: memFree=27772884/32770624 swapFree=67008520/67108860
[pid=12983] ppid=12980 vsize=281816 memory=256308 CPUtime=282.23 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 197833 0 0 0 28202 21 0 0 20 0 1 0 407084532 288579584 64077 33554432000 4194304 4935366 140730719270672 140730719268360 4461227 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 70454 64077 622 181 0 64071 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 281816 KiB
Current children cumulated memory: 256308 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/205 13016
/proc/meminfo: memFree=27758464/32770624 swapFree=67008520/67108860
[pid=12983] ppid=12980 vsize=295832 memory=270260 CPUtime=342.23 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 229469 0 0 0 34198 25 0 0 20 0 1 0 407084532 302931968 67565 33554432000 4194304 4935366 140730719270672 140730719268424 4461238 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 73958 67565 622 181 0 67575 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 295832 KiB
Current children cumulated memory: 270260 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/204 13022
/proc/meminfo: memFree=27739244/32770624 swapFree=67008520/67108860
[pid=12983] ppid=12980 vsize=314480 memory=289040 CPUtime=402.22 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 266266 0 0 0 40193 29 0 0 20 0 1 0 407084532 322027520 72260 33554432000 4194304 4935366 140730719270672 140730719268376 4461227 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 78620 72260 622 181 0 72237 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 314480 KiB
Current children cumulated memory: 289040 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 13027
/proc/meminfo: memFree=27730248/32770624 swapFree=67008520/67108860
[pid=12983] ppid=12980 vsize=324208 memory=298804 CPUtime=462.22 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 275580 0 0 0 46192 30 0 0 20 0 1 0 407084532 331988992 74701 33554432000 4194304 4935366 140730719270672 140730719268360 4430232 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 81052 74701 622 181 0 74669 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 324208 KiB
Current children cumulated memory: 298804 KiB


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

/proc/12983/statm: 370438 364125 622 181 0 364055 0
Current children cumulated CPU time: 1601.98 s
Current children cumulated vsize: 1481752 KiB
Current children cumulated memory: 1456500 KiB

[startup+1662.3 s]
/proc/loadavg: 2.34 2.15 2.09 3/205 13199
/proc/meminfo: memFree=28622776/32770624 swapFree=67008536/67108860
[pid=12983] ppid=12980 vsize=1481752 memory=1456536 CPUtime=1661.96 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1391750 0 0 0 166036 160 0 0 20 0 1 0 407084532 1517314048 364134 33554432000 4194304 4935366 140730719270672 140730719268360 4418754 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 370438 364134 622 181 0 364055 0
Current children cumulated CPU time: 1661.96 s
Current children cumulated vsize: 1481752 KiB
Current children cumulated memory: 1456536 KiB

[startup+1722.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/205 13203
/proc/meminfo: memFree=28614064/32770624 swapFree=67008536/67108860
[pid=12983] ppid=12980 vsize=1482072 memory=1456900 CPUtime=1721.93 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1449476 0 0 0 172028 165 0 0 20 0 1 0 407084532 1517641728 364225 33554432000 4194304 4935366 140730719270672 140730719268184 4461218 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 370518 364225 622 181 0 364135 0
Current children cumulated CPU time: 1721.93 s
Current children cumulated vsize: 1482072 KiB
Current children cumulated memory: 1456900 KiB

[startup+1782.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/205 13208
/proc/meminfo: memFree=28601328/32770624 swapFree=67008536/67108860
[pid=12983] ppid=12980 vsize=1483176 memory=1457768 CPUtime=1781.9 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1496912 0 0 0 178020 170 0 0 20 0 1 0 407084532 1518772224 364442 33554432000 4194304 4935366 140730719270672 140730719268360 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 370794 364442 622 181 0 364411 0
Current children cumulated CPU time: 1781.9 s
Current children cumulated vsize: 1483176 KiB
Current children cumulated memory: 1457768 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/205 13214
/proc/meminfo: memFree=28595920/32770624 swapFree=67008536/67108860
[pid=12983] ppid=12980 vsize=1484156 memory=1458624 CPUtime=1841.88 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1534646 0 0 0 184014 174 0 0 20 0 1 0 407084532 1519775744 364656 33554432000 4194304 4935366 140730719270672 140730719268360 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 371039 364656 622 181 0 364656 0
Current children cumulated CPU time: 1841.88 s
Current children cumulated vsize: 1484156 KiB
Current children cumulated memory: 1458624 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/205 13218
/proc/meminfo: memFree=28590996/32770624 swapFree=67008536/67108860
[pid=12983] ppid=12980 vsize=1484156 memory=1458692 CPUtime=1901.86 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1560054 0 0 0 190010 176 0 0 20 0 1 0 407084532 1519775744 364673 33554432000 4194304 4935366 140730719270672 140730719268360 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 371039 364673 622 181 0 364656 0
Current children cumulated CPU time: 1901.86 s
Current children cumulated vsize: 1484156 KiB
Current children cumulated memory: 1458692 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/204 13222
/proc/meminfo: memFree=28584012/32770624 swapFree=67008536/67108860
[pid=12983] ppid=12980 vsize=1484936 memory=1459440 CPUtime=1961.84 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1579567 0 0 0 196005 179 0 0 20 0 1 0 407084532 1520574464 364860 33554432000 4194304 4935366 140730719270672 140730719268360 4461247 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 371234 364860 622 181 0 364851 0
Current children cumulated CPU time: 1961.84 s
Current children cumulated vsize: 1484936 KiB
Current children cumulated memory: 1459440 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/205 13229
/proc/meminfo: memFree=28575828/32770624 swapFree=67008536/67108860
[pid=12983] ppid=12980 vsize=1484936 memory=1459552 CPUtime=2021.81 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1590958 0 0 0 202001 180 0 0 20 0 1 0 407084532 1520574464 364888 33554432000 4194304 4935366 140730719270672 140730719268360 140045477694194 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 371234 364888 622 181 0 364851 0
Current children cumulated CPU time: 2021.81 s
Current children cumulated vsize: 1484936 KiB
Current children cumulated memory: 1459552 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/204 13238
/proc/meminfo: memFree=28570000/32770624 swapFree=67008544/67108860
[pid=12983] ppid=12980 vsize=1485132 memory=1460056 CPUtime=2081.79 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1593761 0 0 0 207999 180 0 0 20 0 1 0 407084532 1520775168 365014 33554432000 4194304 4935366 140730719270672 140730719268360 4461358 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 371283 365014 622 181 0 364900 0
Current children cumulated CPU time: 2081.79 s
Current children cumulated vsize: 1485132 KiB
Current children cumulated memory: 1460056 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/205 13243
/proc/meminfo: memFree=28559440/32770624 swapFree=67008544/67108860
[pid=12983] ppid=12980 vsize=1485132 memory=1460092 CPUtime=2141.79 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1595947 0 0 0 213999 180 0 0 20 0 1 0 407084532 1520775168 365023 33554432000 4194304 4935366 140730719270672 140730719268360 140045477786085 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 371283 365023 622 181 0 364900 0
Current children cumulated CPU time: 2141.79 s
Current children cumulated vsize: 1485132 KiB
Current children cumulated memory: 1460092 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/205 13249
/proc/meminfo: memFree=28545284/32770624 swapFree=67008544/67108860
[pid=12983] ppid=12980 vsize=1485656 memory=1460592 CPUtime=2201.79 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1598176 0 0 0 219998 181 0 0 20 0 1 0 407084532 1521311744 365148 33554432000 4194304 4935366 140730719270672 140730719268360 4450218 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 371414 365148 622 181 0 365031 0
Current children cumulated CPU time: 2201.79 s
Current children cumulated vsize: 1485656 KiB
Current children cumulated memory: 1460592 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 13253
/proc/meminfo: memFree=28519368/32770624 swapFree=67008544/67108860
[pid=12983] ppid=12980 vsize=1485656 memory=1460636 CPUtime=2261.78 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1600295 0 0 0 225997 181 0 0 20 0 1 0 407084532 1521311744 365159 33554432000 4194304 4935366 140730719270672 140730719268360 4420612 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 371414 365159 622 181 0 365031 0
Current children cumulated CPU time: 2261.78 s
Current children cumulated vsize: 1485656 KiB
Current children cumulated memory: 1460636 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 13257
/proc/meminfo: memFree=28504660/32770624 swapFree=67008544/67108860
[pid=12983] ppid=12980 vsize=1486176 memory=1461184 CPUtime=2321.78 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1602509 0 0 0 231997 181 0 0 20 0 1 0 407084532 1521844224 365296 33554432000 4194304 4935366 140730719270672 140730719268360 4461252 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 371544 365296 622 181 0 365161 0
Current children cumulated CPU time: 2321.78 s
Current children cumulated vsize: 1486176 KiB
Current children cumulated memory: 1461184 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13264
/proc/meminfo: memFree=28381620/32770624 swapFree=67008544/67108860
[pid=12983] ppid=12980 vsize=1531976 memory=1506648 CPUtime=2381.77 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1618643 0 0 0 237995 182 0 0 20 0 1 0 407084532 1568743424 376662 33554432000 4194304 4935366 140730719270672 140730719268360 4461238 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 382994 376662 622 181 0 376611 0
Current children cumulated CPU time: 2381.77 s
Current children cumulated vsize: 1531976 KiB
Current children cumulated memory: 1506648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 13264
/proc/meminfo: memFree=28368036/32770624 swapFree=67008544/67108860
[pid=12983] ppid=12980 vsize=1532264 memory=1506952 CPUtime=2400.07 cores=1,3,5,7
/proc/12983/stat : 12983 (nacre_mini_rele) R 12980 12983 11077 0 -1 4202496 1619995 0 0 0 239825 182 0 0 20 0 1 0 407084532 1569038336 376738 33554432000 4194304 4935366 140730719270672 140730719268360 4450185 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15867904 140730719273985 140730719274085 140730719274085 140730719276994 0
/proc/12983/statm: 383066 376738 622 181 0 376683 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 1532264 KiB
Current children cumulated memory: 1506952 KiB

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

[startup+2400.61 s]
# the end of solver process 12983 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.25 s, system=1.83884 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.09
CPU user time (s): 2398.25
CPU system time (s): 1.83884
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 1532264
Max. memory (cumulated for all children) (KiB): 1506952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.25
system time used= 1.83884
maximum resident set size= 1507012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1620061
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= 625
involuntary context switches= 1367


# summary of solver processes directly reported to runsolver:
#   pid: 12983
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2398.25
#   total CPU system time (s): 1.83884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4349 second user time and 20.8122 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-12 20:06:09
IDJOB=4391551
IDBENCH=133551
IDSOLVER=2834
FILE ID=node132/4391551-1568311618
RUNJOBID= node132-1568304897-11109
PBS_JOBID= 21701117
Free space on /tmp= 60304 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-06-m111.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391551-1568311618/watcher-4391551-1568311618 -o /tmp/evaluation-result-4391551-1568311618/solver-4391551-1568311618 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11109 --watchdog 2560  nacre_mini_release HOME/instance-4391551-1568311618.xml -ca -l100 -cm

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

MD5SUM BENCH= eea69d6048e370864a24a271aefbf270
RANDOM SEED=1603768072

node132.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.95
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.95
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.95
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.95
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:        28027992 kB
MemAvailable:   29370132 kB
Buffers:          114400 kB
Cached:          1498568 kB
SwapCached:         8780 kB
Active:          2846720 kB
Inactive:        1311668 kB
Active(anon):    2545460 kB
Inactive(anon):    26968 kB
Active(file):     301260 kB
Inactive(file):  1284700 kB
Unevictable:      110200 kB
Mlocked:          110200 kB
SwapTotal:      67108860 kB
SwapFree:       67008512 kB
Dirty:               996 kB
Writeback:             0 kB
AnonPages:       2649060 kB
Mapped:            30472 kB
Shmem:             18384 kB
Slab:             173084 kB
SReclaimable:     144032 kB
SUnreclaim:        29052 kB
KernelStack:        3648 kB
PageTables:        10740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3073800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2594816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 60304 MiB
End job on node132 at 2019-09-12 20:46:09