Trace number 4300124

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.4SAT 164.971 164.986

General information on the benchmark

NameMagicHexagon/
MagicHexagon-05-m003_c18.xml
MD5SUM11e14450858ef922a4bcb0797a1233a1
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 benchmark2.44812
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.4
164.87/164.94	c
164.87/164.94	c # time = 164.91
164.87/164.94	c # Dec = 469676
164.87/164.94	c # Propagate Calls = 941151945
164.87/164.94	c # assignAt Calls = 577546
164.87/164.94	c # removeAt Calls = 212867508
164.87/164.94	c # Run = 1022
164.87/164.94	c # Conflicts = 450589
164.87/164.94	c # Memory used = 582.06 Mb
164.87/164.94	s SATISFIABLE
164.87/164.94	c
164.87/164.94	v <instantiation>
164.87/164.94	v     <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] </list>
164.87/164.94	v     <values> 9 55 53 56 10 -3 -3 -3 -3 57 36 24 -1 16 51 -3 -3 -3 54 18 -3 19 28 17 50 -3 -3 52 15 26 34 7 14 12 23 -3 11 13 27 6 29 1 4 43 49 46 25 2 5 21 0 45 39 -3 31 20 8 3 37 44 40 -3 -3 47 32 35 38 -2 33 -3 -3 -3 48 41 42 30 22 -3 -3 -3 -3 </values>
164.87/164.94	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300124-1532795010/watcher-4300124-1532795010 -o /tmp/evaluation-result-4300124-1532795010/solver-4300124-1532795010 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580 nacre_mini_release HOME/instance-4300124-1532795010.xml -ca -l100 -cm 

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

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


