Trace number 4391554

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.5-Hybrid? (TO) 2400.06 2400.2

General information on the benchmark

NameGracefulGraph/
GracefulGraph-K07-P03_c18.xml
MD5SUMca21bb45cdf77f5b8e0b27a9f8e7d69e
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 variables182
Number of constraints79
Number of domains2
Minimum domain size77
Maximum domain size78
Distribution of domain sizes[{"size":77,"count":77},{"size":78,"count":21}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":84},{"degree":2,"count":77},{"degree":8,"count":14},{"degree":9,"count":7}]
Minimum constraint arity3
Maximum constraint arity77
Distribution of constraint arities[{"arity":3,"count":77},{"arity":21,"count":1},{"arity":77,"count":1}]
Number of extensional constraints0
Number of intensional constraints77
Distribution of constraint types[{"type":"intension","count":77},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c NACRE 1.0.5
2400.05/2400.20	c
2400.05/2400.20	c # time = 2400.05
2400.05/2400.20	c # Dec = 441128
2400.05/2400.20	c # Propagate Calls = 1000241737
2400.05/2400.20	c # assignAt Calls = 514398
2400.05/2400.20	c # removeAt Calls = 235683895
2400.05/2400.20	c # Run = 1021
2400.05/2400.20	c # Conflicts = 431686
2400.05/2400.20	c # Memory used = 414.42 Mb
2400.05/2400.20	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 (13818 MiB free)
  memory of node 1: 16384 MiB (14152 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391554-1568321552/watcher-4391554-1568321552 -o /tmp/evaluation-result-4391554-1568321552/solver-4391554-1568321552 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23461 --watchdog 2560 nacre_mini_release HOME/instance-4391554-1568321552.xml -ca -l100 -cm 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=28443, runsolver pid=28440
Current StackSize limit: 8192 KiB


[startup+0.100207 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 28444
/proc/meminfo: memFree=28637952/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=31928 memory=8312 CPUtime=0.1 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 2400 0 0 0 10 0 0 0 20 0 1 0 408423024 32694272 2078 33554432000 4194304 4935366 140729337390432 140729337387432 140517147841054 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 7982 2078 607 181 0 1599 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31928 KiB
Current children cumulated memory: 8312 KiB

[startup+0.209677 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 28444
/proc/meminfo: memFree=28637952/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=31928 memory=8576 CPUtime=0.21 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 2414 0 0 0 21 0 0 0 20 0 1 0 408423024 32694272 2144 33554432000 4194304 4935366 140729337390432 140729337387432 140517147836045 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 7982 2144 613 181 0 1599 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31928 KiB
Current children cumulated memory: 8576 KiB

[startup+0.30919 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 28444
/proc/meminfo: memFree=28637580/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=32192 memory=8840 CPUtime=0.31 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 2491 0 0 0 31 0 0 0 20 0 1 0 408423024 32964608 2210 33554432000 4194304 4935366 140729337390432 140729337387432 140517147843557 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 8048 2210 613 181 0 1665 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 8840 KiB

[startup+0.700345 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28444
/proc/meminfo: memFree=28636464/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=32852 memory=9368 CPUtime=0.69 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 2657 0 0 0 69 0 0 0 20 0 1 0 408423024 33640448 2342 33554432000 4194304 4935366 140729337390432 140729337387672 4383589 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 8213 2342 613 181 0 1830 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32852 KiB
Current children cumulated memory: 9368 KiB

[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28444
/proc/meminfo: memFree=28635532/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=34180 memory=10688 CPUtime=1.49 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 2987 0 0 0 149 0 0 0 20 0 1 0 408423024 35000320 2672 33554432000 4194304 4935366 140729337390432 140729337387976 140517147852781 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 8545 2672 613 181 0 2162 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34180 KiB
Current children cumulated memory: 10688 KiB

[startup+3.10946 s]
/proc/loadavg: 1.84 1.98 2.03 3/200 28444
/proc/meminfo: memFree=28632644/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=35780 memory=12316 CPUtime=3.1 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 5292 0 0 0 310 0 0 0 20 0 1 0 408423024 36638720 3079 33554432000 4194304 4935366 140729337390432 140729337387992 4383983 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 8945 3079 613 181 0 2562 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 35780 KiB
Current children cumulated memory: 12316 KiB

[startup+6.30034 s]
/proc/loadavg: 1.84 1.98 2.03 3/200 28445
/proc/meminfo: memFree=28629308/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=38024 memory=14672 CPUtime=6.28 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 8085 0 0 0 628 0 0 0 20 0 1 0 408423024 38936576 3668 33554432000 4194304 4935366 140729337390432 140729337387976 4384160 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 9506 3668 613 181 0 3123 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 38024 KiB
Current children cumulated memory: 14672 KiB

[startup+12.7003 s]
/proc/loadavg: 1.87 1.98 2.03 3/200 28445
/proc/meminfo: memFree=28622624/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=43756 memory=20256 CPUtime=12.69 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 12470 0 0 0 1268 1 0 0 20 0 1 0 408423024 44806144 5064 33554432000 4194304 4935366 140729337390432 140729337387992 4383051 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 10939 5064 613 181 0 4556 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 43756 KiB
Current children cumulated memory: 20256 KiB

[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.03 3/200 28445
/proc/meminfo: memFree=28611020/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=52732 memory=29252 CPUtime=25.48 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 23798 0 0 0 2547 1 0 0 20 0 1 0 408423024 53997568 7313 33554432000 4194304 4935366 140729337390432 140729337388200 4385218 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 13183 7313 613 181 0 6800 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 52732 KiB
Current children cumulated memory: 29252 KiB

[startup+51.1096 s]
/proc/loadavg: 1.93 1.99 2.03 3/200 28447
/proc/meminfo: memFree=28585752/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=73572 memory=49852 CPUtime=51.08 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 36631 0 0 0 5106 2 0 0 20 0 1 0 408423024 75337728 12463 33554432000 4194304 4935366 140729337390432 140729337388200 4314349 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 18393 12463 613 181 0 12010 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 73572 KiB
Current children cumulated memory: 49852 KiB

[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/200 28451
/proc/meminfo: memFree=28554780/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=98580 memory=75004 CPUtime=102.26 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 44049 0 0 0 10222 4 0 0 20 0 1 0 408423024 100945920 18751 33554432000 4194304 4935366 140729337390432 140729337388200 4383450 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 24645 18751 613 181 0 18262 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 98580 KiB
Current children cumulated memory: 75004 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/200 28455
/proc/meminfo: memFree=28531064/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=118024 memory=94124 CPUtime=162.25 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 54243 0 0 0 16220 5 0 0 20 0 1 0 408423024 120856576 23531 33554432000 4194304 4935366 140729337390432 140729337388120 4382249 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 29506 23531 613 181 0 23123 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 118024 KiB
Current children cumulated memory: 94124 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 28462
/proc/meminfo: memFree=28505692/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=135052 memory=111288 CPUtime=222.24 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 67277 0 0 0 22217 7 0 0 20 0 1 0 408423024 138293248 27822 33554432000 4194304 4935366 140729337390432 140729337388200 140517148699043 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 33763 27822 613 181 0 27380 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 135052 KiB
Current children cumulated memory: 111288 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 28466
/proc/meminfo: memFree=28479820/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=154876 memory=131252 CPUtime=282.23 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 85073 0 0 0 28214 9 0 0 20 0 1 0 408423024 158593024 32813 33554432000 4194304 4935366 140729337390432 140729337388120 140517147853690 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 38719 32813 613 181 0 32336 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 154876 KiB
Current children cumulated memory: 131252 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28471
/proc/meminfo: memFree=28461408/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=168532 memory=144808 CPUtime=342.22 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 89665 0 0 0 34212 10 0 0 20 0 1 0 408423024 172576768 36202 33554432000 4194304 4935366 140729337390432 140729337388184 140517147841136 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 42133 36202 613 181 0 35750 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 168532 KiB
Current children cumulated memory: 144808 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28478
/proc/meminfo: memFree=28438868/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=183992 memory=160372 CPUtime=402.21 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 97692 0 0 0 40210 11 0 0 20 0 1 0 408423024 188407808 40093 33554432000 4194304 4935366 140729337390432 140729337388136 4383593 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 45998 40093 613 181 0 39615 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 183992 KiB
Current children cumulated memory: 160372 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28482
/proc/meminfo: memFree=28426760/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=193432 memory=169900 CPUtime=462.2 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 106676 0 0 0 46208 12 0 0 20 0 1 0 408423024 198074368 42475 33554432000 4194304 4935366 140729337390432 140729337388200 140517147841098 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 48358 42475 613 181 0 41975 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 193432 KiB
Current children cumulated memory: 169900 KiB


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

/proc/28443/statm: 92556 86515 613 181 0 86173 0
Current children cumulated CPU time: 1602.15 s
Current children cumulated vsize: 370224 KiB
Current children cumulated memory: 346060 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 28614
/proc/meminfo: memFree=28180004/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=378944 memory=354680 CPUtime=1662.15 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 266102 0 0 0 166184 31 0 0 20 0 1 0 408423024 388038656 88670 33554432000 4194304 4935366 140729337390432 140729337388136 140517147836140 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 94736 88670 613 181 0 88353 0
Current children cumulated CPU time: 1662.15 s
Current children cumulated vsize: 378944 KiB
Current children cumulated memory: 354680 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 28626
/proc/meminfo: memFree=28173856/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=381696 memory=357564 CPUtime=1722.15 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 268119 0 0 0 172184 31 0 0 20 0 1 0 408423024 390856704 89391 33554432000 4194304 4935366 140729337390432 140729337388120 140517147852813 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 95424 89391 613 181 0 89041 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 381696 KiB
Current children cumulated memory: 357564 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 28630
/proc/meminfo: memFree=28171120/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=381696 memory=357600 CPUtime=1782.15 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 269691 0 0 0 178184 31 0 0 20 0 1 0 408423024 390856704 89400 33554432000 4194304 4935366 140729337390432 140729337388120 4385788 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 95424 89400 613 181 0 89041 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 381696 KiB
Current children cumulated memory: 357600 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 28636
/proc/meminfo: memFree=28167116/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=382104 memory=357892 CPUtime=1842.16 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 271150 0 0 0 184184 32 0 0 20 0 1 0 408423024 391274496 89473 33554432000 4194304 4935366 140729337390432 140729337388136 4389121 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 95526 89473 613 181 0 89143 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 382104 KiB
Current children cumulated memory: 357892 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 28640
/proc/meminfo: memFree=28151208/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=394636 memory=370444 CPUtime=1902.16 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 277047 0 0 0 190183 33 0 0 20 0 1 0 408423024 404107264 92611 33554432000 4194304 4935366 140729337390432 140729337388184 4386335 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 98659 92611 613 181 0 92276 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 394636 KiB
Current children cumulated memory: 370444 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 28644
/proc/meminfo: memFree=28139804/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=405088 memory=381052 CPUtime=1962.15 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 283952 0 0 0 196181 34 0 0 20 0 1 0 408423024 414810112 95263 33554432000 4194304 4935366 140729337390432 140729337388136 140517154137089 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 101272 95263 613 181 0 94889 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 405088 KiB
Current children cumulated memory: 381052 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 28651
/proc/meminfo: memFree=28129676/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=414188 memory=390112 CPUtime=2022.15 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 292413 0 0 0 202181 34 0 0 20 0 1 0 408423024 424128512 97528 33554432000 4194304 4935366 140729337390432 140729337388136 4383256 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 103547 97528 613 181 0 97164 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 414188 KiB
Current children cumulated memory: 390112 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 28655
/proc/meminfo: memFree=28116108/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=423892 memory=399876 CPUtime=2082.14 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 302695 0 0 0 208179 35 0 0 20 0 1 0 408423024 434065408 99969 33554432000 4194304 4935366 140729337390432 140729337388136 140517148769695 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 105973 99969 613 181 0 99590 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 423892 KiB
Current children cumulated memory: 399876 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/199 28659
/proc/meminfo: memFree=28109896/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=428776 memory=404508 CPUtime=2142.15 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 306499 0 0 0 214179 36 0 0 20 0 1 0 408423024 439066624 101127 33554432000 4194304 4935366 140729337390432 140729337388136 4389303 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 107194 101127 613 181 0 100811 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 428776 KiB
Current children cumulated memory: 404508 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 28666
/proc/meminfo: memFree=28105024/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=431128 memory=407016 CPUtime=2202.15 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 308656 0 0 0 220179 36 0 0 20 0 1 0 408423024 441475072 101754 33554432000 4194304 4935366 140729337390432 140729337388136 4314336 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 107782 101754 613 181 0 101399 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 431128 KiB
Current children cumulated memory: 407016 KiB

[startup+2262.3 s]
/proc/loadavg: 1.72 1.95 2.02 2/192 28716
/proc/meminfo: memFree=28287424/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=437808 memory=413896 CPUtime=2262.15 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 312773 0 0 0 226178 37 0 0 20 0 1 0 408423024 448315392 103474 33554432000 4194304 4935366 140729337390432 140729337388184 140517148769683 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 109452 103474 613 181 0 103069 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 437808 KiB
Current children cumulated memory: 413896 KiB

[startup+2322.3 s]
/proc/loadavg: 1.27 1.78 1.96 2/193 28728
/proc/meminfo: memFree=28287708/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=438212 memory=414224 CPUtime=2322.15 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 314601 0 0 0 232178 37 0 0 20 0 1 0 408423024 448729088 103556 33554432000 4194304 4935366 140729337390432 140729337388136 4389661 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 109553 103556 613 181 0 103170 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 438212 KiB
Current children cumulated memory: 414224 KiB

[startup+2382.3 s]
/proc/loadavg: 1.10 1.64 1.90 2/193 28734
/proc/meminfo: memFree=28288116/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=438416 memory=414420 CPUtime=2382.15 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 317424 0 0 0 238177 38 0 0 20 0 1 0 408423024 448937984 103605 33554432000 4194304 4935366 140729337390432 140729337388120 4461073 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 109604 103605 613 181 0 103221 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 438416 KiB
Current children cumulated memory: 414420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 1.08 1.60 1.89 2/193 28734
/proc/meminfo: memFree=28288364/32770624 swapFree=67004752/67108860
[pid=28443] ppid=28440 vsize=438416 memory=414420 CPUtime=2400.05 cores=0,2,4,6
/proc/28443/stat : 28443 (nacre_mini_rele) R 28440 28443 11220 0 -1 4202496 317996 0 0 0 239967 38 0 0 20 0 1 0 408423024 448937984 103605 33554432000 4194304 4935366 140729337390432 140729337388120 4461048 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 30101504 140729337394177 140729337394277 140729337394277 140729337397186 0
/proc/28443/statm: 109604 103605 613 181 0 103221 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 438416 KiB
Current children cumulated memory: 414420 KiB

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

[startup+2400.2 s]
# the end of solver process 28443 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.68 s, system=0.385982 s

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

Child status: 0
Real time (s): 2400.2
CPU time (s): 2400.06
CPU user time (s): 2399.68
CPU system time (s): 0.385982
CPU usage (%): 99.9942
Max. virtual memory (cumulated for all children) (KiB): 438416
Max. memory (cumulated for all children) (KiB): 414420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.68
system time used= 0.385982
maximum resident set size= 414480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318043
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= 61
involuntary context switches= 1968


# summary of solver processes directly reported to runsolver:
#   pid: 28443
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2399.68
#   total CPU system time (s): 0.385982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.85962 second user time and 16.8916 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-12 22:51:55
IDJOB=4391554
IDBENCH=141174
IDSOLVER=2834
FILE ID=node126/4391554-1568321552
RUNJOBID= node126-1568301555-23461
PBS_JOBID= 21701113
Free space on /tmp= 55388 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K07-P03_c18.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391554-1568321552/watcher-4391554-1568321552 -o /tmp/evaluation-result-4391554-1568321552/solver-4391554-1568321552 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23461 --watchdog 2560  nacre_mini_release HOME/instance-4391554-1568321552.xml -ca -l100 -cm

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

MD5SUM BENCH= ca21bb45cdf77f5b8e0b27a9f8e7d69e
RANDOM SEED=169154649

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28642964 kB
MemAvailable:   31808380 kB
Buffers:          116712 kB
Cached:          3299568 kB
SwapCached:         2860 kB
Active:          1887396 kB
Inactive:        1592280 kB
Active(anon):      61668 kB
Inactive(anon):    43292 kB
Active(file):    1825728 kB
Inactive(file):  1548988 kB
Unevictable:      109112 kB
Mlocked:          109112 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:               828 kB
Writeback:             0 kB
AnonPages:        170780 kB
Mapped:            44380 kB
Shmem:             32816 kB
Slab:             242488 kB
SReclaimable:     213072 kB
SUnreclaim:        29416 kB
KernelStack:        3504 kB
PageTables:         5736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     585400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55388 MiB
End job on node126 at 2019-09-12 23:31:55