Trace number 4391528

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.07 2400.12

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K14-P05.xml
MD5SUM59020dc5d68df7ba2fdec80297510e85
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 variables1106
Number of constraints513
Number of domains2
Minimum domain size511
Maximum domain size512
Distribution of domain sizes[{"size":511,"count":511},{"size":512,"count":70}]
Minimum variable degree0
Maximum variable degree16
Distribution of variable degrees[{"degree":0,"count":525},{"degree":2,"count":511},{"degree":15,"count":28},{"degree":16,"count":42}]
Minimum constraint arity3
Maximum constraint arity511
Distribution of constraint arities[{"arity":3,"count":511},{"arity":70,"count":1},{"arity":511,"count":1}]
Number of extensional constraints0
Number of intensional constraints511
Distribution of constraint types[{"type":"intension","count":511},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.21	c NACRE 1.0.5
2400.06/2400.11	c
2400.06/2400.11	c # time = 2400.06
2400.06/2400.11	c # Dec = 826551
2400.06/2400.11	c # Propagate Calls = 7002623974
2400.06/2400.11	c # assignAt Calls = 827212
2400.06/2400.11	c # removeAt Calls = 871724779
2400.06/2400.11	c # Run = 1657
2400.06/2400.11	c # Conflicts = 774800
2400.06/2400.11	c # Memory used = 435.508 Mb
2400.06/2400.11	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 (13826 MiB free)
  memory of node 1: 16384 MiB (14216 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391528-1568306395/watcher-4391528-1568306395 -o /tmp/evaluation-result-4391528-1568306395/solver-4391528-1568306395 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23461 --watchdog 2560 nacre_mini_release HOME/instance-4391528-1568306395.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
Current StackSize limit: 8192 KiB

solver pid=24206, runsolver pid=24199

[startup+0.100197 s]*
/proc/loadavg: 2.00 2.01 2.05 5/199 24207
/proc/meminfo: memFree=28650888/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=114024 memory=70848 CPUtime=0.1 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 14799 0 0 0 7 3 0 0 20 0 1 0 406907359 116760576 17712 33554432000 4194304 4935366 140727127819104 140727127814136 140691304827877 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 28506 17712 578 181 0 22123 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114024 KiB
Current children cumulated memory: 70848 KiB

[startup+0.209799 s]*
/proc/loadavg: 2.00 2.01 2.05 4/199 24207
/proc/meminfo: memFree=28572644/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=198888 memory=155040 CPUtime=0.21 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 29678 0 0 0 15 6 0 0 20 0 1 0 406907359 203661312 38760 33554432000 4194304 4935366 140727127819104 140727127814136 4451756 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 49722 38760 594 181 0 43339 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 198888 KiB
Current children cumulated memory: 155040 KiB

[startup+0.310259 s]*
/proc/loadavg: 2.00 2.01 2.05 4/199 24207
/proc/meminfo: memFree=28560172/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=198888 memory=155040 CPUtime=0.31 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 29682 0 0 0 25 6 0 0 20 0 1 0 406907359 203661312 38760 33554432000 4194304 4935366 140727127819104 140727127814136 4450346 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 49722 38760 594 181 0 43339 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 198888 KiB
Current children cumulated memory: 155040 KiB

[startup+0.700476 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 24207
/proc/meminfo: memFree=28559056/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=198888 memory=155040 CPUtime=0.69 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 29682 0 0 0 63 6 0 0 20 0 1 0 406907359 203661312 38760 33554432000 4194304 4935366 140727127819104 140727127814136 4420619 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 49722 38760 594 181 0 43339 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 198888 KiB
Current children cumulated memory: 155040 KiB

[startup+1.50046 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 24207
/proc/meminfo: memFree=28557196/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=199152 memory=155040 CPUtime=1.49 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 29729 0 0 0 143 6 0 0 20 0 1 0 406907359 203931648 38760 33554432000 4194304 4935366 140727127819104 140727127817624 4449977 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 49788 38760 594 181 0 43405 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 199152 KiB
Current children cumulated memory: 155040 KiB

[startup+3.10975 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 24207
/proc/meminfo: memFree=28553236/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=199944 memory=156168 CPUtime=3.1 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 40002 0 0 0 304 6 0 0 20 0 1 0 406907359 204742656 39042 33554432000 4194304 4935366 140727127819104 140727127816664 4420605 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 49986 39042 614 181 0 43603 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 199944 KiB
Current children cumulated memory: 156168 KiB

[startup+6.30042 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 24207
/proc/meminfo: memFree=28546700/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=203112 memory=159292 CPUtime=6.28 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 51456 0 0 0 621 7 0 0 20 0 1 0 406907359 207986688 39823 33554432000 4194304 4935366 140727127819104 140727127816680 140691304827877 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 50778 39823 614 181 0 44395 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 203112 KiB
Current children cumulated memory: 159292 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 24207
/proc/meminfo: memFree=28537592/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=210768 memory=166752 CPUtime=12.69 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 63841 0 0 0 1259 10 0 0 20 0 1 0 406907359 215826432 41688 33554432000 4194304 4935366 140727127819104 140727127816856 140691304827877 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 52692 41688 614 181 0 46309 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 210768 KiB
Current children cumulated memory: 166752 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 24209
/proc/meminfo: memFree=28515956/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=226328 memory=182448 CPUtime=25.48 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 93662 0 0 0 2535 13 0 0 20 0 1 0 406907359 231759872 45612 33554432000 4194304 4935366 140727127819104 140727127816856 4420605 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 56582 45612 614 181 0 50199 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 226328 KiB
Current children cumulated memory: 182448 KiB

[startup+51.11 s]
/proc/loadavg: 2.00 2.01 2.05 4/201 24218
/proc/meminfo: memFree=28496464/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=239172 memory=195500 CPUtime=51.08 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 113097 0 0 0 5091 17 0 0 20 0 1 0 406907359 244912128 48875 33554432000 4194304 4935366 140727127819104 140727127816856 4420768 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 59793 48875 614 181 0 53410 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 239172 KiB
Current children cumulated memory: 195500 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/201 24222
/proc/meminfo: memFree=28472816/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=255804 memory=213020 CPUtime=102.26 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 124948 0 0 0 10206 20 0 0 20 0 1 0 406907359 261943296 53255 33554432000 4194304 4935366 140727127819104 140727127816856 140691311028982 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 63951 53255 614 181 0 57568 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 255804 KiB
Current children cumulated memory: 213020 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/201 24228
/proc/meminfo: memFree=28447744/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=269112 memory=225768 CPUtime=162.26 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 132817 0 0 0 16203 23 0 0 20 0 1 0 406907359 275570688 56442 33554432000 4194304 4935366 140727127819104 140727127816808 4386442 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 67278 56442 614 181 0 60895 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 269112 KiB
Current children cumulated memory: 225768 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 2/198 24261
/proc/meminfo: memFree=28482264/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=279552 memory=236460 CPUtime=222.26 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 141695 0 0 0 22200 26 0 0 20 0 1 0 406907359 286261248 59115 33554432000 4194304 4935366 140727127819104 140727127816808 4450992 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 69888 59115 614 181 0 63505 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 279552 KiB
Current children cumulated memory: 236460 KiB

[startup+282.3 s]
/proc/loadavg: 2.26 2.08 2.06 3/201 24296
/proc/meminfo: memFree=28420516/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=296512 memory=253508 CPUtime=282.26 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 155982 0 0 0 28196 30 0 0 20 0 1 0 406907359 303628288 63377 33554432000 4194304 4935366 140727127819104 140727127816808 4211440 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 74128 63377 614 181 0 67745 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 296512 KiB
Current children cumulated memory: 253508 KiB

[startup+342.3 s]
/proc/loadavg: 2.56 2.21 2.11 3/202 24303
/proc/meminfo: memFree=28401664/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=303548 memory=260508 CPUtime=342.27 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 170940 0 0 0 34194 33 0 0 20 0 1 0 406907359 310833152 65127 33554432000 4194304 4935366 140727127819104 140727127816856 140691304821266 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 75887 65127 614 181 0 69504 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 303548 KiB
Current children cumulated memory: 260508 KiB

[startup+402.3 s]
/proc/loadavg: 2.27 2.19 2.11 3/200 24307
/proc/meminfo: memFree=28385960/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=310728 memory=267840 CPUtime=402.26 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 172753 0 0 0 40192 34 0 0 20 0 1 0 406907359 318185472 66960 33554432000 4194304 4935366 140727127819104 140727127816856 140691304826969 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 77682 66960 614 181 0 71299 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 310728 KiB
Current children cumulated memory: 267840 KiB

[startup+462.3 s]
/proc/loadavg: 2.10 2.15 2.10 3/200 24311
/proc/meminfo: memFree=28376004/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=314028 memory=271504 CPUtime=462.26 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 175495 0 0 0 46191 35 0 0 20 0 1 0 406907359 321564672 67876 33554432000 4194304 4935366 140727127819104 140727127816856 4450164 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 78507 67876 614 181 0 72124 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 314028 KiB
Current children cumulated memory: 271504 KiB


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

/proc/24206/statm: 108002 97332 614 181 0 101619 0
Current children cumulated CPU time: 1662.25 s
Current children cumulated vsize: 432008 KiB
Current children cumulated memory: 389328 KiB

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/199 24639
/proc/meminfo: memFree=27803140/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=437160 memory=394484 CPUtime=1722.25 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 283531 0 0 0 172165 60 0 0 20 0 1 0 406907359 447651840 98621 33554432000 4194304 4935366 140727127819104 140727127816856 4420944 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 109290 98621 614 181 0 102907 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 437160 KiB
Current children cumulated memory: 394484 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24645
/proc/meminfo: memFree=27725376/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=439364 memory=396608 CPUtime=1782.25 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 287369 0 0 0 178164 61 0 0 20 0 1 0 406907359 449908736 99152 33554432000 4194304 4935366 140727127819104 140727127816856 4474168 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 109841 99152 614 181 0 103458 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 439364 KiB
Current children cumulated memory: 396608 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24649
/proc/meminfo: memFree=27607568/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=444212 memory=401588 CPUtime=1842.24 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 293338 0 0 0 184163 61 0 0 20 0 1 0 406907359 454873088 100397 33554432000 4194304 4935366 140727127819104 140727127816792 4420768 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 111053 100397 614 181 0 104670 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 444212 KiB
Current children cumulated memory: 401588 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24661
/proc/meminfo: memFree=27579572/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=446180 memory=403548 CPUtime=1902.25 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 296994 0 0 0 190163 62 0 0 20 0 1 0 406907359 456888320 100887 33554432000 4194304 4935366 140727127819104 140727127816808 140691305748404 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 111545 100887 614 181 0 105162 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 446180 KiB
Current children cumulated memory: 403548 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24667
/proc/meminfo: memFree=27494008/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=446932 memory=404244 CPUtime=1962.25 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 297862 0 0 0 196163 62 0 0 20 0 1 0 406907359 457658368 101061 33554432000 4194304 4935366 140727127819104 140727127816808 4450177 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 111733 101061 614 181 0 105350 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 446932 KiB
Current children cumulated memory: 404244 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24671
/proc/meminfo: memFree=27459828/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=450972 memory=408244 CPUtime=2022.25 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 300199 0 0 0 202162 63 0 0 20 0 1 0 406907359 461795328 102061 33554432000 4194304 4935366 140727127819104 140727127816856 4450992 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 112743 102061 614 181 0 106360 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 450972 KiB
Current children cumulated memory: 408244 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24675
/proc/meminfo: memFree=27419352/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=454508 memory=411772 CPUtime=2082.25 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 302945 0 0 0 208161 64 0 0 20 0 1 0 406907359 465416192 102943 33554432000 4194304 4935366 140727127819104 140727127816808 140691311122386 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 113627 102943 614 181 0 107244 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 454508 KiB
Current children cumulated memory: 411772 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 24681
/proc/meminfo: memFree=27377348/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=455880 memory=413256 CPUtime=2142.25 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 305687 0 0 0 214161 64 0 0 20 0 1 0 406907359 466821120 103314 33554432000 4194304 4935366 140727127819104 140727127816808 4450992 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 113970 103314 614 181 0 107587 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 455880 KiB
Current children cumulated memory: 413256 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24685
/proc/meminfo: memFree=27329980/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=462380 memory=419824 CPUtime=2202.25 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 310333 0 0 0 220160 65 0 0 20 0 1 0 406907359 473477120 104956 33554432000 4194304 4935366 140727127819104 140727127816856 4386253 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 115595 104956 614 181 0 109212 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 462380 KiB
Current children cumulated memory: 419824 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 24689
/proc/meminfo: memFree=27261800/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=467148 memory=424564 CPUtime=2262.25 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 315188 0 0 0 226159 66 0 0 20 0 1 0 406907359 478359552 106141 33554432000 4194304 4935366 140727127819104 140727127816808 4331949 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 116787 106141 614 181 0 110404 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 467148 KiB
Current children cumulated memory: 424564 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24696
/proc/meminfo: memFree=27222988/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=471736 memory=429060 CPUtime=2322.25 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 321278 0 0 0 232158 67 0 0 20 0 1 0 406907359 483057664 107265 33554432000 4194304 4935366 140727127819104 140727127816856 4420768 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 117934 107265 614 181 0 111551 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 471736 KiB
Current children cumulated memory: 429060 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24700
/proc/meminfo: memFree=27178496/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=476092 memory=433288 CPUtime=2382.25 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 328229 0 0 0 238157 68 0 0 20 0 1 0 406907359 487518208 108322 33554432000 4194304 4935366 140727127819104 140727127816808 4420768 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 119023 108322 614 181 0 112640 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 476092 KiB
Current children cumulated memory: 433288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24701
/proc/meminfo: memFree=27165200/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=478084 memory=435328 CPUtime=2400.06 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 329102 0 0 0 239938 68 0 0 20 0 1 0 406907359 489558016 108832 33554432000 4194304 4935366 140727127819104 140727127816856 4420962 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 119521 108832 614 181 0 113138 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 478084 KiB
Current children cumulated memory: 435328 KiB

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

[startup+2400.12 s]
# the end of solver process 24206 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.38 s, system=0.690002 s

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

[startup+2400.11 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24701
/proc/meminfo: memFree=27165200/32770624 swapFree=67004752/67108860
[pid=24206] ppid=24199 vsize=478084 memory=435328 CPUtime=2400.06 cores=0,2,4,6
/proc/24206/stat : 24206 (nacre_mini_rele) R 24199 24206 11220 0 -1 4202496 329102 0 0 0 239938 68 0 0 20 0 1 0 406907359 489558016 108832 33554432000 4194304 4935366 140727127819104 140727127816856 4420962 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 15564800 140727127827457 140727127827557 140727127827557 140727127830466 0
/proc/24206/statm: 119521 108832 614 181 0 113138 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 478084 KiB
Current children cumulated memory: 435328 KiB

Child status: 0
Real time (s): 2400.12
CPU time (s): 2400.07
CPU user time (s): 2399.38
CPU system time (s): 0.690002
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 478084
Max. memory (cumulated for all children) (KiB): 435328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.38
system time used= 0.690002
maximum resident set size= 435564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329147
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= 103
involuntary context switches= 1318


# summary of solver processes directly reported to runsolver:
#   pid: 24206
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2399.38
#   total CPU system time (s): 0.690002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.80627 second user time and 18.63 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-12 18:39:18
IDJOB=4391528
IDBENCH=120762
IDSOLVER=2834
FILE ID=node126/4391528-1568306395
RUNJOBID= node126-1568301555-23461
PBS_JOBID= 21701113
Free space on /tmp= 55388 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K14-P05.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391528-1568306395/watcher-4391528-1568306395 -o /tmp/evaluation-result-4391528-1568306395/solver-4391528-1568306395 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23461 --watchdog 2560  nacre_mini_release HOME/instance-4391528-1568306395.xml -ca -l100 -cm

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

MD5SUM BENCH= 59020dc5d68df7ba2fdec80297510e85
RANDOM SEED=174688535

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:        28716564 kB
MemAvailable:   31867116 kB
Buffers:          110428 kB
Cached:          3290812 kB
SwapCached:         2860 kB
Active:          1824540 kB
Inactive:        1582292 kB
Active(anon):       3464 kB
Inactive(anon):    43344 kB
Active(file):    1821076 kB
Inactive(file):  1538948 kB
Unevictable:      109112 kB
Mlocked:          109112 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:              1576 kB
Writeback:             0 kB
AnonPages:        112468 kB
Mapped:            42420 kB
Shmem:             32816 kB
Slab:             242112 kB
SReclaimable:     212728 kB
SUnreclaim:        29384 kB
KernelStack:        3520 kB
PageTables:         6036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     501884 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= 55384 MiB
End job on node126 at 2019-09-12 19:19:18