Trace number 4300582

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

General information on the benchmark

NameEternity/
Eternity-12-12_c18.xml
MD5SUM72288e631366ae5e472c0848b2762e00
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 variables456
Number of constraints193
Number of domains2
Minimum domain size17
Maximum domain size144
Distribution of domain sizes[{"size":17,"count":312},{"size":144,"count":144}]
Minimum variable degree1
Maximum variable degree13
Distribution of variable degrees[{"degree":1,"count":11},{"degree":2,"count":444},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity144
Distribution of constraint arities[{"arity":1,"count":48},{"arity":5,"count":144},{"arity":144,"count":1}]
Number of extensional constraints144
Number of intensional constraints48
Distribution of constraint types[{"type":"extension","count":144},{"type":"intension","count":48},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.12	c NACRE 1.0.4
2519.33/2520.01	c
2519.33/2520.01	c # time = 2519.33
2519.33/2520.01	c # Dec = 1276774
2519.33/2520.01	c # Propagate Calls = 8836918456
2519.33/2520.01	c # assignAt Calls = 2535584
2519.33/2520.01	c # removeAt Calls = 746698080
2519.33/2520.01	c # Run = 2047
2519.33/2520.01	c # Conflicts = 1123917
2519.33/2520.01	c # Memory used = 1618.48 Mb
2519.33/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 (10673 MiB free)
  memory of node 1: 16384 MiB (12050 MiB free)
  node distances:
     10  21
     21  10

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=30805, runsolver pid=30802

[startup+0.100198 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 30806
/proc/meminfo: memFree=23260384/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=36300 memory=12540 CPUtime=0.1 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 3601 0 0 0 10 0 0 0 20 0 1 0 97839338 37171200 3135 33554432000 4194304 4933779 140721763006016 140721763003016 4783862 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 9075 3135 569 181 0 2692 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36300 KiB
Current children cumulated memory: 12540 KiB

[startup+0.209771 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 30806
/proc/meminfo: memFree=23256912/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=39076 memory=15444 CPUtime=0.2 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 4335 0 0 0 20 0 0 0 20 0 1 0 97839338 40013824 3861 33554432000 4194304 4933779 140721763006016 140721763003016 140214964617563 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 9769 3861 613 181 0 3386 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39076 KiB
Current children cumulated memory: 15444 KiB

[startup+0.309753 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 30806
/proc/meminfo: memFree=23256664/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=39484 memory=15708 CPUtime=0.3 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 4421 0 0 0 30 0 0 0 20 0 1 0 97839338 40431616 3927 33554432000 4194304 4933779 140721763006016 140721763003016 4377595 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 9871 3927 613 181 0 3488 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 15708 KiB

[startup+0.700405 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30806
/proc/meminfo: memFree=23255680/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=42000 memory=18348 CPUtime=0.69 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 5063 0 0 0 68 1 0 0 20 0 1 0 97839338 43008000 4587 33554432000 4194304 4933779 140721763006016 140721763003016 140214963751007 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 10500 4587 613 181 0 4117 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42000 KiB
Current children cumulated memory: 18348 KiB

[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30806
/proc/meminfo: memFree=23251960/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=47588 memory=23892 CPUtime=1.49 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 6450 0 0 0 148 1 0 0 20 0 1 0 97839338 48730112 5973 33554432000 4194304 4933779 140721763006016 140721763003784 140214963744534 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 11897 5973 613 181 0 5514 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47588 KiB
Current children cumulated memory: 23892 KiB

[startup+3.10977 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30806
/proc/meminfo: memFree=23238068/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=58892 memory=35112 CPUtime=3.1 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 13586 0 0 0 308 2 0 0 20 0 1 0 97839338 60305408 8778 33554432000 4194304 4933779 140721763006016 140721763003784 140214969925984 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 14723 8778 613 181 0 8340 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 58892 KiB
Current children cumulated memory: 35112 KiB

[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30806
/proc/meminfo: memFree=23214472/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=83680 memory=59804 CPUtime=6.29 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 26070 0 0 0 625 4 0 0 20 0 1 0 97839338 85688320 14951 33554432000 4194304 4933779 140721763006016 140721763003784 4388395 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 20920 14951 613 181 0 14537 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 83680 KiB
Current children cumulated memory: 59804 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30806
/proc/meminfo: memFree=23168220/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=131740 memory=107736 CPUtime=12.68 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 47593 0 0 0 1261 7 0 0 20 0 1 0 97839338 134901760 26934 33554432000 4194304 4933779 140721763006016 140721763003784 4377580 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 32935 26934 613 181 0 26552 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 131740 KiB
Current children cumulated memory: 107736 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30806
/proc/meminfo: memFree=23107600/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=190244 memory=166520 CPUtime=25.49 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 97833 0 0 0 2536 13 0 0 20 0 1 0 97839338 194809856 41630 33554432000 4194304 4933779 140721763006016 140721763003720 4437564 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 47561 41630 613 181 0 41178 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 190244 KiB
Current children cumulated memory: 166520 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30806
/proc/meminfo: memFree=23029604/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=263056 memory=238948 CPUtime=51.09 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 158951 0 0 0 5090 19 0 0 20 0 1 0 97839338 269369344 59737 33554432000 4194304 4933779 140721763006016 140721763003720 140214964607363 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 65764 59737 613 181 0 59381 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 263056 KiB
Current children cumulated memory: 238948 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30807
/proc/meminfo: memFree=22912320/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=376832 memory=352968 CPUtime=102.28 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 244889 0 0 0 10198 30 0 0 20 0 1 0 97839338 385875968 88242 33554432000 4194304 4933779 140721763006016 140721763003784 4475748 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 94208 88242 613 181 0 87825 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 376832 KiB
Current children cumulated memory: 352968 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30808
/proc/meminfo: memFree=22775688/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=488676 memory=464968 CPUtime=162.28 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 340547 0 0 0 16187 41 0 0 20 0 1 0 97839338 500404224 116242 33554432000 4194304 4933779 140721763006016 140721763003768 4377395 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 122169 116242 613 181 0 115786 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 488676 KiB
Current children cumulated memory: 464968 KiB

[startup+222.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 30809
/proc/meminfo: memFree=22715516/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=539980 memory=516308 CPUtime=222.27 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 423282 0 0 0 22179 48 0 0 20 0 1 0 97839338 552939520 129077 33554432000 4194304 4933779 140721763006016 140721763003768 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 134995 129077 613 181 0 128612 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 539980 KiB
Current children cumulated memory: 516308 KiB

[startup+282.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/187 30810
/proc/meminfo: memFree=22635988/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=603660 memory=578888 CPUtime=282.27 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 517629 0 0 0 28168 59 0 0 20 0 1 0 97839338 618147840 144722 33554432000 4194304 4933779 140721763006016 140721763003768 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 150915 144722 613 181 0 144532 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 603660 KiB
Current children cumulated memory: 578888 KiB

[startup+342.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/186 30811
/proc/meminfo: memFree=22569124/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=653392 memory=628772 CPUtime=342.27 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 561457 0 0 0 34163 64 0 0 20 0 1 0 97839338 669073408 157193 33554432000 4194304 4933779 140721763006016 140721763003720 4472608 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 163348 157193 613 181 0 156965 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 653392 KiB
Current children cumulated memory: 628772 KiB

[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 30813
/proc/meminfo: memFree=22502712/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=705784 memory=681148 CPUtime=402.26 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 662758 0 0 0 40152 74 0 0 20 0 1 0 97839338 722722816 170287 33554432000 4194304 4933779 140721763006016 140721763003720 4388544 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 176446 170287 613 181 0 170063 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 705784 KiB
Current children cumulated memory: 681148 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/187 30821
/proc/meminfo: memFree=22443168/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=743784 memory=719336 CPUtime=462.24 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 767228 0 0 0 46141 83 0 0 20 0 1 0 97839338 761634816 179834 33554432000 4194304 4933779 140721763006016 140721763003720 4437558 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 185946 179834 613 181 0 179563 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 743784 KiB
Current children cumulated memory: 719336 KiB


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

/proc/30805/statm: 350847 344932 613 181 0 344464 0
Current children cumulated CPU time: 1721.8 s
Current children cumulated vsize: 1403388 KiB
Current children cumulated memory: 1379728 KiB

[startup+1782.3 s]
/proc/loadavg: 1.08 1.60 1.89 2/183 30930
/proc/meminfo: memFree=22478696/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1420948 memory=1397392 CPUtime=1781.8 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 1576242 0 0 0 177997 183 0 0 20 0 1 0 97839338 1455050752 349348 33554432000 4194304 4933779 140721763006016 140721763003768 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 355237 349348 613 181 0 348854 0
Current children cumulated CPU time: 1781.8 s
Current children cumulated vsize: 1420948 KiB
Current children cumulated memory: 1397392 KiB

[startup+1842.3 s]
/proc/loadavg: 1.03 1.49 1.83 2/183 30931
/proc/meminfo: memFree=22456300/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1443716 memory=1420168 CPUtime=1841.8 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 1614545 0 0 0 183993 187 0 0 20 0 1 0 97839338 1478365184 355042 33554432000 4194304 4933779 140721763006016 140721763003768 4475930 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 360929 355042 613 181 0 354546 0
Current children cumulated CPU time: 1841.8 s
Current children cumulated vsize: 1443716 KiB
Current children cumulated memory: 1420168 KiB

[startup+1902.3 s]
/proc/loadavg: 1.01 1.40 1.78 2/183 30932
/proc/meminfo: memFree=22427300/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1473112 memory=1449448 CPUtime=1901.79 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 1663569 0 0 0 189986 193 0 0 20 0 1 0 97839338 1508466688 362362 33554432000 4194304 4933779 140721763006016 140721763003704 140214964617563 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 368278 362362 613 181 0 361895 0
Current children cumulated CPU time: 1901.79 s
Current children cumulated vsize: 1473112 KiB
Current children cumulated memory: 1449448 KiB

[startup+1962.3 s]
/proc/loadavg: 1.00 1.33 1.73 2/181 30933
/proc/meminfo: memFree=22404908/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1496224 memory=1472664 CPUtime=1961.79 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 1705833 0 0 0 195981 198 0 0 20 0 1 0 97839338 1532133376 368166 33554432000 4194304 4933779 140721763006016 140721763003768 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 374056 368166 613 181 0 367673 0
Current children cumulated CPU time: 1961.79 s
Current children cumulated vsize: 1496224 KiB
Current children cumulated memory: 1472664 KiB

[startup+2022.3 s]
/proc/loadavg: 1.00 1.27 1.68 2/180 30934
/proc/meminfo: memFree=22375872/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1525396 memory=1501772 CPUtime=2021.78 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 1756310 0 0 0 201975 203 0 0 20 0 1 0 97839338 1562005504 375443 33554432000 4194304 4933779 140721763006016 140721763003768 4437564 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 381349 375443 613 181 0 374966 0
Current children cumulated CPU time: 2021.78 s
Current children cumulated vsize: 1525396 KiB
Current children cumulated memory: 1501772 KiB

[startup+2082.3 s]
/proc/loadavg: 1.00 1.22 1.64 2/180 30935
/proc/meminfo: memFree=22344700/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1556548 memory=1532948 CPUtime=2081.77 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 1807151 0 0 0 207966 211 0 0 20 0 1 0 97839338 1593905152 383237 33554432000 4194304 4933779 140721763006016 140721763003720 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 389137 383237 613 181 0 382754 0
Current children cumulated CPU time: 2081.77 s
Current children cumulated vsize: 1556548 KiB
Current children cumulated memory: 1532948 KiB

[startup+2142.3 s]
/proc/loadavg: 1.00 1.18 1.60 2/180 30936
/proc/meminfo: memFree=22320908/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1580520 memory=1556960 CPUtime=2141.78 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 1859564 0 0 0 213961 217 0 0 20 0 1 0 97839338 1618452480 389240 33554432000 4194304 4933779 140721763006016 140721763003720 4437564 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 395130 389240 613 181 0 388747 0
Current children cumulated CPU time: 2141.78 s
Current children cumulated vsize: 1580520 KiB
Current children cumulated memory: 1556960 KiB

[startup+2202.3 s]
/proc/loadavg: 1.00 1.15 1.56 2/180 30937
/proc/meminfo: memFree=22291420/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1609968 memory=1586368 CPUtime=2201.77 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 1910631 0 0 0 219955 222 0 0 20 0 1 0 97839338 1648607232 396592 33554432000 4194304 4933779 140721763006016 140721763003720 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 402492 396592 613 181 0 396109 0
Current children cumulated CPU time: 2201.77 s
Current children cumulated vsize: 1609968 KiB
Current children cumulated memory: 1586368 KiB

[startup+2262.3 s]
/proc/loadavg: 1.00 1.12 1.53 2/180 30945
/proc/meminfo: memFree=22284740/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1616132 memory=1592552 CPUtime=2261.76 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 1943047 0 0 0 225950 226 0 0 20 0 1 0 97839338 1654919168 398138 33554432000 4194304 4933779 140721763006016 140721763003720 4388377 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 404033 398138 613 181 0 397650 0
Current children cumulated CPU time: 2261.76 s
Current children cumulated vsize: 1616132 KiB
Current children cumulated memory: 1592552 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.10 1.49 2/180 30946
/proc/meminfo: memFree=22279404/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1620592 memory=1596964 CPUtime=2321.74 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 1984806 0 0 0 231944 230 0 0 20 0 1 0 97839338 1659486208 399241 33554432000 4194304 4933779 140721763006016 140721763003720 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 405148 399241 613 181 0 398765 0
Current children cumulated CPU time: 2321.74 s
Current children cumulated vsize: 1620592 KiB
Current children cumulated memory: 1596964 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.08 1.47 2/180 30947
/proc/meminfo: memFree=22270928/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1627628 memory=1604088 CPUtime=2381.7 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 2019798 0 0 0 237936 234 0 0 20 0 1 0 97839338 1666691072 401022 33554432000 4194304 4933779 140721763006016 140721763003720 4423394 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 406907 401022 613 181 0 400524 0
Current children cumulated CPU time: 2381.7 s
Current children cumulated vsize: 1627628 KiB
Current children cumulated memory: 1604088 KiB

[startup+2442.3 s]
/proc/loadavg: 1.00 1.07 1.44 2/180 30948
/proc/meminfo: memFree=22262640/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1636956 memory=1610908 CPUtime=2441.67 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 2049782 0 0 0 243929 238 0 0 20 0 1 0 97839338 1676242944 402727 33554432000 4194304 4933779 140721763006016 140721763003720 4437570 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 409239 402727 613 181 0 402856 0
Current children cumulated CPU time: 2441.67 s
Current children cumulated vsize: 1636956 KiB
Current children cumulated memory: 1610908 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.06 1.41 2/180 30949
/proc/meminfo: memFree=22258448/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1642300 memory=1616220 CPUtime=2501.64 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 2072761 0 0 0 249924 240 0 0 20 0 1 0 97839338 1681715200 404055 33554432000 4194304 4933779 140721763006016 140721763003768 4475942 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 410575 404055 613 181 0 404192 0
Current children cumulated CPU time: 2501.64 s
Current children cumulated vsize: 1642300 KiB
Current children cumulated memory: 1616220 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 1.05 1.40 2/180 30949
/proc/meminfo: memFree=22256184/32770624 swapFree=67108860/67108860
[pid=30805] ppid=30802 vsize=1644588 memory=1618480 CPUtime=2519.33 cores=0,2,4,6
/proc/30805/stat : 30805 (nacre_mini_rele) R 30802 30805 27398 0 -1 4202496 2081788 0 0 0 251692 241 0 0 20 0 1 0 97839338 1684058112 404620 33554432000 4194304 4933779 140721763006016 140721763003720 4437564 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 14888960 140721763013784 140721763013884 140721763013884 140721763016642 0
/proc/30805/statm: 411147 404620 613 181 0 404764 0
Current children cumulated CPU time: 2519.33 s
Current children cumulated vsize: 1644588 KiB
Current children cumulated memory: 1618480 KiB

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

[startup+2520.03 s]
# the end of solver process 30805 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.93 s, system=2.43085 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.36
CPU user time (s): 2516.93
CPU system time (s): 2.43085
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1644588
Max. memory (cumulated for all children) (KiB): 1618480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.93
system time used= 2.43085
maximum resident set size= 1618536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2081837
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= 670
involuntary context switches= 2752


# summary of solver processes directly reported to runsolver:
#   pid: 30805
#   total CPU time (s): 2519.36
#   total CPU user time (s): 2516.93
#   total CPU system time (s): 2.43085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15908 second user time and 22.4255 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 20:32:42
IDJOB=4300582
IDBENCH=141662
IDSOLVER=2764
FILE ID=node139/4300582-1532802762
RUNJOBID= node139-1532774055-27429
PBS_JOBID= 21022456
Free space on /tmp= 38716 MiB

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

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

MD5SUM BENCH= 72288e631366ae5e472c0848b2762e00
RANDOM SEED=1069154460

node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23269352 kB
MemAvailable:   31326528 kB
Buffers:          239108 kB
Cached:          7917292 kB
SwapCached:            0 kB
Active:          3681532 kB
Inactive:        5130624 kB
Active(anon):     610224 kB
Inactive(anon):    73544 kB
Active(file):    3071308 kB
Inactive(file):  5057080 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2048 kB
Writeback:             0 kB
AnonPages:        664928 kB
Mapped:            44648 kB
Shmem:             25228 kB
Slab:             386096 kB
SReclaimable:     357248 kB
SUnreclaim:        28848 kB
KernelStack:        3376 kB
PageTables:         6332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     956188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    450560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 38716 MiB
End job on node139 at 2018-07-28 21:14:42