Trace number 4267999

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) 2519.7 2520

General information on the benchmark

NameGracefulGraph/GracefulGraph-m1-s1/
GracefulGraph-K12-P09.xml
MD5SUM32cec65ed71b36923f34d2db18851218
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 variables1500
Number of constraints692
Number of domains2
Minimum domain size690
Maximum domain size691
Distribution of domain sizes[{"size":690,"count":690},{"size":691,"count":108}]
Minimum variable degree0
Maximum variable degree14
Distribution of variable degrees[{"degree":0,"count":702},{"degree":2,"count":690},{"degree":13,"count":24},{"degree":14,"count":84}]
Minimum constraint arity3
Maximum constraint arity690
Distribution of constraint arities[{"arity":3,"count":690},{"arity":108,"count":1},{"arity":690,"count":1}]
Number of extensional constraints0
Number of intensional constraints690
Distribution of constraint types[{"type":"intension","count":690},{"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-4267999-1502511920.xml 
0.73/0.87	c ========================================[ Problem Statistics ]===========================================
0.73/0.87	c |                                                                                                       
0.73/0.87	c |  Parse time        :         0.79 s 
0.73/0.87	c |
0.73/0.87	c |               Variables: 1500
0.73/0.87	c |            Domain Sizes: 690..691
0.73/0.87	c |
0.73/0.87	c |             Constraints: 692
0.73/0.87	c |                   Arity: 3..690  -- Ternary: 690
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: 690
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[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[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[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[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[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[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[7][0][0]
0.73/0.87	c remove useless variable ce[7][1][0]
0.73/0.87	c remove useless variable ce[7][1][1]
0.73/0.87	c remove useless variable ce[7][2][0]
0.73/0.87	c remove useless variable ce[7][2][1]
0.73/0.87	c remove useless variable ce[7][2][2]
0.73/0.87	c remove useless variable ce[7][3][0]
0.73/0.87	c remove useless variable ce[7][3][1]
0.73/0.87	c remove useless variable ce[7][3][2]
0.73/0.87	c remove useless variable ce[7][3][3]
0.73/0.87	c remove useless variable ce[7][4][0]
0.73/0.87	c remove useless variable ce[7][4][1]
0.73/0.87	c remove useless variable ce[7][4][2]
0.73/0.87	c remove useless variable ce[7][4][3]
0.73/0.87	c remove useless variable ce[7][4][4]
0.73/0.87	c remove useless variable ce[7][5][0]
0.73/0.87	c remove useless variable ce[7][5][1]
0.73/0.87	c remove useless variable ce[7][5][2]
0.73/0.87	c remove useless variable ce[7][5][3]
0.73/0.87	c remove useless variable ce[7][5][4]
0.73/0.87	c remove useless variable ce[7][5][5]
0.73/0.87	c remove useless variable ce[7][6][0]
0.73/0.87	c remove useless variable ce[7][6][1]
0.73/0.87	c remove useless variable ce[7][6][2]
0.73/0.87	c remove useless variable ce[7][6][3]
0.73/0.87	c remove useless variable ce[7][6][4]
0.73/0.87	c remove useless variable ce[7][6][5]
0.73/0.87	c remove useless variable ce[7][6][6]
0.73/0.87	c remove useless variable ce[7][7][0]
0.73/0.87	c remove useless variable ce[7][7][1]
0.73/0.87	c remove useless variable ce[7][7][2]
0.73/0.87	c remove useless variable ce[7][7][3]
0.73/0.87	c remove useless variable ce[7][7][4]
0.73/0.87	c remove useless variable ce[7][7][5]
0.73/0.87	c remove useless variable ce[7][7][6]
0.73/0.87	c remove useless variable ce[7][7][7]
0.73/0.87	c remove useless variable ce[7][8][0]
0.73/0.87	c remove useless variable ce[7][8][1]
0.73/0.87	c remove useless variable ce[7][8][2]
0.73/0.87	c remove useless variable ce[7][8][3]
0.73/0.87	c remove useless variable ce[7][8][4]
0.73/0.87	c remove useless variable ce[7][8][5]
0.73/0.87	c remove useless variable ce[7][8][6]
0.73/0.87	c remove useless variable ce[7][8][7]
0.73/0.87	c remove useless variable ce[7][8][8]
0.73/0.87	c remove useless variable ce[7][9][0]
0.73/0.87	c remove useless variable ce[7][9][1]
0.73/0.87	c remove useless variable ce[7][9][2]
0.73/0.87	c remove useless variable ce[7][9][3]
0.73/0.87	c remove useless variable ce[7][9][4]
0.73/0.87	c remove useless variable ce[7][9][5]
0.73/0.87	c remove useless variable ce[7][9][6]
0.73/0.87	c remove useless variable ce[7][9][7]
0.73/0.87	c remove useless variable ce[7][9][8]
0.73/0.87	c remove useless variable ce[7][9][9]
0.73/0.87	c remove useless variable ce[7][10][0]
0.73/0.87	c remove useless variable ce[7][10][1]
0.73/0.87	c remove useless variable ce[7][10][2]
0.73/0.87	c remove useless variable ce[7][10][3]
0.73/0.87	c remove useless variable ce[7][10][4]
0.73/0.87	c remove useless variable ce[7][10][5]
0.73/0.87	c remove useless variable ce[7][10][6]
0.73/0.87	c remove useless variable ce[7][10][7]
0.73/0.87	c remove useless variable ce[7][10][8]
0.73/0.87	c remove useless variable ce[7][10][9]
0.73/0.87	c remove useless variable ce[7][10][10]
0.73/0.87	c remove useless variable ce[7][11][0]
0.73/0.87	c remove useless variable ce[7][11][1]
0.73/0.87	c remove useless variable ce[7][11][2]
0.73/0.87	c remove useless variable ce[7][11][3]
0.73/0.87	c remove useless variable ce[7][11][4]
0.73/0.87	c remove useless variable ce[7][11][5]
0.73/0.87	c remove useless variable ce[7][11][6]
0.73/0.87	c remove useless variable ce[7][11][7]
0.73/0.87	c remove useless variable ce[7][11][8]
0.73/0.87	c remove useless variable ce[7][11][9]
0.73/0.87	c remove useless variable ce[7][11][10]
0.73/0.87	c remove useless variable ce[7][11][11]
0.73/0.87	c remove useless variable ce[8][0][0]
0.73/0.87	c remove useless variable ce[8][1][0]
0.73/0.87	c remove useless variable ce[8][1][1]
0.73/0.87	c remove useless variable ce[8][2][0]
0.73/0.87	c remove useless variable ce[8][2][1]
0.73/0.87	c remove useless variable ce[8][2][2]
0.73/0.87	c remove useless variable ce[8][3][0]
0.73/0.87	c remove useless variable ce[8][3][1]
0.73/0.87	c remove useless variable ce[8][3][2]
0.73/0.87	c remove useless variable ce[8][3][3]
0.73/0.87	c remove useless variable ce[8][4][0]
0.73/0.87	c remove useless variable ce[8][4][1]
0.73/0.87	c remove useless variable ce[8][4][2]
0.73/0.87	c remove useless variable ce[8][4][3]
0.73/0.87	c remove useless variable ce[8][4][4]
0.73/0.87	c remove useless variable ce[8][5][0]
0.73/0.87	c remove useless variable ce[8][5][1]
0.73/0.87	c remove useless variable ce[8][5][2]
0.73/0.87	c remove useless variable ce[8][5][3]
0.73/0.87	c remove useless variable ce[8][5][4]
0.73/0.87	c remove useless variable ce[8][5][5]
0.73/0.87	c remove useless variable ce[8][6][0]
0.73/0.87	c remove useless variable ce[8][6][1]
0.73/0.87	c remove useless variable ce[8][6][2]
0.73/0.87	c remove useless variable ce[8][6][3]
0.73/0.87	c remove useless variable ce[8][6][4]
0.73/0.87	c remove useless variable ce[8][6][5]
0.73/0.87	c remove useless variable ce[8][6][6]
0.73/0.87	c remove useless variable ce[8][7][0]
0.73/0.87	c remove useless variable ce[8][7][1]
0.73/0.87	c remove useless variable ce[8][7][2]
0.73/0.87	c remove useless variable ce[8][7][3]
0.73/0.87	c remove useless variable ce[8][7][4]
0.73/0.87	c remove useless variable ce[8][7][5]
0.73/0.87	c remove useless variable ce[8][7][6]
0.73/0.87	c remove useless variable ce[8][7][7]
0.73/0.87	c remove useless variable ce[8][8][0]
0.73/0.87	c remove useless variable ce[8][8][1]
0.73/0.87	c remove useless variable ce[8][8][2]
0.73/0.87	c remove useless variable ce[8][8][3]
0.73/0.87	c remove useless variable ce[8][8][4]
0.73/0.87	c remove useless variable ce[8][8][5]
0.73/0.87	c remove useless variable ce[8][8][6]
0.73/0.87	c remove useless variable ce[8][8][7]
0.73/0.87	c remove useless variable ce[8][8][8]
0.73/0.87	c remove useless variable ce[8][9][0]
0.73/0.87	c remove useless variable ce[8][9][1]
0.73/0.87	c remove useless variable ce[8][9][2]
0.73/0.87	c remove useless variable ce[8][9][3]
0.73/0.87	c remove useless variable ce[8][9][4]
0.73/0.87	c remove useless variable ce[8][9][5]
0.73/0.87	c remove useless variable ce[8][9][6]
0.73/0.87	c remove useless variable ce[8][9][7]
0.73/0.87	c remove useless variable ce[8][9][8]
0.73/0.87	c remove useless variable ce[8][9][9]
0.73/0.87	c remove useless variable ce[8][10][0]
0.73/0.87	c remove useless variable ce[8][10][1]
0.73/0.87	c remove useless variable ce[8][10][2]
0.73/0.87	c remove useless variable ce[8][10][3]
0.73/0.87	c remove useless variable ce[8][10][4]
0.73/0.87	c remove useless variable ce[8][10][5]
0.73/0.87	c remove useless variable ce[8][10][6]
0.73/0.87	c remove useless variable ce[8][10][7]
0.73/0.87	c remove useless variable ce[8][10][8]
0.73/0.87	c remove useless variable ce[8][10][9]
0.73/0.87	c remove useless variable ce[8][10][10]
0.73/0.87	c remove useless variable ce[8][11][0]
0.73/0.87	c remove useless variable ce[8][11][1]
0.73/0.87	c remove useless variable ce[8][11][2]
0.73/0.87	c remove useless variable ce[8][11][3]
0.73/0.87	c remove useless variable ce[8][11][4]
0.73/0.87	c remove useless variable ce[8][11][5]
0.73/0.87	c remove useless variable ce[8][11][6]
0.73/0.87	c remove useless variable ce[8][11][7]
0.73/0.87	c remove useless variable ce[8][11][8]
0.73/0.87	c remove useless variable ce[8][11][9]
0.73/0.87	c remove useless variable ce[8][11][10]
0.73/0.87	c remove useless variable ce[8][11][11]
1.83/1.92	c 101            791            241204         248219         0              0              691   691   684
2.83/2.94	c 211            1388           459183         567522         0              0              4   488   479  
3.93/4.08	c 332            2030           684429         1741775        0              0              6   522   488  
4.03/4.15	c 465            2192           694567         1938216        0              0              5   30   22    
4.93/5.06	c 611            2708           872230         2479968        0              0              4   371   138  
5.73/5.83	c 771            3155           1010078        2972183        0              0              8   288   40   
6.53/6.63	c 947            3630           1149920        3545998        0              0              8   300   55   
6.63/6.76	c 1140           3879           1161312        4020408        0              0              5   57   35    
7.43/7.55	c 1352           4414           1304077        4737366        0              0              7   324   77   
7.63/7.77	c 1585           4689           1319157        5764743        0              0              5   43   32    
8.43/8.56	c 1841           5280           1458639        6586121        0              0              5   336   70   
8.73/8.83	c 2122           5585           1474055        7777349        0              0              9   25   23    
8.93/9.06	c 2431           5982           1487700        8825600        0              0              8   89   49    
9.23/9.36	c 2770           6395           1501778        10003856       0              0              8   75   63    
9.72/9.83	c 3142           6789           1519235        12440377       0              0              7   23   22    
10.62/10.79	c 3551           7699           1694285        13452054       0              0              3   502   313  
11.52/11.68	c 4000           8579           1842618        14648501       0              0              5   432   232  
12.32/12.42	c 4493           9149           1871351        18744756       0              0              5   50   37    
13.92/14.03	c 5035           10381          2125247        23499645       0              0              691   691   689
14.62/14.79	c 5631           11070          2161673        27360441       0              0              6   94   82    
15.92/16.05	c 6286           11844          2200205        33674965       0              0              8   120   106  
16.62/16.79	c 7006           12661          2237235        37322907       0              0              7   97   92    
17.12/17.24	c 7798           13469          2276841        40033111       0              0              15   16   15   
17.72/17.84	c 8669           14419          2315244        43286695       0              0              7   79   77    
18.42/18.56	c 9627           15541          2349081        47430851       0              0              13   120   105 
19.92/20.07	c 10680          16615          2396474        55138434       0              0              20   21   20   
21.02/21.15	c 11838          17786          2448304        61203234       0              0              12   12   11   
22.02/22.14	c 13111          19088          2508844        67230649       0              0              5   29   28    
23.22/23.34	c 14511          20626          2548663        73894398       0              0              8   134   122  
24.81/24.94	c 16051          23825          2633700        79329172       0              0              10   42   36   
25.32/25.45	c 17745          25549          2693146        82592562       0              0              10   29   28   
29.63/29.73	c 19608          27520          2769079        107651131      0              0              14   107   103 
31.42/31.54	c 21657          30266          3047265        115062781      0              0              691   691   690
32.93/33.07	c 23910          32578          3132585        123386434      0              0              5   57   56    
34.72/34.88	c 26388          35084          3223179        135615449      0              0              4   26   25    
37.12/37.27	c 29113          37856          3321333        150736665      0              0              6   42   36    
39.12/39.27	c 32110          40901          3435355        165190920      0              0              11   25   24   
40.62/40.74	c 35406          44401          3555110        172808088      0              0              12   200   124 
42.12/42.27	c 39031          48138          3698729        183826884      0              0              3   108   23   
44.52/44.61	c 43018          52355          3774544        195730409      0              0              6   224   194  
45.42/45.50	c 47403          56758          3941017        202669049      0              0              7   13   12    
47.92/48.04	c 52226          61612          4137913        217277378      0              0              4   24   20    
53.42/53.59	c 57531          67053          4363369        248980868      0              0              5   129   88   
55.52/55.63	c 63366          72910          4594099        260898830      0              0              3   15   14    
59.62/59.73	c 69784          79445          4807147        287100560      0              0              5   99   54    
66.42/66.56	c 76843          86593          4990785        331742203      0              0              3   75   74    
70.22/70.38	c 84607          94403          5262353        361866327      0              0              7   36   35    
74.82/74.95	c 93147          103205         5418304        383692318      0              0              7   248   213  
76.42/76.50	c 102541         112633         5769366        396595236      0              0              8   22   21    
84.52/84.64	c 112874         123046         6159170        456239600      0              0              4   66   57    
96.82/96.91	c 124240         134530         6555891        513614424      0              0              4   95   79    
99.31/99.45	c 136742         147111         6995889        533382826      0              0              4   26   25    
107.21/107.35	c 150494         160951         7473164        594068105      0              0              4   29   28    
117.62/117.76	c 165621         176150         8006366        674809897      0              0              4   51   50    
127.52/127.61	c 182260         192847         8606649        750232932      0              0              6   35   34    
143.81/143.95	c 200562         211242         9338116        839601880      0              0              4   67   56    
154.71/154.80	c 220694         231423         10038521       921655079      0              0              5   21   20    
159.11/159.24	c 242839         253631         10801837       958172697      0              0              4   32   29    
175.81/175.91	c 267198         278060         11658913       1087823408     0              0              8   35   32    
190.21/190.39	c 293992         304956         12626900       1182940268     0              0              4   63   54    
224.50/224.65	c 323465         334729         13853453       1330630674     0              0              6   71   70    
260.00/260.12	c 355885         367972         14994228       1604013743     0              0              691   691   690
313.99/314.16	c 391547         403718         16703099       1926570877     0              0              32   32   31   
336.50/336.65	c 430775         443024         18364275       2102709622     0              0              22   22   21   
360.29/360.43	c 473925         486320         19851245       2282608204     0              0              19   21   20   
388.79/388.96	c 521390         534170         20884076       2442440627     0              0              4   126   118  
409.09/409.24	c 573601         586566         22590919       2582688900     0              0              6   34   33    
458.28/458.41	c 631033         644872         23955436       2935558775     0              0              7   138   135  
508.88/509.04	c 694208         708186         26389834       3317593407     0              0              11   46   45   
520.77/520.90	c 763700         778857         28770965       3418200111     0              0              3   26   25    
588.27/588.46	c 840141         856126         31379761       3952695136     0              0              4   56   54    
605.57/605.74	c 924226         940361         34440632       4088160568     0              0              4   27   26    
667.86/668.03	c 1016719        1033007        37689373       4559967273     0              0              4   18   17    
704.76/704.90	c 1118461        1136570        40195937       4804151987     0              0              4   170   167  
769.86/770.08	c 1230377        1249193        44004641       5318083956     0              0              5   40   39    
816.84/817.06	c 1353484        1375653        45199714       5631440538     0              0              6   244   213  
879.54/879.77	c 1488901        1511306        49850041       6148852440     0              0              4   35   34    
915.64/915.86	c 1637859        1660536        54181228       6409221586     0              0              4   50   49    
1010.13/1010.37	c 1801712        1824803        59437308       6907677117     0              0              5   88   85    
1034.23/1034.44	c 1981950        2006144        60148154       6938192798     0              0              5   447   442  
1069.82/1070.01	c 2180211        2204776        66213971       7211763195     0              0              3   72   71    
1129.52/1129.79	c 2398298        2430449        67744320       7484091291     0              0              4   472   465  
1180.31/1180.52	c 2638193        2671983        69102419       7672227703     0              0              5   513   503  
1215.32/1215.50	c 2902077        2937617        70097420       7699624477     0              0              4   515   507  
1777.16/1777.44	c 3192349        3359611        87127778       10311437214    0              0              6   96   90    
1830.06/1830.32	c 3511648        3679401        96592303       10729739357    0              0              10   17   16   
2149.73/2150.00	c 3862876        4035464        106995104      13380190994    0              0              4   84   83    
2519.69/2520.00	
2519.69/2520.00	c *** INTERRUPTED ***
2519.69/2520.00	c restarts              : 87          
2519.69/2520.00	c conflicts             : 4066629      (1614 /sec)
2519.69/2520.00	c decisions             : 4239628      (1683 /sec)
2519.69/2520.00	c propagations          : 15388533474 (6107369 /sec)
2519.69/2520.00	c root propagations     : 0           
2519.69/2520.00	c filter calls          : 114721954      (45531 /sec)
2519.69/2520.00	c useless filter calls  : 83060207       (72 %)
2519.69/2520.00	c Memory used           : 82.16 MB
2519.69/2520.00	c CPU time              : 2519.67 s
2519.69/2520.00	
2519.69/2520.00	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-4267999-1502511920/watcher-4267999-1502511920 -o /tmp/evaluation-result-4267999-1502511920/solver-4267999-1502511920 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6740 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267999-1502511920.xml 

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

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.09 2.05 2.04 3/183 10850
/proc/meminfo: memFree=31203496/32770624 swapFree=0/555648
[pid=10850] ppid=10847 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10850/stat : 10850 (runsolver) D 10847 10850 6677 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53385400 24240128 108 18446744073709551615 4194304 4338465 140734537899232 140734537896872 139679323669207 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 8261632 140734537904322 140734537904713 140734537904713 140734537908170 0
/proc/10850/statm: 5918 108 54 36 0 2156 0

[startup+0.100313 s]
/proc/loadavg: 2.09 2.05 2.04 3/183 10850
/proc/meminfo: memFree=31203496/32770624 swapFree=0/555648
[pid=10850] ppid=10847 vsize=36364 CPUtime=0.03 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 3378 0 0 0 3 0 0 0 20 0 1 0 53385400 37236736 3199 18446744073709551615 4194304 5972588 140733704174176 140733704167976 140164574975218 0 0 1 0 0 0 0 17 6 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 9091 3199 787 435 0 2454 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 36364

[startup+0.200314 s]
/proc/loadavg: 2.09 2.05 2.04 3/183 10850
/proc/meminfo: memFree=31203496/32770624 swapFree=0/555648
[pid=10850] ppid=10847 vsize=40456 CPUtime=0.13 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 4407 0 0 0 13 0 0 0 20 0 1 0 53385400 41426944 4188 18446744073709551615 4194304 5972588 140733704174176 140733704167736 140164574987352 0 0 1 0 0 0 0 17 6 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 10114 4188 787 435 0 3477 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 40456

[startup+0.300311 s]
/proc/loadavg: 2.09 2.05 2.04 3/183 10850
/proc/meminfo: memFree=31203496/32770624 swapFree=0/555648
[pid=10850] ppid=10847 vsize=44572 CPUtime=0.23 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 5426 0 0 0 23 0 0 0 20 0 1 0 53385400 45641728 5244 18446744073709551615 4194304 5972588 140733704174176 140733704167736 140164566373756 0 0 1 0 0 0 0 17 6 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 11143 5244 787 435 0 4506 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 44572

[startup+0.700182 s]
/proc/loadavg: 2.09 2.05 2.04 3/183 10850
/proc/meminfo: memFree=31203496/32770624 swapFree=0/555648
[pid=10850] ppid=10847 vsize=60852 CPUtime=0.63 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 9507 0 0 0 63 0 0 0 20 0 1 0 53385400 62312448 9340 18446744073709551615 4194304 5972588 140733704174176 140733704167736 140164575271056 0 0 1 0 0 0 0 17 0 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 15213 9340 787 435 0 8576 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 60852

[startup+1.50018 s]
/proc/loadavg: 2.09 2.05 2.04 3/184 10851
/proc/meminfo: memFree=31162904/32770624 swapFree=0/555652
[pid=10850] ppid=10847 vsize=69180 CPUtime=1.43 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 11599 0 0 0 142 1 0 0 20 0 1 0 53385400 70840320 11417 18446744073709551615 4194304 5972588 140733704174176 140733704167736 5328506 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 17295 11417 830 435 0 10658 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 69180

[startup+3.10029 s]
/proc/loadavg: 2.09 2.05 2.04 3/184 10851
/proc/meminfo: memFree=31159060/32770624 swapFree=0/555652
[pid=10850] ppid=10847 vsize=71436 CPUtime=3.03 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 14868 0 0 0 302 1 0 0 20 0 1 0 53385400 73150464 11960 18446744073709551615 4194304 5972588 140733704174176 140733704171480 5328506 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 17859 11960 831 435 0 11222 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 71436

[startup+6.30028 s]
/proc/loadavg: 2.08 2.05 2.04 3/184 10851
/proc/meminfo: memFree=31158688/32770624 swapFree=0/555648
[pid=10850] ppid=10847 vsize=71436 CPUtime=6.23 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 17958 0 0 0 622 1 0 0 20 0 1 0 53385400 73150464 11960 18446744073709551615 4194304 5972588 140733704174176 140733704171480 5099648 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 17859 11960 831 435 0 11222 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 71436

[startup+12.7003 s]
/proc/loadavg: 2.07 2.05 2.04 3/184 10851
/proc/meminfo: memFree=31158192/32770624 swapFree=0/555652
[pid=10850] ppid=10847 vsize=72360 CPUtime=12.62 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 21565 0 0 0 1261 1 0 0 20 0 1 0 53385400 74096640 12159 18446744073709551615 4194304 5972588 140733704174176 140733704171480 4978351 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 18090 12159 831 435 0 11453 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 72360

[startup+25.5003 s]
/proc/loadavg: 2.06 2.05 2.04 3/184 10851
/proc/meminfo: memFree=31155496/32770624 swapFree=0/555660
[pid=10850] ppid=10847 vsize=75000 CPUtime=25.41 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 27579 0 0 0 2540 1 0 0 20 0 1 0 53385400 76800000 12797 18446744073709551615 4194304 5972588 140733704174176 140733704171480 4978308 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 18750 12797 831 435 0 12113 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 75000

[startup+51.1003 s]
/proc/loadavg: 2.04 2.04 2.04 3/181 10852
/proc/meminfo: memFree=31156288/32770624 swapFree=0/555660
[pid=10850] ppid=10847 vsize=77112 CPUtime=51.02 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 29146 0 0 0 5100 2 0 0 20 0 1 0 53385400 78962688 13398 18446744073709551615 4194304 5972588 140733704174176 140733704171208 5053069 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 19278 13398 831 435 0 12641 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 77112

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/181 10854
/proc/meminfo: memFree=31155480/32770624 swapFree=0/555688
[pid=10850] ppid=10847 vsize=78168 CPUtime=102.22 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 30193 0 0 0 10220 2 0 0 20 0 1 0 53385400 80044032 13686 18446744073709551615 4194304 5972588 140733704174176 140733704171480 4965365 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 19542 13686 831 435 0 12905 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 78168

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.04 4/181 10856
/proc/meminfo: memFree=31154432/32770624 swapFree=0/555700
[pid=10850] ppid=10847 vsize=78564 CPUtime=162.21 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 30962 0 0 0 16219 2 0 0 20 0 1 0 53385400 80449536 13815 18446744073709551615 4194304 5972588 140733704174176 140733704171480 5053056 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 19641 13815 831 435 0 13004 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 78564

[startup+222.306 s]
/proc/loadavg: 2.00 2.03 2.04 3/181 10858
/proc/meminfo: memFree=31154172/32770624 swapFree=0/555720
[pid=10850] ppid=10847 vsize=78696 CPUtime=222.21 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 31536 0 0 0 22219 2 0 0 20 0 1 0 53385400 80584704 13817 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4909639 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 19674 13817 831 435 0 13037 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 78696

[startup+282.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 10860
/proc/meminfo: memFree=31154152/32770624 swapFree=0/555732
[pid=10850] ppid=10847 vsize=79224 CPUtime=282.2 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 32310 0 0 0 28218 2 0 0 20 0 1 0 53385400 81125376 13959 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4965382 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 19806 13959 831 435 0 13169 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 79224

[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 10862
/proc/meminfo: memFree=31153876/32770624 swapFree=0/555748
[pid=10850] ppid=10847 vsize=79224 CPUtime=342.19 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 32922 0 0 0 34217 2 0 0 20 0 1 0 53385400 81125376 13961 18446744073709551615 4194304 5972588 140733704174176 140733704171480 4975598 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 19806 13961 831 435 0 13169 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 79224

[startup+402.3 s]
/proc/loadavg: 1.94 2.02 2.04 3/181 10925
/proc/meminfo: memFree=31155416/32770624 swapFree=0/555760
[pid=10850] ppid=10847 vsize=79488 CPUtime=402.19 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 33693 0 0 0 40217 2 0 0 20 0 1 0 53385400 81395712 13996 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4909657 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 19872 13996 831 435 0 13235 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 79488

[startup+462.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 10927
/proc/meminfo: memFree=31154276/32770624 swapFree=0/555760
[pid=10850] ppid=10847 vsize=79884 CPUtime=462.18 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 34353 0 0 0 46216 2 0 0 20 0 1 0 53385400 81801216 14107 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4972789 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 19971 14107 831 435 0 13334 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 79884

[startup+522.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 10929
/proc/meminfo: memFree=31153832/32770624 swapFree=0/555760
[pid=10850] ppid=10847 vsize=79884 CPUtime=522.17 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 34910 0 0 0 52215 2 0 0 20 0 1 0 53385400 81801216 14138 18446744073709551615 4194304 5972588 140733704174176 140733704171480 5071058 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 19971 14138 831 435 0 13334 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 79884

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 10945
/proc/meminfo: memFree=31149540/32770624 swapFree=0/555788
[pid=10850] ppid=10847 vsize=79884 CPUtime=582.17 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 35246 0 0 0 58215 2 0 0 20 0 1 0 53385400 81801216 14141 18446744073709551615 4194304 5972588 140733704174176 140733704171480 4969178 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 19971 14141 831 435 0 13334 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 79884


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10996
/proc/meminfo: memFree=31148416/32770624 swapFree=0/555956
[pid=10850] ppid=10847 vsize=83600 CPUtime=1602.08 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 45440 0 0 0 160205 3 0 0 20 0 1 0 53385400 85606400 15074 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4977653 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 20900 15074 831 435 0 14263 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 83600

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 10998
/proc/meminfo: memFree=31148536/32770624 swapFree=0/555976
[pid=10850] ppid=10847 vsize=83600 CPUtime=1662.07 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 45992 0 0 0 166204 3 0 0 20 0 1 0 53385400 85606400 15074 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4977701 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 20900 15074 831 435 0 14263 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 83600

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11000
/proc/meminfo: memFree=31148504/32770624 swapFree=0/555968
[pid=10850] ppid=10847 vsize=83600 CPUtime=1722.07 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 46544 0 0 0 172204 3 0 0 20 0 1 0 53385400 85606400 15074 18446744073709551615 4194304 5972588 140733704174176 140733704171208 5320457 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 20900 15074 831 435 0 14263 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 83600

[startup+1782.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/185 11017
/proc/meminfo: memFree=31144140/32770624 swapFree=0/556008
[pid=10850] ppid=10847 vsize=83600 CPUtime=1782.06 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 47143 0 0 0 178203 3 0 0 20 0 1 0 53385400 85606400 15074 18446744073709551615 4194304 5972588 140733704174176 140733704171480 4965365 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 20900 15074 831 435 0 14263 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 83600

[startup+1842.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/182 11018
/proc/meminfo: memFree=31147276/32770624 swapFree=0/556004
[pid=10850] ppid=10847 vsize=83732 CPUtime=1842.05 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 47839 0 0 0 184202 3 0 0 20 0 1 0 53385400 85741568 15078 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4968734 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 20933 15078 831 435 0 14296 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 83732

[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 11021
/proc/meminfo: memFree=31146956/32770624 swapFree=0/556020
[pid=10850] ppid=10847 vsize=83864 CPUtime=1902.05 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 48509 0 0 0 190202 3 0 0 20 0 1 0 53385400 85876736 15122 18446744073709551615 4194304 5972588 140733704174176 140733704171208 5094104 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 20966 15122 831 435 0 14329 0
Current children cumulated CPU time (s) 1902.05
Current children cumulated vsize (KiB) 83864

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 11022
/proc/meminfo: memFree=31147308/32770624 swapFree=0/556028
[pid=10850] ppid=10847 vsize=83864 CPUtime=1962.04 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 48844 0 0 0 196201 3 0 0 20 0 1 0 53385400 85876736 15136 18446744073709551615 4194304 5972588 140733704174176 140733704171208 5053108 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 20966 15136 831 435 0 14329 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 83864

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 11024
/proc/meminfo: memFree=31147440/32770624 swapFree=0/556040
[pid=10850] ppid=10847 vsize=83864 CPUtime=2022.04 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 49184 0 0 0 202201 3 0 0 20 0 1 0 53385400 85876736 15139 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4962376 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 20966 15139 831 435 0 14329 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 83864

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11026
/proc/meminfo: memFree=31147668/32770624 swapFree=0/556048
[pid=10850] ppid=10847 vsize=83996 CPUtime=2082.04 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 49531 0 0 0 208201 3 0 0 20 0 1 0 53385400 86011904 15145 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4965453 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 20999 15145 831 435 0 14362 0
Current children cumulated CPU time (s) 2082.04
Current children cumulated vsize (KiB) 83996

[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 11028
/proc/meminfo: memFree=31147932/32770624 swapFree=0/556064
[pid=10850] ppid=10847 vsize=83996 CPUtime=2142.03 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 49892 0 0 0 214200 3 0 0 20 0 1 0 53385400 86011904 15151 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4962240 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 20999 15151 831 435 0 14362 0
Current children cumulated CPU time (s) 2142.03
Current children cumulated vsize (KiB) 83996

[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 11030
/proc/meminfo: memFree=31147488/32770624 swapFree=0/556072
[pid=10850] ppid=10847 vsize=84128 CPUtime=2202.03 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 50326 0 0 0 220200 3 0 0 20 0 1 0 53385400 86147072 15209 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4909624 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 21032 15209 831 435 0 14395 0
Current children cumulated CPU time (s) 2202.03
Current children cumulated vsize (KiB) 84128

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11032
/proc/meminfo: memFree=31147744/32770624 swapFree=0/556076
[pid=10850] ppid=10847 vsize=84128 CPUtime=2262.01 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 50661 0 0 0 226198 3 0 0 20 0 1 0 53385400 86147072 15209 18446744073709551615 4194304 5972588 140733704174176 140733704171208 5320317 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 21032 15209 831 435 0 14395 0
Current children cumulated CPU time (s) 2262.01
Current children cumulated vsize (KiB) 84128

[startup+2322.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 11034
/proc/meminfo: memFree=31147708/32770624 swapFree=0/556080
[pid=10850] ppid=10847 vsize=84128 CPUtime=2322.01 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 50996 0 0 0 232198 3 0 0 20 0 1 0 53385400 86147072 15209 18446744073709551615 4194304 5972588 140733704174176 140733704171208 5071831 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 21032 15209 831 435 0 14395 0
Current children cumulated CPU time (s) 2322.01
Current children cumulated vsize (KiB) 84128

[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/184 11049
/proc/meminfo: memFree=31142352/32770624 swapFree=0/556100
[pid=10850] ppid=10847 vsize=84128 CPUtime=2382 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 51331 0 0 0 238197 3 0 0 20 0 1 0 53385400 86147072 15209 18446744073709551615 4194304 5972588 140733704174176 140733704171208 5099648 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 21032 15209 831 435 0 14395 0
Current children cumulated CPU time (s) 2382
Current children cumulated vsize (KiB) 84128

[startup+2442.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 11052
/proc/meminfo: memFree=31146832/32770624 swapFree=0/556128
[pid=10850] ppid=10847 vsize=84128 CPUtime=2442 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 51666 0 0 0 244197 3 0 0 20 0 1 0 53385400 86147072 15209 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4968704 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 21032 15209 831 435 0 14395 0
Current children cumulated CPU time (s) 2442
Current children cumulated vsize (KiB) 84128

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 11053
/proc/meminfo: memFree=31147008/32770624 swapFree=0/556148
[pid=10850] ppid=10847 vsize=84128 CPUtime=2501.99 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 52001 0 0 0 250196 3 0 0 20 0 1 0 53385400 86147072 15209 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4971953 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 21032 15209 831 435 0 14395 0
Current children cumulated CPU time (s) 2501.99
Current children cumulated vsize (KiB) 84128



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11055
/proc/meminfo: memFree=31147124/32770624 swapFree=0/556156
[pid=10850] ppid=10847 vsize=84128 CPUtime=2519.69 cores=0,2,4,6
/proc/10850/stat : 10850 (cosoco) R 10847 10850 6677 0 -1 4202496 52336 0 0 0 251966 3 0 0 20 0 1 0 53385400 86147072 15209 18446744073709551615 4194304 5972588 140733704174176 140733704171208 4968734 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 8070896 8075904 40476672 140733704180206 140733704180301 140733704180301 140733704183758 0
/proc/10850/statm: 21032 15209 831 435 0 14395 0
Current children cumulated CPU time (s) 2519.69
Current children cumulated vsize (KiB) 84128

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

Child status: 1
Real time (s): 2520
CPU time (s): 2519.7
CPU user time (s): 2519.67
CPU system time (s): 0.032997
CPU usage (%): 99.9881
Max. virtual memory (cumulated for all children) (KiB): 84128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.67
system time used= 0.032997
maximum resident set size= 60904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52385
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= 26
involuntary context switches= 3158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.88119 second user time and 10.0108 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-12 06:11:12
IDJOB=4267999
IDBENCH=120754
IDSOLVER=2658
FILE ID=node127/4267999-1502511920
RUNJOBID= node127-1502500309-6740
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K12-P09.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267999-1502511920/watcher-4267999-1502511920 -o /tmp/evaluation-result-4267999-1502511920/solver-4267999-1502511920 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6740 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267999-1502511920.xml

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

MD5SUM BENCH= 32cec65ed71b36923f34d2db18851218
RANDOM SEED=1715068166

node127.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.92
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.92
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.92
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.92
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:        31203856 kB
MemAvailable:   31996324 kB
Buffers:          267532 kB
Cached:           814460 kB
SwapCached:            0 kB
Active:           563932 kB
Inactive:         580556 kB
Active(anon):      62820 kB
Inactive(anon):    24908 kB
Active(file):     501112 kB
Inactive(file):   555648 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2392 kB
Writeback:             0 kB
AnonPages:         62512 kB
Mapped:            46228 kB
Shmem:             25252 kB
Slab:             128832 kB
SReclaimable:     103088 kB
SUnreclaim:        25744 kB
KernelStack:        3280 kB
PageTables:         5452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

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