Trace number 4297968

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.4? (TO) 2519.87 2520.01

General information on the benchmark

NameColouredQueens/
ColouredQueens-09_c18.xml
MD5SUM698e4c4133fb0965f93dce5d7165b624
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 variables81
Number of constraints48
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":81}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":77}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":48}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c NACRE 1.0.4
2519.86/2520.01	c
2519.86/2520.01	c # time = 2519.86
2519.86/2520.01	c # Dec = 4407164
2519.86/2520.01	c # Propagate Calls = 2548213891
2519.86/2520.01	c # assignAt Calls = 11379463
2519.86/2520.01	c # removeAt Calls = 272929583
2519.86/2520.01	c # Run = 7165
2519.86/2520.01	c # Conflicts = 4095050
2519.86/2520.01	c # Memory used = 177.204 Mb
2519.86/2520.01	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 (9053 MiB free)
  memory of node 1: 16384 MiB (12658 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297968-1532773616/watcher-4297968-1532773616 -o /tmp/evaluation-result-4297968-1532773616/solver-4297968-1532773616 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580 nacre_mini_release HOME/instance-4297968-1532773616.xml -ca -l100 -cm 

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

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

solver pid=19539, runsolver pid=19536

[startup+0.100155 s]*
/proc/loadavg: 1.51 1.11 1.09 3/188 19540
/proc/meminfo: memFree=22230996/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=27732 memory=4260 CPUtime=0.1 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 1277 0 0 0 10 0 0 0 20 0 1 0 94924742 28397568 1065 33554432000 4194304 4933779 140735806377504 140735806374504 4442108 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 6933 1065 600 181 0 550 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27732 KiB
Current children cumulated memory: 4260 KiB

[startup+0.209303 s]*
/proc/loadavg: 1.51 1.11 1.09 3/188 19540
/proc/meminfo: memFree=22229632/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=28788 memory=5316 CPUtime=0.21 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 1543 0 0 0 21 0 0 0 20 0 1 0 94924742 29478912 1329 33554432000 4194304 4933779 140735806377504 140735806374504 4437564 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 7197 1329 600 181 0 814 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28788 KiB
Current children cumulated memory: 5316 KiB

[startup+0.308874 s]*
/proc/loadavg: 1.51 1.11 1.09 3/188 19540
/proc/meminfo: memFree=22228508/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=29688 memory=6372 CPUtime=0.3 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 1763 0 0 0 30 0 0 0 20 0 1 0 94924742 30400512 1593 33554432000 4194304 4933779 140735806377504 140735806375016 4439648 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 7422 1593 600 181 0 1039 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29688 KiB
Current children cumulated memory: 6372 KiB

[startup+0.700281 s]
/proc/loadavg: 1.51 1.11 1.09 3/188 19540
/proc/meminfo: memFree=22226400/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=32648 memory=9140 CPUtime=0.69 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 2498 0 0 0 68 1 0 0 20 0 1 0 94924742 33431552 2285 33554432000 4194304 4933779 140735806377504 140735806375272 139629434592229 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 8162 2285 600 181 0 1779 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 9140 KiB

[startup+1.50029 s]
/proc/loadavg: 1.51 1.11 1.09 3/188 19540
/proc/meminfo: memFree=22222804/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=35480 memory=12044 CPUtime=1.49 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 3228 0 0 0 148 1 0 0 20 0 1 0 94924742 36331520 3011 33554432000 4194304 4933779 140735806377504 140735806375272 4475748 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 8870 3011 600 181 0 2487 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35480 KiB
Current children cumulated memory: 12044 KiB

[startup+3.10938 s]
/proc/loadavg: 1.55 1.13 1.09 3/188 19540
/proc/meminfo: memFree=22214076/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=39044 memory=15032 CPUtime=3.1 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 6752 0 0 0 309 1 0 0 20 0 1 0 94924742 39981056 3758 33554432000 4194304 4933779 140735806377504 140735806375192 4437792 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 9761 3758 600 181 0 3378 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 39044 KiB
Current children cumulated memory: 15032 KiB

[startup+6.30028 s]
/proc/loadavg: 1.55 1.13 1.09 3/188 19540
/proc/meminfo: memFree=22204436/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=43080 memory=19108 CPUtime=6.28 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 11264 0 0 0 627 1 0 0 20 0 1 0 94924742 44113920 4777 33554432000 4194304 4933779 140735806377504 140735806375208 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 10770 4777 600 181 0 4387 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 43080 KiB
Current children cumulated memory: 19108 KiB

[startup+12.7003 s]
/proc/loadavg: 1.58 1.14 1.10 3/188 19540
/proc/meminfo: memFree=22188204/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=48440 memory=24808 CPUtime=12.69 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 17095 0 0 0 1267 2 0 0 20 0 1 0 94924742 49602560 6202 33554432000 4194304 4933779 140735806377504 140735806375192 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 12110 6202 600 181 0 5727 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 48440 KiB
Current children cumulated memory: 24808 KiB

[startup+25.5003 s]
/proc/loadavg: 1.68 1.18 1.11 3/188 19540
/proc/meminfo: memFree=22163776/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=54908 memory=31500 CPUtime=25.48 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 31359 0 0 0 2546 2 0 0 20 0 1 0 94924742 56225792 7875 33554432000 4194304 4933779 140735806377504 140735806375192 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 13727 7875 600 181 0 7344 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 54908 KiB
Current children cumulated memory: 31500 KiB

[startup+51.1095 s]
/proc/loadavg: 1.79 1.25 1.14 3/188 19540
/proc/meminfo: memFree=22129976/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=65424 memory=40952 CPUtime=51.09 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 42652 0 0 0 5106 3 0 0 20 0 1 0 94924742 66994176 10238 33554432000 4194304 4933779 140735806377504 140735806375256 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 16356 10238 600 181 0 9973 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 65424 KiB
Current children cumulated memory: 40952 KiB

[startup+102.3 s]
/proc/loadavg: 1.96 1.38 1.19 3/188 19542
/proc/meminfo: memFree=22075460/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=76708 memory=52560 CPUtime=102.27 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 56304 0 0 0 10222 5 0 0 20 0 1 0 94924742 78548992 13140 33554432000 4194304 4933779 140735806377504 140735806375208 4437449 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 19177 13140 600 181 0 12794 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 76708 KiB
Current children cumulated memory: 52560 KiB

[startup+162.3 s]
/proc/loadavg: 1.95 1.48 1.23 3/188 19543
/proc/meminfo: memFree=22030048/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=86056 memory=61920 CPUtime=162.26 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 71784 0 0 0 16220 6 0 0 20 0 1 0 94924742 88121344 15480 33554432000 4194304 4933779 140735806377504 140735806375192 4437449 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 21514 15480 600 181 0 15131 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 86056 KiB
Current children cumulated memory: 61920 KiB

[startup+222.3 s]
/proc/loadavg: 1.98 1.57 1.28 3/189 19552
/proc/meminfo: memFree=21992484/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=94900 memory=71056 CPUtime=222.24 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 79494 0 0 0 22217 7 0 0 20 0 1 0 94924742 97177600 17764 33554432000 4194304 4933779 140735806377504 140735806375192 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 23725 17764 600 181 0 17342 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 94900 KiB
Current children cumulated memory: 71056 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.65 1.33 3/188 19553
/proc/meminfo: memFree=21957808/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=102400 memory=78548 CPUtime=282.25 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 84655 0 0 0 28216 9 0 0 20 0 1 0 94924742 104857600 19637 33554432000 4194304 4933779 140735806377504 140735806375192 4437445 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 25600 19637 600 181 0 19217 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 102400 KiB
Current children cumulated memory: 78548 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.71 1.37 3/188 19554
/proc/meminfo: memFree=21936712/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=108364 memory=84652 CPUtime=342.24 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 91244 0 0 0 34214 10 0 0 20 0 1 0 94924742 110964736 21163 33554432000 4194304 4933779 140735806377504 140735806375256 4437680 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 27091 21163 600 181 0 20708 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 108364 KiB
Current children cumulated memory: 84652 KiB

[startup+402.3 s]
/proc/loadavg: 2.34 1.85 1.43 3/188 19555
/proc/meminfo: memFree=21914740/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=116604 memory=90148 CPUtime=402.24 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 99659 0 0 0 40213 11 0 0 20 0 1 0 94924742 119402496 22537 33554432000 4194304 4933779 140735806377504 140735806375192 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 29151 22537 600 181 0 22768 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 116604 KiB
Current children cumulated memory: 90148 KiB

[startup+462.3 s]
/proc/loadavg: 2.27 1.93 1.49 3/188 19556
/proc/meminfo: memFree=21890268/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=121208 memory=94812 CPUtime=462.23 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 108574 0 0 0 46211 12 0 0 20 0 1 0 94924742 124116992 23703 33554432000 4194304 4933779 140735806377504 140735806375208 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 30302 23703 600 181 0 23919 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 121208 KiB
Current children cumulated memory: 94812 KiB


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

/proc/19539/statm: 44712 38615 600 181 0 38329 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 178848 KiB
Current children cumulated memory: 154460 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/187 19594
/proc/meminfo: memFree=21597476/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=180808 memory=156332 CPUtime=1782.16 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 207819 0 0 0 178190 26 0 0 20 0 1 0 94924742 185147392 39083 33554432000 4194304 4933779 140735806377504 140735806375192 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 45202 39083 600 181 0 38819 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 180808 KiB
Current children cumulated memory: 156332 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/187 19595
/proc/meminfo: memFree=21586924/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=182640 memory=158260 CPUtime=1842.16 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 209968 0 0 0 184190 26 0 0 20 0 1 0 94924742 187023360 39565 33554432000 4194304 4933779 140735806377504 140735806375192 4437547 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 45660 39565 600 181 0 39277 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 182640 KiB
Current children cumulated memory: 158260 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/187 19597
/proc/meminfo: memFree=21577968/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=184468 memory=159992 CPUtime=1902.16 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 212567 0 0 0 190190 26 0 0 20 0 1 0 94924742 188895232 39998 33554432000 4194304 4933779 140735806377504 140735806375192 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 46117 39998 600 181 0 39734 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 184468 KiB
Current children cumulated memory: 159992 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/187 19598
/proc/meminfo: memFree=21567680/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=185816 memory=161560 CPUtime=1962.16 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 215508 0 0 0 196189 27 0 0 20 0 1 0 94924742 190275584 40390 33554432000 4194304 4933779 140735806377504 140735806375016 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 46454 40390 600 181 0 40071 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 185816 KiB
Current children cumulated memory: 161560 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/188 19607
/proc/meminfo: memFree=21558912/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=188252 memory=163712 CPUtime=2022.16 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 219187 0 0 0 202189 27 0 0 20 0 1 0 94924742 192770048 40928 33554432000 4194304 4933779 140735806377504 140735806375016 4436080 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 47063 40928 600 181 0 40680 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 188252 KiB
Current children cumulated memory: 163712 KiB

[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 1.92 3/188 19630
/proc/meminfo: memFree=21549652/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=189528 memory=165096 CPUtime=2082.16 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 222923 0 0 0 208188 28 0 0 20 0 1 0 94924742 194076672 41274 33554432000 4194304 4933779 140735806377504 140735806375192 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 47382 41274 600 181 0 40999 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 189528 KiB
Current children cumulated memory: 165096 KiB

[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 1.92 3/188 19631
/proc/meminfo: memFree=21540704/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=190980 memory=166456 CPUtime=2142.15 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 227110 0 0 0 214187 28 0 0 20 0 1 0 94924742 195563520 41614 33554432000 4194304 4933779 140735806377504 140735806375208 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 47745 41614 600 181 0 41362 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 190980 KiB
Current children cumulated memory: 166456 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/188 19632
/proc/meminfo: memFree=21532712/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=192860 memory=168404 CPUtime=2202.16 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 231818 0 0 0 220187 29 0 0 20 0 1 0 94924742 197488640 42101 33554432000 4194304 4933779 140735806377504 140735806375208 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 48215 42101 600 181 0 41832 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 192860 KiB
Current children cumulated memory: 168404 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/188 19633
/proc/meminfo: memFree=21521724/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=194604 memory=170420 CPUtime=2262.15 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 236911 0 0 0 226186 29 0 0 20 0 1 0 94924742 199274496 42605 33554432000 4194304 4933779 140735806377504 140735806375192 4437581 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 48651 42605 600 181 0 42268 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 194604 KiB
Current children cumulated memory: 170420 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 19634
/proc/meminfo: memFree=21510316/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=196612 memory=172352 CPUtime=2322.15 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 239031 0 0 0 232185 30 0 0 20 0 1 0 94924742 201330688 43088 33554432000 4194304 4933779 140735806377504 140735806375256 4472608 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 49153 43088 600 181 0 42770 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 196612 KiB
Current children cumulated memory: 172352 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 19635
/proc/meminfo: memFree=21504720/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=197520 memory=173352 CPUtime=2382.15 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 241332 0 0 0 238185 30 0 0 20 0 1 0 94924742 202260480 43338 33554432000 4194304 4933779 140735806377504 140735806375192 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 49380 43338 600 181 0 42997 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 197520 KiB
Current children cumulated memory: 173352 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 19636
/proc/meminfo: memFree=21498880/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=199376 memory=174968 CPUtime=2442.15 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 244131 0 0 0 244184 31 0 0 20 0 1 0 94924742 204161024 43742 33554432000 4194304 4933779 140735806377504 140735806375192 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 49844 43742 600 181 0 43461 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 199376 KiB
Current children cumulated memory: 174968 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 19637
/proc/meminfo: memFree=21492300/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=200484 memory=176348 CPUtime=2502.15 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 247133 0 0 0 250183 32 0 0 20 0 1 0 94924742 205295616 44087 33554432000 4194304 4933779 140735806377504 140735806375016 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 50121 44087 600 181 0 43738 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 200484 KiB
Current children cumulated memory: 176348 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 19698
/proc/meminfo: memFree=22080604/32770624 swapFree=67108796/67108860
[pid=19539] ppid=19536 vsize=201376 memory=177204 CPUtime=2519.86 cores=1,3,5,7
/proc/19539/stat : 19539 (nacre_mini_rele) R 19536 19539 24279 0 -1 4202496 250184 0 0 0 251954 32 0 0 20 0 1 0 94924742 206209024 44301 33554432000 4194304 4933779 140735806377504 140735806375192 4335740 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 25772032 140735806383256 140735806383356 140735806383356 140735806386114 0
/proc/19539/statm: 50344 44301 600 181 0 43961 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 201376 KiB
Current children cumulated memory: 177204 KiB

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

[startup+2520.01 s]
# the end of solver process 19539 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.54 s, system=0.325988 s

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

Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.87
CPU user time (s): 2519.54
CPU system time (s): 0.325988
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 201376
Max. memory (cumulated for all children) (KiB): 177204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.54
system time used= 0.325988
maximum resident set size= 177280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250229
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= 85
involuntary context switches= 1595


# summary of solver processes directly reported to runsolver:
#   pid: 19539
#   total CPU time (s): 2519.87
#   total CPU user time (s): 2519.54
#   total CPU system time (s): 0.325988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.83542 second user time and 19.6046 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-28 12:26:56
IDJOB=4297968
IDBENCH=141019
IDSOLVER=2764
FILE ID=node138/4297968-1532773616
RUNJOBID= node138-1532773607-19388
PBS_JOBID= 21022455
Free space on /tmp= 53800 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/ColouredQueens/ColouredQueens-09_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297968-1532773616/watcher-4297968-1532773616 -o /tmp/evaluation-result-4297968-1532773616/solver-4297968-1532773616 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19388 --watchdog 2580  nacre_mini_release HOME/instance-4297968-1532773616.xml -ca -l100 -cm

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

MD5SUM BENCH= 698e4c4133fb0965f93dce5d7165b624
RANDOM SEED=523128110

node138.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.71
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.71
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.71
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.71
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:        22234592 kB
MemAvailable:   31887068 kB
Buffers:          209608 kB
Cached:          9647224 kB
SwapCached:           44 kB
Active:          2579508 kB
Inactive:        7372728 kB
Active(anon):      39764 kB
Inactive(anon):    83516 kB
Active(file):    2539744 kB
Inactive(file):  7289212 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              2852 kB
Writeback:             0 kB
AnonPages:        102484 kB
Mapped:            38912 kB
Shmem:             25164 kB
Slab:             280472 kB
SReclaimable:     251980 kB
SUnreclaim:        28492 kB
KernelStack:        3360 kB
PageTables:         5352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     388560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53800 MiB
End job on node138 at 2018-07-28 13:08:56