[startup+0.100167 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29912
/proc/meminfo: memFree=23305960/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=28944 memory=5424 CPUtime=0.1 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 1576 0 0 0 10 0 0 0 20 0 1 0 97064221 29638656 1356 33554432000 4194304 4933779 140736572180784 140736572177784 140463846196604 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 7236 1356 619 181 0 853 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5424 KiB

[startup+0.209919 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29912
/proc/meminfo: memFree=23303504/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=31164 memory=7756 CPUtime=0.21 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 2129 0 0 0 21 0 0 0 20 0 1 0 97064221 31911936 1939 33554432000 4194304 4933779 140736572180784 140736572177784 140463846308259 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 7791 1939 619 181 0 1408 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31164 KiB
Current children cumulated memory: 7756 KiB

[startup+0.309458 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29912
/proc/meminfo: memFree=23301644/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=33424 memory=9896 CPUtime=0.31 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 2683 0 0 0 31 0 0 0 20 0 1 0 97064221 34226176 2474 33554432000 4194304 4933779 140736572180784 140736572177784 4365295 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 8356 2474 619 181 0 1973 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33424 KiB
Current children cumulated memory: 9896 KiB

[startup+0.700351 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29912
/proc/meminfo: memFree=23296640/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=41944 memory=18416 CPUtime=0.69 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 4818 0 0 0 68 1 0 0 20 0 1 0 97064221 42950656 4604 33554432000 4194304 4933779 140736572180784 140736572178936 140463845452773 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 10486 4604 619 181 0 4103 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41944 KiB
Current children cumulated memory: 18416 KiB

[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29912
/proc/meminfo: memFree=23287868/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=55224 memory=31516 CPUtime=1.49 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 8108 0 0 0 148 1 0 0 20 0 1 0 97064221 56549376 7879 33554432000 4194304 4933779 140736572180784 140736572178536 140463846200052 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 13806 7879 619 181 0 7423 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55224 KiB
Current children cumulated memory: 31516 KiB

[startup+3.10985 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29912
/proc/meminfo: memFree=23254516/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=81032 memory=57512 CPUtime=3.1 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 22699 0 0 0 307 3 0 0 20 0 1 0 97064221 82976768 14378 33554432000 4194304 4933779 140736572180784 140736572178536 4388352 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 20258 14378 619 181 0 13875 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 81032 KiB
Current children cumulated memory: 57512 KiB

[startup+6.30041 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29912
/proc/meminfo: memFree=23230088/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=105808 memory=81808 CPUtime=6.28 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 41938 0 0 0 623 5 0 0 20 0 1 0 97064221 108347392 20452 33554432000 4194304 4933779 140736572180784 140736572178472 4349802 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 26452 20452 619 181 0 20069 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 105808 KiB
Current children cumulated memory: 81808 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29912
/proc/meminfo: memFree=23167840/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=170784 memory=146892 CPUtime=12.68 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 78043 0 0 0 1259 9 0 0 20 0 1 0 97064221 174882816 36723 33554432000 4194304 4933779 140736572180784 140736572178552 140463851653872 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 42696 36723 619 181 0 36313 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 170784 KiB
Current children cumulated memory: 146892 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29912
/proc/meminfo: memFree=23109560/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=220748 memory=197164 CPUtime=25.48 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 156392 0 0 0 2531 17 0 0 20 0 1 0 97064221 226045952 49291 33554432000 4194304 4933779 140736572180784 140736572178488 4475923 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 55187 49291 619 181 0 48804 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 220748 KiB
Current children cumulated memory: 197164 KiB

[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29912
/proc/meminfo: memFree=23017428/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=306568 memory=281804 CPUtime=51.09 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 239425 0 0 0 5085 24 0 0 20 0 1 0 97064221 313925632 70451 33554432000 4194304 4933779 140736572180784 140736572178472 4393080 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 76642 70451 619 181 0 70259 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 306568 KiB
Current children cumulated memory: 281804 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 29914
/proc/meminfo: memFree=22911284/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=391276 memory=366676 CPUtime=102.28 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 320181 0 0 0 10194 34 0 0 20 0 1 0 97064221 400666624 91669 33554432000 4194304 4933779 140736572180784 140736572178488 4365286 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 97819 91669 619 181 0 91436 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 391276 KiB
Current children cumulated memory: 366676 KiB

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 29915
/proc/meminfo: memFree=22678652/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=598808 memory=574588 CPUtime=162.28 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 448378 0 0 0 16180 48 0 0 20 0 1 0 97064221 613179392 143647 33554432000 4194304 4933779 140736572180784 140736572178536 4365295 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 149702 143647 619 181 0 143319 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 598808 KiB
Current children cumulated memory: 574588 KiB

[startup+164.985 s]
# the end of solver process 29911 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=164.439 s, system=0.531958 s

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

[startup+163.2 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 29915
/proc/meminfo: memFree=22674816/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=602960 memory=578628 CPUtime=163.17 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 449924 0 0 0 16269 48 0 0 20 0 1 0 97064221 617431040 144657 33554432000 4194304 4933779 140736572180784 140736572178488 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 150740 144657 619 181 0 144357 0
Current children cumulated CPU time: 163.17 s
Current children cumulated vsize: 602960 KiB
Current children cumulated memory: 578628 KiB

[startup+164 s]*
/proc/loadavg: 2.06 2.04 2.05 3/187 29915
/proc/meminfo: memFree=22671964/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=604432 memory=580284 CPUtime=163.98 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 450347 0 0 0 16350 48 0 0 20 0 1 0 97064221 618938368 145071 33554432000 4194304 4933779 140736572180784 140736572178488 4437564 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 151108 145071 619 181 0 144725 0
Current children cumulated CPU time: 163.98 s
Current children cumulated vsize: 604432 KiB
Current children cumulated memory: 580284 KiB

[startup+164.4 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 29915
/proc/meminfo: memFree=22671964/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=604852 memory=580532 CPUtime=164.37 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 450444 0 0 0 16389 48 0 0 20 0 1 0 97064221 619368448 145133 33554432000 4194304 4933779 140736572180784 140736572178488 4437792 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 151213 145133 619 181 0 144830 0
Current children cumulated CPU time: 164.37 s
Current children cumulated vsize: 604852 KiB
Current children cumulated memory: 580532 KiB

[startup+164.8 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 29915
/proc/meminfo: memFree=22671964/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=605688 memory=581316 CPUtime=164.77 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 450648 0 0 0 16429 48 0 0 20 0 1 0 97064221 620224512 145329 33554432000 4194304 4933779 140736572180784 140736572178488 4437567 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 151422 145329 619 181 0 145039 0
Current children cumulated CPU time: 164.77 s
Current children cumulated vsize: 605688 KiB
Current children cumulated memory: 581316 KiB

[startup+164.9 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 29915
/proc/meminfo: memFree=22671964/32770624 swapFree=67108860/67108860
[pid=29911] ppid=29908 vsize=605964 memory=581580 CPUtime=164.87 cores=0,2,4,6
/proc/29911/stat : 29911 (nacre_mini_rele) R 29908 29911 27398 0 -1 4202496 450728 0 0 0 16439 48 0 0 20 0 1 0 97064221 620507136 145395 33554432000 4194304 4933779 140736572180784 140736572178488 4363875 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 31080448 140736572183704 140736572183804 140736572183804 140736572186562 0
/proc/29911/statm: 151491 145395 619 181 0 145108 0
Current children cumulated CPU time: 164.87 s
Current children cumulated vsize: 605964 KiB
Current children cumulated memory: 581580 KiB

Child status: 10
Real time (s): 164.986
CPU time (s): 164.971
CPU user time (s): 164.439
CPU system time (s): 0.531958
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 605964
Max. memory (cumulated for all children) (KiB): 581580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.439
system time used= 0.531958
maximum resident set size= 582088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450824
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= 8
involuntary context switches= 207


# summary of solver processes directly reported to runsolver:
#   pid: 29911
#   total CPU time (s): 164.971
#   total CPU user time (s): 164.439
#   total CPU system time (s): 0.531958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.611198 second user time and 1.31628 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 18:23:31
IDJOB=4300124
IDBENCH=141559
IDSOLVER=2764
FILE ID=node139/4300124-1532795010
RUNJOBID= node139-1532774055-27429
PBS_JOBID= 21022456
Free space on /tmp= 38716 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-05-m003_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300124-1532795010/watcher-4300124-1532795010 -o /tmp/evaluation-result-4300124-1532795010/solver-4300124-1532795010 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580  nacre_mini_release HOME/instance-4300124-1532795010.xml -ca -l100 -cm

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

MD5SUM BENCH= 11e14450858ef922a4bcb0797a1233a1
RANDOM SEED=563116672

node139.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.80
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.80
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.80
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.80
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:        23310076 kB
MemAvailable:   31362564 kB
Buffers:          238072 kB
Cached:          7913456 kB
SwapCached:            0 kB
Active:          3644144 kB
Inactive:        5128640 kB
Active(anon):     575540 kB
Inactive(anon):    73544 kB
Active(file):    3068604 kB
Inactive(file):  5055096 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:               788 kB
Writeback:             0 kB
AnonPages:        627772 kB
Mapped:            43808 kB
Shmem:             25228 kB
Slab:             385876 kB
SReclaimable:     357248 kB
SUnreclaim:        28628 kB
KernelStack:        3376 kB
PageTables:         5812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     921168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    509952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38716 MiB
End job on node139 at 2018-07-28 18:26:16