Trace number 4391404

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.03 2400.4

General information on the benchmark

NameLangford/Langford-m1-k4/
Langford-4-16.xml
MD5SUMa550bb6a39ca50ab9210b9c0283e2640
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark84.7029
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints49
Number of domains1
Minimum domain size64
Maximum domain size64
Distribution of domain sizes[{"size":64,"count":64}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":32},{"degree":3,"count":32}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":48},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints48
Distribution of constraint types[{"type":"intension","count":48},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c NACRE 1.0.5
2400.02/2400.40	c
2400.02/2400.40	c # time = 2400.02
2400.02/2400.40	c # Dec = 1617191
2400.02/2400.40	c # Propagate Calls = 5245659241
2400.02/2400.40	c # assignAt Calls = 2810507
2400.02/2400.40	c # removeAt Calls = 241957811
2400.02/2400.40	c # Run = 3070
2400.02/2400.40	c # Conflicts = 1602540
2400.02/2400.40	c # Memory used = 432.512 Mb
2400.02/2400.40	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 (14576 MiB free)
  memory of node 1: 16384 MiB (15170 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391404-1568307666/watcher-4391404-1568307666 -o /tmp/evaluation-result-4391404-1568307666/solver-4391404-1568307666 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11109 --watchdog 2560 nacre_mini_release HOME/instance-4391404-1568307666.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=11760, runsolver pid=11757

[startup+0.100172 s]*
/proc/loadavg: 2.01 2.04 1.97 3/205 11761
/proc/meminfo: memFree=30458488/32770624 swapFree=67008468/67108860
[pid=11760] ppid=11757 vsize=28632 memory=5304 CPUtime=0.1 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 1519 0 0 0 10 0 0 0 20 0 1 0 406689308 29319168 1326 33554432000 4194304 4935366 140734823740672 140734823737672 140339915353061 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 7158 1326 613 181 0 775 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28632 KiB
Current children cumulated memory: 5304 KiB

[startup+0.210104 s]*
/proc/loadavg: 2.01 2.04 1.97 3/205 11761
/proc/meminfo: memFree=30457000/32770624 swapFree=67008468/67108860
[pid=11760] ppid=11757 vsize=30100 memory=6624 CPUtime=0.21 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 1869 0 0 0 21 0 0 0 20 0 1 0 406689308 30822400 1656 33554432000 4194304 4935366 140734823740672 140734823737672 140339915353061 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 7525 1656 613 181 0 1142 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30100 KiB
Current children cumulated memory: 6624 KiB

[startup+0.30963 s]*
/proc/loadavg: 2.01 2.04 1.97 3/205 11761
/proc/meminfo: memFree=30455884/32770624 swapFree=67008468/67108860
[pid=11760] ppid=11757 vsize=31288 memory=7944 CPUtime=0.31 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 2172 0 0 0 31 0 0 0 20 0 1 0 406689308 32038912 1986 33554432000 4194304 4935366 140734823740672 140734823737672 140339915353061 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 7822 1986 613 181 0 1439 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31288 KiB
Current children cumulated memory: 7944 KiB

[startup+0.700308 s]
/proc/loadavg: 2.01 2.04 1.97 3/205 11761
/proc/meminfo: memFree=30453652/32770624 swapFree=67008468/67108860
[pid=11760] ppid=11757 vsize=35400 memory=12116 CPUtime=0.69 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 3197 0 0 0 69 0 0 0 20 0 1 0 406689308 36249600 3029 33554432000 4194304 4935366 140734823740672 140734823737672 4337310 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 8850 3029 613 181 0 2467 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35400 KiB
Current children cumulated memory: 12116 KiB

[startup+1.50031 s]
/proc/loadavg: 2.01 2.04 1.97 3/205 11761
/proc/meminfo: memFree=30448320/32770624 swapFree=67008468/67108860
[pid=11760] ppid=11757 vsize=42844 memory=19524 CPUtime=1.49 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 5075 0 0 0 148 1 0 0 20 0 1 0 406689308 43872256 4881 33554432000 4194304 4935366 140734823740672 140734823738424 4461073 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 10711 4881 613 181 0 4328 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42844 KiB
Current children cumulated memory: 19524 KiB

[startup+3.10982 s]
/proc/loadavg: 2.01 2.04 1.97 3/205 11761
/proc/meminfo: memFree=30432704/32770624 swapFree=67008468/67108860
[pid=11760] ppid=11757 vsize=54440 memory=30840 CPUtime=3.1 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 13116 0 0 0 309 1 0 0 20 0 1 0 406689308 55746560 7710 33554432000 4194304 4935366 140734823740672 140734823738424 140339915353061 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 13610 7710 613 181 0 7227 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 54440 KiB
Current children cumulated memory: 30840 KiB

[startup+6.30031 s]
/proc/loadavg: 2.01 2.04 1.97 3/205 11761
/proc/meminfo: memFree=30421380/32770624 swapFree=67008468/67108860
[pid=11760] ppid=11757 vsize=65332 memory=42000 CPUtime=6.29 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 23770 0 0 0 627 2 0 0 20 0 1 0 406689308 66899968 10500 33554432000 4194304 4935366 140734823740672 140734823738376 140339915353061 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 16333 10500 613 181 0 9950 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 65332 KiB
Current children cumulated memory: 42000 KiB

[startup+12.7003 s]
/proc/loadavg: 2.01 2.04 1.97 3/205 11761
/proc/meminfo: memFree=30406256/32770624 swapFree=67008468/67108860
[pid=11760] ppid=11757 vsize=80620 memory=56616 CPUtime=12.69 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 38093 0 0 0 1265 4 0 0 20 0 1 0 406689308 82554880 14154 33554432000 4194304 4935366 140734823740672 140734823738376 4420635 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 20155 14154 613 181 0 13772 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 80620 KiB
Current children cumulated memory: 56616 KiB

[startup+25.5004 s]
/proc/loadavg: 2.01 2.04 1.97 3/205 11762
/proc/meminfo: memFree=30385460/32770624 swapFree=67008468/67108860
[pid=11760] ppid=11757 vsize=99436 memory=75836 CPUtime=25.49 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 73290 0 0 0 2543 6 0 0 20 0 1 0 406689308 101822464 18959 33554432000 4194304 4935366 140734823740672 140734823738376 4461069 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 24859 18959 613 181 0 18476 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 99436 KiB
Current children cumulated memory: 75836 KiB

[startup+51.1098 s]
/proc/loadavg: 2.00 2.04 1.97 3/205 11784
/proc/meminfo: memFree=30356452/32770624 swapFree=67008476/67108860
[pid=11760] ppid=11757 vsize=124408 memory=100824 CPUtime=51.09 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 101656 0 0 0 5100 9 0 0 20 0 1 0 406689308 127393792 25206 33554432000 4194304 4935366 140734823740672 140734823738424 4461476 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 31102 25206 613 181 0 24719 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 124408 KiB
Current children cumulated memory: 100824 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/205 11788
/proc/meminfo: memFree=30318528/32770624 swapFree=67008476/67108860
[pid=11760] ppid=11757 vsize=156772 memory=133348 CPUtime=102.28 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 136896 0 0 0 10215 13 0 0 20 0 1 0 406689308 160534528 33337 33554432000 4194304 4935366 140734823740672 140734823738376 4461483 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 39193 33337 613 181 0 32810 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 156772 KiB
Current children cumulated memory: 133348 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/205 11794
/proc/meminfo: memFree=30288312/32770624 swapFree=67008476/67108860
[pid=11760] ppid=11757 vsize=182752 memory=158192 CPUtime=162.28 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 176852 0 0 0 16211 17 0 0 20 0 1 0 406689308 187138048 39548 33554432000 4194304 4935366 140734823740672 140734823738376 4420850 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 45688 39548 613 181 0 39305 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 182752 KiB
Current children cumulated memory: 158192 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/205 11799
/proc/meminfo: memFree=30262116/32770624 swapFree=67008476/67108860
[pid=11760] ppid=11757 vsize=203516 memory=179148 CPUtime=222.24 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 220850 0 0 0 22203 21 0 0 20 0 1 0 406689308 208400384 44787 33554432000 4194304 4935366 140734823740672 140734823738376 4461069 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 50879 44787 613 181 0 44496 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 203516 KiB
Current children cumulated memory: 179148 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/205 11804
/proc/meminfo: memFree=30240324/32770624 swapFree=67008476/67108860
[pid=11760] ppid=11757 vsize=221020 memory=196992 CPUtime=282.19 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 245137 0 0 0 28195 24 0 0 20 0 1 0 406689308 226324480 49248 33554432000 4194304 4935366 140734823740672 140734823738376 4461227 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 55255 49248 613 181 0 48872 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 221020 KiB
Current children cumulated memory: 196992 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/205 11810
/proc/meminfo: memFree=30221024/32770624 swapFree=67008476/67108860
[pid=11760] ppid=11757 vsize=236316 memory=212336 CPUtime=342.18 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 250431 0 0 0 34191 27 0 0 20 0 1 0 406689308 241987584 53084 33554432000 4194304 4935366 140734823740672 140734823738376 4461250 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 59079 53084 613 181 0 52696 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 236316 KiB
Current children cumulated memory: 212336 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/205 11814
/proc/meminfo: memFree=30202020/32770624 swapFree=67008476/67108860
[pid=11760] ppid=11757 vsize=251692 memory=227848 CPUtime=402.18 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 259572 0 0 0 40189 29 0 0 20 0 1 0 406689308 257732608 56962 33554432000 4194304 4935366 140734823740672 140734823738424 4420847 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 62923 56962 613 181 0 56540 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 251692 KiB
Current children cumulated memory: 227848 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/205 11818
/proc/meminfo: memFree=30185028/32770624 swapFree=67008476/67108860
[pid=11760] ppid=11757 vsize=264092 memory=240220 CPUtime=462.17 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 271342 0 0 0 46186 31 0 0 20 0 1 0 406689308 270430208 60055 33554432000 4194304 4935366 140734823740672 140734823738424 4461069 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 66023 60055 613 181 0 59640 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 264092 KiB
Current children cumulated memory: 240220 KiB


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

/proc/11760/statm: 100213 93894 613 181 0 93830 0
Current children cumulated CPU time: 1602.02 s
Current children cumulated vsize: 400852 KiB
Current children cumulated memory: 375576 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/206 11932
/proc/meminfo: memFree=29991920/32770624 swapFree=67008484/67108860
[pid=11760] ppid=11757 vsize=406084 memory=380872 CPUtime=1662.01 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 443671 0 0 0 166133 68 0 0 20 0 1 0 406689308 415830016 95218 33554432000 4194304 4935366 140734823740672 140734823738376 4461250 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 101521 95218 613 181 0 95138 0
Current children cumulated CPU time: 1662.01 s
Current children cumulated vsize: 406084 KiB
Current children cumulated memory: 380872 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/206 11937
/proc/meminfo: memFree=29984116/32770624 swapFree=67008488/67108860
[pid=11760] ppid=11757 vsize=410704 memory=385516 CPUtime=1722 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 449963 0 0 0 172132 68 0 0 20 0 1 0 406689308 420560896 96379 33554432000 4194304 4935366 140734823740672 140734823738376 4461244 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 102676 96379 613 181 0 96293 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 410704 KiB
Current children cumulated memory: 385516 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/206 11943
/proc/meminfo: memFree=29978132/32770624 swapFree=67008488/67108860
[pid=11760] ppid=11757 vsize=415160 memory=390032 CPUtime=1782 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 456342 0 0 0 178131 69 0 0 20 0 1 0 406689308 425123840 97508 33554432000 4194304 4935366 140734823740672 140734823738376 4461250 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 103790 97508 613 181 0 97407 0
Current children cumulated CPU time: 1782 s
Current children cumulated vsize: 415160 KiB
Current children cumulated memory: 390032 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/204 11953
/proc/meminfo: memFree=29972684/32770624 swapFree=67008492/67108860
[pid=11760] ppid=11757 vsize=419136 memory=393964 CPUtime=1842 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 464689 0 0 0 184129 71 0 0 20 0 1 0 406689308 429195264 98491 33554432000 4194304 4935366 140734823740672 140734823738424 140339921648117 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 104784 98491 613 181 0 98401 0
Current children cumulated CPU time: 1842 s
Current children cumulated vsize: 419136 KiB
Current children cumulated memory: 393964 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/205 11958
/proc/meminfo: memFree=29965528/32770624 swapFree=67008492/67108860
[pid=11760] ppid=11757 vsize=424216 memory=399052 CPUtime=1901.99 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 474375 0 0 0 190126 73 0 0 20 0 1 0 406689308 434397184 99763 33554432000 4194304 4935366 140734823740672 140734823738360 4461261 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 106054 99763 613 181 0 99671 0
Current children cumulated CPU time: 1901.99 s
Current children cumulated vsize: 424216 KiB
Current children cumulated memory: 399052 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/205 11964
/proc/meminfo: memFree=29959480/32770624 swapFree=67008492/67108860
[pid=11760] ppid=11757 vsize=428136 memory=403040 CPUtime=1961.97 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 479952 0 0 0 196123 74 0 0 20 0 1 0 406689308 438411264 100760 33554432000 4194304 4935366 140734823740672 140734823738376 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 107034 100760 613 181 0 100651 0
Current children cumulated CPU time: 1961.97 s
Current children cumulated vsize: 428136 KiB
Current children cumulated memory: 403040 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/206 11969
/proc/meminfo: memFree=29953884/32770624 swapFree=67008492/67108860
[pid=11760] ppid=11757 vsize=432404 memory=407360 CPUtime=2021.96 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 483189 0 0 0 202122 74 0 0 20 0 1 0 406689308 442781696 101840 33554432000 4194304 4935366 140734823740672 140734823738376 4461252 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 108101 101840 613 181 0 101718 0
Current children cumulated CPU time: 2021.96 s
Current children cumulated vsize: 432404 KiB
Current children cumulated memory: 407360 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/206 11973
/proc/meminfo: memFree=29947972/32770624 swapFree=67008492/67108860
[pid=11760] ppid=11757 vsize=436392 memory=411360 CPUtime=2081.96 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 486981 0 0 0 208121 75 0 0 20 0 1 0 406689308 446865408 102840 33554432000 4194304 4935366 140734823740672 140734823738184 4461069 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 109098 102840 613 181 0 102715 0
Current children cumulated CPU time: 2081.96 s
Current children cumulated vsize: 436392 KiB
Current children cumulated memory: 411360 KiB

[startup+2142.3 s]
/proc/loadavg: 1.95 2.00 1.96 3/206 12103
/proc/meminfo: memFree=30119592/32770624 swapFree=67008492/67108860
[pid=11760] ppid=11757 vsize=440872 memory=415736 CPUtime=2141.95 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 491926 0 0 0 214119 76 0 0 20 0 1 0 406689308 451452928 103934 33554432000 4194304 4935366 140734823740672 140734823738424 4461069 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 110218 103934 613 181 0 103835 0
Current children cumulated CPU time: 2141.95 s
Current children cumulated vsize: 440872 KiB
Current children cumulated memory: 415736 KiB

[startup+2202.3 s]
/proc/loadavg: 1.98 2.00 1.96 3/206 12169
/proc/meminfo: memFree=27612984/32770624 swapFree=67008492/67108860
[pid=11760] ppid=11757 vsize=444904 memory=419868 CPUtime=2201.95 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 497823 0 0 0 220117 78 0 0 20 0 1 0 406689308 455581696 104967 33554432000 4194304 4935366 140734823740672 140734823738424 4461218 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 111226 104967 613 181 0 104843 0
Current children cumulated CPU time: 2201.95 s
Current children cumulated vsize: 444904 KiB
Current children cumulated memory: 419868 KiB

[startup+2262.3 s]
/proc/loadavg: 1.99 2.00 1.96 3/206 12173
/proc/meminfo: memFree=27608708/32770624 swapFree=67008492/67108860
[pid=11760] ppid=11757 vsize=448764 memory=423632 CPUtime=2261.94 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 504510 0 0 0 226115 79 0 0 20 0 1 0 406689308 459534336 105908 33554432000 4194304 4935366 140734823740672 140734823738376 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 112191 105908 613 181 0 105808 0
Current children cumulated CPU time: 2261.94 s
Current children cumulated vsize: 448764 KiB
Current children cumulated memory: 423632 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/205 12180
/proc/meminfo: memFree=27604708/32770624 swapFree=67008492/67108860
[pid=11760] ppid=11757 vsize=452136 memory=427064 CPUtime=2321.93 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 512041 0 0 0 232113 80 0 0 20 0 1 0 406689308 462987264 106766 33554432000 4194304 4935366 140734823740672 140734823738376 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 113034 106766 613 181 0 106651 0
Current children cumulated CPU time: 2321.93 s
Current children cumulated vsize: 452136 KiB
Current children cumulated memory: 427064 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/205 12184
/proc/meminfo: memFree=27598884/32770624 swapFree=67008492/67108860
[pid=11760] ppid=11757 vsize=456268 memory=431248 CPUtime=2381.92 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 515129 0 0 0 238111 81 0 0 20 0 1 0 406689308 467218432 107812 33554432000 4194304 4935366 140734823740672 140734823738376 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 114067 107812 613 181 0 107684 0
Current children cumulated CPU time: 2381.92 s
Current children cumulated vsize: 456268 KiB
Current children cumulated memory: 431248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/205 12190
/proc/meminfo: memFree=27598564/32770624 swapFree=67008496/67108860
[pid=11760] ppid=11757 vsize=457516 memory=432508 CPUtime=2400.02 cores=1,3,5,7
/proc/11760/stat : 11760 (nacre_mini_rele) R 11757 11760 11077 0 -1 4202496 515838 0 0 0 239921 81 0 0 20 0 1 0 406689308 468496384 108127 33554432000 4194304 4935366 140734823740672 140734823738360 4461066 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 19931136 140734823744513 140734823744613 140734823744613 140734823747522 0
/proc/11760/statm: 114379 108127 613 181 0 107996 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 457516 KiB
Current children cumulated memory: 432508 KiB

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

[startup+2400.4 s]
# the end of solver process 11760 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.21 s, system=0.816922 s

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

Child status: 0
Real time (s): 2400.4
CPU time (s): 2400.03
CPU user time (s): 2399.21
CPU system time (s): 0.816922
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 457516
Max. memory (cumulated for all children) (KiB): 432508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.21
system time used= 0.816922
maximum resident set size= 432584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515881
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= 214
involuntary context switches= 2487


# summary of solver processes directly reported to runsolver:
#   pid: 11760
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2399.21
#   total CPU system time (s): 0.816922

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.65477 second user time and 18.3165 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-12 19:00:16
IDJOB=4391404
IDBENCH=124313
IDSOLVER=2834
FILE ID=node132/4391404-1568307666
RUNJOBID= node132-1568304897-11109
PBS_JOBID= 21701117
Free space on /tmp= 60304 MiB

SOLVER NAME= NACRE 1.0.5-Hybrid
BENCH NAME= XCSP17/Langford/Langford-m1-k4/Langford-4-16.xml
COMMAND LINE= nacre_mini_release BENCHNAME -ca -l100 -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391404-1568307666/watcher-4391404-1568307666 -o /tmp/evaluation-result-4391404-1568307666/solver-4391404-1568307666 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568304897-11109 --watchdog 2560  nacre_mini_release HOME/instance-4391404-1568307666.xml -ca -l100 -cm

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

MD5SUM BENCH= a550bb6a39ca50ab9210b9c0283e2640
RANDOM SEED=1251000773

node132.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.95
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.95
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.95
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.95
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:        30461624 kB
MemAvailable:   31799780 kB
Buffers:          112676 kB
Cached:          1496380 kB
SwapCached:         8824 kB
Active:           419496 kB
Inactive:        1309028 kB
Active(anon):     119528 kB
Inactive(anon):    26968 kB
Active(file):     299968 kB
Inactive(file):  1282060 kB
Unevictable:      110200 kB
Mlocked:          110200 kB
SwapTotal:      67108860 kB
SwapFree:       67008468 kB
Dirty:               868 kB
Writeback:             8 kB
AnonPages:        354064 kB
Mapped:            30780 kB
Shmem:             18340 kB
Slab:             172956 kB
SReclaimable:     143928 kB
SUnreclaim:        29028 kB
KernelStack:        3680 kB
PageTables:         6432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     616300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    299008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 60304 MiB
End job on node132 at 2019-09-12 19:40:17