Trace number 4391561

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.31

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K13-P04.xml
MD5SUMd0b71dfa4b5b9c5fdcf93c837b98c609
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 variables767
Number of constraints353
Number of domains2
Minimum domain size351
Maximum domain size352
Distribution of domain sizes[{"size":351,"count":351},{"size":352,"count":52}]
Minimum variable degree0
Maximum variable degree15
Distribution of variable degrees[{"degree":0,"count":364},{"degree":2,"count":351},{"degree":14,"count":26},{"degree":15,"count":26}]
Minimum constraint arity3
Maximum constraint arity351
Distribution of constraint arities[{"arity":3,"count":351},{"arity":52,"count":1},{"arity":351,"count":1}]
Number of extensional constraints0
Number of intensional constraints351
Distribution of constraint types[{"type":"intension","count":351},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.12	c NACRE 1.0.5
2400.05/2400.30	c
2400.05/2400.30	c # time = 2400.06
2400.05/2400.30	c # Dec = 1717876
2400.05/2400.30	c # Propagate Calls = 5045544341
2400.05/2400.30	c # assignAt Calls = 1719284
2400.05/2400.30	c # removeAt Calls = 1177593889
2400.05/2400.30	c # Run = 3112
2400.05/2400.30	c # Conflicts = 1648056
2400.05/2400.30	c # Memory used = 485.06 Mb
2400.05/2400.30	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 (15231 MiB free)
  memory of node 1: 16384 MiB (15121 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391561-1568306280/watcher-4391561-1568306280 -o /tmp/evaluation-result-4391561-1568306280/solver-4391561-1568306280 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568306240-27782 --watchdog 2560 nacre_mini_release HOME/instance-4391561-1568306280.xml -ca -l100 -cm 

running on 4 cores: 1,3,5,7

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=27811, runsolver pid=27808

[startup+0.100155 s]*
/proc/loadavg: 1.06 1.60 1.86 3/202 27812
/proc/meminfo: memFree=31033064/32770624 swapFree=66965796/67108860
[pid=27811] ppid=27808 vsize=91588 memory=57968 CPUtime=0.1 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 15109 0 0 0 8 2 0 0 20 0 1 0 406877536 93786112 14492 33554432000 4194304 4935366 140733362472448 140733362468568 140394682575845 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 22930 14492 584 181 0 16547 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 91588 KiB
Current children cumulated memory: 57968 KiB

[startup+0.209824 s]*
/proc/loadavg: 1.06 1.60 1.86 3/202 27812
/proc/meminfo: memFree=31006332/32770624 swapFree=66965796/67108860
[pid=27811] ppid=27808 vsize=111708 memory=78220 CPUtime=0.21 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 17603 0 0 0 19 2 0 0 20 0 1 0 406877536 114388992 19555 33554432000 4194304 4935366 140733362472448 140733362468568 4420619 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 27927 19555 605 181 0 21544 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111708 KiB
Current children cumulated memory: 78220 KiB

[startup+0.310205 s]*
/proc/loadavg: 1.06 1.60 1.86 3/202 27812
/proc/meminfo: memFree=31006044/32770624 swapFree=66965796/67108860
[pid=27811] ppid=27808 vsize=111708 memory=78220 CPUtime=0.31 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 17603 0 0 0 29 2 0 0 20 0 1 0 406877536 114388992 19555 33554432000 4194304 4935366 140733362472448 140733362468568 4420832 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 27927 19555 605 181 0 21544 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111708 KiB
Current children cumulated memory: 78220 KiB

[startup+0.700396 s]
/proc/loadavg: 1.06 1.60 1.86 3/202 27812
/proc/meminfo: memFree=31005924/32770624 swapFree=66965796/67108860
[pid=27811] ppid=27808 vsize=112236 memory=78484 CPUtime=0.69 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 17710 0 0 0 67 2 0 0 20 0 1 0 406877536 114929664 19621 33554432000 4194304 4935366 140733362472448 140733362469944 140394682568475 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 28059 19621 614 181 0 21676 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112236 KiB
Current children cumulated memory: 78484 KiB

[startup+1.50039 s]
/proc/loadavg: 1.06 1.60 1.86 3/202 27812
/proc/meminfo: memFree=31004808/32770624 swapFree=66965796/67108860
[pid=27811] ppid=27808 vsize=113688 memory=80068 CPUtime=1.49 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 18095 0 0 0 146 3 0 0 20 0 1 0 406877536 116416512 20017 33554432000 4194304 4935366 140733362472448 140733362470008 4451012 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 28422 20017 614 181 0 22039 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 113688 KiB
Current children cumulated memory: 80068 KiB

[startup+3.11003 s]
/proc/loadavg: 1.06 1.60 1.86 3/202 27812
/proc/meminfo: memFree=30998500/32770624 swapFree=66965796/67108860
[pid=27811] ppid=27808 vsize=116620 memory=82864 CPUtime=3.1 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 25503 0 0 0 307 3 0 0 20 0 1 0 406877536 119418880 20716 33554432000 4194304 4935366 140733362472448 140733362470024 4450992 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 29155 20716 614 181 0 22772 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 116620 KiB
Current children cumulated memory: 82864 KiB

[startup+6.30037 s]
/proc/loadavg: 1.06 1.59 1.86 3/202 27812
/proc/meminfo: memFree=30989188/32770624 swapFree=66965796/67108860
[pid=27811] ppid=27808 vsize=122716 memory=89064 CPUtime=6.28 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 35114 0 0 0 624 4 0 0 20 0 1 0 406877536 125661184 22266 33554432000 4194304 4935366 140733362472448 140733362470200 4383164 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 30679 22266 614 181 0 24296 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 122716 KiB
Current children cumulated memory: 89064 KiB

[startup+12.7004 s]
/proc/loadavg: 1.13 1.60 1.86 3/202 27812
/proc/meminfo: memFree=30970216/32770624 swapFree=66965796/67108860
[pid=27811] ppid=27808 vsize=134652 memory=100928 CPUtime=12.69 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 48028 0 0 0 1262 7 0 0 20 0 1 0 406877536 137883648 25232 33554432000 4194304 4935366 140733362472448 140733362470200 4450992 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 33663 25232 614 181 0 27280 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 134652 KiB
Current children cumulated memory: 100928 KiB

[startup+25.5004 s]
/proc/loadavg: 1.33 1.62 1.86 3/203 27814
/proc/meminfo: memFree=30950076/32770624 swapFree=66965796/67108860
[pid=27811] ppid=27808 vsize=144852 memory=111104 CPUtime=25.49 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 77920 0 0 0 2539 10 0 0 20 0 1 0 406877536 148328448 27776 33554432000 4194304 4935366 140733362472448 140733362470152 4420944 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 36213 27776 614 181 0 29830 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 144852 KiB
Current children cumulated memory: 111104 KiB

[startup+51.1099 s]
/proc/loadavg: 1.56 1.65 1.86 3/202 27814
/proc/meminfo: memFree=30925168/32770624 swapFree=66965796/67108860
[pid=27811] ppid=27808 vsize=159384 memory=125600 CPUtime=51.1 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 99677 0 0 0 5096 14 0 0 20 0 1 0 406877536 163209216 31400 33554432000 4194304 4935366 140733362472448 140733362470200 4451012 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 39846 31400 614 181 0 33463 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 159384 KiB
Current children cumulated memory: 125600 KiB

[startup+102.3 s]
/proc/loadavg: 1.81 1.70 1.87 3/202 27818
/proc/meminfo: memFree=30890156/32770624 swapFree=66965796/67108860
[pid=27811] ppid=27808 vsize=179120 memory=145884 CPUtime=102.28 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 125692 0 0 0 10210 18 0 0 20 0 1 0 406877536 183418880 36471 33554432000 4194304 4935366 140733362472448 140733362470152 140394688869210 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 44780 36471 614 181 0 38397 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 179120 KiB
Current children cumulated memory: 145884 KiB

[startup+162.3 s]
/proc/loadavg: 1.93 1.76 1.88 3/203 27832
/proc/meminfo: memFree=30861996/32770624 swapFree=66965804/67108860
[pid=27811] ppid=27808 vsize=196988 memory=164248 CPUtime=162.25 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 146430 0 0 0 16202 23 0 0 20 0 1 0 406877536 201715712 41062 33554432000 4194304 4935366 140733362472448 140733362470152 4450992 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 49247 41062 614 181 0 42864 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 196988 KiB
Current children cumulated memory: 164248 KiB

[startup+222.3 s]
/proc/loadavg: 1.97 1.80 1.88 3/205 27838
/proc/meminfo: memFree=30844232/32770624 swapFree=66965804/67108860
[pid=27811] ppid=27808 vsize=206788 memory=174688 CPUtime=222.25 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 150351 0 0 0 22201 24 0 0 20 0 1 0 406877536 211750912 43672 33554432000 4194304 4935366 140733362472448 140733362470200 4450164 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 51697 43672 614 181 0 45314 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 206788 KiB
Current children cumulated memory: 174688 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.84 1.89 3/205 27842
/proc/meminfo: memFree=30822248/32770624 swapFree=66965804/67108860
[pid=27811] ppid=27808 vsize=218856 memory=186880 CPUtime=282.24 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 157202 0 0 0 28199 25 0 0 20 0 1 0 406877536 224108544 46720 33554432000 4194304 4935366 140733362472448 140733362470200 4382288 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 54714 46720 614 181 0 48331 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 218856 KiB
Current children cumulated memory: 186880 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 1.88 1.90 3/205 27848
/proc/meminfo: memFree=30807564/32770624 swapFree=66965804/67108860
[pid=27811] ppid=27808 vsize=227700 memory=195588 CPUtime=342.24 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 165479 0 0 0 34196 28 0 0 20 0 1 0 406877536 233164800 48897 33554432000 4194304 4935366 140733362472448 140733362470200 140394683319676 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 56925 48897 614 181 0 50542 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 227700 KiB
Current children cumulated memory: 195588 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 1.90 1.90 3/205 27852
/proc/meminfo: memFree=30789500/32770624 swapFree=66965804/67108860
[pid=27811] ppid=27808 vsize=239404 memory=207264 CPUtime=402.24 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 176199 0 0 0 40195 29 0 0 20 0 1 0 406877536 245149696 51816 33554432000 4194304 4935366 140733362472448 140733362470200 140394683496355 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 59851 51816 614 181 0 53468 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 239404 KiB
Current children cumulated memory: 207264 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 1.92 1.91 3/205 27856
/proc/meminfo: memFree=30774784/32770624 swapFree=66965804/67108860
[pid=27811] ppid=27808 vsize=249560 memory=217260 CPUtime=462.22 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 185762 0 0 0 46192 30 0 0 20 0 1 0 406877536 255549440 54315 33554432000 4194304 4935366 140733362472448 140733362469992 4331456 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 62390 54315 614 181 0 56007 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 249560 KiB
Current children cumulated memory: 217260 KiB


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

/proc/27811/statm: 101828 93803 614 181 0 95445 0
Current children cumulated CPU time: 1662.12 s
Current children cumulated vsize: 407312 KiB
Current children cumulated memory: 375212 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/203 27998
/proc/meminfo: memFree=30543908/32770624 swapFree=66965836/67108860
[pid=27811] ppid=27808 vsize=413524 memory=381472 CPUtime=1722.12 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 311343 0 0 0 172160 52 0 0 20 0 1 0 406877536 423448576 95368 33554432000 4194304 4935366 140733362472448 140733362470152 4450177 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 103381 95368 614 181 0 96998 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 413524 KiB
Current children cumulated memory: 381472 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/203 28004
/proc/meminfo: memFree=30534300/32770624 swapFree=66965836/67108860
[pid=27811] ppid=27808 vsize=420392 memory=388388 CPUtime=1782.11 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 317308 0 0 0 178158 53 0 0 20 0 1 0 406877536 430481408 97097 33554432000 4194304 4935366 140733362472448 140733362470200 4450992 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 105098 97097 614 181 0 98715 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 420392 KiB
Current children cumulated memory: 388388 KiB

[startup+1842.3 s]
/proc/loadavg: 2.06 2.02 1.97 3/203 28008
/proc/meminfo: memFree=30525624/32770624 swapFree=66965836/67108860
[pid=27811] ppid=27808 vsize=426804 memory=394704 CPUtime=1842.1 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 325078 0 0 0 184157 53 0 0 20 0 1 0 406877536 437047296 98676 33554432000 4194304 4935366 140733362472448 140733362470136 140394688869283 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 106701 98676 614 181 0 100318 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 426804 KiB
Current children cumulated memory: 394704 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 1.97 4/203 28012
/proc/meminfo: memFree=30509988/32770624 swapFree=66965836/67108860
[pid=27811] ppid=27808 vsize=442536 memory=410516 CPUtime=1902.1 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 336469 0 0 0 190154 56 0 0 20 0 1 0 406877536 453156864 102629 33554432000 4194304 4935366 140733362472448 140733362470152 4212112 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 110634 102629 614 181 0 104251 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 442536 KiB
Current children cumulated memory: 410516 KiB

[startup+1962.3 s]
/proc/loadavg: 2.14 2.06 1.98 3/203 28025
/proc/meminfo: memFree=30482076/32770624 swapFree=66965836/67108860
[pid=27811] ppid=27808 vsize=468616 memory=436608 CPUtime=1962.09 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 355875 0 0 0 196148 61 0 0 20 0 1 0 406877536 479862784 109152 33554432000 4194304 4935366 140733362472448 140733362470200 4420962 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 117154 109152 614 181 0 110771 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 468616 KiB
Current children cumulated memory: 436608 KiB

[startup+2022.3 s]
/proc/loadavg: 2.05 2.05 1.98 3/202 28029
/proc/meminfo: memFree=30472028/32770624 swapFree=66965836/67108860
[pid=27811] ppid=27808 vsize=478472 memory=446296 CPUtime=2022.08 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 359990 0 0 0 202145 63 0 0 20 0 1 0 406877536 489955328 111574 33554432000 4194304 4935366 140733362472448 140733362470152 4450992 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 119618 111574 614 181 0 113235 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 478472 KiB
Current children cumulated memory: 446296 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 1.98 3/202 28033
/proc/meminfo: memFree=30456812/32770624 swapFree=66965840/67108860
[pid=27811] ppid=27808 vsize=490484 memory=458576 CPUtime=2082.08 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 367076 0 0 0 208143 65 0 0 20 0 1 0 406877536 502255616 114644 33554432000 4194304 4935366 140733362472448 140733362470152 4420962 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 122621 114644 614 181 0 116238 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 490484 KiB
Current children cumulated memory: 458576 KiB

[startup+2142.3 s]
/proc/loadavg: 2.09 2.05 1.99 3/202 28039
/proc/meminfo: memFree=30445628/32770624 swapFree=66965840/67108860
[pid=27811] ppid=27808 vsize=498316 memory=466200 CPUtime=2142.07 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 373207 0 0 0 214141 66 0 0 20 0 1 0 406877536 510275584 116550 33554432000 4194304 4935366 140733362472448 140733362470200 140394682573402 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 124579 116550 614 181 0 118196 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 498316 KiB
Current children cumulated memory: 466200 KiB

[startup+2202.3 s]
/proc/loadavg: 2.03 2.04 1.99 3/202 28043
/proc/meminfo: memFree=30440396/32770624 swapFree=66965840/67108860
[pid=27811] ppid=27808 vsize=501744 memory=469744 CPUtime=2202.07 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 381676 0 0 0 220140 67 0 0 20 0 1 0 406877536 513785856 117436 33554432000 4194304 4935366 140733362472448 140733362470152 140394683418750 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 125436 117436 614 181 0 119053 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 501744 KiB
Current children cumulated memory: 469744 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 1.99 3/203 28048
/proc/meminfo: memFree=30436084/32770624 swapFree=66965840/67108860
[pid=27811] ppid=27808 vsize=504632 memory=472588 CPUtime=2262.07 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 388995 0 0 0 226138 69 0 0 20 0 1 0 406877536 516743168 118147 33554432000 4194304 4935366 140733362472448 140733362470152 4420783 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 126158 118147 614 181 0 119775 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 504632 KiB
Current children cumulated memory: 472588 KiB

[startup+2322.3 s]
/proc/loadavg: 2.08 2.05 1.99 4/203 28054
/proc/meminfo: memFree=30429644/32770624 swapFree=66965840/67108860
[pid=27811] ppid=27808 vsize=510416 memory=478436 CPUtime=2322.06 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 395819 0 0 0 232137 69 0 0 20 0 1 0 406877536 522665984 119609 33554432000 4194304 4935366 140733362472448 140733362470152 4451012 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 127604 119609 614 181 0 121221 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 510416 KiB
Current children cumulated memory: 478436 KiB

[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 1.99 3/203 28058
/proc/meminfo: memFree=30420604/32770624 swapFree=66965840/67108860
[pid=27811] ppid=27808 vsize=516324 memory=484368 CPUtime=2382.06 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 405634 0 0 0 238135 71 0 0 20 0 1 0 406877536 528715776 121092 33554432000 4194304 4935366 140733362472448 140733362470200 4420768 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 129081 121092 614 181 0 122698 0
Current children cumulated CPU time: 2382.06 s
Current children cumulated vsize: 516324 KiB
Current children cumulated memory: 484368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.3 s]
/proc/loadavg: 2.02 2.04 1.99 4/203 28058
/proc/meminfo: memFree=30419040/32770624 swapFree=66965840/67108860
[pid=27811] ppid=27808 vsize=517064 memory=485060 CPUtime=2400.05 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 406303 0 0 0 239934 71 0 0 20 0 1 0 406877536 529473536 121265 33554432000 4194304 4935366 140733362472448 140733362470152 140394683496355 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 129266 121265 614 181 0 122883 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 517064 KiB
Current children cumulated memory: 485060 KiB

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

[startup+2400.31 s]
# the end of solver process 27811 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.35 s, system=0.723951 s

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

[startup+2400.3 s]
/proc/loadavg: 2.02 2.04 1.99 4/203 28058
/proc/meminfo: memFree=30419040/32770624 swapFree=66965840/67108860
[pid=27811] ppid=27808 vsize=517064 memory=485060 CPUtime=2400.05 cores=1,3,5,7
/proc/27811/stat : 27811 (nacre_mini_rele) R 27808 27811 25882 0 -1 4202496 406303 0 0 0 239934 71 0 0 20 0 1 0 406877536 529473536 121265 33554432000 4194304 4935366 140733362472448 140733362470152 140394683496355 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 39272448 140733362480129 140733362480229 140733362480229 140733362483138 0
/proc/27811/statm: 129266 121265 614 181 0 122883 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 517064 KiB
Current children cumulated memory: 485060 KiB

Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.07
CPU user time (s): 2399.35
CPU system time (s): 0.723951
CPU usage (%): 99.9903
Max. virtual memory (cumulated for all children) (KiB): 517064
Max. memory (cumulated for all children) (KiB): 485060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.35
system time used= 0.723951
maximum resident set size= 485152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406347
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= 114
involuntary context switches= 2935


# summary of solver processes directly reported to runsolver:
#   pid: 27811
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2399.35
#   total CPU system time (s): 0.723951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.9044 second user time and 17.7813 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-12 18:37:20
IDJOB=4391561
IDBENCH=120733
IDSOLVER=2834
FILE ID=node135/4391561-1568306280
RUNJOBID= node135-1568306240-27782
PBS_JOBID= 21701112
Free space on /tmp= 59128 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K13-P04.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391561-1568306280/watcher-4391561-1568306280 -o /tmp/evaluation-result-4391561-1568306280/solver-4391561-1568306280 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568306240-27782 --watchdog 2560  nacre_mini_release HOME/instance-4391561-1568306280.xml -ca -l100 -cm

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

MD5SUM BENCH= d0b71dfa4b5b9c5fdcf93c837b98c609
RANDOM SEED=1601190568

node135.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.76
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.76
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.76
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.76
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:        31082776 kB
MemAvailable:   31868768 kB
Buffers:          110068 kB
Cached:           943072 kB
SwapCached:        36184 kB
Active:           419948 kB
Inactive:         673024 kB
Active(anon):      11040 kB
Inactive(anon):    59648 kB
Active(file):     408908 kB
Inactive(file):   613376 kB
Unevictable:      109772 kB
Mlocked:          109772 kB
SwapTotal:      67108860 kB
SwapFree:       66965796 kB
Dirty:              1580 kB
Writeback:             0 kB
AnonPages:        113752 kB
Mapped:            32704 kB
Shmem:             22236 kB
Slab:             189364 kB
SReclaimable:     159084 kB
SUnreclaim:        30280 kB
KernelStack:        3488 kB
PageTables:         4928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 59124 MiB
End job on node135 at 2019-09-12 19:17:20