Trace number 4268000

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
cosoco 1.12? (TO) 2520.05 2519.8999

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K14-P07.xml
MD5SUM539390230adc3c5191c5e54bc0e1cdf0
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 variables1554
Number of constraints723
Number of domains2
Minimum domain size721
Maximum domain size722
Distribution of domain sizes[{"size":721,"count":721},{"size":722,"count":98}]
Minimum variable degree0
Maximum variable degree16
Distribution of variable degrees[{"degree":0,"count":735},{"degree":2,"count":721},{"degree":15,"count":28},{"degree":16,"count":70}]
Minimum constraint arity3
Maximum constraint arity721
Distribution of constraint arities[{"arity":3,"count":721},{"arity":98,"count":1},{"arity":721,"count":1}]
Number of extensional constraints0
Number of intensional constraints721
Distribution of constraint types[{"type":"intension","count":721},{"type":"allDifferent","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.73/0.87	c root propagations     : 0           
0.73/0.87	c restarts enabled, print stats at every restarts
0.73/0.87	c
0.73/0.87	c
0.73/0.87	c
0.73/0.87	c This is cosoco 1.12 --  
0.73/0.87	c
0.73/0.87	c command line: cosoco -lc -model -restarts HOME/instance-4268000-1502511944.xml 
0.73/0.87	c ========================================[ Problem Statistics ]===========================================
0.73/0.87	c |                                                                                                       
0.73/0.87	c |  Parse time        :         0.78 s 
0.73/0.87	c |
0.73/0.87	c |               Variables: 1554
0.73/0.87	c |            Domain Sizes: 721..722
0.73/0.87	c |
0.73/0.87	c |             Constraints: 723
0.73/0.87	c |                   Arity: 3..721  -- Ternary: 721
0.73/0.87	c | 
0.73/0.87	c |                   Types: 
0.73/0.87	c |                          All Different: 2
0.73/0.87	c |                          Intension: 721
0.73/0.87	c |                          
0.73/0.87	c =========================================================================================================
0.73/0.87	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.73/0.87	c remove useless variable ce[0][0][0]
0.73/0.87	c remove useless variable ce[0][1][0]
0.73/0.87	c remove useless variable ce[0][1][1]
0.73/0.87	c remove useless variable ce[0][2][0]
0.73/0.87	c remove useless variable ce[0][2][1]
0.73/0.87	c remove useless variable ce[0][2][2]
0.73/0.87	c remove useless variable ce[0][3][0]
0.73/0.87	c remove useless variable ce[0][3][1]
0.73/0.87	c remove useless variable ce[0][3][2]
0.73/0.87	c remove useless variable ce[0][3][3]
0.73/0.87	c remove useless variable ce[0][4][0]
0.73/0.87	c remove useless variable ce[0][4][1]
0.73/0.87	c remove useless variable ce[0][4][2]
0.73/0.87	c remove useless variable ce[0][4][3]
0.73/0.87	c remove useless variable ce[0][4][4]
0.73/0.87	c remove useless variable ce[0][5][0]
0.73/0.87	c remove useless variable ce[0][5][1]
0.73/0.87	c remove useless variable ce[0][5][2]
0.73/0.87	c remove useless variable ce[0][5][3]
0.73/0.87	c remove useless variable ce[0][5][4]
0.73/0.87	c remove useless variable ce[0][5][5]
0.73/0.87	c remove useless variable ce[0][6][0]
0.73/0.87	c remove useless variable ce[0][6][1]
0.73/0.87	c remove useless variable ce[0][6][2]
0.73/0.87	c remove useless variable ce[0][6][3]
0.73/0.87	c remove useless variable ce[0][6][4]
0.73/0.87	c remove useless variable ce[0][6][5]
0.73/0.87	c remove useless variable ce[0][6][6]
0.73/0.87	c remove useless variable ce[0][7][0]
0.73/0.87	c remove useless variable ce[0][7][1]
0.73/0.87	c remove useless variable ce[0][7][2]
0.73/0.87	c remove useless variable ce[0][7][3]
0.73/0.87	c remove useless variable ce[0][7][4]
0.73/0.87	c remove useless variable ce[0][7][5]
0.73/0.87	c remove useless variable ce[0][7][6]
0.73/0.87	c remove useless variable ce[0][7][7]
0.73/0.87	c remove useless variable ce[0][8][0]
0.73/0.87	c remove useless variable ce[0][8][1]
0.73/0.87	c remove useless variable ce[0][8][2]
0.73/0.87	c remove useless variable ce[0][8][3]
0.73/0.87	c remove useless variable ce[0][8][4]
0.73/0.87	c remove useless variable ce[0][8][5]
0.73/0.87	c remove useless variable ce[0][8][6]
0.73/0.87	c remove useless variable ce[0][8][7]
0.73/0.87	c remove useless variable ce[0][8][8]
0.73/0.87	c remove useless variable ce[0][9][0]
0.73/0.87	c remove useless variable ce[0][9][1]
0.73/0.87	c remove useless variable ce[0][9][2]
0.73/0.87	c remove useless variable ce[0][9][3]
0.73/0.87	c remove useless variable ce[0][9][4]
0.73/0.87	c remove useless variable ce[0][9][5]
0.73/0.87	c remove useless variable ce[0][9][6]
0.73/0.87	c remove useless variable ce[0][9][7]
0.73/0.87	c remove useless variable ce[0][9][8]
0.73/0.87	c remove useless variable ce[0][9][9]
0.73/0.87	c remove useless variable ce[0][10][0]
0.73/0.87	c remove useless variable ce[0][10][1]
0.73/0.87	c remove useless variable ce[0][10][2]
0.73/0.87	c remove useless variable ce[0][10][3]
0.73/0.87	c remove useless variable ce[0][10][4]
0.73/0.87	c remove useless variable ce[0][10][5]
0.73/0.87	c remove useless variable ce[0][10][6]
0.73/0.87	c remove useless variable ce[0][10][7]
0.73/0.87	c remove useless variable ce[0][10][8]
0.73/0.87	c remove useless variable ce[0][10][9]
0.73/0.87	c remove useless variable ce[0][10][10]
0.73/0.87	c remove useless variable ce[0][11][0]
0.73/0.87	c remove useless variable ce[0][11][1]
0.73/0.87	c remove useless variable ce[0][11][2]
0.73/0.87	c remove useless variable ce[0][11][3]
0.73/0.87	c remove useless variable ce[0][11][4]
0.73/0.87	c remove useless variable ce[0][11][5]
0.73/0.87	c remove useless variable ce[0][11][6]
0.73/0.87	c remove useless variable ce[0][11][7]
0.73/0.87	c remove useless variable ce[0][11][8]
0.73/0.87	c remove useless variable ce[0][11][9]
0.73/0.87	c remove useless variable ce[0][11][10]
0.73/0.87	c remove useless variable ce[0][11][11]
0.73/0.87	c remove useless variable ce[0][12][0]
0.73/0.87	c remove useless variable ce[0][12][1]
0.73/0.87	c remove useless variable ce[0][12][2]
0.73/0.87	c remove useless variable ce[0][12][3]
0.73/0.87	c remove useless variable ce[0][12][4]
0.73/0.87	c remove useless variable ce[0][12][5]
0.73/0.87	c remove useless variable ce[0][12][6]
0.73/0.87	c remove useless variable ce[0][12][7]
0.73/0.87	c remove useless variable ce[0][12][8]
0.73/0.87	c remove useless variable ce[0][12][9]
0.73/0.87	c remove useless variable ce[0][12][10]
0.73/0.87	c remove useless variable ce[0][12][11]
0.73/0.87	c remove useless variable ce[0][12][12]
0.73/0.87	c remove useless variable ce[0][13][0]
0.73/0.87	c remove useless variable ce[0][13][1]
0.73/0.87	c remove useless variable ce[0][13][2]
0.73/0.87	c remove useless variable ce[0][13][3]
0.73/0.87	c remove useless variable ce[0][13][4]
0.73/0.87	c remove useless variable ce[0][13][5]
0.73/0.87	c remove useless variable ce[0][13][6]
0.73/0.87	c remove useless variable ce[0][13][7]
0.73/0.87	c remove useless variable ce[0][13][8]
0.73/0.87	c remove useless variable ce[0][13][9]
0.73/0.87	c remove useless variable ce[0][13][10]
0.73/0.87	c remove useless variable ce[0][13][11]
0.73/0.87	c remove useless variable ce[0][13][12]
0.73/0.87	c remove useless variable ce[0][13][13]
0.73/0.87	c remove useless variable ce[1][0][0]
0.73/0.87	c remove useless variable ce[1][1][0]
0.73/0.87	c remove useless variable ce[1][1][1]
0.73/0.87	c remove useless variable ce[1][2][0]
0.73/0.87	c remove useless variable ce[1][2][1]
0.73/0.87	c remove useless variable ce[1][2][2]
0.73/0.87	c remove useless variable ce[1][3][0]
0.73/0.87	c remove useless variable ce[1][3][1]
0.73/0.87	c remove useless variable ce[1][3][2]
0.73/0.87	c remove useless variable ce[1][3][3]
0.73/0.87	c remove useless variable ce[1][4][0]
0.73/0.87	c remove useless variable ce[1][4][1]
0.73/0.87	c remove useless variable ce[1][4][2]
0.73/0.87	c remove useless variable ce[1][4][3]
0.73/0.87	c remove useless variable ce[1][4][4]
0.73/0.87	c remove useless variable ce[1][5][0]
0.73/0.87	c remove useless variable ce[1][5][1]
0.73/0.87	c remove useless variable ce[1][5][2]
0.73/0.87	c remove useless variable ce[1][5][3]
0.73/0.87	c remove useless variable ce[1][5][4]
0.73/0.87	c remove useless variable ce[1][5][5]
0.73/0.87	c remove useless variable ce[1][6][0]
0.73/0.87	c remove useless variable ce[1][6][1]
0.73/0.87	c remove useless variable ce[1][6][2]
0.73/0.87	c remove useless variable ce[1][6][3]
0.73/0.87	c remove useless variable ce[1][6][4]
0.73/0.87	c remove useless variable ce[1][6][5]
0.73/0.87	c remove useless variable ce[1][6][6]
0.73/0.87	c remove useless variable ce[1][7][0]
0.73/0.87	c remove useless variable ce[1][7][1]
0.73/0.87	c remove useless variable ce[1][7][2]
0.73/0.87	c remove useless variable ce[1][7][3]
0.73/0.87	c remove useless variable ce[1][7][4]
0.73/0.87	c remove useless variable ce[1][7][5]
0.73/0.87	c remove useless variable ce[1][7][6]
0.73/0.87	c remove useless variable ce[1][7][7]
0.73/0.87	c remove useless variable ce[1][8][0]
0.73/0.87	c remove useless variable ce[1][8][1]
0.73/0.87	c remove useless variable ce[1][8][2]
0.73/0.87	c remove useless variable ce[1][8][3]
0.73/0.87	c remove useless variable ce[1][8][4]
0.73/0.87	c remove useless variable ce[1][8][5]
0.73/0.87	c remove useless variable ce[1][8][6]
0.73/0.87	c remove useless variable ce[1][8][7]
0.73/0.87	c remove useless variable ce[1][8][8]
0.73/0.87	c remove useless variable ce[1][9][0]
0.73/0.87	c remove useless variable ce[1][9][1]
0.73/0.87	c remove useless variable ce[1][9][2]
0.73/0.87	c remove useless variable ce[1][9][3]
0.73/0.87	c remove useless variable ce[1][9][4]
0.73/0.87	c remove useless variable ce[1][9][5]
0.73/0.87	c remove useless variable ce[1][9][6]
0.73/0.87	c remove useless variable ce[1][9][7]
0.73/0.87	c remove useless variable ce[1][9][8]
0.73/0.87	c remove useless variable ce[1][9][9]
0.73/0.87	c remove useless variable ce[1][10][0]
0.73/0.87	c remove useless variable ce[1][10][1]
0.73/0.87	c remove useless variable ce[1][10][2]
0.73/0.87	c remove useless variable ce[1][10][3]
0.73/0.87	c remove useless variable ce[1][10][4]
0.73/0.87	c remove useless variable ce[1][10][5]
0.73/0.87	c remove useless variable ce[1][10][6]
0.73/0.87	c remove useless variable ce[1][10][7]
0.73/0.87	c remove useless variable ce[1][10][8]
0.73/0.87	c remove useless variable ce[1][10][9]
0.73/0.87	c remove useless variable ce[1][10][10]
0.73/0.87	c remove useless variable ce[1][11][0]
0.73/0.87	c remove useless variable ce[1][11][1]
0.73/0.87	c remove useless variable ce[1][11][2]
0.73/0.87	c remove useless variable ce[1][11][3]
0.73/0.87	c remove useless variable ce[1][11][4]
0.73/0.87	c remove useless variable ce[1][11][5]
0.73/0.87	c remove useless variable ce[1][11][6]
0.73/0.87	c remove useless variable ce[1][11][7]
0.73/0.87	c remove useless variable ce[1][11][8]
0.73/0.87	c remove useless variable ce[1][11][9]
0.73/0.87	c remove useless variable ce[1][11][10]
0.73/0.87	c remove useless variable ce[1][11][11]
0.73/0.87	c remove useless variable ce[1][12][0]
0.73/0.87	c remove useless variable ce[1][12][1]
0.73/0.87	c remove useless variable ce[1][12][2]
0.73/0.87	c remove useless variable ce[1][12][3]
0.73/0.87	c remove useless variable ce[1][12][4]
0.73/0.87	c remove useless variable ce[1][12][5]
0.73/0.87	c remove useless variable ce[1][12][6]
0.73/0.87	c remove useless variable ce[1][12][7]
0.73/0.87	c remove useless variable ce[1][12][8]
0.73/0.87	c remove useless variable ce[1][12][9]
0.73/0.87	c remove useless variable ce[1][12][10]
0.73/0.87	c remove useless variable ce[1][12][11]
0.73/0.87	c remove useless variable ce[1][12][12]
0.73/0.87	c remove useless variable ce[1][13][0]
0.73/0.87	c remove useless variable ce[1][13][1]
0.73/0.87	c remove useless variable ce[1][13][2]
0.73/0.87	c remove useless variable ce[1][13][3]
0.73/0.87	c remove useless variable ce[1][13][4]
0.73/0.87	c remove useless variable ce[1][13][5]
0.73/0.87	c remove useless variable ce[1][13][6]
0.73/0.87	c remove useless variable ce[1][13][7]
0.73/0.87	c remove useless variable ce[1][13][8]
0.73/0.87	c remove useless variable ce[1][13][9]
0.73/0.87	c remove useless variable ce[1][13][10]
0.73/0.87	c remove useless variable ce[1][13][11]
0.73/0.87	c remove useless variable ce[1][13][12]
0.73/0.87	c remove useless variable ce[1][13][13]
0.73/0.87	c remove useless variable ce[2][0][0]
0.73/0.87	c remove useless variable ce[2][1][0]
0.73/0.87	c remove useless variable ce[2][1][1]
0.73/0.87	c remove useless variable ce[2][2][0]
0.73/0.87	c remove useless variable ce[2][2][1]
0.73/0.87	c remove useless variable ce[2][2][2]
0.73/0.87	c remove useless variable ce[2][3][0]
0.73/0.87	c remove useless variable ce[2][3][1]
0.73/0.87	c remove useless variable ce[2][3][2]
0.73/0.87	c remove useless variable ce[2][3][3]
0.73/0.87	c remove useless variable ce[2][4][0]
0.73/0.87	c remove useless variable ce[2][4][1]
0.73/0.87	c remove useless variable ce[2][4][2]
0.73/0.87	c remove useless variable ce[2][4][3]
0.73/0.87	c remove useless variable ce[2][4][4]
0.73/0.87	c remove useless variable ce[2][5][0]
0.73/0.87	c remove useless variable ce[2][5][1]
0.73/0.87	c remove useless variable ce[2][5][2]
0.73/0.87	c remove useless variable ce[2][5][3]
0.73/0.87	c remove useless variable ce[2][5][4]
0.73/0.87	c remove useless variable ce[2][5][5]
0.73/0.87	c remove useless variable ce[2][6][0]
0.73/0.87	c remove useless variable ce[2][6][1]
0.73/0.87	c remove useless variable ce[2][6][2]
0.73/0.87	c remove useless variable ce[2][6][3]
0.73/0.87	c remove useless variable ce[2][6][4]
0.73/0.87	c remove useless variable ce[2][6][5]
0.73/0.87	c remove useless variable ce[2][6][6]
0.73/0.87	c remove useless variable ce[2][7][0]
0.73/0.87	c remove useless variable ce[2][7][1]
0.73/0.87	c remove useless variable ce[2][7][2]
0.73/0.87	c remove useless variable ce[2][7][3]
0.73/0.87	c remove useless variable ce[2][7][4]
0.73/0.87	c remove useless variable ce[2][7][5]
0.73/0.87	c remove useless variable ce[2][7][6]
0.73/0.87	c remove useless variable ce[2][7][7]
0.73/0.87	c remove useless variable ce[2][8][0]
0.73/0.87	c remove useless variable ce[2][8][1]
0.73/0.87	c remove useless variable ce[2][8][2]
0.73/0.87	c remove useless variable ce[2][8][3]
0.73/0.87	c remove useless variable ce[2][8][4]
0.73/0.87	c remove useless variable ce[2][8][5]
0.73/0.87	c remove useless variable ce[2][8][6]
0.73/0.87	c remove useless variable ce[2][8][7]
0.73/0.87	c remove useless variable ce[2][8][8]
0.73/0.87	c remove useless variable ce[2][9][0]
0.73/0.87	c remove useless variable ce[2][9][1]
0.73/0.87	c remove useless variable ce[2][9][2]
0.73/0.87	c remove useless variable ce[2][9][3]
0.73/0.87	c remove useless variable ce[2][9][4]
0.73/0.87	c remove useless variable ce[2][9][5]
0.73/0.87	c remove useless variable ce[2][9][6]
0.73/0.87	c remove useless variable ce[2][9][7]
0.73/0.87	c remove useless variable ce[2][9][8]
0.73/0.87	c remove useless variable ce[2][9][9]
0.73/0.87	c remove useless variable ce[2][10][0]
0.73/0.87	c remove useless variable ce[2][10][1]
0.73/0.87	c remove useless variable ce[2][10][2]
0.73/0.87	c remove useless variable ce[2][10][3]
0.73/0.87	c remove useless variable ce[2][10][4]
0.73/0.87	c remove useless variable ce[2][10][5]
0.73/0.87	c remove useless variable ce[2][10][6]
0.73/0.87	c remove useless variable ce[2][10][7]
0.73/0.87	c remove useless variable ce[2][10][8]
0.73/0.87	c remove useless variable ce[2][10][9]
0.73/0.87	c remove useless variable ce[2][10][10]
0.73/0.87	c remove useless variable ce[2][11][0]
0.73/0.87	c remove useless variable ce[2][11][1]
0.73/0.87	c remove useless variable ce[2][11][2]
0.73/0.87	c remove useless variable ce[2][11][3]
0.73/0.87	c remove useless variable ce[2][11][4]
0.73/0.87	c remove useless variable ce[2][11][5]
0.73/0.87	c remove useless variable ce[2][11][6]
0.73/0.87	c remove useless variable ce[2][11][7]
0.73/0.87	c remove useless variable ce[2][11][8]
0.73/0.87	c remove useless variable ce[2][11][9]
0.73/0.87	c remove useless variable ce[2][11][10]
0.73/0.87	c remove useless variable ce[2][11][11]
0.73/0.87	c remove useless variable ce[2][12][0]
0.73/0.87	c remove useless variable ce[2][12][1]
0.73/0.87	c remove useless variable ce[2][12][2]
0.73/0.87	c remove useless variable ce[2][12][3]
0.73/0.87	c remove useless variable ce[2][12][4]
0.73/0.87	c remove useless variable ce[2][12][5]
0.73/0.87	c remove useless variable ce[2][12][6]
0.73/0.87	c remove useless variable ce[2][12][7]
0.73/0.87	c remove useless variable ce[2][12][8]
0.73/0.87	c remove useless variable ce[2][12][9]
0.73/0.87	c remove useless variable ce[2][12][10]
0.73/0.87	c remove useless variable ce[2][12][11]
0.73/0.87	c remove useless variable ce[2][12][12]
0.73/0.87	c remove useless variable ce[2][13][0]
0.73/0.87	c remove useless variable ce[2][13][1]
0.73/0.87	c remove useless variable ce[2][13][2]
0.73/0.87	c remove useless variable ce[2][13][3]
0.73/0.87	c remove useless variable ce[2][13][4]
0.73/0.87	c remove useless variable ce[2][13][5]
0.73/0.87	c remove useless variable ce[2][13][6]
0.73/0.87	c remove useless variable ce[2][13][7]
0.73/0.87	c remove useless variable ce[2][13][8]
0.73/0.87	c remove useless variable ce[2][13][9]
0.73/0.87	c remove useless variable ce[2][13][10]
0.73/0.87	c remove useless variable ce[2][13][11]
0.73/0.87	c remove useless variable ce[2][13][12]
0.73/0.87	c remove useless variable ce[2][13][13]
0.73/0.87	c remove useless variable ce[3][0][0]
0.73/0.87	c remove useless variable ce[3][1][0]
0.73/0.87	c remove useless variable ce[3][1][1]
0.73/0.87	c remove useless variable ce[3][2][0]
0.73/0.87	c remove useless variable ce[3][2][1]
0.73/0.87	c remove useless variable ce[3][2][2]
0.73/0.87	c remove useless variable ce[3][3][0]
0.73/0.87	c remove useless variable ce[3][3][1]
0.73/0.87	c remove useless variable ce[3][3][2]
0.73/0.87	c remove useless variable ce[3][3][3]
0.73/0.87	c remove useless variable ce[3][4][0]
0.73/0.87	c remove useless variable ce[3][4][1]
0.73/0.87	c remove useless variable ce[3][4][2]
0.73/0.87	c remove useless variable ce[3][4][3]
0.73/0.87	c remove useless variable ce[3][4][4]
0.73/0.87	c remove useless variable ce[3][5][0]
0.73/0.87	c remove useless variable ce[3][5][1]
0.73/0.87	c remove useless variable ce[3][5][2]
0.73/0.87	c remove useless variable ce[3][5][3]
0.73/0.87	c remove useless variable ce[3][5][4]
0.73/0.87	c remove useless variable ce[3][5][5]
0.73/0.87	c remove useless variable ce[3][6][0]
0.73/0.87	c remove useless variable ce[3][6][1]
0.73/0.87	c remove useless variable ce[3][6][2]
0.73/0.87	c remove useless variable ce[3][6][3]
0.73/0.87	c remove useless variable ce[3][6][4]
0.73/0.87	c remove useless variable ce[3][6][5]
0.73/0.87	c remove useless variable ce[3][6][6]
0.73/0.87	c remove useless variable ce[3][7][0]
0.73/0.87	c remove useless variable ce[3][7][1]
0.73/0.87	c remove useless variable ce[3][7][2]
0.73/0.87	c remove useless variable ce[3][7][3]
0.73/0.87	c remove useless variable ce[3][7][4]
0.73/0.87	c remove useless variable ce[3][7][5]
0.73/0.87	c remove useless variable ce[3][7][6]
0.73/0.87	c remove useless variable ce[3][7][7]
0.73/0.87	c remove useless variable ce[3][8][0]
0.73/0.87	c remove useless variable ce[3][8][1]
0.73/0.87	c remove useless variable ce[3][8][2]
0.73/0.87	c remove useless variable ce[3][8][3]
0.73/0.87	c remove useless variable ce[3][8][4]
0.73/0.87	c remove useless variable ce[3][8][5]
0.73/0.87	c remove useless variable ce[3][8][6]
0.73/0.87	c remove useless variable ce[3][8][7]
0.73/0.87	c remove useless variable ce[3][8][8]
0.73/0.87	c remove useless variable ce[3][9][0]
0.73/0.87	c remove useless variable ce[3][9][1]
0.73/0.87	c remove useless variable ce[3][9][2]
0.73/0.87	c remove useless variable ce[3][9][3]
0.73/0.87	c remove useless variable ce[3][9][4]
0.73/0.87	c remove useless variable ce[3][9][5]
0.73/0.87	c remove useless variable ce[3][9][6]
0.73/0.87	c remove useless variable ce[3][9][7]
0.73/0.87	c remove useless variable ce[3][9][8]
0.73/0.87	c remove useless variable ce[3][9][9]
0.73/0.87	c remove useless variable ce[3][10][0]
0.73/0.87	c remove useless variable ce[3][10][1]
0.73/0.87	c remove useless variable ce[3][10][2]
0.73/0.87	c remove useless variable ce[3][10][3]
0.73/0.87	c remove useless variable ce[3][10][4]
0.73/0.87	c remove useless variable ce[3][10][5]
0.73/0.87	c remove useless variable ce[3][10][6]
0.73/0.87	c remove useless variable ce[3][10][7]
0.73/0.87	c remove useless variable ce[3][10][8]
0.73/0.87	c remove useless variable ce[3][10][9]
0.73/0.87	c remove useless variable ce[3][10][10]
0.73/0.87	c remove useless variable ce[3][11][0]
0.73/0.87	c remove useless variable ce[3][11][1]
0.73/0.87	c remove useless variable ce[3][11][2]
0.73/0.87	c remove useless variable ce[3][11][3]
0.73/0.87	c remove useless variable ce[3][11][4]
0.73/0.87	c remove useless variable ce[3][11][5]
0.73/0.87	c remove useless variable ce[3][11][6]
0.73/0.87	c remove useless variable ce[3][11][7]
0.73/0.87	c remove useless variable ce[3][11][8]
0.73/0.87	c remove useless variable ce[3][11][9]
0.73/0.87	c remove useless variable ce[3][11][10]
0.73/0.87	c remove useless variable ce[3][11][11]
0.73/0.87	c remove useless variable ce[3][12][0]
0.73/0.87	c remove useless variable ce[3][12][1]
0.73/0.87	c remove useless variable ce[3][12][2]
0.73/0.87	c remove useless variable ce[3][12][3]
0.73/0.87	c remove useless variable ce[3][12][4]
0.73/0.87	c remove useless variable ce[3][12][5]
0.73/0.87	c remove useless variable ce[3][12][6]
0.73/0.87	c remove useless variable ce[3][12][7]
0.73/0.87	c remove useless variable ce[3][12][8]
0.73/0.87	c remove useless variable ce[3][12][9]
0.73/0.87	c remove useless variable ce[3][12][10]
0.73/0.87	c remove useless variable ce[3][12][11]
0.73/0.87	c remove useless variable ce[3][12][12]
0.73/0.87	c remove useless variable ce[3][13][0]
0.73/0.87	c remove useless variable ce[3][13][1]
0.73/0.87	c remove useless variable ce[3][13][2]
0.73/0.87	c remove useless variable ce[3][13][3]
0.73/0.87	c remove useless variable ce[3][13][4]
0.73/0.87	c remove useless variable ce[3][13][5]
0.73/0.87	c remove useless variable ce[3][13][6]
0.73/0.87	c remove useless variable ce[3][13][7]
0.73/0.87	c remove useless variable ce[3][13][8]
0.73/0.87	c remove useless variable ce[3][13][9]
0.73/0.87	c remove useless variable ce[3][13][10]
0.73/0.87	c remove useless variable ce[3][13][11]
0.73/0.87	c remove useless variable ce[3][13][12]
0.73/0.87	c remove useless variable ce[3][13][13]
0.73/0.87	c remove useless variable ce[4][0][0]
0.73/0.87	c remove useless variable ce[4][1][0]
0.73/0.87	c remove useless variable ce[4][1][1]
0.73/0.87	c remove useless variable ce[4][2][0]
0.73/0.87	c remove useless variable ce[4][2][1]
0.73/0.87	c remove useless variable ce[4][2][2]
0.73/0.87	c remove useless variable ce[4][3][0]
0.73/0.87	c remove useless variable ce[4][3][1]
0.73/0.87	c remove useless variable ce[4][3][2]
0.73/0.87	c remove useless variable ce[4][3][3]
0.73/0.87	c remove useless variable ce[4][4][0]
0.73/0.87	c remove useless variable ce[4][4][1]
0.73/0.87	c remove useless variable ce[4][4][2]
0.73/0.87	c remove useless variable ce[4][4][3]
0.73/0.87	c remove useless variable ce[4][4][4]
0.73/0.87	c remove useless variable ce[4][5][0]
0.73/0.87	c remove useless variable ce[4][5][1]
0.73/0.87	c remove useless variable ce[4][5][2]
0.73/0.87	c remove useless variable ce[4][5][3]
0.73/0.87	c remove useless variable ce[4][5][4]
0.73/0.87	c remove useless variable ce[4][5][5]
0.73/0.87	c remove useless variable ce[4][6][0]
0.73/0.87	c remove useless variable ce[4][6][1]
0.73/0.87	c remove useless variable ce[4][6][2]
0.73/0.87	c remove useless variable ce[4][6][3]
0.73/0.87	c remove useless variable ce[4][6][4]
0.73/0.87	c remove useless variable ce[4][6][5]
0.73/0.87	c remove useless variable ce[4][6][6]
0.73/0.87	c remove useless variable ce[4][7][0]
0.73/0.87	c remove useless variable ce[4][7][1]
0.73/0.87	c remove useless variable ce[4][7][2]
0.73/0.87	c remove useless variable ce[4][7][3]
0.73/0.87	c remove useless variable ce[4][7][4]
0.73/0.87	c remove useless variable ce[4][7][5]
0.73/0.87	c remove useless variable ce[4][7][6]
0.73/0.87	c remove useless variable ce[4][7][7]
0.73/0.87	c remove useless variable ce[4][8][0]
0.73/0.87	c remove useless variable ce[4][8][1]
0.73/0.87	c remove useless variable ce[4][8][2]
0.73/0.87	c remove useless variable ce[4][8][3]
0.73/0.87	c remove useless variable ce[4][8][4]
0.73/0.87	c remove useless variable ce[4][8][5]
0.73/0.87	c remove useless variable ce[4][8][6]
0.73/0.87	c remove useless variable ce[4][8][7]
0.73/0.87	c remove useless variable ce[4][8][8]
0.73/0.87	c remove useless variable ce[4][9][0]
0.73/0.87	c remove useless variable ce[4][9][1]
0.73/0.87	c remove useless variable ce[4][9][2]
0.73/0.87	c remove useless variable ce[4][9][3]
0.73/0.87	c remove useless variable ce[4][9][4]
0.73/0.87	c remove useless variable ce[4][9][5]
0.73/0.87	c remove useless variable ce[4][9][6]
0.73/0.87	c remove useless variable ce[4][9][7]
0.73/0.87	c remove useless variable ce[4][9][8]
0.73/0.87	c remove useless variable ce[4][9][9]
0.73/0.87	c remove useless variable ce[4][10][0]
0.73/0.87	c remove useless variable ce[4][10][1]
0.73/0.87	c remove useless variable ce[4][10][2]
0.73/0.87	c remove useless variable ce[4][10][3]
0.73/0.87	c remove useless variable ce[4][10][4]
0.73/0.87	c remove useless variable ce[4][10][5]
0.73/0.87	c remove useless variable ce[4][10][6]
0.73/0.87	c remove useless variable ce[4][10][7]
0.73/0.87	c remove useless variable ce[4][10][8]
0.73/0.87	c remove useless variable ce[4][10][9]
0.73/0.87	c remove useless variable ce[4][10][10]
0.73/0.87	c remove useless variable ce[4][11][0]
0.73/0.87	c remove useless variable ce[4][11][1]
0.73/0.87	c remove useless variable ce[4][11][2]
0.73/0.87	c remove useless variable ce[4][11][3]
0.73/0.87	c remove useless variable ce[4][11][4]
0.73/0.87	c remove useless variable ce[4][11][5]
0.73/0.87	c remove useless variable ce[4][11][6]
0.73/0.87	c remove useless variable ce[4][11][7]
0.73/0.87	c remove useless variable ce[4][11][8]
0.73/0.87	c remove useless variable ce[4][11][9]
0.73/0.87	c remove useless variable ce[4][11][10]
0.73/0.87	c remove useless variable ce[4][11][11]
0.73/0.87	c remove useless variable ce[4][12][0]
0.73/0.87	c remove useless variable ce[4][12][1]
0.73/0.87	c remove useless variable ce[4][12][2]
0.73/0.87	c remove useless variable ce[4][12][3]
0.73/0.87	c remove useless variable ce[4][12][4]
0.73/0.87	c remove useless variable ce[4][12][5]
0.73/0.87	c remove useless variable ce[4][12][6]
0.73/0.87	c remove useless variable ce[4][12][7]
0.73/0.87	c remove useless variable ce[4][12][8]
0.73/0.87	c remove useless variable ce[4][12][9]
0.73/0.87	c remove useless variable ce[4][12][10]
0.73/0.87	c remove useless variable ce[4][12][11]
0.73/0.87	c remove useless variable ce[4][12][12]
0.73/0.87	c remove useless variable ce[4][13][0]
0.73/0.87	c remove useless variable ce[4][13][1]
0.73/0.87	c remove useless variable ce[4][13][2]
0.73/0.87	c remove useless variable ce[4][13][3]
0.73/0.87	c remove useless variable ce[4][13][4]
0.73/0.87	c remove useless variable ce[4][13][5]
0.73/0.87	c remove useless variable ce[4][13][6]
0.73/0.87	c remove useless variable ce[4][13][7]
0.73/0.87	c remove useless variable ce[4][13][8]
0.73/0.87	c remove useless variable ce[4][13][9]
0.73/0.87	c remove useless variable ce[4][13][10]
0.73/0.87	c remove useless variable ce[4][13][11]
0.73/0.87	c remove useless variable ce[4][13][12]
0.73/0.87	c remove useless variable ce[4][13][13]
0.73/0.87	c remove useless variable ce[5][0][0]
0.73/0.87	c remove useless variable ce[5][1][0]
0.73/0.87	c remove useless variable ce[5][1][1]
0.73/0.87	c remove useless variable ce[5][2][0]
0.73/0.87	c remove useless variable ce[5][2][1]
0.73/0.87	c remove useless variable ce[5][2][2]
0.73/0.87	c remove useless variable ce[5][3][0]
0.73/0.87	c remove useless variable ce[5][3][1]
0.73/0.87	c remove useless variable ce[5][3][2]
0.73/0.87	c remove useless variable ce[5][3][3]
0.73/0.87	c remove useless variable ce[5][4][0]
0.73/0.87	c remove useless variable ce[5][4][1]
0.73/0.87	c remove useless variable ce[5][4][2]
0.73/0.87	c remove useless variable ce[5][4][3]
0.73/0.87	c remove useless variable ce[5][4][4]
0.73/0.87	c remove useless variable ce[5][5][0]
0.73/0.87	c remove useless variable ce[5][5][1]
0.73/0.87	c remove useless variable ce[5][5][2]
0.73/0.87	c remove useless variable ce[5][5][3]
0.73/0.87	c remove useless variable ce[5][5][4]
0.73/0.87	c remove useless variable ce[5][5][5]
0.73/0.87	c remove useless variable ce[5][6][0]
0.73/0.87	c remove useless variable ce[5][6][1]
0.73/0.87	c remove useless variable ce[5][6][2]
0.73/0.87	c remove useless variable ce[5][6][3]
0.73/0.87	c remove useless variable ce[5][6][4]
0.73/0.87	c remove useless variable ce[5][6][5]
0.73/0.87	c remove useless variable ce[5][6][6]
0.73/0.87	c remove useless variable ce[5][7][0]
0.73/0.87	c remove useless variable ce[5][7][1]
0.73/0.87	c remove useless variable ce[5][7][2]
0.73/0.87	c remove useless variable ce[5][7][3]
0.73/0.87	c remove useless variable ce[5][7][4]
0.73/0.87	c remove useless variable ce[5][7][5]
0.73/0.87	c remove useless variable ce[5][7][6]
0.73/0.87	c remove useless variable ce[5][7][7]
0.73/0.87	c remove useless variable ce[5][8][0]
0.73/0.87	c remove useless variable ce[5][8][1]
0.73/0.87	c remove useless variable ce[5][8][2]
0.73/0.87	c remove useless variable ce[5][8][3]
0.73/0.87	c remove useless variable ce[5][8][4]
0.73/0.87	c remove useless variable ce[5][8][5]
0.73/0.87	c remove useless variable ce[5][8][6]
0.73/0.87	c remove useless variable ce[5][8][7]
0.73/0.87	c remove useless variable ce[5][8][8]
0.73/0.87	c remove useless variable ce[5][9][0]
0.73/0.87	c remove useless variable ce[5][9][1]
0.73/0.87	c remove useless variable ce[5][9][2]
0.73/0.87	c remove useless variable ce[5][9][3]
0.73/0.87	c remove useless variable ce[5][9][4]
0.73/0.87	c remove useless variable ce[5][9][5]
0.73/0.87	c remove useless variable ce[5][9][6]
0.73/0.87	c remove useless variable ce[5][9][7]
0.73/0.87	c remove useless variable ce[5][9][8]
0.73/0.87	c remove useless variable ce[5][9][9]
0.73/0.87	c remove useless variable ce[5][10][0]
0.73/0.87	c remove useless variable ce[5][10][1]
0.73/0.87	c remove useless variable ce[5][10][2]
0.73/0.87	c remove useless variable ce[5][10][3]
0.73/0.87	c remove useless variable ce[5][10][4]
0.73/0.87	c remove useless variable ce[5][10][5]
0.73/0.87	c remove useless variable ce[5][10][6]
0.73/0.87	c remove useless variable ce[5][10][7]
0.73/0.87	c remove useless variable ce[5][10][8]
0.73/0.87	c remove useless variable ce[5][10][9]
0.73/0.87	c remove useless variable ce[5][10][10]
0.73/0.87	c remove useless variable ce[5][11][0]
0.73/0.87	c remove useless variable ce[5][11][1]
0.73/0.87	c remove useless variable ce[5][11][2]
0.73/0.87	c remove useless variable ce[5][11][3]
0.73/0.87	c remove useless variable ce[5][11][4]
0.73/0.87	c remove useless variable ce[5][11][5]
0.73/0.87	c remove useless variable ce[5][11][6]
0.73/0.87	c remove useless variable ce[5][11][7]
0.73/0.87	c remove useless variable ce[5][11][8]
0.73/0.87	c remove useless variable ce[5][11][9]
0.73/0.87	c remove useless variable ce[5][11][10]
0.73/0.87	c remove useless variable ce[5][11][11]
0.73/0.87	c remove useless variable ce[5][12][0]
0.73/0.87	c remove useless variable ce[5][12][1]
0.73/0.87	c remove useless variable ce[5][12][2]
0.73/0.87	c remove useless variable ce[5][12][3]
0.73/0.87	c remove useless variable ce[5][12][4]
0.73/0.87	c remove useless variable ce[5][12][5]
0.73/0.87	c remove useless variable ce[5][12][6]
0.73/0.87	c remove useless variable ce[5][12][7]
0.73/0.87	c remove useless variable ce[5][12][8]
0.73/0.87	c remove useless variable ce[5][12][9]
0.73/0.87	c remove useless variable ce[5][12][10]
0.73/0.87	c remove useless variable ce[5][12][11]
0.73/0.87	c remove useless variable ce[5][12][12]
0.73/0.87	c remove useless variable ce[5][13][0]
0.73/0.87	c remove useless variable ce[5][13][1]
0.73/0.87	c remove useless variable ce[5][13][2]
0.73/0.87	c remove useless variable ce[5][13][3]
0.73/0.87	c remove useless variable ce[5][13][4]
0.73/0.87	c remove useless variable ce[5][13][5]
0.73/0.87	c remove useless variable ce[5][13][6]
0.73/0.87	c remove useless variable ce[5][13][7]
0.73/0.87	c remove useless variable ce[5][13][8]
0.73/0.87	c remove useless variable ce[5][13][9]
0.73/0.87	c remove useless variable ce[5][13][10]
0.73/0.87	c remove useless variable ce[5][13][11]
0.73/0.87	c remove useless variable ce[5][13][12]
0.73/0.87	c remove useless variable ce[5][13][13]
0.73/0.87	c remove useless variable ce[6][0][0]
0.73/0.87	c remove useless variable ce[6][1][0]
0.73/0.87	c remove useless variable ce[6][1][1]
0.73/0.87	c remove useless variable ce[6][2][0]
0.73/0.87	c remove useless variable ce[6][2][1]
0.73/0.87	c remove useless variable ce[6][2][2]
0.73/0.87	c remove useless variable ce[6][3][0]
0.73/0.87	c remove useless variable ce[6][3][1]
0.73/0.87	c remove useless variable ce[6][3][2]
0.73/0.87	c remove useless variable ce[6][3][3]
0.73/0.87	c remove useless variable ce[6][4][0]
0.73/0.87	c remove useless variable ce[6][4][1]
0.73/0.87	c remove useless variable ce[6][4][2]
0.73/0.87	c remove useless variable ce[6][4][3]
0.73/0.87	c remove useless variable ce[6][4][4]
0.73/0.87	c remove useless variable ce[6][5][0]
0.73/0.87	c remove useless variable ce[6][5][1]
0.73/0.87	c remove useless variable ce[6][5][2]
0.73/0.87	c remove useless variable ce[6][5][3]
0.73/0.87	c remove useless variable ce[6][5][4]
0.73/0.87	c remove useless variable ce[6][5][5]
0.73/0.87	c remove useless variable ce[6][6][0]
0.73/0.87	c remove useless variable ce[6][6][1]
0.73/0.87	c remove useless variable ce[6][6][2]
0.73/0.87	c remove useless variable ce[6][6][3]
0.73/0.87	c remove useless variable ce[6][6][4]
0.73/0.87	c remove useless variable ce[6][6][5]
0.73/0.87	c remove useless variable ce[6][6][6]
0.73/0.87	c remove useless variable ce[6][7][0]
0.73/0.87	c remove useless variable ce[6][7][1]
0.73/0.87	c remove useless variable ce[6][7][2]
0.73/0.87	c remove useless variable ce[6][7][3]
0.73/0.87	c remove useless variable ce[6][7][4]
0.73/0.87	c remove useless variable ce[6][7][5]
0.73/0.87	c remove useless variable ce[6][7][6]
0.73/0.87	c remove useless variable ce[6][7][7]
0.73/0.87	c remove useless variable ce[6][8][0]
0.73/0.87	c remove useless variable ce[6][8][1]
0.73/0.87	c remove useless variable ce[6][8][2]
0.73/0.87	c remove useless variable ce[6][8][3]
0.73/0.87	c remove useless variable ce[6][8][4]
0.73/0.87	c remove useless variable ce[6][8][5]
0.73/0.87	c remove useless variable ce[6][8][6]
0.73/0.87	c remove useless variable ce[6][8][7]
0.73/0.87	c remove useless variable ce[6][8][8]
0.73/0.87	c remove useless variable ce[6][9][0]
0.73/0.87	c remove useless variable ce[6][9][1]
0.73/0.87	c remove useless variable ce[6][9][2]
0.73/0.87	c remove useless variable ce[6][9][3]
0.73/0.87	c remove useless variable ce[6][9][4]
0.73/0.87	c remove useless variable ce[6][9][5]
0.73/0.87	c remove useless variable ce[6][9][6]
0.73/0.87	c remove useless variable ce[6][9][7]
0.73/0.87	c remove useless variable ce[6][9][8]
0.73/0.87	c remove useless variable ce[6][9][9]
0.73/0.87	c remove useless variable ce[6][10][0]
0.73/0.87	c remove useless variable ce[6][10][1]
0.73/0.87	c remove useless variable ce[6][10][2]
0.73/0.87	c remove useless variable ce[6][10][3]
0.73/0.87	c remove useless variable ce[6][10][4]
0.73/0.87	c remove useless variable ce[6][10][5]
0.73/0.87	c remove useless variable ce[6][10][6]
0.73/0.87	c remove useless variable ce[6][10][7]
0.73/0.87	c remove useless variable ce[6][10][8]
0.73/0.87	c remove useless variable ce[6][10][9]
0.73/0.87	c remove useless variable ce[6][10][10]
0.73/0.87	c remove useless variable ce[6][11][0]
0.73/0.87	c remove useless variable ce[6][11][1]
0.73/0.87	c remove useless variable ce[6][11][2]
0.73/0.87	c remove useless variable ce[6][11][3]
0.73/0.87	c remove useless variable ce[6][11][4]
0.73/0.87	c remove useless variable ce[6][11][5]
0.73/0.87	c remove useless variable ce[6][11][6]
0.73/0.87	c remove useless variable ce[6][11][7]
0.73/0.87	c remove useless variable ce[6][11][8]
0.73/0.87	c remove useless variable ce[6][11][9]
0.73/0.87	c remove useless variable ce[6][11][10]
0.73/0.87	c remove useless variable ce[6][11][11]
0.73/0.87	c remove useless variable ce[6][12][0]
0.73/0.87	c remove useless variable ce[6][12][1]
0.73/0.87	c remove useless variable ce[6][12][2]
0.73/0.87	c remove useless variable ce[6][12][3]
0.73/0.87	c remove useless variable ce[6][12][4]
0.73/0.87	c remove useless variable ce[6][12][5]
0.73/0.87	c remove useless variable ce[6][12][6]
0.73/0.87	c remove useless variable ce[6][12][7]
0.73/0.87	c remove useless variable ce[6][12][8]
0.73/0.87	c remove useless variable ce[6][12][9]
0.73/0.87	c remove useless variable ce[6][12][10]
0.73/0.87	c remove useless variable ce[6][12][11]
0.73/0.87	c remove useless variable ce[6][12][12]
0.73/0.87	c remove useless variable ce[6][13][0]
0.73/0.87	c remove useless variable ce[6][13][1]
0.73/0.87	c remove useless variable ce[6][13][2]
0.73/0.87	c remove useless variable ce[6][13][3]
0.73/0.87	c remove useless variable ce[6][13][4]
0.73/0.87	c remove useless variable ce[6][13][5]
0.73/0.87	c remove useless variable ce[6][13][6]
0.73/0.87	c remove useless variable ce[6][13][7]
0.73/0.87	c remove useless variable ce[6][13][8]
0.73/0.87	c remove useless variable ce[6][13][9]
0.73/0.87	c remove useless variable ce[6][13][10]
0.73/0.87	c remove useless variable ce[6][13][11]
0.73/0.87	c remove useless variable ce[6][13][12]
0.73/0.87	c remove useless variable ce[6][13][13]
1.93/2.06	c 101            822            263356         271941         0              0              722   722   714
3.24/3.34	c 211            1481           511042         1618421        0              0              4   550   540  
4.44/4.58	c 332            2088           742505         2780238        0              0              6   487   432  
5.54/5.63	c 465            2596           935074         3224019        0              0              4   376   265  
6.53/6.67	c 611            3145           1129318        3728521        0              0              3   404   164  
6.73/6.83	c 771            3333           1141230        4585022        0              0              3   29   25    
7.73/7.83	c 947            3940           1335656        5152024        0              0              4   432   104  
7.83/7.99	c 1140           4197           1346616        5782106        0              0              3   65   37    
8.93/9.01	c 1352           4854           1536074        6604660        0              0              3   446   131  
9.83/9.96	c 1585           5546           1722179        7441544        0              0              3   460   65   
10.03/10.17	c 1841           5868           1736715        8606307        0              0              3   67   41    
10.33/10.40	c 2122           6232           1748555        9749376        0              0              3   84   53    
10.53/10.69	c 2431           6595           1765271        11456097       0              0              3   55   43    
11.63/11.75	c 2770           7486           1963871        12778610       0              0              3   553   159  
12.73/12.80	c 3142           8412           2154340        14520356       0              0              3   555   70   
13.03/13.14	c 3551           8946           2171836        16391167       0              0              3   126   62   
13.43/13.51	c 4000           9508           2192701        18340317       0              0              7   113   77   
14.63/14.75	c 4493           10036          2224050        25193050       0              0              8   36   34    
15.23/15.36	c 5035           10603          2251308        29413508       0              0              5   26   25    
15.83/15.92	c 5631           11306          2279839        32023825       0              0              4   108   83   
18.73/18.85	c 6286           12022          2322524        47865522       0              0              8   62   58    
20.83/20.98	c 7006           13465          2606032        55320132       0              0              722   722   720
21.43/21.58	c 7798           14283          2636430        57894517       0              0              18   26   18   
22.43/22.57	c 8669           15172          2684076        62976245       0              0              17   18   17   
22.83/22.98	c 9627           16162          2717095        65076166       0              0              9   32   31    
23.33/23.48	c 10680          17235          2766164        68547575       0              0              12   20   19   
26.23/26.31	c 11838          18465          2814406        86038445       0              0              7   72   70    
29.13/29.23	c 13111          20461          3116652        100116762      0              0              722   722   721
29.74/29.85	c 14511          21896          3167258        103636944      0              0              24   35   34   
32.43/32.57	c 16051          23486          3244202        117706495      0              0              7   49   28    
34.14/34.24	c 17745          25213          3308382        126488854      0              0              12   32   31   
40.33/40.42	c 19608          27091          3414967        135531987      0              0              13   14   13   
40.74/40.81	c 21657          29165          3490742        138494564      0              0              5   24   23    
41.13/41.21	c 23910          31432          3591585        141725863      0              0              12   12   11   
41.53/41.64	c 26388          33923          3677361        145277250      0              0              11   11   10   
52.93/53.07	c 29113          36747          3850381        212898779      0              0              17   70   68   
53.43/53.58	c 32110          39757          3955548        217182676      0              0              10   10   9    
55.43/55.55	c 35406          43102          4088262        231175225      0              0              19   32   31   
69.83/69.92	c 39031          46827          4319213        313681150      0              0              8   61   60    
73.03/73.12	c 43018          51548          4669830        332154522      0              0              722   722   721
78.43/78.50	c 47403          55976          4933158        358808329      0              0              5   38   37    
79.43/79.58	c 52226          60813          5093015        368308693      0              0              9   9   8      
82.83/82.97	c 57531          66202          5308422        393389496      0              0              6   44   41    
98.13/98.25	c 63366          72122          5715234        491617498      0              0              8   68   59    
102.43/102.59	c 69784          79285          6117766        519847258      0              0              722   722   721
126.33/126.47	c 76843          86393          6818581        627744045      0              0              5   40   39    
148.13/148.20	c 84607          94212          7545737        715491230      0              0              5   45   44    
159.33/159.43	c 93147          102817         7809309        794051409      0              0              8   49   48    
163.93/164.05	c 102541         112260         8203088        829584751      0              0              7   24   23    
171.93/172.00	c 112874         122777         8438729        870020491      0              0              5   168   165  
174.53/174.61	c 124240         134169         8824190        893692063      0              0              12   12   11   
177.23/177.36	c 136742         146713         9363229        915132412      0              0              12   26   25   
179.83/179.93	c 150494         160496         9815705        938059828      0              0              13   13   12   
197.93/198.06	c 165621         175674         10572355       1039089773     0              0              4   31   27    
206.13/206.28	c 182260         192702         10889206       1081549520     0              0              6   168   152  
209.23/209.37	c 200562         211089         11671666       1108318372     0              0              8   12   11    
220.93/221.08	c 220694         231418         12495600       1198963852     0              0              4   30   29    
240.33/240.49	c 242839         254029         13151171       1294418043     0              0              4   126   121  
244.24/244.32	c 267198         278433         14186398       1329184776     0              0              13   13   12   
270.64/270.73	c 293992         305288         15408336       1495116651     0              0              4   25   24    
381.44/381.54	c 323465         334866         18534987       1972685476     0              0              10   62   61   
386.54/386.61	c 355885         367338         19906503       2018937397     0              0              8   8   7      
409.54/409.64	c 391547         403062         21406996       2193728660     0              0              4   13   12    
479.55/479.67	c 430775         442389         23633045       2556274215     0              0              4   44   43    
579.66/579.74	c 473925         489745         25405098       3177560304     0              0              5   67   56    
625.66/625.71	c 521390         537319         27298616       3548049323     0              0              3   43   39    
646.77/646.89	c 573601         589609         29535871       3695837205     0              0              8   8   7      
695.17/695.28	c 631033         647151         31781705       4091598278     0              0              4   30   29    
729.28/729.38	c 694208         711333         34106680       4338852905     0              0              4   78   74    
792.18/792.23	c 763700         781362         36340942       4704139317     0              0              5   123   116  
833.28/833.30	c 840141         857924         39426051       5027707170     0              0              5   15   14    
918.89/918.98	c 924226         942156         42861462       5711075489     0              0              4   29   28    
940.39/940.43	c 1016719        1034836        45896718       5874084737     0              0              4   56   55    
964.80/964.84	c 1118461        1137060        46768695       5980978335     0              0              5   275   254  
1123.22/1123.21	c 1230377        1249786        52466397       6888968396     0              0              3   73   71    
1159.62/1159.68	c 1353484        1373462        53483506       7069268205     0              0              5   304   277  
1178.62/1178.66	c 1488901        1510168        54137228       7097037277     0              0              4   565   551  
1196.92/1196.94	c 1637859        1660497        54723752       7108023809     0              0              4   567   560  
1362.43/1362.48	c 1801712        1824630        61283473       8506910896     0              0              7   46   45    
1464.54/1464.58	c 1981950        2005198        66947752       9363381857     0              0              4   72   71    
1583.65/1583.63	c 2180211        2203793        74490385       10313986135    0              0              4   51   50    
1695.96/1695.93	c 2398298        2422284        82095296       11205974095    0              0              4   90   89    
2025.39/2025.32	c 2638193        2665720        88885583       13289122337    0              0              4   113   112  
2384.62/2384.53	c 2902077        2931466        97859007       16145378486    0              0              722   722   721
2520.04/2519.90	
2520.04/2519.90	c *** INTERRUPTED ***
2520.04/2519.90	c restarts              : 84          
2520.04/2519.90	c conflicts             : 3085495      (1224 /sec)
2520.04/2519.90	c decisions             : 3115199      (1236 /sec)
2520.04/2519.90	c propagations          : 17169150712 (6813152 /sec)
2520.04/2519.90	c root propagations     : 0           
2520.04/2519.90	c filter calls          : 104510961      (41473 /sec)
2520.04/2519.90	c useless filter calls  : 76524637       (73 %)
2520.04/2519.90	c Memory used           : 84.76 MB
2520.04/2519.90	c CPU time              : 2520 s
2520.04/2519.90	
2520.04/2519.90	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268000-1502511944/watcher-4268000-1502511944 -o /tmp/evaluation-result-4268000-1502511944/solver-4268000-1502511944 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28378 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268000-1502511944.xml 

pid=1075
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 7/202 1078
/proc/meminfo: memFree=30895976/32770624 swapFree=0/448512
[pid=1078] ppid=1075 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/1078/stat : 1078 (runsolver) D 1075 1078 28313 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 99009581 24240128 107 18446744073709551615 4194304 4338465 140729776034864 140729776032504 139846345818839 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 10432512 140729776042177 140729776042569 140729776042569 140729776046026 0
/proc/1078/statm: 5918 107 54 36 0 2156 0

[startup+0.100143 s]
/proc/loadavg: 2.00 2.01 2.05 7/202 1078
/proc/meminfo: memFree=30895976/32770624 swapFree=0/448512
[pid=1078] ppid=1075 vsize=37024 CPUtime=0.03 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 3550 0 0 0 3 0 0 0 20 0 1 0 99009581 37912576 3333 18446744073709551615 4194304 5972588 140723155663424 140723155660072 140203710319589 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 9256 3333 787 435 0 2619 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 37024

[startup+0.20033 s]
/proc/loadavg: 2.00 2.01 2.05 7/202 1078
/proc/meminfo: memFree=30895976/32770624 swapFree=0/448512
[pid=1078] ppid=1075 vsize=41544 CPUtime=0.12 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 4668 0 0 0 12 0 0 0 20 0 1 0 99009581 42541056 4493 18446744073709551615 4194304 5972588 140723155663424 140723155660072 5655263 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 10386 4493 787 435 0 3749 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 41544

[startup+0.300218 s]
/proc/loadavg: 2.00 2.01 2.05 7/202 1078
/proc/meminfo: memFree=30895976/32770624 swapFree=0/448512
[pid=1078] ppid=1075 vsize=45960 CPUtime=0.22 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 5775 0 0 0 22 0 0 0 20 0 1 0 99009581 47063040 5584 18446744073709551615 4194304 5972588 140723155663424 140723155656984 140203720129131 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 11490 5584 787 435 0 4853 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 45960

[startup+0.700187 s]
/proc/loadavg: 2.00 2.01 2.05 7/202 1078
/proc/meminfo: memFree=30895976/32770624 swapFree=0/448512
[pid=1078] ppid=1075 vsize=63748 CPUtime=0.63 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 10224 0 0 0 62 1 0 0 20 0 1 0 99009581 65277952 10007 18446744073709551615 4194304 5972588 140723155663424 140723155656984 140203710319589 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 15937 10007 787 435 0 9300 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 63748

[startup+1.50019 s]
/proc/loadavg: 2.00 2.01 2.05 5/203 1079
/proc/meminfo: memFree=30718136/32770624 swapFree=0/448508
[pid=1078] ppid=1075 vsize=72392 CPUtime=1.42 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 12400 0 0 0 141 1 0 0 20 0 1 0 99009581 74129408 12223 18446744073709551615 4194304 5972588 140723155663424 140723155660680 4978344 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 18098 12223 830 435 0 11461 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 72392

[startup+3.10022 s]
/proc/loadavg: 1.92 2.00 2.04 2/186 1085
/proc/meminfo: memFree=31039320/32770624 swapFree=0/448596
[pid=1078] ppid=1075 vsize=75044 CPUtime=3.03 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 16026 0 0 0 301 2 0 0 20 0 1 0 99009581 76845056 12898 18446744073709551615 4194304 5972588 140723155663424 140723155660728 5099648 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 18761 12898 831 435 0 12124 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 75044

[startup+6.30017 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 1114
/proc/meminfo: memFree=30995420/32770624 swapFree=0/452912
[pid=1078] ppid=1075 vsize=75044 CPUtime=6.23 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 19163 0 0 0 621 2 0 0 20 0 1 0 99009581 76845056 12898 18446744073709551615 4194304 5972588 140723155663424 140723155660728 5328506 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 18761 12898 831 435 0 12124 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 75044

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 1114
/proc/meminfo: memFree=30932120/32770624 swapFree=0/452912
[pid=1078] ppid=1075 vsize=75572 CPUtime=12.63 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 22797 0 0 0 1261 2 0 0 20 0 1 0 99009581 77385728 13031 18446744073709551615 4194304 5972588 140723155663424 140723155660456 5099648 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 18893 13031 831 435 0 12256 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 75572

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 1114
/proc/meminfo: memFree=30871956/32770624 swapFree=0/452912
[pid=1078] ppid=1075 vsize=78740 CPUtime=25.43 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 31309 0 0 0 2540 3 0 0 20 0 1 0 99009581 80629760 13822 18446744073709551615 4194304 5972588 140723155663424 140723155660728 4962352 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 19685 13822 831 435 0 13048 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 78740

[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 1114
/proc/meminfo: memFree=30869828/32770624 swapFree=0/452908
[pid=1078] ppid=1075 vsize=80456 CPUtime=51.03 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 35308 0 0 0 5100 3 0 0 20 0 1 0 99009581 82386944 14209 18446744073709551615 4194304 5972588 140723155663424 140723155660456 5071785 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 20114 14209 831 435 0 13477 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 80456

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/187 1243
/proc/meminfo: memFree=31034256/32770624 swapFree=0/452992
[pid=1078] ppid=1075 vsize=81248 CPUtime=102.23 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 37137 0 0 0 10220 3 0 0 20 0 1 0 99009581 83197952 14425 18446744073709551615 4194304 5972588 140723155663424 140723155660456 4909639 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 20312 14425 831 435 0 13675 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 81248

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 1310
/proc/meminfo: memFree=31031612/32770624 swapFree=0/453044
[pid=1078] ppid=1075 vsize=81644 CPUtime=162.23 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 37616 0 0 0 16220 3 0 0 20 0 1 0 99009581 83603456 14517 18446744073709551615 4194304 5972588 140723155663424 140723155660456 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 20411 14517 831 435 0 13774 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 81644

[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/186 1313
/proc/meminfo: memFree=31030820/32770624 swapFree=0/453060
[pid=1078] ppid=1075 vsize=82436 CPUtime=222.23 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 38318 0 0 0 22220 3 0 0 20 0 1 0 99009581 84414464 14723 18446744073709551615 4194304 5972588 140723155663424 140723155660456 5071769 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 20609 14723 831 435 0 13972 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 82436

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 1375
/proc/meminfo: memFree=30987488/32770624 swapFree=0/453060
[pid=1078] ppid=1075 vsize=82700 CPUtime=282.23 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 38409 0 0 0 28220 3 0 0 20 0 1 0 99009581 84684800 14781 18446744073709551615 4194304 5972588 140723155663424 140723155660456 4965365 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 20675 14781 831 435 0 14038 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 82700

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 1377
/proc/meminfo: memFree=30987144/32770624 swapFree=0/453076
[pid=1078] ppid=1075 vsize=82700 CPUtime=342.24 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 38531 0 0 0 34221 3 0 0 20 0 1 0 99009581 84684800 14824 18446744073709551615 4194304 5972588 140723155663424 140723155660456 5320594 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 20675 14824 831 435 0 14038 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 82700

[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 1379
/proc/meminfo: memFree=30986652/32770624 swapFree=0/453080
[pid=1078] ppid=1075 vsize=82700 CPUtime=402.24 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 38582 0 0 0 40221 3 0 0 20 0 1 0 99009581 84684800 14824 18446744073709551615 4194304 5972588 140723155663424 140723155660728 5071767 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 20675 14824 831 435 0 14038 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 82700

[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 1382
/proc/meminfo: memFree=30986476/32770624 swapFree=0/453084
[pid=1078] ppid=1075 vsize=82832 CPUtime=462.25 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 38748 0 0 0 46222 3 0 0 20 0 1 0 99009581 84819968 14845 18446744073709551615 4194304 5972588 140723155663424 140723155660456 4978775 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 20708 14845 831 435 0 14071 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 82832

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 1399
/proc/meminfo: memFree=30981704/32770624 swapFree=0/453112
[pid=1078] ppid=1075 vsize=82964 CPUtime=522.25 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 38815 0 0 0 52222 3 0 0 20 0 1 0 99009581 84955136 14851 18446744073709551615 4194304 5972588 140723155663424 140723155660456 5094096 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 20741 14851 831 435 0 14104 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 82964

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1401
/proc/meminfo: memFree=30982604/32770624 swapFree=0/453132
[pid=1078] ppid=1075 vsize=82964 CPUtime=582.26 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 39020 0 0 0 58223 3 0 0 20 0 1 0 99009581 84955136 14864 18446744073709551615 4194304 5972588 140723155663424 140723155660728 4969240 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 20741 14864 831 435 0 14104 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 82964


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


[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 1459
/proc/meminfo: memFree=30981216/32770624 swapFree=0/453308
[pid=1078] ppid=1075 vsize=86396 CPUtime=1662.36 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 42610 0 0 0 166232 4 0 0 20 0 1 0 99009581 88469504 15751 18446744073709551615 4194304 5972588 140723155663424 140723155660728 4977674 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21599 15751 831 435 0 14962 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 86396

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 1476
/proc/meminfo: memFree=30976996/32770624 swapFree=0/453332
[pid=1078] ppid=1075 vsize=86528 CPUtime=1722.36 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 43039 0 0 0 172232 4 0 0 20 0 1 0 99009581 88604672 15762 18446744073709551615 4194304 5972588 140723155663424 140723155660456 4965365 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21632 15762 831 435 0 14995 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 86528

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/190 1500
/proc/meminfo: memFree=30975904/32770624 swapFree=0/453352
[pid=1078] ppid=1075 vsize=86528 CPUtime=1782.37 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 43368 0 0 0 178233 4 0 0 20 0 1 0 99009581 88604672 15776 18446744073709551615 4194304 5972588 140723155663424 140723155660456 5071744 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21632 15776 831 435 0 14995 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 86528

[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 1502
/proc/meminfo: memFree=30979784/32770624 swapFree=0/453356
[pid=1078] ppid=1075 vsize=86528 CPUtime=1842.38 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 43372 0 0 0 184234 4 0 0 20 0 1 0 99009581 88604672 15776 18446744073709551615 4194304 5972588 140723155663424 140723155660456 4965472 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21632 15776 831 435 0 14995 0
Current children cumulated CPU time (s) 1842.38
Current children cumulated vsize (KiB) 86528

[startup+1902.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/186 1504
/proc/meminfo: memFree=30979988/32770624 swapFree=0/453372
[pid=1078] ppid=1075 vsize=86660 CPUtime=1902.38 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 43713 0 0 0 190234 4 0 0 20 0 1 0 99009581 88739840 15784 18446744073709551615 4194304 5972588 140723155663424 140723155660456 4962387 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21665 15784 831 435 0 15028 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 86660

[startup+1962.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 1506
/proc/meminfo: memFree=30980240/32770624 swapFree=0/453380
[pid=1078] ppid=1075 vsize=86660 CPUtime=1962.39 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 43725 0 0 0 196235 4 0 0 20 0 1 0 99009581 88739840 15787 18446744073709551615 4194304 5972588 140723155663424 140723155660456 4962387 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21665 15787 831 435 0 15028 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 86660

[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 1509
/proc/meminfo: memFree=30980580/32770624 swapFree=0/453380
[pid=1078] ppid=1075 vsize=86660 CPUtime=2022.39 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 44075 0 0 0 202235 4 0 0 20 0 1 0 99009581 88739840 15799 18446744073709551615 4194304 5972588 140723155663424 140723155660456 4971844 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21665 15799 831 435 0 15028 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 86660

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 1511
/proc/meminfo: memFree=30980400/32770624 swapFree=0/453376
[pid=1078] ppid=1075 vsize=86792 CPUtime=2082.4 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 44637 0 0 0 208236 4 0 0 20 0 1 0 99009581 88875008 15804 18446744073709551615 4194304 5972588 140723155663424 140723155660088 4962396 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21698 15804 831 435 0 15061 0
Current children cumulated CPU time (s) 2082.4
Current children cumulated vsize (KiB) 86792

[startup+2142.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 1513
/proc/meminfo: memFree=30980372/32770624 swapFree=0/453392
[pid=1078] ppid=1075 vsize=86792 CPUtime=2142.4 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 44703 0 0 0 214236 4 0 0 20 0 1 0 99009581 88875008 15830 18446744073709551615 4194304 5972588 140723155663424 140723155660088 4965583 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21698 15830 831 435 0 15061 0
Current children cumulated CPU time (s) 2142.4
Current children cumulated vsize (KiB) 86792

[startup+2202.31 s]
/proc/loadavg: 2.10 2.06 2.05 3/186 1515
/proc/meminfo: memFree=30980500/32770624 swapFree=0/453396
[pid=1078] ppid=1075 vsize=86792 CPUtime=2202.41 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 44703 0 0 0 220237 4 0 0 20 0 1 0 99009581 88875008 15830 18446744073709551615 4194304 5972588 140723155663424 140723155660088 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21698 15830 831 435 0 15061 0
Current children cumulated CPU time (s) 2202.41
Current children cumulated vsize (KiB) 86792

[startup+2262.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/186 1517
/proc/meminfo: memFree=30980720/32770624 swapFree=0/453400
[pid=1078] ppid=1075 vsize=86792 CPUtime=2262.41 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 44769 0 0 0 226237 4 0 0 20 0 1 0 99009581 88875008 15830 18446744073709551615 4194304 5972588 140723155663424 140723155660088 4965472 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21698 15830 831 435 0 15061 0
Current children cumulated CPU time (s) 2262.41
Current children cumulated vsize (KiB) 86792

[startup+2322.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/187 1533
/proc/meminfo: memFree=30978052/32770624 swapFree=0/453428
[pid=1078] ppid=1075 vsize=86792 CPUtime=2322.42 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 44769 0 0 0 232238 4 0 0 20 0 1 0 99009581 88875008 15830 18446744073709551615 4194304 5972588 140723155663424 140723155660088 4965349 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21698 15830 831 435 0 15061 0
Current children cumulated CPU time (s) 2322.42
Current children cumulated vsize (KiB) 86792

[startup+2382.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/189 1538
/proc/meminfo: memFree=30976396/32770624 swapFree=0/453456
[pid=1078] ppid=1075 vsize=86792 CPUtime=2382.42 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 44835 0 0 0 238238 4 0 0 20 0 1 0 99009581 88875008 15830 18446744073709551615 4194304 5972588 140723155663424 140723155660088 5071752 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21698 15830 831 435 0 15061 0
Current children cumulated CPU time (s) 2382.42
Current children cumulated vsize (KiB) 86792

[startup+2442.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/186 1540
/proc/meminfo: memFree=30980052/32770624 swapFree=0/453464
[pid=1078] ppid=1075 vsize=86792 CPUtime=2442.43 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 45392 0 0 0 244239 4 0 0 20 0 1 0 99009581 88875008 15830 18446744073709551615 4194304 5972588 140723155663424 140723155660728 4909657 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21698 15830 831 435 0 15061 0
Current children cumulated CPU time (s) 2442.43
Current children cumulated vsize (KiB) 86792

[startup+2502.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 1542
/proc/meminfo: memFree=30980204/32770624 swapFree=0/453476
[pid=1078] ppid=1075 vsize=86792 CPUtime=2502.43 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 45487 0 0 0 250239 4 0 0 20 0 1 0 99009581 88875008 15830 18446744073709551615 4194304 5972588 140723155663424 140723155660728 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21698 15830 831 435 0 15061 0
Current children cumulated CPU time (s) 2502.43
Current children cumulated vsize (KiB) 86792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 1543
/proc/meminfo: memFree=30980452/32770624 swapFree=0/453488
[pid=1078] ppid=1075 vsize=86792 CPUtime=2520.04 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 45487 0 0 0 252000 4 0 0 20 0 1 0 99009581 88875008 15830 18446744073709551615 4194304 5972588 140723155663424 140723155660728 4965937 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21698 15830 831 435 0 15061 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 86792

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1078 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2519.9 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 1543
/proc/meminfo: memFree=30980452/32770624 swapFree=0/453488
[pid=1078] ppid=1075 vsize=86792 CPUtime=2520.04 cores=1,3,5,7
/proc/1078/stat : 1078 (cosoco) R 1075 1078 28313 0 -1 4202496 45487 0 0 0 252000 4 0 0 20 0 1 0 99009581 88875008 15830 18446744073709551615 4194304 5972588 140723155663424 140723155660728 4965937 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 10256384 140723155669486 140723155669581 140723155669581 140723155673038 0
/proc/1078/statm: 21698 15830 831 435 0 15061 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 86792

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.05
CPU user time (s): 2520
CPU system time (s): 0.044003
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 86792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.044003
maximum resident set size= 63388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45536
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= 22
involuntary context switches= 999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18184 second user time and 8.57897 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-12 06:11:36
IDJOB=4268000
IDBENCH=120756
IDSOLVER=2658
FILE ID=node133/4268000-1502511944
RUNJOBID= node133-1502500327-28378
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K14-P07.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268000-1502511944/watcher-4268000-1502511944 -o /tmp/evaluation-result-4268000-1502511944/solver-4268000-1502511944 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28378 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268000-1502511944.xml

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

MD5SUM BENCH= 539390230adc3c5191c5e54bc0e1cdf0
RANDOM SEED=2087275138

node133.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.17
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.17
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.17
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.17
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:        30902968 kB
MemAvailable:   31782232 kB
Buffers:          303348 kB
Cached:           877556 kB
SwapCached:            0 kB
Active:           941772 kB
Inactive:         489816 kB
Active(anon):     251020 kB
Inactive(anon):    41304 kB
Active(file):     690752 kB
Inactive(file):   448512 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2416 kB
Writeback:             0 kB
AnonPages:        236316 kB
Mapped:            65440 kB
Shmem:             41660 kB
Slab:             138608 kB
SReclaimable:     111672 kB
SUnreclaim:        26936 kB
KernelStack:        3536 kB
PageTables:         5908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1273252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62028 MiB
End job on node133 at 2017-08-12 06:53:36