Trace number 4300566

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.71 2520.03

General information on the benchmark

NameEternity/
Eternity-14-14_c18.xml
MD5SUM66051f32d3df5832063947322816fa6d
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 variables616
Number of constraints253
Number of domains2
Minimum domain size21
Maximum domain size196
Distribution of domain sizes[{"size":21,"count":420},{"size":196,"count":196}]
Minimum variable degree1
Maximum variable degree15
Distribution of variable degrees[{"degree":1,"count":13},{"degree":2,"count":602},{"degree":15,"count":1}]
Minimum constraint arity1
Maximum constraint arity196
Distribution of constraint arities[{"arity":1,"count":56},{"arity":5,"count":196},{"arity":196,"count":1}]
Number of extensional constraints196
Number of intensional constraints56
Distribution of constraint types[{"type":"extension","count":196},{"type":"intension","count":56},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.21/0.22	c NACRE 1.0.4
2519.68/2520.01	c
2519.68/2520.01	c # time = 2519.68
2519.68/2520.01	c # Dec = 801700
2519.68/2520.01	c # Propagate Calls = 10042232167
2519.68/2520.01	c # assignAt Calls = 1539484
2519.68/2520.01	c # removeAt Calls = 732862936
2519.68/2520.01	c # Run = 1468
2519.68/2520.01	c # Conflicts = 678679
2519.68/2520.01	c # Memory used = 1832.79 Mb
2519.68/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 (7608 MiB free)
  memory of node 1: 16384 MiB (10155 MiB free)
  node distances:
     10  21
     21  10

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

[startup+0.100171 s]*
/proc/loadavg: 1.92 2.04 2.07 3/187 30600
/proc/meminfo: memFree=18177832/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=40264 memory=15640 CPUtime=0.1 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 4794 0 0 0 10 0 0 0 20 0 1 0 97819155 41230336 3910 33554432000 4194304 4933779 140721109496480 140721109493480 139932514565120 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 10066 3910 570 181 0 3683 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40264 KiB
Current children cumulated memory: 15640 KiB

[startup+0.20979 s]*
/proc/loadavg: 1.92 2.04 2.07 3/187 30600
/proc/meminfo: memFree=18172052/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=45608 memory=20920 CPUtime=0.21 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 6130 0 0 0 20 1 0 0 20 0 1 0 97819155 46702592 5230 33554432000 4194304 4933779 140721109496480 140721109494056 4778166 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 11402 5230 570 181 0 5019 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45608 KiB
Current children cumulated memory: 20920 KiB

[startup+0.309615 s]*
/proc/loadavg: 1.92 2.04 2.07 3/187 30600
/proc/meminfo: memFree=18168456/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=48724 memory=24352 CPUtime=0.31 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 6974 0 0 0 30 1 0 0 20 0 1 0 97819155 49893376 6088 33554432000 4194304 4933779 140721109496480 140721109494056 139932520318016 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 12181 6088 596 181 0 5798 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48724 KiB
Current children cumulated memory: 24352 KiB

[startup+0.700399 s]
/proc/loadavg: 1.92 2.04 2.07 3/187 30600
/proc/meminfo: memFree=18166968/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=49864 memory=25672 CPUtime=0.69 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 7263 0 0 0 68 1 0 0 20 0 1 0 97819155 51060736 6418 33554432000 4194304 4933779 140721109496480 140721109494248 4377638 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 12466 6418 613 181 0 6083 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49864 KiB
Current children cumulated memory: 25672 KiB

[startup+1.50039 s]
/proc/loadavg: 1.92 2.04 2.07 3/187 30600
/proc/meminfo: memFree=18165108/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=52316 memory=28048 CPUtime=1.49 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 7870 0 0 0 148 1 0 0 20 0 1 0 97819155 53571584 7012 33554432000 4194304 4933779 140721109496480 140721109494248 4377259 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 13079 7012 613 181 0 6696 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52316 KiB
Current children cumulated memory: 28048 KiB

[startup+3.10969 s]
/proc/loadavg: 1.92 2.04 2.07 3/187 30600
/proc/meminfo: memFree=18158412/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=57332 memory=32900 CPUtime=3.1 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 14486 0 0 0 308 2 0 0 20 0 1 0 97819155 58707968 8225 33554432000 4194304 4933779 140721109496480 140721109494248 139932514124383 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 14333 8225 613 181 0 7950 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 57332 KiB
Current children cumulated memory: 32900 KiB

[startup+6.30037 s]
/proc/loadavg: 1.93 2.04 2.06 3/187 30600
/proc/meminfo: memFree=18141876/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=70920 memory=46552 CPUtime=6.29 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 24197 0 0 0 626 3 0 0 20 0 1 0 97819155 72622080 11638 33554432000 4194304 4933779 140721109496480 140721109494248 4388454 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 17730 11638 613 181 0 11347 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 70920 KiB
Current children cumulated memory: 46552 KiB

[startup+12.7004 s]
/proc/loadavg: 1.93 2.04 2.06 3/187 30600
/proc/meminfo: memFree=18109540/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=99508 memory=75136 CPUtime=12.69 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 38723 0 0 0 1264 5 0 0 20 0 1 0 97819155 101896192 18784 33554432000 4194304 4933779 140721109496480 140721109494248 4377379 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 24877 18784 613 181 0 18494 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 99508 KiB
Current children cumulated memory: 75136 KiB

[startup+25.5004 s]
/proc/loadavg: 1.95 2.04 2.06 3/187 30600
/proc/meminfo: memFree=18047028/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=155108 memory=130860 CPUtime=25.49 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 74482 0 0 0 2540 9 0 0 20 0 1 0 97819155 158830592 32715 33554432000 4194304 4933779 140721109496480 140721109494232 4377379 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 38777 32715 613 181 0 32394 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 155108 KiB
Current children cumulated memory: 130860 KiB

[startup+51.1098 s]
/proc/loadavg: 1.97 2.04 2.06 3/187 30607
/proc/meminfo: memFree=17957856/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=225968 memory=201620 CPUtime=51.1 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 116600 0 0 0 5097 13 0 0 20 0 1 0 97819155 231391232 50405 33554432000 4194304 4933779 140721109496480 140721109494232 4437564 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 56492 50405 613 181 0 50109 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 225968 KiB
Current children cumulated memory: 201620 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.03 2.06 3/187 30608
/proc/meminfo: memFree=17802044/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=342584 memory=317896 CPUtime=102.28 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 191732 0 0 0 10208 20 0 0 20 0 1 0 97819155 350806016 79474 33554432000 4194304 4933779 140721109496480 140721109494248 139932514982323 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 85646 79474 613 181 0 79263 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 342584 KiB
Current children cumulated memory: 317896 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/187 30609
/proc/meminfo: memFree=17632384/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=468068 memory=443612 CPUtime=162.28 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 270832 0 0 0 16196 32 0 0 20 0 1 0 97819155 479301632 110903 33554432000 4194304 4933779 140721109496480 140721109494232 4475939 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 117017 110903 613 181 0 110634 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 468068 KiB
Current children cumulated memory: 443612 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 30610
/proc/meminfo: memFree=17511140/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=553336 memory=528888 CPUtime=222.25 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 321448 0 0 0 22187 38 0 0 20 0 1 0 97819155 566616064 132222 33554432000 4194304 4933779 140721109496480 140721109494184 4388436 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 138334 132222 613 181 0 131951 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 553336 KiB
Current children cumulated memory: 528888 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 30611
/proc/meminfo: memFree=17425112/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=623292 memory=598992 CPUtime=282.24 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 377998 0 0 0 28179 45 0 0 20 0 1 0 97819155 638251008 149748 33554432000 4194304 4933779 140721109496480 140721109494168 139932514982299 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 155823 149748 613 181 0 149440 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 623292 KiB
Current children cumulated memory: 598992 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30612
/proc/meminfo: memFree=17352600/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=684880 memory=660852 CPUtime=342.21 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 415397 0 0 0 34171 50 0 0 20 0 1 0 97819155 701317120 165213 33554432000 4194304 4933779 140721109496480 140721109494232 4377635 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 171220 165213 613 181 0 164837 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 684880 KiB
Current children cumulated memory: 660852 KiB

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 30674
/proc/meminfo: memFree=19430712/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=736616 memory=712468 CPUtime=402.18 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 461114 0 0 0 40161 57 0 0 20 0 1 0 97819155 754294784 178117 33554432000 4194304 4933779 140721109496480 140721109494232 4437572 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 184154 178117 613 181 0 177771 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 736616 KiB
Current children cumulated memory: 712468 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 30675
/proc/meminfo: memFree=19343768/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=787324 memory=763248 CPUtime=462.16 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 505898 0 0 0 46152 64 0 0 20 0 1 0 97819155 806219776 190812 33554432000 4194304 4933779 140721109496480 140721109494184 139932514124573 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 196831 190812 613 181 0 190448 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 787324 KiB
Current children cumulated memory: 763248 KiB


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

/proc/30599/statm: 404910 398894 613 181 0 398527 0
Current children cumulated CPU time: 1721.98 s
Current children cumulated vsize: 1619640 KiB
Current children cumulated memory: 1595576 KiB

[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/180 30763
/proc/meminfo: memFree=18602636/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1644964 memory=1620868 CPUtime=1781.97 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1136749 0 0 0 178040 157 0 0 20 0 1 0 97819155 1684443136 405217 33554432000 4194304 4933779 140721109496480 140721109494232 139932514874104 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 411241 405217 613 181 0 404858 0
Current children cumulated CPU time: 1781.97 s
Current children cumulated vsize: 1644964 KiB
Current children cumulated memory: 1620868 KiB

[startup+1842.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/180 30771
/proc/meminfo: memFree=18584252/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1662288 memory=1638244 CPUtime=1841.96 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1145180 0 0 0 184038 158 0 0 20 0 1 0 97819155 1702182912 409561 33554432000 4194304 4933779 140721109496480 140721109494184 4377638 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 415572 409561 613 181 0 409189 0
Current children cumulated CPU time: 1841.96 s
Current children cumulated vsize: 1662288 KiB
Current children cumulated memory: 1638244 KiB

[startup+1902.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/181 30795
/proc/meminfo: memFree=18560668/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1685012 memory=1660856 CPUtime=1901.97 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1153778 0 0 0 190037 160 0 0 20 0 1 0 97819155 1725452288 415214 33554432000 4194304 4933779 140721109496480 140721109494232 4437536 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 421253 415214 613 181 0 414870 0
Current children cumulated CPU time: 1901.97 s
Current children cumulated vsize: 1685012 KiB
Current children cumulated memory: 1660856 KiB

[startup+1962.3 s]
/proc/loadavg: 1.00 1.02 1.28 2/181 30796
/proc/meminfo: memFree=18532332/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1713200 memory=1689152 CPUtime=1961.96 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1166078 0 0 0 196034 162 0 0 20 0 1 0 97819155 1754316800 422288 33554432000 4194304 4933779 140721109496480 140721109494232 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 428300 422288 613 181 0 421917 0
Current children cumulated CPU time: 1961.96 s
Current children cumulated vsize: 1713200 KiB
Current children cumulated memory: 1689152 KiB

[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/181 30797
/proc/meminfo: memFree=18519668/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1727572 memory=1703576 CPUtime=2021.96 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1176117 0 0 0 202032 164 0 0 20 0 1 0 97819155 1769033728 425894 33554432000 4194304 4933779 140721109496480 140721109494232 4388388 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 431893 425894 613 181 0 425510 0
Current children cumulated CPU time: 2021.96 s
Current children cumulated vsize: 1727572 KiB
Current children cumulated memory: 1703576 KiB

[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/181 30798
/proc/meminfo: memFree=18506164/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1741224 memory=1717308 CPUtime=2081.96 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1186809 0 0 0 208031 165 0 0 20 0 1 0 97819155 1783013376 429327 33554432000 4194304 4933779 140721109496480 140721109494232 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 435306 429327 613 181 0 428923 0
Current children cumulated CPU time: 2081.96 s
Current children cumulated vsize: 1741224 KiB
Current children cumulated memory: 1717308 KiB

[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/181 30799
/proc/meminfo: memFree=18488304/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1758480 memory=1734568 CPUtime=2141.96 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1200565 0 0 0 214029 167 0 0 20 0 1 0 97819155 1800683520 433642 33554432000 4194304 4933779 140721109496480 140721109494232 139932514136944 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 439620 433642 613 181 0 433237 0
Current children cumulated CPU time: 2141.96 s
Current children cumulated vsize: 1758480 KiB
Current children cumulated memory: 1734568 KiB

[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/181 30800
/proc/meminfo: memFree=18470348/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1777108 memory=1753180 CPUtime=2201.97 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1215755 0 0 0 220027 170 0 0 20 0 1 0 97819155 1819758592 438295 33554432000 4194304 4933779 140721109496480 140721109494232 4472608 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 444277 438295 613 181 0 437894 0
Current children cumulated CPU time: 2201.97 s
Current children cumulated vsize: 1777108 KiB
Current children cumulated memory: 1753180 KiB

[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/180 30801
/proc/meminfo: memFree=18455460/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1792192 memory=1768316 CPUtime=2261.97 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1231390 0 0 0 226025 172 0 0 20 0 1 0 97819155 1835204608 442079 33554432000 4194304 4933779 140721109496480 140721109494184 4422544 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 448048 442079 613 181 0 441665 0
Current children cumulated CPU time: 2261.97 s
Current children cumulated vsize: 1792192 KiB
Current children cumulated memory: 1768316 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/180 30802
/proc/meminfo: memFree=18443068/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1804936 memory=1781056 CPUtime=2321.97 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1245815 0 0 0 232023 174 0 0 20 0 1 0 97819155 1848254464 445264 33554432000 4194304 4933779 140721109496480 140721109494184 139932514136048 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 451234 445264 613 181 0 444851 0
Current children cumulated CPU time: 2321.97 s
Current children cumulated vsize: 1804936 KiB
Current children cumulated memory: 1781056 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/180 30803
/proc/meminfo: memFree=18430640/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1817040 memory=1793092 CPUtime=2381.97 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1262660 0 0 0 238021 176 0 0 20 0 1 0 97819155 1860648960 448273 33554432000 4194304 4933779 140721109496480 140721109494184 4388377 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 454260 448273 613 181 0 447877 0
Current children cumulated CPU time: 2381.97 s
Current children cumulated vsize: 1817040 KiB
Current children cumulated memory: 1793092 KiB

[startup+2442.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/180 30811
/proc/meminfo: memFree=18412584/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1834628 memory=1810680 CPUtime=2441.97 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1282336 0 0 0 244018 179 0 0 20 0 1 0 97819155 1878659072 452670 33554432000 4194304 4933779 140721109496480 140721109494232 4472628 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 458657 452670 613 181 0 452274 0
Current children cumulated CPU time: 2441.97 s
Current children cumulated vsize: 1834628 KiB
Current children cumulated memory: 1810680 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/180 30812
/proc/meminfo: memFree=18396892/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1850432 memory=1826448 CPUtime=2501.97 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1302905 0 0 0 250015 182 0 0 20 0 1 0 97819155 1894842368 456612 33554432000 4194304 4933779 140721109496480 140721109494184 4437564 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 462608 456612 613 181 0 456225 0
Current children cumulated CPU time: 2501.97 s
Current children cumulated vsize: 1850432 KiB
Current children cumulated memory: 1826448 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 1.01 1.15 2/180 30812
/proc/meminfo: memFree=18390204/32770624 swapFree=67108860/67108860
[pid=30599] ppid=30596 vsize=1856684 memory=1832672 CPUtime=2519.68 cores=1,3,5,7
/proc/30599/stat : 30599 (nacre_mini_rele) R 30596 30599 26996 0 -1 4202496 1314636 0 0 0 251785 183 0 0 20 0 1 0 97819155 1901244416 458168 33554432000 4194304 4933779 140721109496480 140721109494184 4475748 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 21671936 140721109505176 140721109505276 140721109505276 140721109508034 0
/proc/30599/statm: 464171 458168 613 181 0 457788 0
Current children cumulated CPU time: 2519.68 s
Current children cumulated vsize: 1856684 KiB
Current children cumulated memory: 1832672 KiB

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

[startup+2520.03 s]
# the end of solver process 30599 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.85 s, system=1.855 s

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

Child status: 0
Real time (s): 2520.03
CPU time (s): 2519.71
CPU user time (s): 2517.85
CPU system time (s): 1.855
CPU usage (%): 99.9873
Max. virtual memory (cumulated for all children) (KiB): 1856684
Max. memory (cumulated for all children) (KiB): 1832672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.85
system time used= 1.855
maximum resident set size= 1832828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1314689
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= 513
involuntary context switches= 1762


# summary of solver processes directly reported to runsolver:
#   pid: 30599
#   total CPU time (s): 2519.71
#   total CPU user time (s): 2517.85
#   total CPU system time (s): 1.855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.50499 second user time and 19.2748 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-28 20:29:20
IDJOB=4300566
IDBENCH=141660
IDSOLVER=2764
FILE ID=node103/4300566-1532802560
RUNJOBID= node103-1532775163-27028
PBS_JOBID= 21022463
Free space on /tmp= 56532 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/Eternity/Eternity-14-14_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300566-1532802560/watcher-4300566-1532802560 -o /tmp/evaluation-result-4300566-1532802560/solver-4300566-1532802560 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27028 --watchdog 2580  nacre_mini_release HOME/instance-4300566-1532802560.xml -ca -l100 -cm

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

MD5SUM BENCH= 66051f32d3df5832063947322816fa6d
RANDOM SEED=1027764393

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:        18190684 kB
MemAvailable:   29901040 kB
Buffers:          303348 kB
Cached:         11590688 kB
SwapCached:            0 kB
Active:          5946932 kB
Inactive:        8025568 kB
Active(anon):    2081140 kB
Inactive(anon):    25184 kB
Active(file):    3865792 kB
Inactive(file):  8000384 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3124 kB
Writeback:             0 kB
AnonPages:       2085476 kB
Mapped:            44336 kB
Shmem:             25228 kB
Slab:             300580 kB
SReclaimable:     272640 kB
SUnreclaim:        27940 kB
KernelStack:        3280 kB
PageTables:         9036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2376856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1900544 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= 56536 MiB
End job on node103 at 2018-07-28 21:11:20