Trace number 4251717

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-mini 1.1 (2017-06-27)? (TO) 2400.06 2400.31

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.69/0.79	c root propagations     : 0           
0.69/0.79	c restarts enabled, print stats at every restarts
0.69/0.79	c
0.69/0.79	c
0.69/0.79	c
0.69/0.79	c This is cosoco 1.0 --  
0.69/0.79	c
0.69/0.79	c ========================================[ Problem Statistics ]===========================================
0.69/0.79	c |                                                                                                       
0.69/0.79	c |  Parse time        :         0.76 s 
0.69/0.79	c |
0.69/0.79	c |               Variables: 1554
0.69/0.79	c |            Domain Sizes: 721..722
0.69/0.79	c |
0.69/0.79	c |             Constraints: 723
0.69/0.79	c |                   Arity: 3..721  -- Ternary: 721
0.69/0.79	c | 
0.69/0.79	c |                   Types: 
0.69/0.79	c |                          All Different: 2
0.69/0.79	c |                          Intension: 721
0.69/0.79	c |                          
0.69/0.79	c =========================================================================================================
0.69/0.79	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.69/0.79	c remove useless variable ce[0][0][0]
0.69/0.79	c remove useless variable ce[0][1][0]
0.69/0.79	c remove useless variable ce[0][1][1]
0.69/0.79	c remove useless variable ce[0][2][0]
0.69/0.79	c remove useless variable ce[0][2][1]
0.69/0.79	c remove useless variable ce[0][2][2]
0.69/0.79	c remove useless variable ce[0][3][0]
0.69/0.79	c remove useless variable ce[0][3][1]
0.69/0.79	c remove useless variable ce[0][3][2]
0.69/0.79	c remove useless variable ce[0][3][3]
0.69/0.79	c remove useless variable ce[0][4][0]
0.69/0.79	c remove useless variable ce[0][4][1]
0.69/0.79	c remove useless variable ce[0][4][2]
0.69/0.79	c remove useless variable ce[0][4][3]
0.69/0.79	c remove useless variable ce[0][4][4]
0.69/0.79	c remove useless variable ce[0][5][0]
0.69/0.79	c remove useless variable ce[0][5][1]
0.69/0.79	c remove useless variable ce[0][5][2]
0.69/0.79	c remove useless variable ce[0][5][3]
0.69/0.79	c remove useless variable ce[0][5][4]
0.69/0.79	c remove useless variable ce[0][5][5]
0.69/0.79	c remove useless variable ce[0][6][0]
0.69/0.79	c remove useless variable ce[0][6][1]
0.69/0.79	c remove useless variable ce[0][6][2]
0.69/0.79	c remove useless variable ce[0][6][3]
0.69/0.79	c remove useless variable ce[0][6][4]
0.69/0.79	c remove useless variable ce[0][6][5]
0.69/0.79	c remove useless variable ce[0][6][6]
0.69/0.79	c remove useless variable ce[0][7][0]
0.69/0.79	c remove useless variable ce[0][7][1]
0.69/0.79	c remove useless variable ce[0][7][2]
0.69/0.79	c remove useless variable ce[0][7][3]
0.69/0.79	c remove useless variable ce[0][7][4]
0.69/0.79	c remove useless variable ce[0][7][5]
0.69/0.79	c remove useless variable ce[0][7][6]
0.69/0.79	c remove useless variable ce[0][7][7]
0.69/0.79	c remove useless variable ce[0][8][0]
0.69/0.79	c remove useless variable ce[0][8][1]
0.69/0.79	c remove useless variable ce[0][8][2]
0.69/0.79	c remove useless variable ce[0][8][3]
0.69/0.79	c remove useless variable ce[0][8][4]
0.69/0.79	c remove useless variable ce[0][8][5]
0.69/0.79	c remove useless variable ce[0][8][6]
0.69/0.79	c remove useless variable ce[0][8][7]
0.69/0.79	c remove useless variable ce[0][8][8]
0.69/0.79	c remove useless variable ce[0][9][0]
0.69/0.79	c remove useless variable ce[0][9][1]
0.69/0.79	c remove useless variable ce[0][9][2]
0.69/0.79	c remove useless variable ce[0][9][3]
0.69/0.79	c remove useless variable ce[0][9][4]
0.69/0.79	c remove useless variable ce[0][9][5]
0.69/0.79	c remove useless variable ce[0][9][6]
0.69/0.79	c remove useless variable ce[0][9][7]
0.69/0.79	c remove useless variable ce[0][9][8]
0.69/0.79	c remove useless variable ce[0][9][9]
0.69/0.79	c remove useless variable ce[0][10][0]
0.69/0.79	c remove useless variable ce[0][10][1]
0.69/0.79	c remove useless variable ce[0][10][2]
0.69/0.79	c remove useless variable ce[0][10][3]
0.69/0.79	c remove useless variable ce[0][10][4]
0.69/0.79	c remove useless variable ce[0][10][5]
0.69/0.79	c remove useless variable ce[0][10][6]
0.69/0.79	c remove useless variable ce[0][10][7]
0.69/0.79	c remove useless variable ce[0][10][8]
0.69/0.79	c remove useless variable ce[0][10][9]
0.69/0.79	c remove useless variable ce[0][10][10]
0.69/0.79	c remove useless variable ce[0][11][0]
0.69/0.79	c remove useless variable ce[0][11][1]
0.69/0.79	c remove useless variable ce[0][11][2]
0.69/0.79	c remove useless variable ce[0][11][3]
0.69/0.79	c remove useless variable ce[0][11][4]
0.69/0.79	c remove useless variable ce[0][11][5]
0.69/0.79	c remove useless variable ce[0][11][6]
0.69/0.79	c remove useless variable ce[0][11][7]
0.69/0.79	c remove useless variable ce[0][11][8]
0.69/0.79	c remove useless variable ce[0][11][9]
0.69/0.79	c remove useless variable ce[0][11][10]
0.69/0.79	c remove useless variable ce[0][11][11]
0.69/0.79	c remove useless variable ce[0][12][0]
0.69/0.79	c remove useless variable ce[0][12][1]
0.69/0.79	c remove useless variable ce[0][12][2]
0.69/0.79	c remove useless variable ce[0][12][3]
0.69/0.79	c remove useless variable ce[0][12][4]
0.69/0.79	c remove useless variable ce[0][12][5]
0.69/0.79	c remove useless variable ce[0][12][6]
0.69/0.79	c remove useless variable ce[0][12][7]
0.69/0.79	c remove useless variable ce[0][12][8]
0.69/0.79	c remove useless variable ce[0][12][9]
0.69/0.79	c remove useless variable ce[0][12][10]
0.69/0.79	c remove useless variable ce[0][12][11]
0.69/0.79	c remove useless variable ce[0][12][12]
0.69/0.79	c remove useless variable ce[0][13][0]
0.69/0.79	c remove useless variable ce[0][13][1]
0.69/0.79	c remove useless variable ce[0][13][2]
0.69/0.79	c remove useless variable ce[0][13][3]
0.69/0.79	c remove useless variable ce[0][13][4]
0.69/0.79	c remove useless variable ce[0][13][5]
0.69/0.79	c remove useless variable ce[0][13][6]
0.69/0.79	c remove useless variable ce[0][13][7]
0.69/0.79	c remove useless variable ce[0][13][8]
0.69/0.79	c remove useless variable ce[0][13][9]
0.69/0.79	c remove useless variable ce[0][13][10]
0.69/0.79	c remove useless variable ce[0][13][11]
0.69/0.79	c remove useless variable ce[0][13][12]
0.69/0.79	c remove useless variable ce[0][13][13]
0.69/0.79	c remove useless variable ce[1][0][0]
0.69/0.79	c remove useless variable ce[1][1][0]
0.69/0.79	c remove useless variable ce[1][1][1]
0.69/0.79	c remove useless variable ce[1][2][0]
0.69/0.79	c remove useless variable ce[1][2][1]
0.69/0.79	c remove useless variable ce[1][2][2]
0.69/0.79	c remove useless variable ce[1][3][0]
0.69/0.79	c remove useless variable ce[1][3][1]
0.69/0.79	c remove useless variable ce[1][3][2]
0.69/0.79	c remove useless variable ce[1][3][3]
0.69/0.79	c remove useless variable ce[1][4][0]
0.69/0.79	c remove useless variable ce[1][4][1]
0.69/0.79	c remove useless variable ce[1][4][2]
0.69/0.79	c remove useless variable ce[1][4][3]
0.69/0.79	c remove useless variable ce[1][4][4]
0.69/0.79	c remove useless variable ce[1][5][0]
0.69/0.79	c remove useless variable ce[1][5][1]
0.69/0.79	c remove useless variable ce[1][5][2]
0.69/0.79	c remove useless variable ce[1][5][3]
0.69/0.79	c remove useless variable ce[1][5][4]
0.69/0.79	c remove useless variable ce[1][5][5]
0.69/0.79	c remove useless variable ce[1][6][0]
0.69/0.79	c remove useless variable ce[1][6][1]
0.69/0.79	c remove useless variable ce[1][6][2]
0.69/0.79	c remove useless variable ce[1][6][3]
0.69/0.79	c remove useless variable ce[1][6][4]
0.69/0.79	c remove useless variable ce[1][6][5]
0.69/0.79	c remove useless variable ce[1][6][6]
0.69/0.79	c remove useless variable ce[1][7][0]
0.69/0.79	c remove useless variable ce[1][7][1]
0.69/0.79	c remove useless variable ce[1][7][2]
0.69/0.79	c remove useless variable ce[1][7][3]
0.69/0.79	c remove useless variable ce[1][7][4]
0.69/0.79	c remove useless variable ce[1][7][5]
0.69/0.79	c remove useless variable ce[1][7][6]
0.69/0.79	c remove useless variable ce[1][7][7]
0.69/0.79	c remove useless variable ce[1][8][0]
0.69/0.79	c remove useless variable ce[1][8][1]
0.69/0.79	c remove useless variable ce[1][8][2]
0.69/0.79	c remove useless variable ce[1][8][3]
0.69/0.79	c remove useless variable ce[1][8][4]
0.69/0.79	c remove useless variable ce[1][8][5]
0.69/0.79	c remove useless variable ce[1][8][6]
0.69/0.79	c remove useless variable ce[1][8][7]
0.69/0.79	c remove useless variable ce[1][8][8]
0.69/0.79	c remove useless variable ce[1][9][0]
0.69/0.79	c remove useless variable ce[1][9][1]
0.69/0.79	c remove useless variable ce[1][9][2]
0.69/0.79	c remove useless variable ce[1][9][3]
0.69/0.79	c remove useless variable ce[1][9][4]
0.69/0.79	c remove useless variable ce[1][9][5]
0.69/0.79	c remove useless variable ce[1][9][6]
0.69/0.79	c remove useless variable ce[1][9][7]
0.69/0.79	c remove useless variable ce[1][9][8]
0.69/0.79	c remove useless variable ce[1][9][9]
0.69/0.79	c remove useless variable ce[1][10][0]
0.69/0.79	c remove useless variable ce[1][10][1]
0.69/0.79	c remove useless variable ce[1][10][2]
0.69/0.79	c remove useless variable ce[1][10][3]
0.69/0.79	c remove useless variable ce[1][10][4]
0.69/0.79	c remove useless variable ce[1][10][5]
0.69/0.79	c remove useless variable ce[1][10][6]
0.69/0.79	c remove useless variable ce[1][10][7]
0.69/0.79	c remove useless variable ce[1][10][8]
0.69/0.79	c remove useless variable ce[1][10][9]
0.69/0.79	c remove useless variable ce[1][10][10]
0.69/0.79	c remove useless variable ce[1][11][0]
0.69/0.79	c remove useless variable ce[1][11][1]
0.69/0.79	c remove useless variable ce[1][11][2]
0.69/0.79	c remove useless variable ce[1][11][3]
0.69/0.79	c remove useless variable ce[1][11][4]
0.69/0.79	c remove useless variable ce[1][11][5]
0.69/0.79	c remove useless variable ce[1][11][6]
0.69/0.79	c remove useless variable ce[1][11][7]
0.69/0.79	c remove useless variable ce[1][11][8]
0.69/0.79	c remove useless variable ce[1][11][9]
0.69/0.79	c remove useless variable ce[1][11][10]
0.69/0.79	c remove useless variable ce[1][11][11]
0.69/0.79	c remove useless variable ce[1][12][0]
0.69/0.79	c remove useless variable ce[1][12][1]
0.69/0.79	c remove useless variable ce[1][12][2]
0.69/0.79	c remove useless variable ce[1][12][3]
0.69/0.79	c remove useless variable ce[1][12][4]
0.69/0.79	c remove useless variable ce[1][12][5]
0.69/0.79	c remove useless variable ce[1][12][6]
0.69/0.79	c remove useless variable ce[1][12][7]
0.69/0.79	c remove useless variable ce[1][12][8]
0.69/0.79	c remove useless variable ce[1][12][9]
0.69/0.79	c remove useless variable ce[1][12][10]
0.69/0.79	c remove useless variable ce[1][12][11]
0.69/0.79	c remove useless variable ce[1][12][12]
0.69/0.79	c remove useless variable ce[1][13][0]
0.69/0.79	c remove useless variable ce[1][13][1]
0.69/0.79	c remove useless variable ce[1][13][2]
0.69/0.79	c remove useless variable ce[1][13][3]
0.69/0.79	c remove useless variable ce[1][13][4]
0.69/0.79	c remove useless variable ce[1][13][5]
0.69/0.79	c remove useless variable ce[1][13][6]
0.69/0.79	c remove useless variable ce[1][13][7]
0.69/0.79	c remove useless variable ce[1][13][8]
0.69/0.79	c remove useless variable ce[1][13][9]
0.69/0.79	c remove useless variable ce[1][13][10]
0.69/0.79	c remove useless variable ce[1][13][11]
0.69/0.79	c remove useless variable ce[1][13][12]
0.69/0.79	c remove useless variable ce[1][13][13]
0.69/0.79	c remove useless variable ce[2][0][0]
0.69/0.79	c remove useless variable ce[2][1][0]
0.69/0.79	c remove useless variable ce[2][1][1]
0.69/0.79	c remove useless variable ce[2][2][0]
0.69/0.79	c remove useless variable ce[2][2][1]
0.69/0.79	c remove useless variable ce[2][2][2]
0.69/0.79	c remove useless variable ce[2][3][0]
0.69/0.79	c remove useless variable ce[2][3][1]
0.69/0.79	c remove useless variable ce[2][3][2]
0.69/0.79	c remove useless variable ce[2][3][3]
0.69/0.79	c remove useless variable ce[2][4][0]
0.69/0.79	c remove useless variable ce[2][4][1]
0.69/0.79	c remove useless variable ce[2][4][2]
0.69/0.79	c remove useless variable ce[2][4][3]
0.69/0.79	c remove useless variable ce[2][4][4]
0.69/0.79	c remove useless variable ce[2][5][0]
0.69/0.79	c remove useless variable ce[2][5][1]
0.69/0.79	c remove useless variable ce[2][5][2]
0.69/0.79	c remove useless variable ce[2][5][3]
0.69/0.79	c remove useless variable ce[2][5][4]
0.69/0.79	c remove useless variable ce[2][5][5]
0.69/0.79	c remove useless variable ce[2][6][0]
0.69/0.79	c remove useless variable ce[2][6][1]
0.69/0.79	c remove useless variable ce[2][6][2]
0.69/0.79	c remove useless variable ce[2][6][3]
0.69/0.79	c remove useless variable ce[2][6][4]
0.69/0.79	c remove useless variable ce[2][6][5]
0.69/0.79	c remove useless variable ce[2][6][6]
0.69/0.79	c remove useless variable ce[2][7][0]
0.69/0.79	c remove useless variable ce[2][7][1]
0.69/0.79	c remove useless variable ce[2][7][2]
0.69/0.79	c remove useless variable ce[2][7][3]
0.69/0.79	c remove useless variable ce[2][7][4]
0.69/0.79	c remove useless variable ce[2][7][5]
0.69/0.79	c remove useless variable ce[2][7][6]
0.69/0.79	c remove useless variable ce[2][7][7]
0.69/0.79	c remove useless variable ce[2][8][0]
0.69/0.79	c remove useless variable ce[2][8][1]
0.69/0.79	c remove useless variable ce[2][8][2]
0.69/0.79	c remove useless variable ce[2][8][3]
0.69/0.79	c remove useless variable ce[2][8][4]
0.69/0.79	c remove useless variable ce[2][8][5]
0.69/0.79	c remove useless variable ce[2][8][6]
0.69/0.79	c remove useless variable ce[2][8][7]
0.69/0.79	c remove useless variable ce[2][8][8]
0.69/0.79	c remove useless variable ce[2][9][0]
0.69/0.79	c remove useless variable ce[2][9][1]
0.69/0.79	c remove useless variable ce[2][9][2]
0.69/0.79	c remove useless variable ce[2][9][3]
0.69/0.79	c remove useless variable ce[2][9][4]
0.69/0.79	c remove useless variable ce[2][9][5]
0.69/0.79	c remove useless variable ce[2][9][6]
0.69/0.79	c remove useless variable ce[2][9][7]
0.69/0.79	c remove useless variable ce[2][9][8]
0.69/0.79	c remove useless variable ce[2][9][9]
0.69/0.79	c remove useless variable ce[2][10][0]
0.69/0.79	c remove useless variable ce[2][10][1]
0.69/0.79	c remove useless variable ce[2][10][2]
0.69/0.79	c remove useless variable ce[2][10][3]
0.69/0.79	c remove useless variable ce[2][10][4]
0.69/0.79	c remove useless variable ce[2][10][5]
0.69/0.79	c remove useless variable ce[2][10][6]
0.69/0.79	c remove useless variable ce[2][10][7]
0.69/0.79	c remove useless variable ce[2][10][8]
0.69/0.79	c remove useless variable ce[2][10][9]
0.69/0.79	c remove useless variable ce[2][10][10]
0.69/0.79	c remove useless variable ce[2][11][0]
0.69/0.79	c remove useless variable ce[2][11][1]
0.69/0.79	c remove useless variable ce[2][11][2]
0.69/0.79	c remove useless variable ce[2][11][3]
0.69/0.79	c remove useless variable ce[2][11][4]
0.69/0.79	c remove useless variable ce[2][11][5]
0.69/0.79	c remove useless variable ce[2][11][6]
0.69/0.79	c remove useless variable ce[2][11][7]
0.69/0.79	c remove useless variable ce[2][11][8]
0.69/0.79	c remove useless variable ce[2][11][9]
0.69/0.79	c remove useless variable ce[2][11][10]
0.69/0.79	c remove useless variable ce[2][11][11]
0.69/0.79	c remove useless variable ce[2][12][0]
0.69/0.79	c remove useless variable ce[2][12][1]
0.69/0.79	c remove useless variable ce[2][12][2]
0.69/0.79	c remove useless variable ce[2][12][3]
0.69/0.79	c remove useless variable ce[2][12][4]
0.69/0.79	c remove useless variable ce[2][12][5]
0.69/0.79	c remove useless variable ce[2][12][6]
0.69/0.79	c remove useless variable ce[2][12][7]
0.69/0.79	c remove useless variable ce[2][12][8]
0.69/0.79	c remove useless variable ce[2][12][9]
0.69/0.79	c remove useless variable ce[2][12][10]
0.69/0.79	c remove useless variable ce[2][12][11]
0.69/0.79	c remove useless variable ce[2][12][12]
0.69/0.79	c remove useless variable ce[2][13][0]
0.69/0.79	c remove useless variable ce[2][13][1]
0.69/0.79	c remove useless variable ce[2][13][2]
0.69/0.79	c remove useless variable ce[2][13][3]
0.69/0.79	c remove useless variable ce[2][13][4]
0.69/0.79	c remove useless variable ce[2][13][5]
0.69/0.79	c remove useless variable ce[2][13][6]
0.69/0.79	c remove useless variable ce[2][13][7]
0.69/0.79	c remove useless variable ce[2][13][8]
0.69/0.79	c remove useless variable ce[2][13][9]
0.69/0.79	c remove useless variable ce[2][13][10]
0.69/0.79	c remove useless variable ce[2][13][11]
0.69/0.79	c remove useless variable ce[2][13][12]
0.69/0.79	c remove useless variable ce[2][13][13]
0.69/0.79	c remove useless variable ce[3][0][0]
0.69/0.79	c remove useless variable ce[3][1][0]
0.69/0.79	c remove useless variable ce[3][1][1]
0.69/0.79	c remove useless variable ce[3][2][0]
0.69/0.79	c remove useless variable ce[3][2][1]
0.69/0.79	c remove useless variable ce[3][2][2]
0.69/0.79	c remove useless variable ce[3][3][0]
0.69/0.79	c remove useless variable ce[3][3][1]
0.69/0.79	c remove useless variable ce[3][3][2]
0.69/0.79	c remove useless variable ce[3][3][3]
0.69/0.79	c remove useless variable ce[3][4][0]
0.69/0.79	c remove useless variable ce[3][4][1]
0.69/0.79	c remove useless variable ce[3][4][2]
0.69/0.79	c remove useless variable ce[3][4][3]
0.69/0.79	c remove useless variable ce[3][4][4]
0.69/0.79	c remove useless variable ce[3][5][0]
0.69/0.79	c remove useless variable ce[3][5][1]
0.69/0.79	c remove useless variable ce[3][5][2]
0.69/0.79	c remove useless variable ce[3][5][3]
0.69/0.79	c remove useless variable ce[3][5][4]
0.69/0.79	c remove useless variable ce[3][5][5]
0.69/0.79	c remove useless variable ce[3][6][0]
0.69/0.79	c remove useless variable ce[3][6][1]
0.69/0.79	c remove useless variable ce[3][6][2]
0.69/0.79	c remove useless variable ce[3][6][3]
0.69/0.79	c remove useless variable ce[3][6][4]
0.69/0.79	c remove useless variable ce[3][6][5]
0.69/0.79	c remove useless variable ce[3][6][6]
0.69/0.79	c remove useless variable ce[3][7][0]
0.69/0.79	c remove useless variable ce[3][7][1]
0.69/0.79	c remove useless variable ce[3][7][2]
0.69/0.79	c remove useless variable ce[3][7][3]
0.69/0.79	c remove useless variable ce[3][7][4]
0.69/0.79	c remove useless variable ce[3][7][5]
0.69/0.79	c remove useless variable ce[3][7][6]
0.69/0.79	c remove useless variable ce[3][7][7]
0.69/0.79	c remove useless variable ce[3][8][0]
0.69/0.79	c remove useless variable ce[3][8][1]
0.69/0.79	c remove useless variable ce[3][8][2]
0.69/0.79	c remove useless variable ce[3][8][3]
0.69/0.79	c remove useless variable ce[3][8][4]
0.69/0.79	c remove useless variable ce[3][8][5]
0.69/0.79	c remove useless variable ce[3][8][6]
0.69/0.79	c remove useless variable ce[3][8][7]
0.69/0.79	c remove useless variable ce[3][8][8]
0.69/0.79	c remove useless variable ce[3][9][0]
0.69/0.79	c remove useless variable ce[3][9][1]
0.69/0.79	c remove useless variable ce[3][9][2]
0.69/0.79	c remove useless variable ce[3][9][3]
0.69/0.79	c remove useless variable ce[3][9][4]
0.69/0.79	c remove useless variable ce[3][9][5]
0.69/0.79	c remove useless variable ce[3][9][6]
0.69/0.79	c remove useless variable ce[3][9][7]
0.69/0.79	c remove useless variable ce[3][9][8]
0.69/0.79	c remove useless variable ce[3][9][9]
0.69/0.79	c remove useless variable ce[3][10][0]
0.69/0.79	c remove useless variable ce[3][10][1]
0.69/0.79	c remove useless variable ce[3][10][2]
0.69/0.79	c remove useless variable ce[3][10][3]
0.69/0.79	c remove useless variable ce[3][10][4]
0.69/0.79	c remove useless variable ce[3][10][5]
0.69/0.79	c remove useless variable ce[3][10][6]
0.69/0.79	c remove useless variable ce[3][10][7]
0.69/0.79	c remove useless variable ce[3][10][8]
0.69/0.79	c remove useless variable ce[3][10][9]
0.69/0.79	c remove useless variable ce[3][10][10]
0.69/0.79	c remove useless variable ce[3][11][0]
0.69/0.79	c remove useless variable ce[3][11][1]
0.69/0.79	c remove useless variable ce[3][11][2]
0.69/0.79	c remove useless variable ce[3][11][3]
0.69/0.79	c remove useless variable ce[3][11][4]
0.69/0.79	c remove useless variable ce[3][11][5]
0.69/0.79	c remove useless variable ce[3][11][6]
0.69/0.79	c remove useless variable ce[3][11][7]
0.69/0.79	c remove useless variable ce[3][11][8]
0.69/0.79	c remove useless variable ce[3][11][9]
0.69/0.79	c remove useless variable ce[3][11][10]
0.69/0.79	c remove useless variable ce[3][11][11]
0.69/0.79	c remove useless variable ce[3][12][0]
0.69/0.79	c remove useless variable ce[3][12][1]
0.69/0.79	c remove useless variable ce[3][12][2]
0.69/0.79	c remove useless variable ce[3][12][3]
0.69/0.79	c remove useless variable ce[3][12][4]
0.69/0.79	c remove useless variable ce[3][12][5]
0.69/0.79	c remove useless variable ce[3][12][6]
0.69/0.79	c remove useless variable ce[3][12][7]
0.69/0.79	c remove useless variable ce[3][12][8]
0.69/0.79	c remove useless variable ce[3][12][9]
0.69/0.79	c remove useless variable ce[3][12][10]
0.69/0.79	c remove useless variable ce[3][12][11]
0.69/0.79	c remove useless variable ce[3][12][12]
0.69/0.79	c remove useless variable ce[3][13][0]
0.69/0.79	c remove useless variable ce[3][13][1]
0.69/0.79	c remove useless variable ce[3][13][2]
0.69/0.79	c remove useless variable ce[3][13][3]
0.69/0.79	c remove useless variable ce[3][13][4]
0.69/0.79	c remove useless variable ce[3][13][5]
0.69/0.79	c remove useless variable ce[3][13][6]
0.69/0.79	c remove useless variable ce[3][13][7]
0.69/0.79	c remove useless variable ce[3][13][8]
0.69/0.79	c remove useless variable ce[3][13][9]
0.69/0.79	c remove useless variable ce[3][13][10]
0.69/0.79	c remove useless variable ce[3][13][11]
0.69/0.79	c remove useless variable ce[3][13][12]
0.69/0.79	c remove useless variable ce[3][13][13]
0.69/0.79	c remove useless variable ce[4][0][0]
0.69/0.79	c remove useless variable ce[4][1][0]
0.69/0.79	c remove useless variable ce[4][1][1]
0.69/0.79	c remove useless variable ce[4][2][0]
0.69/0.79	c remove useless variable ce[4][2][1]
0.69/0.79	c remove useless variable ce[4][2][2]
0.69/0.79	c remove useless variable ce[4][3][0]
0.69/0.79	c remove useless variable ce[4][3][1]
0.69/0.79	c remove useless variable ce[4][3][2]
0.69/0.79	c remove useless variable ce[4][3][3]
0.69/0.79	c remove useless variable ce[4][4][0]
0.69/0.79	c remove useless variable ce[4][4][1]
0.69/0.79	c remove useless variable ce[4][4][2]
0.69/0.79	c remove useless variable ce[4][4][3]
0.69/0.79	c remove useless variable ce[4][4][4]
0.69/0.79	c remove useless variable ce[4][5][0]
0.69/0.79	c remove useless variable ce[4][5][1]
0.69/0.79	c remove useless variable ce[4][5][2]
0.69/0.79	c remove useless variable ce[4][5][3]
0.69/0.79	c remove useless variable ce[4][5][4]
0.69/0.79	c remove useless variable ce[4][5][5]
0.69/0.79	c remove useless variable ce[4][6][0]
0.69/0.79	c remove useless variable ce[4][6][1]
0.69/0.79	c remove useless variable ce[4][6][2]
0.69/0.79	c remove useless variable ce[4][6][3]
0.69/0.79	c remove useless variable ce[4][6][4]
0.69/0.79	c remove useless variable ce[4][6][5]
0.69/0.79	c remove useless variable ce[4][6][6]
0.69/0.79	c remove useless variable ce[4][7][0]
0.69/0.79	c remove useless variable ce[4][7][1]
0.69/0.79	c remove useless variable ce[4][7][2]
0.69/0.79	c remove useless variable ce[4][7][3]
0.69/0.79	c remove useless variable ce[4][7][4]
0.69/0.79	c remove useless variable ce[4][7][5]
0.69/0.79	c remove useless variable ce[4][7][6]
0.69/0.79	c remove useless variable ce[4][7][7]
0.69/0.79	c remove useless variable ce[4][8][0]
0.69/0.79	c remove useless variable ce[4][8][1]
0.69/0.79	c remove useless variable ce[4][8][2]
0.69/0.79	c remove useless variable ce[4][8][3]
0.69/0.79	c remove useless variable ce[4][8][4]
0.69/0.79	c remove useless variable ce[4][8][5]
0.69/0.79	c remove useless variable ce[4][8][6]
0.69/0.79	c remove useless variable ce[4][8][7]
0.69/0.79	c remove useless variable ce[4][8][8]
0.69/0.79	c remove useless variable ce[4][9][0]
0.69/0.79	c remove useless variable ce[4][9][1]
0.69/0.79	c remove useless variable ce[4][9][2]
0.69/0.79	c remove useless variable ce[4][9][3]
0.69/0.79	c remove useless variable ce[4][9][4]
0.69/0.79	c remove useless variable ce[4][9][5]
0.69/0.79	c remove useless variable ce[4][9][6]
0.69/0.79	c remove useless variable ce[4][9][7]
0.69/0.79	c remove useless variable ce[4][9][8]
0.69/0.79	c remove useless variable ce[4][9][9]
0.69/0.79	c remove useless variable ce[4][10][0]
0.69/0.79	c remove useless variable ce[4][10][1]
0.69/0.79	c remove useless variable ce[4][10][2]
0.69/0.79	c remove useless variable ce[4][10][3]
0.69/0.79	c remove useless variable ce[4][10][4]
0.69/0.79	c remove useless variable ce[4][10][5]
0.69/0.79	c remove useless variable ce[4][10][6]
0.69/0.79	c remove useless variable ce[4][10][7]
0.69/0.79	c remove useless variable ce[4][10][8]
0.69/0.79	c remove useless variable ce[4][10][9]
0.69/0.79	c remove useless variable ce[4][10][10]
0.69/0.79	c remove useless variable ce[4][11][0]
0.69/0.79	c remove useless variable ce[4][11][1]
0.69/0.79	c remove useless variable ce[4][11][2]
0.69/0.79	c remove useless variable ce[4][11][3]
0.69/0.79	c remove useless variable ce[4][11][4]
0.69/0.79	c remove useless variable ce[4][11][5]
0.69/0.79	c remove useless variable ce[4][11][6]
0.69/0.79	c remove useless variable ce[4][11][7]
0.69/0.79	c remove useless variable ce[4][11][8]
0.69/0.79	c remove useless variable ce[4][11][9]
0.69/0.79	c remove useless variable ce[4][11][10]
0.69/0.79	c remove useless variable ce[4][11][11]
0.69/0.79	c remove useless variable ce[4][12][0]
0.69/0.79	c remove useless variable ce[4][12][1]
0.69/0.79	c remove useless variable ce[4][12][2]
0.69/0.79	c remove useless variable ce[4][12][3]
0.69/0.79	c remove useless variable ce[4][12][4]
0.69/0.79	c remove useless variable ce[4][12][5]
0.69/0.79	c remove useless variable ce[4][12][6]
0.69/0.79	c remove useless variable ce[4][12][7]
0.69/0.79	c remove useless variable ce[4][12][8]
0.69/0.79	c remove useless variable ce[4][12][9]
0.69/0.79	c remove useless variable ce[4][12][10]
0.69/0.79	c remove useless variable ce[4][12][11]
0.69/0.79	c remove useless variable ce[4][12][12]
0.69/0.79	c remove useless variable ce[4][13][0]
0.69/0.79	c remove useless variable ce[4][13][1]
0.69/0.79	c remove useless variable ce[4][13][2]
0.69/0.79	c remove useless variable ce[4][13][3]
0.69/0.79	c remove useless variable ce[4][13][4]
0.69/0.79	c remove useless variable ce[4][13][5]
0.69/0.79	c remove useless variable ce[4][13][6]
0.69/0.79	c remove useless variable ce[4][13][7]
0.69/0.79	c remove useless variable ce[4][13][8]
0.69/0.79	c remove useless variable ce[4][13][9]
0.69/0.79	c remove useless variable ce[4][13][10]
0.69/0.79	c remove useless variable ce[4][13][11]
0.69/0.79	c remove useless variable ce[4][13][12]
0.69/0.79	c remove useless variable ce[4][13][13]
0.69/0.79	c remove useless variable ce[5][0][0]
0.69/0.79	c remove useless variable ce[5][1][0]
0.69/0.79	c remove useless variable ce[5][1][1]
0.69/0.79	c remove useless variable ce[5][2][0]
0.69/0.79	c remove useless variable ce[5][2][1]
0.69/0.79	c remove useless variable ce[5][2][2]
0.69/0.79	c remove useless variable ce[5][3][0]
0.69/0.79	c remove useless variable ce[5][3][1]
0.69/0.79	c remove useless variable ce[5][3][2]
0.69/0.79	c remove useless variable ce[5][3][3]
0.69/0.79	c remove useless variable ce[5][4][0]
0.69/0.79	c remove useless variable ce[5][4][1]
0.69/0.79	c remove useless variable ce[5][4][2]
0.69/0.79	c remove useless variable ce[5][4][3]
0.69/0.79	c remove useless variable ce[5][4][4]
0.69/0.79	c remove useless variable ce[5][5][0]
0.69/0.79	c remove useless variable ce[5][5][1]
0.69/0.79	c remove useless variable ce[5][5][2]
0.69/0.79	c remove useless variable ce[5][5][3]
0.69/0.79	c remove useless variable ce[5][5][4]
0.69/0.79	c remove useless variable ce[5][5][5]
0.69/0.79	c remove useless variable ce[5][6][0]
0.69/0.79	c remove useless variable ce[5][6][1]
0.69/0.79	c remove useless variable ce[5][6][2]
0.69/0.79	c remove useless variable ce[5][6][3]
0.69/0.79	c remove useless variable ce[5][6][4]
0.69/0.79	c remove useless variable ce[5][6][5]
0.69/0.79	c remove useless variable ce[5][6][6]
0.69/0.79	c remove useless variable ce[5][7][0]
0.69/0.79	c remove useless variable ce[5][7][1]
0.69/0.79	c remove useless variable ce[5][7][2]
0.69/0.79	c remove useless variable ce[5][7][3]
0.69/0.79	c remove useless variable ce[5][7][4]
0.69/0.79	c remove useless variable ce[5][7][5]
0.69/0.79	c remove useless variable ce[5][7][6]
0.69/0.79	c remove useless variable ce[5][7][7]
0.69/0.79	c remove useless variable ce[5][8][0]
0.69/0.79	c remove useless variable ce[5][8][1]
0.69/0.79	c remove useless variable ce[5][8][2]
0.69/0.79	c remove useless variable ce[5][8][3]
0.69/0.79	c remove useless variable ce[5][8][4]
0.69/0.79	c remove useless variable ce[5][8][5]
0.69/0.79	c remove useless variable ce[5][8][6]
0.69/0.79	c remove useless variable ce[5][8][7]
0.69/0.79	c remove useless variable ce[5][8][8]
0.69/0.79	c remove useless variable ce[5][9][0]
0.69/0.79	c remove useless variable ce[5][9][1]
0.69/0.79	c remove useless variable ce[5][9][2]
0.69/0.79	c remove useless variable ce[5][9][3]
0.69/0.79	c remove useless variable ce[5][9][4]
0.69/0.79	c remove useless variable ce[5][9][5]
0.69/0.79	c remove useless variable ce[5][9][6]
0.69/0.79	c remove useless variable ce[5][9][7]
0.69/0.79	c remove useless variable ce[5][9][8]
0.69/0.79	c remove useless variable ce[5][9][9]
0.69/0.79	c remove useless variable ce[5][10][0]
0.69/0.79	c remove useless variable ce[5][10][1]
0.69/0.79	c remove useless variable ce[5][10][2]
0.69/0.79	c remove useless variable ce[5][10][3]
0.69/0.79	c remove useless variable ce[5][10][4]
0.69/0.79	c remove useless variable ce[5][10][5]
0.69/0.79	c remove useless variable ce[5][10][6]
0.69/0.79	c remove useless variable ce[5][10][7]
0.69/0.79	c remove useless variable ce[5][10][8]
0.69/0.79	c remove useless variable ce[5][10][9]
0.69/0.79	c remove useless variable ce[5][10][10]
0.69/0.79	c remove useless variable ce[5][11][0]
0.69/0.79	c remove useless variable ce[5][11][1]
0.69/0.79	c remove useless variable ce[5][11][2]
0.69/0.79	c remove useless variable ce[5][11][3]
0.69/0.79	c remove useless variable ce[5][11][4]
0.69/0.79	c remove useless variable ce[5][11][5]
0.69/0.79	c remove useless variable ce[5][11][6]
0.69/0.79	c remove useless variable ce[5][11][7]
0.69/0.79	c remove useless variable ce[5][11][8]
0.69/0.79	c remove useless variable ce[5][11][9]
0.69/0.79	c remove useless variable ce[5][11][10]
0.69/0.79	c remove useless variable ce[5][11][11]
0.69/0.79	c remove useless variable ce[5][12][0]
0.69/0.79	c remove useless variable ce[5][12][1]
0.69/0.79	c remove useless variable ce[5][12][2]
0.69/0.79	c remove useless variable ce[5][12][3]
0.69/0.79	c remove useless variable ce[5][12][4]
0.69/0.79	c remove useless variable ce[5][12][5]
0.69/0.79	c remove useless variable ce[5][12][6]
0.69/0.79	c remove useless variable ce[5][12][7]
0.69/0.79	c remove useless variable ce[5][12][8]
0.69/0.79	c remove useless variable ce[5][12][9]
0.69/0.79	c remove useless variable ce[5][12][10]
0.69/0.79	c remove useless variable ce[5][12][11]
0.69/0.79	c remove useless variable ce[5][12][12]
0.69/0.79	c remove useless variable ce[5][13][0]
0.69/0.79	c remove useless variable ce[5][13][1]
0.69/0.79	c remove useless variable ce[5][13][2]
0.69/0.79	c remove useless variable ce[5][13][3]
0.69/0.79	c remove useless variable ce[5][13][4]
0.69/0.79	c remove useless variable ce[5][13][5]
0.69/0.79	c remove useless variable ce[5][13][6]
0.69/0.79	c remove useless variable ce[5][13][7]
0.69/0.79	c remove useless variable ce[5][13][8]
0.69/0.79	c remove useless variable ce[5][13][9]
0.69/0.79	c remove useless variable ce[5][13][10]
0.69/0.79	c remove useless variable ce[5][13][11]
0.69/0.79	c remove useless variable ce[5][13][12]
0.69/0.79	c remove useless variable ce[5][13][13]
0.69/0.79	c remove useless variable ce[6][0][0]
0.69/0.79	c remove useless variable ce[6][1][0]
0.69/0.79	c remove useless variable ce[6][1][1]
0.69/0.79	c remove useless variable ce[6][2][0]
0.69/0.79	c remove useless variable ce[6][2][1]
0.69/0.79	c remove useless variable ce[6][2][2]
0.69/0.79	c remove useless variable ce[6][3][0]
0.69/0.79	c remove useless variable ce[6][3][1]
0.69/0.79	c remove useless variable ce[6][3][2]
0.69/0.79	c remove useless variable ce[6][3][3]
0.69/0.79	c remove useless variable ce[6][4][0]
0.69/0.79	c remove useless variable ce[6][4][1]
0.69/0.79	c remove useless variable ce[6][4][2]
0.69/0.79	c remove useless variable ce[6][4][3]
0.69/0.79	c remove useless variable ce[6][4][4]
0.69/0.79	c remove useless variable ce[6][5][0]
0.69/0.79	c remove useless variable ce[6][5][1]
0.69/0.79	c remove useless variable ce[6][5][2]
0.69/0.79	c remove useless variable ce[6][5][3]
0.69/0.79	c remove useless variable ce[6][5][4]
0.69/0.79	c remove useless variable ce[6][5][5]
0.69/0.79	c remove useless variable ce[6][6][0]
0.69/0.79	c remove useless variable ce[6][6][1]
0.69/0.79	c remove useless variable ce[6][6][2]
0.69/0.79	c remove useless variable ce[6][6][3]
0.69/0.79	c remove useless variable ce[6][6][4]
0.69/0.79	c remove useless variable ce[6][6][5]
0.69/0.79	c remove useless variable ce[6][6][6]
0.69/0.79	c remove useless variable ce[6][7][0]
0.69/0.79	c remove useless variable ce[6][7][1]
0.69/0.79	c remove useless variable ce[6][7][2]
0.69/0.79	c remove useless variable ce[6][7][3]
0.69/0.79	c remove useless variable ce[6][7][4]
0.69/0.79	c remove useless variable ce[6][7][5]
0.69/0.79	c remove useless variable ce[6][7][6]
0.69/0.79	c remove useless variable ce[6][7][7]
0.69/0.79	c remove useless variable ce[6][8][0]
0.69/0.79	c remove useless variable ce[6][8][1]
0.69/0.79	c remove useless variable ce[6][8][2]
0.69/0.79	c remove useless variable ce[6][8][3]
0.69/0.79	c remove useless variable ce[6][8][4]
0.69/0.79	c remove useless variable ce[6][8][5]
0.69/0.79	c remove useless variable ce[6][8][6]
0.69/0.79	c remove useless variable ce[6][8][7]
0.69/0.79	c remove useless variable ce[6][8][8]
0.69/0.79	c remove useless variable ce[6][9][0]
0.69/0.79	c remove useless variable ce[6][9][1]
0.69/0.79	c remove useless variable ce[6][9][2]
0.69/0.79	c remove useless variable ce[6][9][3]
0.69/0.79	c remove useless variable ce[6][9][4]
0.69/0.79	c remove useless variable ce[6][9][5]
0.69/0.79	c remove useless variable ce[6][9][6]
0.69/0.79	c remove useless variable ce[6][9][7]
0.69/0.79	c remove useless variable ce[6][9][8]
0.69/0.79	c remove useless variable ce[6][9][9]
0.69/0.79	c remove useless variable ce[6][10][0]
0.69/0.79	c remove useless variable ce[6][10][1]
0.69/0.79	c remove useless variable ce[6][10][2]
0.69/0.79	c remove useless variable ce[6][10][3]
0.69/0.79	c remove useless variable ce[6][10][4]
0.69/0.79	c remove useless variable ce[6][10][5]
0.69/0.79	c remove useless variable ce[6][10][6]
0.69/0.79	c remove useless variable ce[6][10][7]
0.69/0.79	c remove useless variable ce[6][10][8]
0.69/0.79	c remove useless variable ce[6][10][9]
0.69/0.79	c remove useless variable ce[6][10][10]
0.69/0.79	c remove useless variable ce[6][11][0]
0.69/0.79	c remove useless variable ce[6][11][1]
0.69/0.79	c remove useless variable ce[6][11][2]
0.69/0.79	c remove useless variable ce[6][11][3]
0.69/0.79	c remove useless variable ce[6][11][4]
0.69/0.79	c remove useless variable ce[6][11][5]
0.69/0.79	c remove useless variable ce[6][11][6]
0.69/0.79	c remove useless variable ce[6][11][7]
0.69/0.79	c remove useless variable ce[6][11][8]
0.69/0.79	c remove useless variable ce[6][11][9]
0.69/0.79	c remove useless variable ce[6][11][10]
0.69/0.79	c remove useless variable ce[6][11][11]
0.69/0.79	c remove useless variable ce[6][12][0]
0.69/0.79	c remove useless variable ce[6][12][1]
0.69/0.79	c remove useless variable ce[6][12][2]
0.69/0.79	c remove useless variable ce[6][12][3]
0.69/0.79	c remove useless variable ce[6][12][4]
0.69/0.79	c remove useless variable ce[6][12][5]
0.69/0.79	c remove useless variable ce[6][12][6]
0.69/0.79	c remove useless variable ce[6][12][7]
0.69/0.79	c remove useless variable ce[6][12][8]
0.69/0.79	c remove useless variable ce[6][12][9]
0.69/0.79	c remove useless variable ce[6][12][10]
0.69/0.79	c remove useless variable ce[6][12][11]
0.69/0.79	c remove useless variable ce[6][12][12]
0.69/0.79	c remove useless variable ce[6][13][0]
0.69/0.79	c remove useless variable ce[6][13][1]
0.69/0.79	c remove useless variable ce[6][13][2]
0.69/0.79	c remove useless variable ce[6][13][3]
0.69/0.79	c remove useless variable ce[6][13][4]
0.69/0.79	c remove useless variable ce[6][13][5]
0.69/0.79	c remove useless variable ce[6][13][6]
0.69/0.79	c remove useless variable ce[6][13][7]
0.69/0.79	c remove useless variable ce[6][13][8]
0.69/0.79	c remove useless variable ce[6][13][9]
0.69/0.79	c remove useless variable ce[6][13][10]
0.69/0.79	c remove useless variable ce[6][13][11]
0.69/0.79	c remove useless variable ce[6][13][12]
0.69/0.79	c remove useless variable ce[6][13][13]
1.89/1.98	c 101            822            263356         271941         0              0              722   722   714
3.19/3.26	c 211            1481           511042         1618421        0              0              4   550   540  
4.40/4.50	c 332            2088           742505         2780238        0              0              6   487   432  
5.50/5.55	c 465            2596           935074         3224019        0              0              4   376   265  
6.49/6.58	c 611            3145           1129318        3728521        0              0              3   404   164  
6.70/6.75	c 771            3333           1141230        4585022        0              0              3   29   25    
7.69/7.74	c 947            3940           1335656        5152024        0              0              4   432   104  
7.89/7.90	c 1140           4197           1346616        5782106        0              0              3   65   37    
8.89/8.92	c 1352           4854           1536074        6604660        0              0              3   446   131  
9.79/9.87	c 1585           5546           1722179        7441544        0              0              3   460   65   
9.99/10.09	c 1841           5868           1736715        8606307        0              0              3   67   41    
10.29/10.31	c 2122           6232           1748555        9749376        0              0              3   84   53    
10.59/10.61	c 2431           6595           1765271        11456097       0              0              3   55   43    
11.59/11.67	c 2770           7486           1963871        12778610       0              0              3   553   159  
12.69/12.72	c 3142           8412           2154340        14520356       0              0              3   555   70   
12.99/13.06	c 3551           8946           2171836        16391167       0              0              3   126   62   
13.39/13.44	c 4000           9508           2192701        18340317       0              0              7   113   77   
14.59/14.67	c 4493           10036          2224050        25193050       0              0              8   36   34    
15.19/15.28	c 5035           10603          2251308        29413508       0              0              5   26   25    
15.79/15.85	c 5631           11306          2279839        32023825       0              0              4   108   83   
18.69/18.76	c 6286           12022          2322524        47865522       0              0              8   62   58    
20.78/20.90	c 7006           13465          2606032        55320132       0              0              722   722   720
21.38/21.49	c 7798           14283          2636430        57894517       0              0              18   26   18   
22.38/22.44	c 8669           15172          2684076        62976245       0              0              17   18   17   
22.78/22.83	c 9627           16162          2717095        65076166       0              0              9   32   31    
23.29/23.30	c 10680          17235          2766164        68547575       0              0              12   20   19   
25.98/26.06	c 11838          18465          2814406        86038445       0              0              7   72   70    
28.69/28.74	c 13111          20461          3116652        100116762      0              0              722   722   721
29.28/29.33	c 14511          21896          3167258        103636944      0              0              24   35   34   
31.88/31.99	c 16051          23486          3244202        117706495      0              0              7   49   28    
33.58/33.60	c 17745          25213          3308382        126488854      0              0              12   32   31   
39.68/39.71	c 19608          27091          3414967        135531987      0              0              13   14   13   
40.08/40.12	c 21657          29165          3490742        138494564      0              0              5   24   23    
40.48/40.51	c 23910          31432          3591585        141725863      0              0              12   12   11   
40.88/40.95	c 26388          33923          3677361        145277250      0              0              11   11   10   
52.17/52.25	c 29113          36747          3850381        212898779      0              0              17   70   68   
52.67/52.77	c 32110          39757          3955548        217182676      0              0              10   10   9    
54.67/54.72	c 35406          43102          4088262        231175225      0              0              19   32   31   
69.07/69.17	c 39031          46827          4319213        313681150      0              0              8   61   60    
72.27/72.37	c 43018          51548          4669830        332154522      0              0              722   722   721
77.67/77.76	c 47403          55976          4933158        358808329      0              0              5   38   37    
78.77/78.84	c 52226          60813          5093015        368308693      0              0              9   9   8      
82.17/82.24	c 57531          66202          5308422        393389496      0              0              6   44   41    
97.47/97.50	c 63366          72122          5715234        491617498      0              0              8   68   59    
101.76/101.89	c 69784          79285          6117766        519847258      0              0              722   722   721
125.66/125.78	c 76843          86393          6818581        627744045      0              0              5   40   39    
147.36/147.44	c 84607          94212          7545737        715491230      0              0              5   45   44    
158.56/158.61	c 93147          102817         7809309        794051409      0              0              8   49   48    
163.16/163.29	c 102541         112260         8203088        829584751      0              0              7   24   23    
171.16/171.22	c 112874         122777         8438729        870020491      0              0              5   168   165  
173.76/173.86	c 124240         134169         8824190        893692063      0              0              12   12   11   
176.56/176.64	c 136742         146713         9363229        915132412      0              0              12   26   25   
179.16/179.26	c 150494         160496         9815705        938059828      0              0              13   13   12   
197.25/197.38	c 165621         175674         10572355       1039089773     0              0              4   31   27    
205.55/205.62	c 182260         192702         10889206       1081549520     0              0              6   168   152  
208.65/208.73	c 200562         211089         11671666       1108318372     0              0              8   12   11    
220.45/220.54	c 220694         231418         12495600       1198963852     0              0              4   30   29    
239.75/239.82	c 242839         254029         13151171       1294418043     0              0              4   126   121  
243.55/243.69	c 267198         278433         14186398       1329184776     0              0              13   13   12   
270.15/270.20	c 293992         305288         15408336       1495116651     0              0              4   25   24    
379.23/379.37	c 323465         334866         18534987       1972685476     0              0              10   62   61   
384.33/384.48	c 355885         367338         19906503       2018937397     0              0              8   8   7      
407.53/407.64	c 391547         403062         21406996       2193728660     0              0              4   13   12    
477.03/477.18	c 430775         442389         23633045       2556274215     0              0              4   44   43    
576.42/576.59	c 473925         489745         25405098       3177560304     0              0              5   67   56    
622.32/622.43	c 521390         537319         27298616       3548049323     0              0              3   43   39    
643.52/643.61	c 573601         589609         29535871       3695837205     0              0              8   8   7      
691.61/691.76	c 631033         647151         31781705       4091598278     0              0              4   30   29    
725.51/725.61	c 694208         711333         34106680       4338852905     0              0              4   78   74    
789.20/789.34	c 763700         781362         36340942       4704139317     0              0              5   123   116  
830.20/830.33	c 840141         857924         39426051       5027707170     0              0              5   15   14    
915.89/916.07	c 924226         942156         42861462       5711075489     0              0              4   29   28    
937.78/937.90	c 1016719        1034836        45896718       5874084737     0              0              4   56   55    
962.39/962.60	c 1118461        1137060        46768695       5980978335     0              0              5   275   254  
1119.97/1120.19	c 1230377        1249786        52466397       6888968396     0              0              3   73   71    
1157.07/1157.23	c 1353484        1373462        53483506       7069268205     0              0              5   304   277  
1176.06/1176.20	c 1488901        1510168        54137228       7097037277     0              0              4   565   551  
1194.26/1194.48	c 1637859        1660497        54723752       7108023809     0              0              4   567   560  
1360.04/1360.25	c 1801712        1824630        61283473       8506910896     0              0              7   46   45    
1463.43/1463.64	c 1981950        2005198        66947752       9363381857     0              0              4   72   71    
1582.32/1582.51	c 2180211        2203793        74490385       10313986135    0              0              4   51   50    
1695.31/1695.52	c 2398298        2422284        82095296       11205974095    0              0              4   90   89    
2025.18/2025.45	c 2638193        2665720        88885583       13289122337    0              0              4   113   112  
2381.85/2382.17	c 2902077        2931466        97859007       16145378486    0              0              722   722   721

