Trace number 4300370

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.96 2520.01

General information on the benchmark

NameFrb/
frb-53-24-2-mgd_c18.xml
MD5SUMefa4ad1e7c4e0975e1666af510b5ab46
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 variables53
Number of constraints474
Number of domains1
Minimum domain size24
Maximum domain size24
Distribution of domain sizes[{"size":24,"count":53}]
Minimum variable degree12
Maximum variable degree26
Distribution of variable degrees[{"degree":12,"count":1},{"degree":14,"count":6},{"degree":15,"count":3},{"degree":16,"count":9},{"degree":17,"count":8},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":5},{"degree":21,"count":3},{"degree":22,"count":7},{"degree":26,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":474}]
Number of extensional constraints474
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":474}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.06	c NACRE 1.0.4
2519.95/2520.01	c
2519.95/2520.01	c # time = 2519.95
2519.95/2520.01	c # Dec = 2706231
2519.95/2520.01	c # Propagate Calls = 1256387347
2519.95/2520.01	c # assignAt Calls = 4878765
2519.95/2520.01	c # removeAt Calls = 408260174
2519.95/2520.01	c # Run = 4605
2519.95/2520.01	c # Conflicts = 2657573
2519.95/2520.01	c # Memory used = 244.428 Mb
2519.95/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 (9325 MiB free)
  memory of node 1: 16384 MiB (10157 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300370-1532800038/watcher-4300370-1532800038 -o /tmp/evaluation-result-4300370-1532800038/solver-4300370-1532800038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27028 --watchdog 2580 nacre_mini_release HOME/instance-4300370-1532800038.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=30293, runsolver pid=30290

[startup+0.100156 s]*
/proc/loadavg: 1.92 2.00 2.04 3/187 30294
/proc/meminfo: memFree=19944544/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=32272 memory=8948 CPUtime=0.1 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 2403 0 0 0 10 0 0 0 20 0 1 0 97567019 33046528 2237 33554432000 4194304 4933779 140722290967888 140722290964888 4475769 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 8068 2237 600 181 0 1685 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32272 KiB
Current children cumulated memory: 8948 KiB

[startup+0.209491 s]*
/proc/loadavg: 1.92 2.00 2.04 3/187 30294
/proc/meminfo: memFree=19943428/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=33344 memory=10000 CPUtime=0.21 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 2675 0 0 0 21 0 0 0 20 0 1 0 97567019 34144256 2500 33554432000 4194304 4933779 140722290967888 140722290964888 4380282 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 8336 2500 600 181 0 1953 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33344 KiB
Current children cumulated memory: 10000 KiB

[startup+0.308864 s]*
/proc/loadavg: 1.92 2.00 2.04 3/187 30294
/proc/meminfo: memFree=19941948/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=34268 memory=10792 CPUtime=0.31 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 2924 0 0 0 31 0 0 0 20 0 1 0 97567019 35090432 2698 33554432000 4194304 4933779 140722290967888 140722290964888 139787789781989 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 8567 2698 600 181 0 2184 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34268 KiB
Current children cumulated memory: 10792 KiB

[startup+0.700289 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 30294
/proc/meminfo: memFree=19940212/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=37632 memory=14100 CPUtime=0.69 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 3728 0 0 0 69 0 0 0 20 0 1 0 97567019 38535168 3525 33554432000 4194304 4933779 140722290967888 140722290965656 139787789781989 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 9408 3525 600 181 0 3025 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37632 KiB
Current children cumulated memory: 14100 KiB

[startup+1.5003 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 30294
/proc/meminfo: memFree=19936492/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=43596 memory=19796 CPUtime=1.49 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 5210 0 0 0 149 0 0 0 20 0 1 0 97567019 44642304 4949 33554432000 4194304 4933779 140722290967888 140722290965656 139787789781989 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 10899 4949 600 181 0 4516 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43596 KiB
Current children cumulated memory: 19796 KiB

[startup+3.10938 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 30294
/proc/meminfo: memFree=19926872/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=49540 memory=25860 CPUtime=3.09 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 11219 0 0 0 309 0 0 0 20 0 1 0 97567019 50728960 6465 33554432000 4194304 4933779 140722290967888 140722290965640 4437558 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 12385 6465 600 181 0 6002 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 49540 KiB
Current children cumulated memory: 25860 KiB

[startup+6.30031 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 30294
/proc/meminfo: memFree=19920788/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=55852 memory=32516 CPUtime=6.28 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 18756 0 0 0 627 1 0 0 20 0 1 0 97567019 57192448 8129 33554432000 4194304 4933779 140722290967888 140722290965640 4380789 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 13963 8129 600 181 0 7580 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 55852 KiB
Current children cumulated memory: 32516 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 30294
/proc/meminfo: memFree=19913232/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=64868 memory=40944 CPUtime=12.68 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 28444 0 0 0 1266 2 0 0 20 0 1 0 97567019 66424832 10236 33554432000 4194304 4933779 140722290967888 140722290965640 4437479 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 16217 10236 600 181 0 9834 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 64868 KiB
Current children cumulated memory: 40944 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 30294
/proc/meminfo: memFree=19901908/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=74976 memory=51332 CPUtime=25.49 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 51392 0 0 0 2545 4 0 0 20 0 1 0 97567019 76775424 12833 33554432000 4194304 4933779 140722290967888 140722290965640 4437558 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 18744 12833 600 181 0 12361 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 74976 KiB
Current children cumulated memory: 51332 KiB

[startup+51.1095 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 30294
/proc/meminfo: memFree=19887152/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=88324 memory=64720 CPUtime=51.1 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 68430 0 0 0 5104 6 0 0 20 0 1 0 97567019 90443776 16180 33554432000 4194304 4933779 140722290967888 140722290965592 4423409 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 22081 16180 600 181 0 15698 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 88324 KiB
Current children cumulated memory: 64720 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 30295
/proc/meminfo: memFree=19866812/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=106636 memory=81876 CPUtime=102.29 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 89756 0 0 0 10221 8 0 0 20 0 1 0 97567019 109195264 20469 33554432000 4194304 4933779 140722290967888 140722290965576 4437536 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 26659 20469 600 181 0 20276 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 106636 KiB
Current children cumulated memory: 81876 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30296
/proc/meminfo: memFree=19849572/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=120472 memory=96372 CPUtime=162.26 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 107254 0 0 0 16215 11 0 0 20 0 1 0 97567019 123363328 24093 33554432000 4194304 4933779 140722290967888 140722290965592 4365475 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 30118 24093 600 181 0 23735 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 120472 KiB
Current children cumulated memory: 96372 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30304
/proc/meminfo: memFree=19834072/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=131960 memory=107848 CPUtime=222.26 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 112363 0 0 0 22212 14 0 0 20 0 1 0 97567019 135127040 26962 33554432000 4194304 4933779 140722290967888 140722290965576 139787789779687 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 32990 26962 600 181 0 26607 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 131960 KiB
Current children cumulated memory: 107848 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30305
/proc/meminfo: memFree=19822040/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=141900 memory=117652 CPUtime=282.26 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 119848 0 0 0 28211 15 0 0 20 0 1 0 97567019 145305600 29413 33554432000 4194304 4933779 140722290967888 140722290965576 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 35475 29413 600 181 0 29092 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 141900 KiB
Current children cumulated memory: 117652 KiB

[startup+342.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 30306
/proc/meminfo: memFree=19810764/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=151468 memory=127416 CPUtime=342.25 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 129441 0 0 0 34208 17 0 0 20 0 1 0 97567019 155103232 31854 33554432000 4194304 4933779 140722290967888 140722290965576 4437445 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 37867 31854 600 181 0 31484 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 151468 KiB
Current children cumulated memory: 127416 KiB

[startup+402.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 30368
/proc/meminfo: memFree=19936560/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=158640 memory=134504 CPUtime=402.26 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 140744 0 0 0 40207 19 0 0 20 0 1 0 97567019 162447360 33626 33554432000 4194304 4933779 140722290967888 140722290965640 4437389 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 39660 33626 600 181 0 33277 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 158640 KiB
Current children cumulated memory: 134504 KiB

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 30369
/proc/meminfo: memFree=19818276/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=164600 memory=140964 CPUtime=462.24 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 150819 0 0 0 46203 21 0 0 20 0 1 0 97567019 168550400 35241 33554432000 4194304 4933779 140722290967888 140722290965592 4437404 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 41150 35241 600 181 0 34767 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 164600 KiB
Current children cumulated memory: 140964 KiB


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

/proc/30293/statm: 60554 54292 600 181 0 54171 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 242216 KiB
Current children cumulated memory: 217168 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30453
/proc/meminfo: memFree=18353720/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=244332 memory=219228 CPUtime=1782.23 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 323383 0 0 0 178178 45 0 0 20 0 1 0 97567019 250195968 54807 33554432000 4194304 4933779 140722290967888 140722290965592 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 61083 54807 600 181 0 54700 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 244332 KiB
Current children cumulated memory: 219228 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30454
/proc/meminfo: memFree=18305980/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=246520 memory=221336 CPUtime=1842.23 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 329133 0 0 0 184177 46 0 0 20 0 1 0 97567019 252436480 55334 33554432000 4194304 4933779 140722290967888 140722290965576 4437839 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 61630 55334 600 181 0 55247 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 246520 KiB
Current children cumulated memory: 221336 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30455
/proc/meminfo: memFree=18265416/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=248320 memory=223172 CPUtime=1902.24 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 335193 0 0 0 190176 48 0 0 20 0 1 0 97567019 254279680 55793 33554432000 4194304 4933779 140722290967888 140722290965400 4437585 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 62080 55793 600 181 0 55697 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 248320 KiB
Current children cumulated memory: 223172 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30456
/proc/meminfo: memFree=18237392/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=250616 memory=225324 CPUtime=1962.23 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 341791 0 0 0 196175 48 0 0 20 0 1 0 97567019 256630784 56331 33554432000 4194304 4933779 140722290967888 140722290965576 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 62654 56331 600 181 0 56271 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 250616 KiB
Current children cumulated memory: 225324 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30465
/proc/meminfo: memFree=18207236/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=252732 memory=227504 CPUtime=2022.23 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 348816 0 0 0 202174 49 0 0 20 0 1 0 97567019 258797568 56876 33554432000 4194304 4933779 140722290967888 140722290965640 4437824 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 63183 56876 600 181 0 56800 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 252732 KiB
Current children cumulated memory: 227504 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30466
/proc/meminfo: memFree=18180840/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=255580 memory=230048 CPUtime=2082.23 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 356400 0 0 0 208173 50 0 0 20 0 1 0 97567019 261713920 57512 33554432000 4194304 4933779 140722290967888 140722290965592 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 63895 57512 600 181 0 57512 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 255580 KiB
Current children cumulated memory: 230048 KiB

[startup+2142.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/188 30467
/proc/meminfo: memFree=18153200/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=257660 memory=232112 CPUtime=2142.23 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 364437 0 0 0 214172 51 0 0 20 0 1 0 97567019 263843840 58028 33554432000 4194304 4933779 140722290967888 140722290965592 4437570 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 64415 58028 600 181 0 58032 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 257660 KiB
Current children cumulated memory: 232112 KiB

[startup+2202.3 s]
/proc/loadavg: 2.40 2.18 2.10 3/188 30468
/proc/meminfo: memFree=18126316/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=260324 memory=234744 CPUtime=2202.24 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 373164 0 0 0 220171 53 0 0 20 0 1 0 97567019 266571776 58686 33554432000 4194304 4933779 140722290967888 140722290965576 4437445 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 65081 58686 600 181 0 58698 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 260324 KiB
Current children cumulated memory: 234744 KiB

[startup+2262.3 s]
/proc/loadavg: 2.15 2.14 2.10 3/188 30469
/proc/meminfo: memFree=18084264/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=262208 memory=236668 CPUtime=2262.24 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 382503 0 0 0 226170 54 0 0 20 0 1 0 97567019 268500992 59167 33554432000 4194304 4933779 140722290967888 140722290965576 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 65552 59167 600 181 0 59169 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 262208 KiB
Current children cumulated memory: 236668 KiB

[startup+2322.3 s]
/proc/loadavg: 2.05 2.12 2.09 3/187 30471
/proc/meminfo: memFree=18066160/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=263320 memory=237736 CPUtime=2322.24 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 391920 0 0 0 232169 55 0 0 20 0 1 0 97567019 269639680 59434 33554432000 4194304 4933779 140722290967888 140722290965400 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 65830 59434 600 181 0 59447 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 263320 KiB
Current children cumulated memory: 237736 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/187 30472
/proc/meminfo: memFree=18036044/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=265344 memory=239648 CPUtime=2382.24 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 401890 0 0 0 238167 57 0 0 20 0 1 0 97567019 271712256 59912 33554432000 4194304 4933779 140722290967888 140722290965576 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 66336 59912 600 181 0 59953 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 265344 KiB
Current children cumulated memory: 239648 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/187 30473
/proc/meminfo: memFree=18006904/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=266892 memory=241100 CPUtime=2442.24 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 412143 0 0 0 244166 58 0 0 20 0 1 0 97567019 273297408 60275 33554432000 4194304 4933779 140722290967888 140722290965592 4475758 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 66723 60275 600 181 0 60340 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 266892 KiB
Current children cumulated memory: 241100 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 30475
/proc/meminfo: memFree=17961000/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=268296 memory=242476 CPUtime=2502.24 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 422798 0 0 0 250165 59 0 0 20 0 1 0 97567019 274735104 60619 33554432000 4194304 4933779 140722290967888 140722290965592 4437796 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 67074 60619 600 181 0 60691 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 268296 KiB
Current children cumulated memory: 242476 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.06 2.07 3/187 30475
/proc/meminfo: memFree=17950924/32770624 swapFree=67108860/67108860
[pid=30293] ppid=30290 vsize=270212 memory=244428 CPUtime=2519.95 cores=1,3,5,7
/proc/30293/stat : 30293 (nacre_mini_rele) R 30290 30293 26996 0 -1 4202496 433701 0 0 0 251935 60 0 0 20 0 1 0 97567019 276697088 61107 33554432000 4194304 4933779 140722290967888 140722290965576 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 28291072 140722290975896 140722290975996 140722290975996 140722290978754 0
/proc/30293/statm: 67553 61107 600 181 0 61170 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 270212 KiB
Current children cumulated memory: 244428 KiB

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

[startup+2520.01 s]
# the end of solver process 30293 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.35 s, system=0.609002 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.96
CPU user time (s): 2519.35
CPU system time (s): 0.609002
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 270212
Max. memory (cumulated for all children) (KiB): 244428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.35
system time used= 0.609002
maximum resident set size= 244504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 433748
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= 101
involuntary context switches= 2759


# summary of solver processes directly reported to runsolver:
#   pid: 30293
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2519.35
#   total CPU system time (s): 0.609002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4731 second user time and 16.8783 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-28 19:47:18
IDJOB=4300370
IDBENCH=141591
IDSOLVER=2764
FILE ID=node103/4300370-1532800038
RUNJOBID= node103-1532775163-27028
PBS_JOBID= 21022463
Free space on /tmp= 56536 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/Frb/frb-53-24-2-mgd_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300370-1532800038/watcher-4300370-1532800038 -o /tmp/evaluation-result-4300370-1532800038/solver-4300370-1532800038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27028 --watchdog 2580  nacre_mini_release HOME/instance-4300370-1532800038.xml -ca -l100 -cm

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

MD5SUM BENCH= efa4ad1e7c4e0975e1666af510b5ab46
RANDOM SEED=588176607

node103.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.48
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.48
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.48
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.48
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:        19950784 kB
MemAvailable:   31656196 kB
Buffers:          303212 kB
Cached:         11585652 kB
SwapCached:            0 kB
Active:          4192324 kB
Inactive:        8025124 kB
Active(anon):     331016 kB
Inactive(anon):    25184 kB
Active(file):    3861308 kB
Inactive(file):  7999940 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1156 kB
Writeback:             0 kB
AnonPages:        347544 kB
Mapped:            44188 kB
Shmem:             25228 kB
Slab:             300192 kB
SReclaimable:     272624 kB
SUnreclaim:        27568 kB
KernelStack:        3568 kB
PageTables:         5736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     627244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    278528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56532 MiB
End job on node103 at 2018-07-28 20:29:19