Trace number 4297976

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

General information on the benchmark

NameColouredQueens/
ColouredQueens-16_c18.xml
MD5SUMca60191094dbbdd7cca22b5ebea1cb75
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 variables256
Number of constraints90
Number of domains1
Minimum domain size16
Maximum domain size16
Distribution of domain sizes[{"size":16,"count":256}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":252}]
Minimum constraint arity2
Maximum constraint arity16
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":4},{"arity":14,"count":4},{"arity":15,"count":4},{"arity":16,"count":34}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":90}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c NACRE 1.0.4
2519.57/2520.01	c
2519.57/2520.01	c # time = 2519.57
2519.57/2520.01	c # Dec = 6375929
2519.57/2520.01	c # Propagate Calls = 11791600878
2519.57/2520.01	c # assignAt Calls = 19019687
2519.57/2520.01	c # removeAt Calls = 600137794
2519.57/2520.01	c # Run = 8190
2519.57/2520.01	c # Conflicts = 4799413
2519.57/2520.01	c # Memory used = 687.28 Mb
2519.57/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 (10706 MiB free)
  memory of node 1: 16384 MiB (12653 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297976-1532774055/watcher-4297976-1532774055 -o /tmp/evaluation-result-4297976-1532774055/solver-4297976-1532774055 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4297976-1532774055.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=27453, runsolver pid=27450

[startup+0.100136 s]*
/proc/loadavg: 0.58 0.68 0.73 3/188 27460
/proc/meminfo: memFree=23915228/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=28720 memory=5312 CPUtime=0.1 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 1539 0 1 0 10 0 0 0 20 0 1 0 94968658 29409280 1328 33554432000 4194304 4933779 140731102144784 140731102141784 140677157379045 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 7180 1328 599 181 0 797 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28720 KiB
Current children cumulated memory: 5312 KiB

[startup+0.209566 s]*
/proc/loadavg: 0.58 0.68 0.73 3/188 27460
/proc/meminfo: memFree=23913368/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=29640 memory=6320 CPUtime=0.2 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 1747 0 1 0 20 0 0 0 20 0 1 0 94968658 30351360 1580 33554432000 4194304 4933779 140731102144784 140731102141784 140677157379045 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 7410 1580 600 181 0 1027 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29640 KiB
Current children cumulated memory: 6320 KiB

[startup+0.309148 s]*
/proc/loadavg: 0.58 0.68 0.73 3/188 27460
/proc/meminfo: memFree=23911132/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=30436 memory=7108 CPUtime=0.3 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 1940 0 1 0 30 0 0 0 20 0 1 0 94968658 31166464 1777 33554432000 4194304 4933779 140731102144784 140731102141784 140677158126332 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 7609 1777 600 181 0 1226 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30436 KiB
Current children cumulated memory: 7108 KiB

[startup+0.700287 s]
/proc/loadavg: 0.58 0.68 0.73 3/188 27460
/proc/meminfo: memFree=23907420/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=33676 memory=10140 CPUtime=0.68 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 2734 0 1 0 68 0 0 0 20 0 1 0 94968658 34484224 2535 33554432000 4194304 4933779 140731102144784 140731102141784 4388612 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 8419 2535 600 181 0 2036 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33676 KiB
Current children cumulated memory: 10140 KiB

[startup+1.50031 s]
/proc/loadavg: 0.58 0.68 0.73 3/188 27460
/proc/meminfo: memFree=23900352/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=40312 memory=16628 CPUtime=1.49 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 4416 0 1 0 148 1 0 0 20 0 1 0 94968658 41279488 4157 33554432000 4194304 4933779 140731102144784 140731102142552 140677157379045 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 10078 4157 600 181 0 3695 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40312 KiB
Current children cumulated memory: 16628 KiB

[startup+3.10958 s]
/proc/loadavg: 0.58 0.68 0.73 3/188 27460
/proc/meminfo: memFree=23882868/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=48136 memory=24676 CPUtime=3.1 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 10687 0 1 0 308 2 0 0 20 0 1 0 94968658 49291264 6169 33554432000 4194304 4933779 140731102144784 140731102142552 140677157379045 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 12034 6169 600 181 0 5651 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 48136 KiB
Current children cumulated memory: 24676 KiB

[startup+6.30031 s]
/proc/loadavg: 0.69 0.70 0.74 3/188 27460
/proc/meminfo: memFree=23867116/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=59748 memory=35812 CPUtime=6.29 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 19889 0 1 0 627 2 0 0 20 0 1 0 94968658 61181952 8953 33554432000 4194304 4933779 140731102144784 140731102142472 4388352 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 14937 8953 600 181 0 8554 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 59748 KiB
Current children cumulated memory: 35812 KiB

[startup+12.7003 s]
/proc/loadavg: 0.80 0.72 0.75 3/188 27460
/proc/meminfo: memFree=23844040/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=76936 memory=53256 CPUtime=12.68 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 29248 0 1 0 1265 3 0 0 20 0 1 0 94968658 78782464 13314 33554432000 4194304 4933779 140731102144784 140731102142472 4364001 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 19234 13314 600 181 0 12851 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 76936 KiB
Current children cumulated memory: 53256 KiB

[startup+25.5004 s]
/proc/loadavg: 1.06 0.79 0.77 3/188 27460
/proc/meminfo: memFree=23810568/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=100508 memory=77004 CPUtime=25.47 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 52838 0 1 0 2541 6 0 0 20 0 1 0 94968658 102920192 19251 33554432000 4194304 4933779 140731102144784 140731102142472 4472608 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 25127 19251 600 181 0 18744 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 100508 KiB
Current children cumulated memory: 77004 KiB

[startup+51.1096 s]
/proc/loadavg: 1.38 0.88 0.80 3/187 27460
/proc/meminfo: memFree=23760724/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=138380 memory=114032 CPUtime=51.05 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 69628 0 1 0 5097 8 0 0 20 0 1 0 94968658 141701120 28508 33554432000 4194304 4933779 140731102144784 140731102142488 4362472 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 34595 28508 600 181 0 28212 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 138380 KiB
Current children cumulated memory: 114032 KiB

[startup+102.3 s]
/proc/loadavg: 1.73 1.06 0.86 3/187 27461
/proc/meminfo: memFree=23695344/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=187400 memory=163316 CPUtime=102.21 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 85913 0 1 0 10209 12 0 0 20 0 1 0 94968658 191897600 40829 33554432000 4194304 4933779 140731102144784 140731102142472 4388454 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 46850 40829 600 181 0 40467 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 187400 KiB
Current children cumulated memory: 163316 KiB

[startup+162.3 s]
/proc/loadavg: 1.90 1.23 0.93 3/187 27462
/proc/meminfo: memFree=23638152/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=229304 memory=205464 CPUtime=162.2 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 103203 0 1 0 16204 16 0 0 20 0 1 0 94968658 234807296 51366 33554432000 4194304 4933779 140731102144784 140731102142488 140677163570418 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 57326 51366 600 181 0 50943 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 229304 KiB
Current children cumulated memory: 205464 KiB

[startup+222.3 s]
/proc/loadavg: 1.96 1.37 1.00 3/187 27463
/proc/meminfo: memFree=23596988/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=257700 memory=233896 CPUtime=222.2 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 125837 0 1 0 22201 19 0 0 20 0 1 0 94968658 263884800 58474 33554432000 4194304 4933779 140731102144784 140731102142488 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 64425 58474 600 181 0 58042 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 257700 KiB
Current children cumulated memory: 233896 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.48 1.06 3/187 27464
/proc/meminfo: memFree=23557064/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=287588 memory=264088 CPUtime=282.2 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 155696 0 1 0 28196 24 0 0 20 0 1 0 94968658 294490112 66022 33554432000 4194304 4933779 140731102144784 140731102142536 4437389 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 71897 66022 600 181 0 65514 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 287588 KiB
Current children cumulated memory: 264088 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.58 1.12 3/187 27465
/proc/meminfo: memFree=23527816/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=308516 memory=284888 CPUtime=342.15 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 181742 0 1 0 34187 28 0 0 20 0 1 0 94968658 315920384 71222 33554432000 4194304 4933779 140731102144784 140731102142472 4388388 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 77129 71222 600 181 0 70746 0
Current children cumulated CPU time: 342.15 s
Current children cumulated vsize: 308516 KiB
Current children cumulated memory: 284888 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.65 1.18 3/188 27474
/proc/meminfo: memFree=23493112/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=335776 memory=310380 CPUtime=402.12 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 193201 0 1 0 40181 31 0 0 20 0 1 0 94968658 343834624 77595 33554432000 4194304 4933779 140731102144784 140731102142488 4475748 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 83944 77595 600 181 0 77561 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 335776 KiB
Current children cumulated memory: 310380 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.72 1.23 3/188 27475
/proc/meminfo: memFree=23465960/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=355128 memory=329872 CPUtime=462.12 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 205210 0 1 0 46177 35 0 0 20 0 1 0 94968658 363651072 82468 33554432000 4194304 4933779 140731102144784 140731102142472 4388626 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 88782 82468 600 181 0 82399 0
Current children cumulated CPU time: 462.12 s
Current children cumulated vsize: 355128 KiB
Current children cumulated memory: 329872 KiB


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

/proc/27453/statm: 150414 144303 600 181 0 144031 0
Current children cumulated CPU time: 1721.93 s
Current children cumulated vsize: 601656 KiB
Current children cumulated memory: 577212 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/188 27537
/proc/meminfo: memFree=23122420/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=611096 memory=586944 CPUtime=1781.93 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 495641 0 1 0 178106 87 0 0 20 0 1 0 94968658 625762304 146736 33554432000 4194304 4933779 140731102144784 140731102142296 4364856 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 152774 146736 600 181 0 146391 0
Current children cumulated CPU time: 1781.93 s
Current children cumulated vsize: 611096 KiB
Current children cumulated memory: 586944 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/188 27538
/proc/meminfo: memFree=23112824/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=617784 memory=593616 CPUtime=1841.92 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 501012 0 1 0 184104 88 0 0 20 0 1 0 94968658 632610816 148404 33554432000 4194304 4933779 140731102144784 140731102142488 4388377 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 154446 148404 600 181 0 148063 0
Current children cumulated CPU time: 1841.92 s
Current children cumulated vsize: 617784 KiB
Current children cumulated memory: 593616 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/188 27539
/proc/meminfo: memFree=23102012/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=625232 memory=601088 CPUtime=1901.92 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 508307 0 1 0 190102 90 0 0 20 0 1 0 94968658 640237568 150272 33554432000 4194304 4933779 140731102144784 140731102142536 4437449 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 156308 150272 600 181 0 149925 0
Current children cumulated CPU time: 1901.92 s
Current children cumulated vsize: 625232 KiB
Current children cumulated memory: 601088 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 27540
/proc/meminfo: memFree=23084804/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=639460 memory=615332 CPUtime=1961.91 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 518817 0 1 0 196099 92 0 0 20 0 1 0 94968658 654807040 153833 33554432000 4194304 4933779 140731102144784 140731102142472 4437824 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 159865 153833 600 181 0 153482 0
Current children cumulated CPU time: 1961.91 s
Current children cumulated vsize: 639460 KiB
Current children cumulated memory: 615332 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 27541
/proc/meminfo: memFree=23078972/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=642864 memory=618796 CPUtime=2021.92 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 527393 0 1 0 202098 94 0 0 20 0 1 0 94968658 658292736 154699 33554432000 4194304 4933779 140731102144784 140731102142296 4437432 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 160716 154699 600 181 0 154333 0
Current children cumulated CPU time: 2021.92 s
Current children cumulated vsize: 642864 KiB
Current children cumulated memory: 618796 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 27542
/proc/meminfo: memFree=23065096/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=655196 memory=631072 CPUtime=2081.92 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 542432 0 1 0 208095 97 0 0 20 0 1 0 94968658 670920704 157768 33554432000 4194304 4933779 140731102144784 140731102142472 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 163799 157768 600 181 0 157416 0
Current children cumulated CPU time: 2081.92 s
Current children cumulated vsize: 655196 KiB
Current children cumulated memory: 631072 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/187 27543
/proc/meminfo: memFree=23057536/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=660232 memory=636048 CPUtime=2141.9 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 556032 0 1 0 214092 98 0 0 20 0 1 0 94968658 676077568 159012 33554432000 4194304 4933779 140731102144784 140731102142488 140677163569864 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 165058 159012 600 181 0 158675 0
Current children cumulated CPU time: 2141.9 s
Current children cumulated vsize: 660232 KiB
Current children cumulated memory: 636048 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/188 27554
/proc/meminfo: memFree=23048996/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=666524 memory=642280 CPUtime=2201.91 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 570791 0 1 0 220090 101 0 0 20 0 1 0 94968658 682520576 160570 33554432000 4194304 4933779 140731102144784 140731102142536 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 166631 160570 600 181 0 160248 0
Current children cumulated CPU time: 2201.91 s
Current children cumulated vsize: 666524 KiB
Current children cumulated memory: 642280 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/188 27555
/proc/meminfo: memFree=23039024/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=674480 memory=650200 CPUtime=2261.9 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 587811 0 1 0 226086 104 0 0 20 0 1 0 94968658 690667520 162550 33554432000 4194304 4933779 140731102144784 140731102142536 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 168620 162550 600 181 0 162237 0
Current children cumulated CPU time: 2261.9 s
Current children cumulated vsize: 674480 KiB
Current children cumulated memory: 650200 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/188 27556
/proc/meminfo: memFree=23028396/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=681904 memory=658012 CPUtime=2321.86 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 599301 0 1 0 232080 106 0 0 20 0 1 0 94968658 698269696 164503 33554432000 4194304 4933779 140731102144784 140731102142536 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 170476 164503 600 181 0 164093 0
Current children cumulated CPU time: 2321.86 s
Current children cumulated vsize: 681904 KiB
Current children cumulated memory: 658012 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/188 27557
/proc/meminfo: memFree=23016048/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=692284 memory=668488 CPUtime=2381.86 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 604246 0 1 0 238079 107 0 0 20 0 1 0 94968658 708898816 167122 33554432000 4194304 4933779 140731102144784 140731102142536 4437538 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 173071 167122 600 181 0 166688 0
Current children cumulated CPU time: 2381.86 s
Current children cumulated vsize: 692284 KiB
Current children cumulated memory: 668488 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/188 27558
/proc/meminfo: memFree=23004380/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=702440 memory=678568 CPUtime=2441.86 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 611240 0 1 0 244077 109 0 0 20 0 1 0 94968658 719298560 169642 33554432000 4194304 4933779 140731102144784 140731102142488 4437792 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 175610 169642 600 181 0 169227 0
Current children cumulated CPU time: 2441.86 s
Current children cumulated vsize: 702440 KiB
Current children cumulated memory: 678568 KiB

[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 1.92 3/187 27559
/proc/meminfo: memFree=22995080/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=709156 memory=685224 CPUtime=2501.85 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 619407 0 1 0 250075 110 0 0 20 0 1 0 94968658 726175744 171306 33554432000 4194304 4933779 140731102144784 140731102142488 4437567 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 177289 171306 600 181 0 170906 0
Current children cumulated CPU time: 2501.85 s
Current children cumulated vsize: 709156 KiB
Current children cumulated memory: 685224 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.04 2.03 1.92 3/187 27559
/proc/meminfo: memFree=22992848/32770624 swapFree=67108860/67108860
[pid=27453] ppid=27450 vsize=711208 memory=687116 CPUtime=2519.57 cores=1,3,5,7
/proc/27453/stat : 27453 (nacre_mini_rele) R 27450 27453 27398 0 -1 4202496 620214 0 1 0 251846 111 0 0 20 0 1 0 94968658 728276992 171779 33554432000 4194304 4933779 140731102144784 140731102142488 4437572 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 14364672 140731102147736 140731102147836 140731102147836 140731102150594 0
/proc/27453/statm: 177802 171779 600 181 0 171419 0
Current children cumulated CPU time: 2519.57 s
Current children cumulated vsize: 711208 KiB
Current children cumulated memory: 687116 KiB

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

[startup+2520.02 s]
# the end of solver process 27453 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.46 s, system=1.11895 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.58
CPU user time (s): 2518.46
CPU system time (s): 1.11895
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 711208
Max. memory (cumulated for all children) (KiB): 687116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.46
system time used= 1.11895
maximum resident set size= 687324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620257
page faults= 1
swaps= 0
block input operations= 720
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 329
involuntary context switches= 2556


# summary of solver processes directly reported to runsolver:
#   pid: 27453
#   total CPU time (s): 2519.58
#   total CPU user time (s): 2518.46
#   total CPU system time (s): 1.11895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.37086 second user time and 19.6235 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-28 12:34:15
IDJOB=4297976
IDBENCH=141020
IDSOLVER=2764
FILE ID=node139/4297976-1532774055
RUNJOBID= node139-1532774055-27430
PBS_JOBID= 21022456
Free space on /tmp= 38720 MiB

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

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

MD5SUM BENCH= ca60191094dbbdd7cca22b5ebea1cb75
RANDOM SEED=429187286

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:        23921140 kB
MemAvailable:   31933516 kB
Buffers:          235524 kB
Cached:          7905556 kB
SwapCached:            0 kB
Active:          3068356 kB
Inactive:        5124540 kB
Active(anon):       6276 kB
Inactive(anon):    73576 kB
Active(file):    3062080 kB
Inactive(file):  5050964 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:               784 kB
Writeback:             0 kB
AnonPages:         58804 kB
Mapped:            42944 kB
Shmem:             25228 kB
Slab:             355184 kB
SReclaimable:     327792 kB
SUnreclaim:        27392 kB
KernelStack:        3104 kB
PageTables:         5172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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 13:16:15