Verifier Data 

One s line expected

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-4251717-1500919724/watcher-4251717-1500919724 -o /tmp/evaluation-result-4251717-1500919724/solver-4251717-1500919724 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500914920-3753 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251717-1500919724.xml 

pid=4522
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 4525
/proc/meminfo: memFree=32090548/32770624 swapFree=5848/111128
[pid=4525] ppid=4522 vsize=27432 CPUtime=0 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 1090 0 0 0 0 0 0 0 20 0 1 0 1561214 28090368 891 33554432000 4194304 5744392 140725923539840 140725923536488 140615045221349 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 6858 891 685 379 0 277 0

[startup+0.100106 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 4525
/proc/meminfo: memFree=32090548/32770624 swapFree=5848/111128
[pid=4525] ppid=4522 vsize=39604 CPUtime=0.09 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 4236 0 0 0 9 0 0 0 20 0 1 0 1561214 40554496 4010 33554432000 4194304 5744392 140725923539840 140725923536488 140615054553680 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 9901 4010 773 379 0 3320 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39604

[startup+0.200283 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 4525
/proc/meminfo: memFree=32090548/32770624 swapFree=5848/111128
[pid=4525] ppid=4522 vsize=44264 CPUtime=0.19 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 5378 0 0 0 19 0 0 0 20 0 1 0 1561214 45326336 5214 33554432000 4194304 5744392 140725923539840 140725923536488 140615045213951 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 11066 5214 773 379 0 4485 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 44264

[startup+0.300227 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 4525
/proc/meminfo: memFree=32090548/32770624 swapFree=5848/111128
[pid=4525] ppid=4522 vsize=48688 CPUtime=0.29 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 6508 0 0 0 28 1 0 0 20 0 1 0 1561214 49856512 6320 33554432000 4194304 5744392 140725923539840 140725923536488 5085999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 12172 6320 773 379 0 5591 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48688

[startup+0.700182 s]
/proc/loadavg: 2.01 2.02 2.05 2/181 4525
/proc/meminfo: memFree=32090548/32770624 swapFree=5848/111128
[pid=4525] ppid=4522 vsize=66916 CPUtime=0.69 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 11046 0 0 0 67 2 0 0 20 0 1 0 1561214 68521984 10876 33554432000 4194304 5744392 140725923539840 140725923533464 140615045312266 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 16729 10876 773 379 0 10148 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66916

[startup+1.50017 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4526
/proc/meminfo: memFree=32045224/32770624 swapFree=5848/111292
[pid=4525] ppid=4522 vsize=72420 CPUtime=1.49 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 12471 0 0 0 147 2 0 0 20 0 1 0 1561214 74158080 12268 33554432000 4194304 5744392 140725923539840 140725923533464 4917104 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 18105 12268 813 379 0 11524 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72420

[startup+3.10017 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4526
/proc/meminfo: memFree=32041512/32770624 swapFree=5848/110888
[pid=4525] ppid=4522 vsize=74808 CPUtime=3.09 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 15807 0 0 0 307 2 0 0 20 0 1 0 1561214 76603392 12875 33554432000 4194304 5744392 140725923539840 140725923537208 5127223 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 18702 12875 813 379 0 12121 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74808

[startup+6.30019 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4526
/proc/meminfo: memFree=32041432/32770624 swapFree=5848/110904
[pid=4525] ppid=4522 vsize=74808 CPUtime=6.29 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 19059 0 0 0 627 2 0 0 20 0 1 0 1561214 76603392 12875 33554432000 4194304 5744392 140725923539840 140725923537240 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 18702 12875 813 379 0 12121 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74808

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4526
/proc/meminfo: memFree=32041184/32770624 swapFree=5848/110904
[pid=4525] ppid=4522 vsize=75336 CPUtime=12.69 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 22713 0 0 0 1267 2 0 0 20 0 1 0 1561214 77144064 13016 33554432000 4194304 5744392 140725923539840 140725923536984 5127232 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 18834 13016 813 379 0 12253 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75336

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4526
/proc/meminfo: memFree=32036460/32770624 swapFree=5848/110932
[pid=4525] ppid=4522 vsize=78504 CPUtime=25.48 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 30009 0 0 0 2545 3 0 0 20 0 1 0 1561214 80388096 13798 33554432000 4194304 5744392 140725923539840 140725923537240 4908313 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 19626 13798 813 379 0 13045 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78504

[startup+51.1002 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 4587
/proc/meminfo: memFree=31888356/32770624 swapFree=5848/114880
[pid=4525] ppid=4522 vsize=80220 CPUtime=51.08 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 33391 0 0 0 5103 5 0 0 20 0 1 0 1561214 82145280 14179 33554432000 4194304 5744392 140725923539840 140725923536984 4873200 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 20055 14179 813 379 0 13474 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 80220

[startup+102.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/182 5216
/proc/meminfo: memFree=32070368/32770624 swapFree=5848/115268
[pid=4525] ppid=4522 vsize=81012 CPUtime=102.27 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 34680 0 0 0 10221 6 0 0 20 0 1 0 1561214 82956288 14408 33554432000 4194304 5744392 140725923539840 140725923536984 4913898 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 20253 14408 813 379 0 13672 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 81012

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/182 5217
/proc/meminfo: memFree=32069940/32770624 swapFree=5848/115324
[pid=4525] ppid=4522 vsize=81408 CPUtime=162.26 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 35594 0 0 0 16220 6 0 0 20 0 1 0 1561214 83361792 14518 33554432000 4194304 5744392 140725923539840 140725923536984 4904870 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 20352 14518 813 379 0 13771 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 81408

[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.04 3/182 5218
/proc/meminfo: memFree=32069220/32770624 swapFree=5848/115380
[pid=4525] ppid=4522 vsize=82200 CPUtime=222.26 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 36251 0 0 0 22220 6 0 0 20 0 1 0 1561214 84172800 14703 33554432000 4194304 5744392 140725923539840 140725923536984 4911512 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 20550 14703 813 379 0 13969 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 82200

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 5219
/proc/meminfo: memFree=32068972/32770624 swapFree=5848/115416
[pid=4525] ppid=4522 vsize=82464 CPUtime=282.24 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 36842 0 0 0 28218 6 0 0 20 0 1 0 1561214 84443136 14790 33554432000 4194304 5744392 140725923539840 140725923536984 4904853 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 20616 14790 813 379 0 14035 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 82464

[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 5220
/proc/meminfo: memFree=32069220/32770624 swapFree=5848/115468
[pid=4525] ppid=4522 vsize=82464 CPUtime=342.24 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 37317 0 0 0 34218 6 0 0 20 0 1 0 1561214 84443136 14803 33554432000 4194304 5744392 140725923539840 140725923536984 4873208 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 20616 14803 813 379 0 14035 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 82464

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 5221
/proc/meminfo: memFree=32068880/32770624 swapFree=5848/115508
[pid=4525] ppid=4522 vsize=82464 CPUtime=402.23 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 37879 0 0 0 40217 6 0 0 20 0 1 0 1561214 84443136 14803 33554432000 4194304 5744392 140725923539840 140725923537240 4873208 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 20616 14803 813 379 0 14035 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 82464

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5222
/proc/meminfo: memFree=32068552/32770624 swapFree=5848/115540
[pid=4525] ppid=4522 vsize=82596 CPUtime=462.23 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 38418 0 0 0 46217 6 0 0 20 0 1 0 1561214 84578304 14825 33554432000 4194304 5744392 140725923539840 140725923536984 4901884 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 20649 14825 813 379 0 14068 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 82596

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5223
/proc/meminfo: memFree=32068660/32770624 swapFree=5848/115580
[pid=4525] ppid=4522 vsize=82728 CPUtime=522.22 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 39045 0 0 0 52216 6 0 0 20 0 1 0 1561214 84713472 14831 33554432000 4194304 5744392 140725923539840 140725923536984 4994081 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 20682 14831 813 379 0 14101 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 82728

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5224
/proc/meminfo: memFree=32068580/32770624 swapFree=5848/115616
[pid=4525] ppid=4522 vsize=82728 CPUtime=582.22 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 39534 0 0 0 58216 6 0 0 20 0 1 0 1561214 84713472 14844 33554432000 4194304 5744392 140725923539840 140725923537240 4908289 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 20682 14844 813 379 0 14101 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 82728


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5256
/proc/meminfo: memFree=32065156/32770624 swapFree=5848/116220
[pid=4525] ppid=4522 vsize=86160 CPUtime=1542.13 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 47943 0 0 0 154205 8 0 0 20 0 1 0 1561214 88227840 15726 33554432000 4194304 5744392 140725923539840 140725923537240 4908650 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21540 15726 813 379 0 14959 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 86160

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5257
/proc/meminfo: memFree=32064784/32770624 swapFree=5848/116244
[pid=4525] ppid=4522 vsize=86160 CPUtime=1602.12 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 48401 0 0 0 160204 8 0 0 20 0 1 0 1561214 88227840 15727 33554432000 4194304 5744392 140725923539840 140725923537240 4904853 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21540 15727 813 379 0 14959 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 86160

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5258
/proc/meminfo: memFree=32064660/32770624 swapFree=5848/116276
[pid=4525] ppid=4522 vsize=86160 CPUtime=1662.11 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 48623 0 0 0 166203 8 0 0 20 0 1 0 1561214 88227840 15730 33554432000 4194304 5744392 140725923539840 140725923537240 4908257 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21540 15730 813 379 0 14959 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 86160

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 5259
/proc/meminfo: memFree=32064660/32770624 swapFree=5848/116316
[pid=4525] ppid=4522 vsize=86292 CPUtime=1722.1 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 49111 0 0 0 172202 8 0 0 20 0 1 0 1561214 88363008 15748 33554432000 4194304 5744392 140725923539840 140725923536984 4905016 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21573 15748 813 379 0 14992 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 86292

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5260
/proc/meminfo: memFree=32064536/32770624 swapFree=5848/116348
[pid=4525] ppid=4522 vsize=86292 CPUtime=1782.11 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 49435 0 0 0 178202 9 0 0 20 0 1 0 1561214 88363008 15755 33554432000 4194304 5744392 140725923539840 140725923536984 4905336 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21573 15755 813 379 0 14992 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 86292

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5261
/proc/meminfo: memFree=32064908/32770624 swapFree=5848/116396
[pid=4525] ppid=4522 vsize=86292 CPUtime=1842.1 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 49761 0 0 0 184201 9 0 0 20 0 1 0 1561214 88363008 15758 33554432000 4194304 5744392 140725923539840 140725923536984 4904960 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21573 15758 813 379 0 14992 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 86292

[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 5269
/proc/meminfo: memFree=32064172/32770624 swapFree=5848/116416
[pid=4525] ppid=4522 vsize=86424 CPUtime=1902.09 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 50098 0 0 0 190200 9 0 0 20 0 1 0 1561214 88498176 15765 33554432000 4194304 5744392 140725923539840 140725923536984 4904974 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21606 15765 813 379 0 15025 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 86424

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5270
/proc/meminfo: memFree=32064520/32770624 swapFree=5848/116448
[pid=4525] ppid=4522 vsize=86424 CPUtime=1962.09 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 50442 0 0 0 196200 9 0 0 20 0 1 0 1561214 88498176 15768 33554432000 4194304 5744392 140725923539840 140725923536984 4971624 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21606 15768 813 379 0 15025 0
Current children cumulated CPU time (s) 1962.09
Current children cumulated vsize (KiB) 86424

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5271
/proc/meminfo: memFree=32064016/32770624 swapFree=5848/116484
[pid=4525] ppid=4522 vsize=86424 CPUtime=2022.08 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 50786 0 0 0 202199 9 0 0 20 0 1 0 1561214 88498176 15778 33554432000 4194304 5744392 140725923539840 140725923536984 4970912 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21606 15778 813 379 0 15025 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 86424

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5272
/proc/meminfo: memFree=32064312/32770624 swapFree=5848/116516
[pid=4525] ppid=4522 vsize=86556 CPUtime=2082.08 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 51603 0 0 0 208199 9 0 0 20 0 1 0 1561214 88633344 15808 33554432000 4194304 5744392 140725923539840 140725923536616 4952928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21639 15808 813 379 0 15058 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 86556

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5273
/proc/meminfo: memFree=32064436/32770624 swapFree=5848/116552
[pid=4525] ppid=4522 vsize=86556 CPUtime=2142.07 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 51849 0 0 0 214198 9 0 0 20 0 1 0 1561214 88633344 15808 33554432000 4194304 5744392 140725923539840 140725923536616 4952980 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21639 15808 813 379 0 15058 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 86556

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5274
/proc/meminfo: memFree=32064660/32770624 swapFree=5848/116584
[pid=4525] ppid=4522 vsize=86556 CPUtime=2202.07 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 52093 0 0 0 220198 9 0 0 20 0 1 0 1561214 88633344 15808 33554432000 4194304 5744392 140725923539840 140725923536616 4970576 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21639 15808 813 379 0 15058 0
Current children cumulated CPU time (s) 2202.07
Current children cumulated vsize (KiB) 86556

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5275
/proc/meminfo: memFree=32064504/32770624 swapFree=5848/116596
[pid=4525] ppid=4522 vsize=86556 CPUtime=2262.06 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 52339 0 0 0 226197 9 0 0 20 0 1 0 1561214 88633344 15808 33554432000 4194304 5744392 140725923539840 140725923536616 4908728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21639 15808 813 379 0 15058 0
Current children cumulated CPU time (s) 2262.06
Current children cumulated vsize (KiB) 86556

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5276
/proc/meminfo: memFree=32064696/32770624 swapFree=5848/116628
[pid=4525] ppid=4522 vsize=86556 CPUtime=2322.05 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 52584 0 0 0 232196 9 0 0 20 0 1 0 1561214 88633344 15808 33554432000 4194304 5744392 140725923539840 140725923536616 4970576 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21639 15808 813 379 0 15058 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 86556

[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 5277
/proc/meminfo: memFree=32064960/32770624 swapFree=5848/116660
[pid=4525] ppid=4522 vsize=86556 CPUtime=2382.05 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 53454 0 0 0 238196 9 0 0 20 0 1 0 1561214 88633344 15808 33554432000 4194304 5744392 140725923539840 140725923536616 5127200 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21639 15808 813 379 0 15058 0
Current children cumulated CPU time (s) 2382.05
Current children cumulated vsize (KiB) 86556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 5277
/proc/meminfo: memFree=32065544/32770624 swapFree=5848/116676
[pid=4525] ppid=4522 vsize=86556 CPUtime=2400.05 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 53810 0 0 0 239996 9 0 0 20 0 1 0 1561214 88633344 15808 33554432000 4194304 5744392 140725923539840 140725923537240 4914576 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21639 15808 813 379 0 15058 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 86556

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 4525 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 5277
/proc/meminfo: memFree=32065544/32770624 swapFree=5848/116676
[pid=4525] ppid=4522 vsize=86556 CPUtime=2400.05 cores=0,2,4,6
/proc/4525/stat : 4525 (cosoco) R 4522 4525 3722 0 -1 4202496 53810 0 0 0 239996 9 0 0 20 0 1 0 1561214 88633344 15808 33554432000 4194304 5744392 140725923539840 140725923537240 4914576 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 38629376 140725923542209 140725923542339 140725923542339 140725923545038 0
/proc/4525/statm: 21639 15808 813 379 0 15058 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 86556

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.06
CPU user time (s): 2399.96
CPU system time (s): 0.09599
CPU usage (%): 99.9897
Max. virtual memory (cumulated for all children) (KiB): 86556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.96
system time used= 0.09599
maximum resident set size= 63276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53832
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= 27
involuntary context switches= 3012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73531 second user time and 7.98113 second system time

The end

Launcher Data 

Begin job on node145 at 2017-07-24 20:08:44
IDJOB=4251717
IDBENCH=120756
IDSOLVER=2633
FILE ID=node145/4251717-1500919724
RUNJOBID= node145-1500914920-3753
PBS_JOBID= 20625401
Free space on /tmp= 61684 MiB

SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K14-P07.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4251717-1500919724/watcher-4251717-1500919724 -o /tmp/evaluation-result-4251717-1500919724/solver-4251717-1500919724 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500914920-3753 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4251717-1500919724.xml

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

MD5SUM BENCH= 539390230adc3c5191c5e54bc0e1cdf0
RANDOM SEED=445691407

node145.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.58
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.58
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.58
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.58
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:        32091104 kB
MemAvailable:   32022212 kB
Buffers:           32664 kB
Cached:           213316 kB
SwapCached:            0 kB
Active:           210444 kB
Inactive:         119700 kB
Active(anon):      87004 kB
Inactive(anon):     8572 kB
Active(file):     123440 kB
Inactive(file):   111128 kB
Unevictable:        5848 kB
Mlocked:            5848 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1780 kB
Writeback:             0 kB
AnonPages:         89732 kB
Mapped:            29276 kB
Shmem:              8848 kB
Slab:              49420 kB
SReclaimable:      24748 kB
SUnreclaim:        24672 kB
KernelStack:        3264 kB
PageTables:         4604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61680 MiB
End job on node145 at 2017-07-24 20:48:45