Trace number 4300534

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.72 2520.02

General information on the benchmark

NameEternity/
Eternity-13-13_c18.xml
MD5SUMe6142002f41530755715c5642d221a51
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 variables533
Number of constraints222
Number of domains2
Minimum domain size19
Maximum domain size169
Distribution of domain sizes[{"size":19,"count":364},{"size":169,"count":169}]
Minimum variable degree1
Maximum variable degree14
Distribution of variable degrees[{"degree":1,"count":12},{"degree":2,"count":520},{"degree":14,"count":1}]
Minimum constraint arity1
Maximum constraint arity169
Distribution of constraint arities[{"arity":1,"count":52},{"arity":5,"count":169},{"arity":169,"count":1}]
Number of extensional constraints169
Number of intensional constraints52
Distribution of constraint types[{"type":"extension","count":169},{"type":"intension","count":52},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.09/0.17	c NACRE 1.0.4
2519.69/2520.00	c
2519.69/2520.00	c # time = 2519.7
2519.69/2520.00	c # Dec = 1016051
2519.69/2520.00	c # Propagate Calls = 9963599289
2519.69/2520.00	c # assignAt Calls = 1949432
2519.69/2520.00	c # removeAt Calls = 804827725
2519.69/2520.00	c # Run = 1898
2519.69/2520.00	c # Conflicts = 876558
2519.69/2520.00	c # Memory used = 1713.49 Mb
2519.69/2520.00	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 (9630 MiB free)
  memory of node 1: 16384 MiB (15798 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300534-1532801318/watcher-4300534-1532801318 -o /tmp/evaluation-result-4300534-1532801318/solver-4300534-1532801318 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532776103-29944 --watchdog 2580 nacre_mini_release HOME/instance-4300534-1532801318.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=476, runsolver pid=473


[startup+0.100163 s]*
/proc/loadavg: 2.10 2.11 2.08 3/187 477
/proc/meminfo: memFree=26028072/32770624 swapFree=67028340/67108860
[pid=476] ppid=473 vsize=38784 memory=13876 CPUtime=0.09 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 4316 0 0 0 9 0 0 0 20 0 1 0 97695005 39714816 3469 33554432000 4194304 4933779 140730974039744 140730974036744 4776387 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 9696 3469 570 181 0 3313 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38784 KiB
Current children cumulated memory: 13876 KiB

[startup+0.209649 s]*
/proc/loadavg: 2.10 2.11 2.08 3/187 477
/proc/meminfo: memFree=26022232/32770624 swapFree=67028340/67108860
[pid=476] ppid=473 vsize=44236 memory=19420 CPUtime=0.2 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 5707 0 0 0 20 0 0 0 20 0 1 0 97695005 45297664 4855 33554432000 4194304 4933779 140730974039744 140730974036744 4212112 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 11059 4855 598 181 0 4676 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44236 KiB
Current children cumulated memory: 19420 KiB

[startup+0.309594 s]*
/proc/loadavg: 2.09 2.10 2.08 3/187 477
/proc/meminfo: memFree=26021860/32770624 swapFree=67028340/67108860
[pid=476] ppid=473 vsize=44508 memory=19684 CPUtime=0.3 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 5775 0 0 0 30 0 0 0 20 0 1 0 97695005 45576192 4921 33554432000 4194304 4933779 140730974039744 140730974036744 4475748 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 11127 4921 613 181 0 4744 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44508 KiB
Current children cumulated memory: 19684 KiB

[startup+0.700373 s]
/proc/loadavg: 2.09 2.10 2.08 3/187 477
/proc/meminfo: memFree=26020716/32770624 swapFree=67028340/67108860
[pid=476] ppid=473 vsize=46268 memory=21268 CPUtime=0.69 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 6218 0 0 0 68 1 0 0 20 0 1 0 97695005 47378432 5317 33554432000 4194304 4933779 140730974039744 140730974037512 139930465612123 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 11567 5317 613 181 0 5184 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46268 KiB
Current children cumulated memory: 21268 KiB

[startup+1.50038 s]
/proc/loadavg: 2.09 2.10 2.08 3/187 477
/proc/meminfo: memFree=26017368/32770624 swapFree=67028340/67108860
[pid=476] ppid=473 vsize=49984 memory=25228 CPUtime=1.49 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 7162 0 0 0 148 1 0 0 20 0 1 0 97695005 51183616 6307 33554432000 4194304 4933779 140730974039744 140730974037512 139930465601947 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 12496 6307 613 181 0 6113 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 49984 KiB
Current children cumulated memory: 25228 KiB

[startup+3.10942 s]
/proc/loadavg: 2.09 2.10 2.08 3/187 477
/proc/meminfo: memFree=26007456/32770624 swapFree=67028340/67108860
[pid=476] ppid=473 vsize=56932 memory=32048 CPUtime=3.1 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 13451 0 0 0 308 2 0 0 20 0 1 0 97695005 58298368 8012 33554432000 4194304 4933779 140730974039744 140730974037496 4475748 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 14233 8012 613 181 0 7850 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 56932 KiB
Current children cumulated memory: 32048 KiB

[startup+6.30035 s]
/proc/loadavg: 2.08 2.10 2.08 3/187 477
/proc/meminfo: memFree=25985368/32770624 swapFree=67028340/67108860
[pid=476] ppid=473 vsize=80812 memory=55888 CPUtime=6.29 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 25021 0 0 0 626 3 0 0 20 0 1 0 97695005 82751488 13972 33554432000 4194304 4933779 140730974039744 140730974037496 4377638 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 20203 13972 613 181 0 13820 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 80812 KiB
Current children cumulated memory: 55888 KiB

[startup+12.7004 s]
/proc/loadavg: 2.08 2.10 2.08 3/187 477
/proc/meminfo: memFree=25942468/32770624 swapFree=67028340/67108860
[pid=476] ppid=473 vsize=121764 memory=96972 CPUtime=12.69 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 43387 0 0 0 1263 6 0 0 20 0 1 0 97695005 124686336 24243 33554432000 4194304 4933779 140730974039744 140730974037512 4388377 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 30441 24243 613 181 0 24058 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 121764 KiB
Current children cumulated memory: 96972 KiB

[startup+25.5004 s]
/proc/loadavg: 2.06 2.10 2.08 3/187 477
/proc/meminfo: memFree=25862828/32770624 swapFree=67028340/67108860
[pid=476] ppid=473 vsize=188324 memory=163452 CPUtime=25.48 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 88435 0 0 0 2538 10 0 0 20 0 1 0 97695005 192843776 40863 33554432000 4194304 4933779 140730974039744 140730974037496 139930465601963 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 47081 40863 613 181 0 40698 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 188324 KiB
Current children cumulated memory: 163452 KiB

[startup+51.1096 s]
/proc/loadavg: 2.04 2.09 2.07 3/187 477
/proc/meminfo: memFree=25751364/32770624 swapFree=67028340/67108860
[pid=476] ppid=473 vsize=271512 memory=246296 CPUtime=51.08 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 138064 0 0 0 5092 16 0 0 20 0 1 0 97695005 278028288 61574 33554432000 4194304 4933779 140730974039744 140730974037512 139930465601947 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 67878 61574 613 181 0 61495 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 271512 KiB
Current children cumulated memory: 246296 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/188 487
/proc/meminfo: memFree=25612556/32770624 swapFree=67028344/67108860
[pid=476] ppid=473 vsize=382940 memory=357984 CPUtime=102.26 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 206586 0 0 0 10201 25 0 0 20 0 1 0 97695005 392130560 89496 33554432000 4194304 4933779 140730974039744 140730974037448 139930464739118 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 95735 89496 613 181 0 89352 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 357984 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/188 488
/proc/meminfo: memFree=25491932/32770624 swapFree=67028344/67108860
[pid=476] ppid=473 vsize=481852 memory=457072 CPUtime=162.23 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 262976 0 0 0 16191 32 0 0 20 0 1 0 97695005 493416448 114268 33554432000 4194304 4933779 140730974039744 140730974037448 139930465601915 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 120463 114268 613 181 0 114080 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 481852 KiB
Current children cumulated memory: 457072 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 489
/proc/meminfo: memFree=25353396/32770624 swapFree=67028344/67108860
[pid=476] ppid=473 vsize=573212 memory=548540 CPUtime=222.21 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 311938 0 0 0 22183 38 0 0 20 0 1 0 97695005 586969088 137135 33554432000 4194304 4933779 140730974039744 140730974037432 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 143303 137135 613 181 0 136920 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 573212 KiB
Current children cumulated memory: 548540 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 490
/proc/meminfo: memFree=25271844/32770624 swapFree=67028344/67108860
[pid=476] ppid=473 vsize=637688 memory=613020 CPUtime=282.18 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 348400 0 0 0 28175 43 0 0 20 0 1 0 97695005 652992512 153255 33554432000 4194304 4933779 140730974039744 140730974037512 4475748 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 159422 153255 613 181 0 153039 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 637688 KiB
Current children cumulated memory: 613020 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 491
/proc/meminfo: memFree=25195864/32770624 swapFree=67028344/67108860
[pid=476] ppid=473 vsize=702612 memory=677860 CPUtime=342.17 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 381480 0 0 0 34169 48 0 0 20 0 1 0 97695005 719474688 169465 33554432000 4194304 4933779 140730974039744 140730974037448 4377395 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 175653 169465 613 181 0 169270 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 702612 KiB
Current children cumulated memory: 677860 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 492
/proc/meminfo: memFree=25111592/32770624 swapFree=67028344/67108860
[pid=476] ppid=473 vsize=764152 memory=738452 CPUtime=402.16 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 410899 0 0 0 40164 52 0 0 20 0 1 0 97695005 782491648 184613 33554432000 4194304 4933779 140730974039744 140730974037448 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 191038 184613 613 181 0 184655 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 764152 KiB
Current children cumulated memory: 738452 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 493
/proc/meminfo: memFree=25046516/32770624 swapFree=67028344/67108860
[pid=476] ppid=473 vsize=805780 memory=780316 CPUtime=462.14 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 428601 0 0 0 46159 55 0 0 20 0 1 0 97695005 825118720 195079 33554432000 4194304 4933779 140730974039744 140730974037448 4388720 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 201445 195079 613 181 0 195062 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 805780 KiB
Current children cumulated memory: 780316 KiB


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

/proc/476/statm: 356723 350652 613 181 0 350340 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 1426892 KiB
Current children cumulated memory: 1402608 KiB

[startup+1782.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/186 537
/proc/meminfo: memFree=24014124/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1449188 memory=1425044 CPUtime=1782.12 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1281411 0 0 0 178050 162 0 0 20 0 1 0 97695005 1483968512 356261 33554432000 4194304 4933779 140730974039744 140730974037448 139930465601804 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 362297 356261 613 181 0 355914 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 1449188 KiB
Current children cumulated memory: 1425044 KiB

[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 539
/proc/meminfo: memFree=23974400/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1475988 memory=1451808 CPUtime=1842.12 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1344880 0 0 0 184042 170 0 0 20 0 1 0 97695005 1511411712 362952 33554432000 4194304 4933779 140730974039744 140730974037496 139930464743979 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 368997 362952 613 181 0 362614 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 1475988 KiB
Current children cumulated memory: 1451808 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 549
/proc/meminfo: memFree=23933212/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1505612 memory=1481408 CPUtime=1902.1 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1404118 0 0 0 190034 176 0 0 20 0 1 0 97695005 1541746688 370352 33554432000 4194304 4933779 140730974039744 140730974037448 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 376403 370352 613 181 0 370020 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 1505612 KiB
Current children cumulated memory: 1481408 KiB

[startup+1962.3 s]
/proc/loadavg: 1.78 1.98 2.03 2/181 608
/proc/meminfo: memFree=25284952/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1527836 memory=1503620 CPUtime=1962.08 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1452037 0 0 0 196025 183 0 0 20 0 1 0 97695005 1564504064 375905 33554432000 4194304 4933779 140730974039744 140730974037496 139930464744180 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 381959 375905 613 181 0 375576 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 1527836 KiB
Current children cumulated memory: 1503620 KiB

[startup+2022.3 s]
/proc/loadavg: 1.29 1.80 1.96 2/181 609
/proc/meminfo: memFree=25262680/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1550968 memory=1526768 CPUtime=2022.07 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1495016 0 0 0 202018 189 0 0 20 0 1 0 97695005 1588191232 381692 33554432000 4194304 4933779 140730974039744 140730974037448 139930464744180 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 387742 381692 613 181 0 381359 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 1550968 KiB
Current children cumulated memory: 1526768 KiB

[startup+2082.3 s]
/proc/loadavg: 1.11 1.65 1.91 2/181 610
/proc/meminfo: memFree=25241140/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1573064 memory=1548880 CPUtime=2082.04 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1529949 0 0 0 208009 195 0 0 20 0 1 0 97695005 1610817536 387220 33554432000 4194304 4933779 140730974039744 140730974037496 139930464745644 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 393266 387220 613 181 0 386883 0
Current children cumulated CPU time: 2082.04 s
Current children cumulated vsize: 1573064 KiB
Current children cumulated memory: 1548880 KiB

[startup+2142.3 s]
/proc/loadavg: 1.04 1.53 1.85 2/181 611
/proc/meminfo: memFree=25223240/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1590964 memory=1566816 CPUtime=2142.03 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1559406 0 0 0 214002 201 0 0 20 0 1 0 97695005 1629147136 391704 33554432000 4194304 4933779 140730974039744 140730974037448 4437416 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 397741 391704 613 181 0 391358 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 1590964 KiB
Current children cumulated memory: 1566816 KiB

[startup+2202.3 s]
/proc/loadavg: 1.01 1.44 1.80 2/180 617
/proc/meminfo: memFree=25203220/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1611132 memory=1587036 CPUtime=2202.01 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1584673 0 0 0 219997 204 0 0 20 0 1 0 97695005 1649799168 396759 33554432000 4194304 4933779 140730974039744 140730974037448 4475728 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 402783 396759 613 181 0 396400 0
Current children cumulated CPU time: 2202.01 s
Current children cumulated vsize: 1611132 KiB
Current children cumulated memory: 1587036 KiB

[startup+2262.3 s]
/proc/loadavg: 1.01 1.36 1.75 2/180 618
/proc/meminfo: memFree=25177464/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1636776 memory=1612652 CPUtime=2262 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1601956 0 0 0 225993 207 0 0 20 0 1 0 97695005 1676058624 403163 33554432000 4194304 4933779 140730974039744 140730974037432 4475748 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 409194 403163 613 181 0 402811 0
Current children cumulated CPU time: 2262 s
Current children cumulated vsize: 1636776 KiB
Current children cumulated memory: 1612652 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.29 1.70 2/180 619
/proc/meminfo: memFree=25154560/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1659268 memory=1635160 CPUtime=2321.99 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1612342 0 0 0 231991 208 0 0 20 0 1 0 97695005 1699090432 408790 33554432000 4194304 4933779 140730974039744 140730974037448 4423444 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 414817 408790 613 181 0 408434 0
Current children cumulated CPU time: 2321.99 s
Current children cumulated vsize: 1659268 KiB
Current children cumulated memory: 1635160 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.24 1.66 2/180 620
/proc/meminfo: memFree=25122568/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1691200 memory=1666892 CPUtime=2381.99 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1623541 0 0 0 237989 210 0 0 20 0 1 0 97695005 1731788800 416723 33554432000 4194304 4933779 140730974039744 140730974037448 4437570 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 422800 416723 613 181 0 416417 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 1691200 KiB
Current children cumulated memory: 1666892 KiB

[startup+2442.3 s]
/proc/loadavg: 1.00 1.20 1.61 2/180 621
/proc/meminfo: memFree=25102108/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1711844 memory=1687832 CPUtime=2441.99 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1634912 0 0 0 243987 212 0 0 20 0 1 0 97695005 1752928256 421958 33554432000 4194304 4933779 140730974039744 140730974037448 139930465612123 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 427961 421958 613 181 0 421578 0
Current children cumulated CPU time: 2441.99 s
Current children cumulated vsize: 1711844 KiB
Current children cumulated memory: 1687832 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.16 1.58 2/180 636
/proc/meminfo: memFree=25081136/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1731680 memory=1707544 CPUtime=2501.99 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1647074 0 0 0 249985 214 0 0 20 0 1 0 97695005 1773240320 426886 33554432000 4194304 4933779 140730974039744 140730974037448 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 432920 426886 613 181 0 426537 0
Current children cumulated CPU time: 2501.99 s
Current children cumulated vsize: 1731680 KiB
Current children cumulated memory: 1707544 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 1.15 1.57 2/180 636
/proc/meminfo: memFree=25075184/32770624 swapFree=67028348/67108860
[pid=476] ppid=473 vsize=1737468 memory=1713308 CPUtime=2519.69 cores=1,3,5,7
/proc/476/stat : 476 (nacre_mini_rele) R 473 476 29912 0 -1 4202496 1649544 0 0 0 251755 214 0 0 20 0 1 0 97695005 1779167232 428327 33554432000 4194304 4933779 140730974039744 140730974037448 4388738 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 35508224 140730974041240 140730974041340 140730974041340 140730974044098 0
/proc/476/statm: 434367 428327 613 181 0 427984 0
Current children cumulated CPU time: 2519.69 s
Current children cumulated vsize: 1737468 KiB
Current children cumulated memory: 1713308 KiB

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

[startup+2520.02 s]
# the end of solver process 476 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.56 s, system=2.16 s

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

Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.72
CPU user time (s): 2517.56
CPU system time (s): 2.16
CPU usage (%): 99.9882
Max. virtual memory (cumulated for all children) (KiB): 1737468
Max. memory (cumulated for all children) (KiB): 1713308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.56
system time used= 2.16
maximum resident set size= 1713528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1649586
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= 592
involuntary context switches= 2358


# summary of solver processes directly reported to runsolver:
#   pid: 476
#   total CPU time (s): 2519.72
#   total CPU user time (s): 2517.56
#   total CPU system time (s): 2.16

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4877 second user time and 18.2076 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-28 20:08:38
IDJOB=4300534
IDBENCH=141656
IDSOLVER=2764
FILE ID=node102/4300534-1532801318
RUNJOBID= node102-1532776103-29944
PBS_JOBID= 21022470
Free space on /tmp= 52744 MiB

SOLVER NAME= NACRE 1.0.4
BENCH NAME= XCSP18/Eternity/Eternity-13-13_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4300534-1532801318/watcher-4300534-1532801318 -o /tmp/evaluation-result-4300534-1532801318/solver-4300534-1532801318 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532776103-29944 --watchdog 2580  nacre_mini_release HOME/instance-4300534-1532801318.xml -ca -l100 -cm

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

MD5SUM BENCH= e6142002f41530755715c5642d221a51
RANDOM SEED=1098126832

node102.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.51
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.51
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.51
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.51
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:        26039500 kB
MemAvailable:   31185668 kB
Buffers:          216188 kB
Cached:          5185120 kB
SwapCached:        53428 kB
Active:          1956368 kB
Inactive:        4273316 kB
Active(anon):     753968 kB
Inactive(anon):    99084 kB
Active(file):    1202400 kB
Inactive(file):  4174232 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67028340 kB
Dirty:              2276 kB
Writeback:             0 kB
AnonPages:        800784 kB
Mapped:            37540 kB
Shmem:             22116 kB
Slab:             198852 kB
SReclaimable:     170744 kB
SUnreclaim:        28108 kB
KernelStack:        3568 kB
PageTables:         6240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1099784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    743424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52744 MiB
End job on node102 at 2018-07-28 20:50:39