Trace number 4251714

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.05 2400

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.79/0.80	c root propagations     : 0           
0.79/0.80	c restarts enabled, print stats at every restarts
0.79/0.80	c
0.79/0.80	c
0.79/0.80	c
0.79/0.80	c This is cosoco 1.0 --  
0.79/0.80	c
0.79/0.80	c ========================================[ Problem Statistics ]===========================================
0.79/0.80	c |                                                                                                       
0.79/0.80	c |  Parse time        :         0.77 s 
0.79/0.80	c |
0.79/0.80	c |               Variables: 1500
0.79/0.80	c |            Domain Sizes: 690..691
0.79/0.80	c |
0.79/0.80	c |             Constraints: 692
0.79/0.80	c |                   Arity: 3..690  -- Ternary: 690
0.79/0.80	c | 
0.79/0.80	c |                   Types: 
0.79/0.80	c |                          All Different: 2
0.79/0.80	c |                          Intension: 690
0.79/0.80	c |                          
0.79/0.80	c =========================================================================================================
0.79/0.80	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.79/0.80	c remove useless variable ce[0][0][0]
0.79/0.80	c remove useless variable ce[0][1][0]
0.79/0.80	c remove useless variable ce[0][1][1]
0.79/0.80	c remove useless variable ce[0][2][0]
0.79/0.80	c remove useless variable ce[0][2][1]
0.79/0.80	c remove useless variable ce[0][2][2]
0.79/0.80	c remove useless variable ce[0][3][0]
0.79/0.80	c remove useless variable ce[0][3][1]
0.79/0.80	c remove useless variable ce[0][3][2]
0.79/0.80	c remove useless variable ce[0][3][3]
0.79/0.80	c remove useless variable ce[0][4][0]
0.79/0.80	c remove useless variable ce[0][4][1]
0.79/0.80	c remove useless variable ce[0][4][2]
0.79/0.80	c remove useless variable ce[0][4][3]
0.79/0.80	c remove useless variable ce[0][4][4]
0.79/0.80	c remove useless variable ce[0][5][0]
0.79/0.80	c remove useless variable ce[0][5][1]
0.79/0.80	c remove useless variable ce[0][5][2]
0.79/0.80	c remove useless variable ce[0][5][3]
0.79/0.80	c remove useless variable ce[0][5][4]
0.79/0.80	c remove useless variable ce[0][5][5]
0.79/0.80	c remove useless variable ce[0][6][0]
0.79/0.80	c remove useless variable ce[0][6][1]
0.79/0.80	c remove useless variable ce[0][6][2]
0.79/0.80	c remove useless variable ce[0][6][3]
0.79/0.80	c remove useless variable ce[0][6][4]
0.79/0.80	c remove useless variable ce[0][6][5]
0.79/0.80	c remove useless variable ce[0][6][6]
0.79/0.80	c remove useless variable ce[0][7][0]
0.79/0.80	c remove useless variable ce[0][7][1]
0.79/0.80	c remove useless variable ce[0][7][2]
0.79/0.80	c remove useless variable ce[0][7][3]
0.79/0.80	c remove useless variable ce[0][7][4]
0.79/0.80	c remove useless variable ce[0][7][5]
0.79/0.80	c remove useless variable ce[0][7][6]
0.79/0.80	c remove useless variable ce[0][7][7]
0.79/0.80	c remove useless variable ce[0][8][0]
0.79/0.80	c remove useless variable ce[0][8][1]
0.79/0.80	c remove useless variable ce[0][8][2]
0.79/0.80	c remove useless variable ce[0][8][3]
0.79/0.80	c remove useless variable ce[0][8][4]
0.79/0.80	c remove useless variable ce[0][8][5]
0.79/0.80	c remove useless variable ce[0][8][6]
0.79/0.80	c remove useless variable ce[0][8][7]
0.79/0.80	c remove useless variable ce[0][8][8]
0.79/0.80	c remove useless variable ce[0][9][0]
0.79/0.80	c remove useless variable ce[0][9][1]
0.79/0.80	c remove useless variable ce[0][9][2]
0.79/0.80	c remove useless variable ce[0][9][3]
0.79/0.80	c remove useless variable ce[0][9][4]
0.79/0.80	c remove useless variable ce[0][9][5]
0.79/0.80	c remove useless variable ce[0][9][6]
0.79/0.80	c remove useless variable ce[0][9][7]
0.79/0.80	c remove useless variable ce[0][9][8]
0.79/0.80	c remove useless variable ce[0][9][9]
0.79/0.80	c remove useless variable ce[0][10][0]
0.79/0.80	c remove useless variable ce[0][10][1]
0.79/0.80	c remove useless variable ce[0][10][2]
0.79/0.80	c remove useless variable ce[0][10][3]
0.79/0.80	c remove useless variable ce[0][10][4]
0.79/0.80	c remove useless variable ce[0][10][5]
0.79/0.80	c remove useless variable ce[0][10][6]
0.79/0.80	c remove useless variable ce[0][10][7]
0.79/0.80	c remove useless variable ce[0][10][8]
0.79/0.80	c remove useless variable ce[0][10][9]
0.79/0.80	c remove useless variable ce[0][10][10]
0.79/0.80	c remove useless variable ce[0][11][0]
0.79/0.80	c remove useless variable ce[0][11][1]
0.79/0.80	c remove useless variable ce[0][11][2]
0.79/0.80	c remove useless variable ce[0][11][3]
0.79/0.80	c remove useless variable ce[0][11][4]
0.79/0.80	c remove useless variable ce[0][11][5]
0.79/0.80	c remove useless variable ce[0][11][6]
0.79/0.80	c remove useless variable ce[0][11][7]
0.79/0.80	c remove useless variable ce[0][11][8]
0.79/0.80	c remove useless variable ce[0][11][9]
0.79/0.80	c remove useless variable ce[0][11][10]
0.79/0.80	c remove useless variable ce[0][11][11]
0.79/0.80	c remove useless variable ce[1][0][0]
0.79/0.80	c remove useless variable ce[1][1][0]
0.79/0.80	c remove useless variable ce[1][1][1]
0.79/0.80	c remove useless variable ce[1][2][0]
0.79/0.80	c remove useless variable ce[1][2][1]
0.79/0.80	c remove useless variable ce[1][2][2]
0.79/0.80	c remove useless variable ce[1][3][0]
0.79/0.80	c remove useless variable ce[1][3][1]
0.79/0.80	c remove useless variable ce[1][3][2]
0.79/0.80	c remove useless variable ce[1][3][3]
0.79/0.80	c remove useless variable ce[1][4][0]
0.79/0.80	c remove useless variable ce[1][4][1]
0.79/0.80	c remove useless variable ce[1][4][2]
0.79/0.80	c remove useless variable ce[1][4][3]
0.79/0.80	c remove useless variable ce[1][4][4]
0.79/0.80	c remove useless variable ce[1][5][0]
0.79/0.80	c remove useless variable ce[1][5][1]
0.79/0.80	c remove useless variable ce[1][5][2]
0.79/0.80	c remove useless variable ce[1][5][3]
0.79/0.80	c remove useless variable ce[1][5][4]
0.79/0.80	c remove useless variable ce[1][5][5]
0.79/0.80	c remove useless variable ce[1][6][0]
0.79/0.80	c remove useless variable ce[1][6][1]
0.79/0.80	c remove useless variable ce[1][6][2]
0.79/0.80	c remove useless variable ce[1][6][3]
0.79/0.80	c remove useless variable ce[1][6][4]
0.79/0.80	c remove useless variable ce[1][6][5]
0.79/0.80	c remove useless variable ce[1][6][6]
0.79/0.80	c remove useless variable ce[1][7][0]
0.79/0.80	c remove useless variable ce[1][7][1]
0.79/0.80	c remove useless variable ce[1][7][2]
0.79/0.80	c remove useless variable ce[1][7][3]
0.79/0.80	c remove useless variable ce[1][7][4]
0.79/0.80	c remove useless variable ce[1][7][5]
0.79/0.80	c remove useless variable ce[1][7][6]
0.79/0.80	c remove useless variable ce[1][7][7]
0.79/0.80	c remove useless variable ce[1][8][0]
0.79/0.80	c remove useless variable ce[1][8][1]
0.79/0.80	c remove useless variable ce[1][8][2]
0.79/0.80	c remove useless variable ce[1][8][3]
0.79/0.80	c remove useless variable ce[1][8][4]
0.79/0.80	c remove useless variable ce[1][8][5]
0.79/0.80	c remove useless variable ce[1][8][6]
0.79/0.80	c remove useless variable ce[1][8][7]
0.79/0.80	c remove useless variable ce[1][8][8]
0.79/0.80	c remove useless variable ce[1][9][0]
0.79/0.80	c remove useless variable ce[1][9][1]
0.79/0.80	c remove useless variable ce[1][9][2]
0.79/0.80	c remove useless variable ce[1][9][3]
0.79/0.80	c remove useless variable ce[1][9][4]
0.79/0.80	c remove useless variable ce[1][9][5]
0.79/0.80	c remove useless variable ce[1][9][6]
0.79/0.80	c remove useless variable ce[1][9][7]
0.79/0.80	c remove useless variable ce[1][9][8]
0.79/0.80	c remove useless variable ce[1][9][9]
0.79/0.80	c remove useless variable ce[1][10][0]
0.79/0.80	c remove useless variable ce[1][10][1]
0.79/0.80	c remove useless variable ce[1][10][2]
0.79/0.80	c remove useless variable ce[1][10][3]
0.79/0.80	c remove useless variable ce[1][10][4]
0.79/0.80	c remove useless variable ce[1][10][5]
0.79/0.80	c remove useless variable ce[1][10][6]
0.79/0.80	c remove useless variable ce[1][10][7]
0.79/0.80	c remove useless variable ce[1][10][8]
0.79/0.80	c remove useless variable ce[1][10][9]
0.79/0.80	c remove useless variable ce[1][10][10]
0.79/0.80	c remove useless variable ce[1][11][0]
0.79/0.80	c remove useless variable ce[1][11][1]
0.79/0.80	c remove useless variable ce[1][11][2]
0.79/0.80	c remove useless variable ce[1][11][3]
0.79/0.80	c remove useless variable ce[1][11][4]
0.79/0.80	c remove useless variable ce[1][11][5]
0.79/0.80	c remove useless variable ce[1][11][6]
0.79/0.80	c remove useless variable ce[1][11][7]
0.79/0.80	c remove useless variable ce[1][11][8]
0.79/0.80	c remove useless variable ce[1][11][9]
0.79/0.80	c remove useless variable ce[1][11][10]
0.79/0.80	c remove useless variable ce[1][11][11]
0.79/0.80	c remove useless variable ce[2][0][0]
0.79/0.80	c remove useless variable ce[2][1][0]
0.79/0.80	c remove useless variable ce[2][1][1]
0.79/0.80	c remove useless variable ce[2][2][0]
0.79/0.80	c remove useless variable ce[2][2][1]
0.79/0.80	c remove useless variable ce[2][2][2]
0.79/0.80	c remove useless variable ce[2][3][0]
0.79/0.80	c remove useless variable ce[2][3][1]
0.79/0.80	c remove useless variable ce[2][3][2]
0.79/0.80	c remove useless variable ce[2][3][3]
0.79/0.80	c remove useless variable ce[2][4][0]
0.79/0.80	c remove useless variable ce[2][4][1]
0.79/0.80	c remove useless variable ce[2][4][2]
0.79/0.80	c remove useless variable ce[2][4][3]
0.79/0.80	c remove useless variable ce[2][4][4]
0.79/0.80	c remove useless variable ce[2][5][0]
0.79/0.80	c remove useless variable ce[2][5][1]
0.79/0.80	c remove useless variable ce[2][5][2]
0.79/0.80	c remove useless variable ce[2][5][3]
0.79/0.80	c remove useless variable ce[2][5][4]
0.79/0.80	c remove useless variable ce[2][5][5]
0.79/0.80	c remove useless variable ce[2][6][0]
0.79/0.80	c remove useless variable ce[2][6][1]
0.79/0.80	c remove useless variable ce[2][6][2]
0.79/0.80	c remove useless variable ce[2][6][3]
0.79/0.80	c remove useless variable ce[2][6][4]
0.79/0.80	c remove useless variable ce[2][6][5]
0.79/0.80	c remove useless variable ce[2][6][6]
0.79/0.80	c remove useless variable ce[2][7][0]
0.79/0.80	c remove useless variable ce[2][7][1]
0.79/0.80	c remove useless variable ce[2][7][2]
0.79/0.80	c remove useless variable ce[2][7][3]
0.79/0.80	c remove useless variable ce[2][7][4]
0.79/0.80	c remove useless variable ce[2][7][5]
0.79/0.80	c remove useless variable ce[2][7][6]
0.79/0.80	c remove useless variable ce[2][7][7]
0.79/0.80	c remove useless variable ce[2][8][0]
0.79/0.80	c remove useless variable ce[2][8][1]
0.79/0.80	c remove useless variable ce[2][8][2]
0.79/0.80	c remove useless variable ce[2][8][3]
0.79/0.80	c remove useless variable ce[2][8][4]
0.79/0.80	c remove useless variable ce[2][8][5]
0.79/0.80	c remove useless variable ce[2][8][6]
0.79/0.80	c remove useless variable ce[2][8][7]
0.79/0.80	c remove useless variable ce[2][8][8]
0.79/0.80	c remove useless variable ce[2][9][0]
0.79/0.80	c remove useless variable ce[2][9][1]
0.79/0.80	c remove useless variable ce[2][9][2]
0.79/0.80	c remove useless variable ce[2][9][3]
0.79/0.80	c remove useless variable ce[2][9][4]
0.79/0.80	c remove useless variable ce[2][9][5]
0.79/0.80	c remove useless variable ce[2][9][6]
0.79/0.80	c remove useless variable ce[2][9][7]
0.79/0.80	c remove useless variable ce[2][9][8]
0.79/0.80	c remove useless variable ce[2][9][9]
0.79/0.80	c remove useless variable ce[2][10][0]
0.79/0.80	c remove useless variable ce[2][10][1]
0.79/0.80	c remove useless variable ce[2][10][2]
0.79/0.80	c remove useless variable ce[2][10][3]
0.79/0.80	c remove useless variable ce[2][10][4]
0.79/0.80	c remove useless variable ce[2][10][5]
0.79/0.80	c remove useless variable ce[2][10][6]
0.79/0.80	c remove useless variable ce[2][10][7]
0.79/0.80	c remove useless variable ce[2][10][8]
0.79/0.80	c remove useless variable ce[2][10][9]
0.79/0.80	c remove useless variable ce[2][10][10]
0.79/0.80	c remove useless variable ce[2][11][0]
0.79/0.80	c remove useless variable ce[2][11][1]
0.79/0.80	c remove useless variable ce[2][11][2]
0.79/0.80	c remove useless variable ce[2][11][3]
0.79/0.80	c remove useless variable ce[2][11][4]
0.79/0.80	c remove useless variable ce[2][11][5]
0.79/0.80	c remove useless variable ce[2][11][6]
0.79/0.80	c remove useless variable ce[2][11][7]
0.79/0.80	c remove useless variable ce[2][11][8]
0.79/0.80	c remove useless variable ce[2][11][9]
0.79/0.80	c remove useless variable ce[2][11][10]
0.79/0.80	c remove useless variable ce[2][11][11]
0.79/0.80	c remove useless variable ce[3][0][0]
0.79/0.80	c remove useless variable ce[3][1][0]
0.79/0.80	c remove useless variable ce[3][1][1]
0.79/0.80	c remove useless variable ce[3][2][0]
0.79/0.80	c remove useless variable ce[3][2][1]
0.79/0.80	c remove useless variable ce[3][2][2]
0.79/0.80	c remove useless variable ce[3][3][0]
0.79/0.80	c remove useless variable ce[3][3][1]
0.79/0.80	c remove useless variable ce[3][3][2]
0.79/0.80	c remove useless variable ce[3][3][3]
0.79/0.80	c remove useless variable ce[3][4][0]
0.79/0.80	c remove useless variable ce[3][4][1]
0.79/0.80	c remove useless variable ce[3][4][2]
0.79/0.80	c remove useless variable ce[3][4][3]
0.79/0.80	c remove useless variable ce[3][4][4]
0.79/0.80	c remove useless variable ce[3][5][0]
0.79/0.80	c remove useless variable ce[3][5][1]
0.79/0.80	c remove useless variable ce[3][5][2]
0.79/0.80	c remove useless variable ce[3][5][3]
0.79/0.80	c remove useless variable ce[3][5][4]
0.79/0.80	c remove useless variable ce[3][5][5]
0.79/0.80	c remove useless variable ce[3][6][0]
0.79/0.80	c remove useless variable ce[3][6][1]
0.79/0.80	c remove useless variable ce[3][6][2]
0.79/0.80	c remove useless variable ce[3][6][3]
0.79/0.80	c remove useless variable ce[3][6][4]
0.79/0.80	c remove useless variable ce[3][6][5]
0.79/0.80	c remove useless variable ce[3][6][6]
0.79/0.80	c remove useless variable ce[3][7][0]
0.79/0.80	c remove useless variable ce[3][7][1]
0.79/0.80	c remove useless variable ce[3][7][2]
0.79/0.80	c remove useless variable ce[3][7][3]
0.79/0.80	c remove useless variable ce[3][7][4]
0.79/0.80	c remove useless variable ce[3][7][5]
0.79/0.80	c remove useless variable ce[3][7][6]
0.79/0.80	c remove useless variable ce[3][7][7]
0.79/0.80	c remove useless variable ce[3][8][0]
0.79/0.80	c remove useless variable ce[3][8][1]
0.79/0.80	c remove useless variable ce[3][8][2]
0.79/0.80	c remove useless variable ce[3][8][3]
0.79/0.80	c remove useless variable ce[3][8][4]
0.79/0.80	c remove useless variable ce[3][8][5]
0.79/0.80	c remove useless variable ce[3][8][6]
0.79/0.80	c remove useless variable ce[3][8][7]
0.79/0.80	c remove useless variable ce[3][8][8]
0.79/0.80	c remove useless variable ce[3][9][0]
0.79/0.80	c remove useless variable ce[3][9][1]
0.79/0.80	c remove useless variable ce[3][9][2]
0.79/0.80	c remove useless variable ce[3][9][3]
0.79/0.80	c remove useless variable ce[3][9][4]
0.79/0.80	c remove useless variable ce[3][9][5]
0.79/0.80	c remove useless variable ce[3][9][6]
0.79/0.80	c remove useless variable ce[3][9][7]
0.79/0.80	c remove useless variable ce[3][9][8]
0.79/0.80	c remove useless variable ce[3][9][9]
0.79/0.80	c remove useless variable ce[3][10][0]
0.79/0.80	c remove useless variable ce[3][10][1]
0.79/0.80	c remove useless variable ce[3][10][2]
0.79/0.80	c remove useless variable ce[3][10][3]
0.79/0.80	c remove useless variable ce[3][10][4]
0.79/0.80	c remove useless variable ce[3][10][5]
0.79/0.80	c remove useless variable ce[3][10][6]
0.79/0.80	c remove useless variable ce[3][10][7]
0.79/0.80	c remove useless variable ce[3][10][8]
0.79/0.80	c remove useless variable ce[3][10][9]
0.79/0.80	c remove useless variable ce[3][10][10]
0.79/0.80	c remove useless variable ce[3][11][0]
0.79/0.80	c remove useless variable ce[3][11][1]
0.79/0.80	c remove useless variable ce[3][11][2]
0.79/0.80	c remove useless variable ce[3][11][3]
0.79/0.80	c remove useless variable ce[3][11][4]
0.79/0.80	c remove useless variable ce[3][11][5]
0.79/0.80	c remove useless variable ce[3][11][6]
0.79/0.80	c remove useless variable ce[3][11][7]
0.79/0.80	c remove useless variable ce[3][11][8]
0.79/0.80	c remove useless variable ce[3][11][9]
0.79/0.80	c remove useless variable ce[3][11][10]
0.79/0.80	c remove useless variable ce[3][11][11]
0.79/0.80	c remove useless variable ce[4][0][0]
0.79/0.80	c remove useless variable ce[4][1][0]
0.79/0.80	c remove useless variable ce[4][1][1]
0.79/0.80	c remove useless variable ce[4][2][0]
0.79/0.80	c remove useless variable ce[4][2][1]
0.79/0.80	c remove useless variable ce[4][2][2]
0.79/0.80	c remove useless variable ce[4][3][0]
0.79/0.80	c remove useless variable ce[4][3][1]
0.79/0.80	c remove useless variable ce[4][3][2]
0.79/0.80	c remove useless variable ce[4][3][3]
0.79/0.80	c remove useless variable ce[4][4][0]
0.79/0.80	c remove useless variable ce[4][4][1]
0.79/0.80	c remove useless variable ce[4][4][2]
0.79/0.80	c remove useless variable ce[4][4][3]
0.79/0.80	c remove useless variable ce[4][4][4]
0.79/0.80	c remove useless variable ce[4][5][0]
0.79/0.80	c remove useless variable ce[4][5][1]
0.79/0.80	c remove useless variable ce[4][5][2]
0.79/0.80	c remove useless variable ce[4][5][3]
0.79/0.80	c remove useless variable ce[4][5][4]
0.79/0.80	c remove useless variable ce[4][5][5]
0.79/0.80	c remove useless variable ce[4][6][0]
0.79/0.80	c remove useless variable ce[4][6][1]
0.79/0.80	c remove useless variable ce[4][6][2]
0.79/0.80	c remove useless variable ce[4][6][3]
0.79/0.80	c remove useless variable ce[4][6][4]
0.79/0.80	c remove useless variable ce[4][6][5]
0.79/0.80	c remove useless variable ce[4][6][6]
0.79/0.80	c remove useless variable ce[4][7][0]
0.79/0.80	c remove useless variable ce[4][7][1]
0.79/0.80	c remove useless variable ce[4][7][2]
0.79/0.80	c remove useless variable ce[4][7][3]
0.79/0.80	c remove useless variable ce[4][7][4]
0.79/0.80	c remove useless variable ce[4][7][5]
0.79/0.80	c remove useless variable ce[4][7][6]
0.79/0.80	c remove useless variable ce[4][7][7]
0.79/0.80	c remove useless variable ce[4][8][0]
0.79/0.80	c remove useless variable ce[4][8][1]
0.79/0.80	c remove useless variable ce[4][8][2]
0.79/0.80	c remove useless variable ce[4][8][3]
0.79/0.80	c remove useless variable ce[4][8][4]
0.79/0.80	c remove useless variable ce[4][8][5]
0.79/0.80	c remove useless variable ce[4][8][6]
0.79/0.80	c remove useless variable ce[4][8][7]
0.79/0.80	c remove useless variable ce[4][8][8]
0.79/0.80	c remove useless variable ce[4][9][0]
0.79/0.80	c remove useless variable ce[4][9][1]
0.79/0.80	c remove useless variable ce[4][9][2]
0.79/0.80	c remove useless variable ce[4][9][3]
0.79/0.80	c remove useless variable ce[4][9][4]
0.79/0.80	c remove useless variable ce[4][9][5]
0.79/0.80	c remove useless variable ce[4][9][6]
0.79/0.80	c remove useless variable ce[4][9][7]
0.79/0.80	c remove useless variable ce[4][9][8]
0.79/0.80	c remove useless variable ce[4][9][9]
0.79/0.80	c remove useless variable ce[4][10][0]
0.79/0.80	c remove useless variable ce[4][10][1]
0.79/0.80	c remove useless variable ce[4][10][2]
0.79/0.80	c remove useless variable ce[4][10][3]
0.79/0.80	c remove useless variable ce[4][10][4]
0.79/0.80	c remove useless variable ce[4][10][5]
0.79/0.80	c remove useless variable ce[4][10][6]
0.79/0.80	c remove useless variable ce[4][10][7]
0.79/0.80	c remove useless variable ce[4][10][8]
0.79/0.80	c remove useless variable ce[4][10][9]
0.79/0.80	c remove useless variable ce[4][10][10]
0.79/0.80	c remove useless variable ce[4][11][0]
0.79/0.80	c remove useless variable ce[4][11][1]
0.79/0.80	c remove useless variable ce[4][11][2]
0.79/0.80	c remove useless variable ce[4][11][3]
0.79/0.80	c remove useless variable ce[4][11][4]
0.79/0.80	c remove useless variable ce[4][11][5]
0.79/0.80	c remove useless variable ce[4][11][6]
0.79/0.80	c remove useless variable ce[4][11][7]
0.79/0.80	c remove useless variable ce[4][11][8]
0.79/0.80	c remove useless variable ce[4][11][9]
0.79/0.80	c remove useless variable ce[4][11][10]
0.79/0.80	c remove useless variable ce[4][11][11]
0.79/0.80	c remove useless variable ce[5][0][0]
0.79/0.80	c remove useless variable ce[5][1][0]
0.79/0.80	c remove useless variable ce[5][1][1]
0.79/0.80	c remove useless variable ce[5][2][0]
0.79/0.80	c remove useless variable ce[5][2][1]
0.79/0.80	c remove useless variable ce[5][2][2]
0.79/0.80	c remove useless variable ce[5][3][0]
0.79/0.80	c remove useless variable ce[5][3][1]
0.79/0.80	c remove useless variable ce[5][3][2]
0.79/0.80	c remove useless variable ce[5][3][3]
0.79/0.80	c remove useless variable ce[5][4][0]
0.79/0.80	c remove useless variable ce[5][4][1]
0.79/0.80	c remove useless variable ce[5][4][2]
0.79/0.80	c remove useless variable ce[5][4][3]
0.79/0.80	c remove useless variable ce[5][4][4]
0.79/0.80	c remove useless variable ce[5][5][0]
0.79/0.80	c remove useless variable ce[5][5][1]
0.79/0.80	c remove useless variable ce[5][5][2]
0.79/0.80	c remove useless variable ce[5][5][3]
0.79/0.80	c remove useless variable ce[5][5][4]
0.79/0.80	c remove useless variable ce[5][5][5]
0.79/0.80	c remove useless variable ce[5][6][0]
0.79/0.80	c remove useless variable ce[5][6][1]
0.79/0.80	c remove useless variable ce[5][6][2]
0.79/0.80	c remove useless variable ce[5][6][3]
0.79/0.80	c remove useless variable ce[5][6][4]
0.79/0.80	c remove useless variable ce[5][6][5]
0.79/0.80	c remove useless variable ce[5][6][6]
0.79/0.80	c remove useless variable ce[5][7][0]
0.79/0.80	c remove useless variable ce[5][7][1]
0.79/0.80	c remove useless variable ce[5][7][2]
0.79/0.80	c remove useless variable ce[5][7][3]
0.79/0.80	c remove useless variable ce[5][7][4]
0.79/0.80	c remove useless variable ce[5][7][5]
0.79/0.80	c remove useless variable ce[5][7][6]
0.79/0.80	c remove useless variable ce[5][7][7]
0.79/0.80	c remove useless variable ce[5][8][0]
0.79/0.80	c remove useless variable ce[5][8][1]
0.79/0.80	c remove useless variable ce[5][8][2]
0.79/0.80	c remove useless variable ce[5][8][3]
0.79/0.80	c remove useless variable ce[5][8][4]
0.79/0.80	c remove useless variable ce[5][8][5]
0.79/0.80	c remove useless variable ce[5][8][6]
0.79/0.80	c remove useless variable ce[5][8][7]
0.79/0.80	c remove useless variable ce[5][8][8]
0.79/0.80	c remove useless variable ce[5][9][0]
0.79/0.80	c remove useless variable ce[5][9][1]
0.79/0.80	c remove useless variable ce[5][9][2]
0.79/0.80	c remove useless variable ce[5][9][3]
0.79/0.80	c remove useless variable ce[5][9][4]
0.79/0.80	c remove useless variable ce[5][9][5]
0.79/0.80	c remove useless variable ce[5][9][6]
0.79/0.80	c remove useless variable ce[5][9][7]
0.79/0.80	c remove useless variable ce[5][9][8]
0.79/0.80	c remove useless variable ce[5][9][9]
0.79/0.80	c remove useless variable ce[5][10][0]
0.79/0.80	c remove useless variable ce[5][10][1]
0.79/0.80	c remove useless variable ce[5][10][2]
0.79/0.80	c remove useless variable ce[5][10][3]
0.79/0.80	c remove useless variable ce[5][10][4]
0.79/0.80	c remove useless variable ce[5][10][5]
0.79/0.80	c remove useless variable ce[5][10][6]
0.79/0.80	c remove useless variable ce[5][10][7]
0.79/0.80	c remove useless variable ce[5][10][8]
0.79/0.80	c remove useless variable ce[5][10][9]
0.79/0.80	c remove useless variable ce[5][10][10]
0.79/0.80	c remove useless variable ce[5][11][0]
0.79/0.80	c remove useless variable ce[5][11][1]
0.79/0.80	c remove useless variable ce[5][11][2]
0.79/0.80	c remove useless variable ce[5][11][3]
0.79/0.80	c remove useless variable ce[5][11][4]
0.79/0.80	c remove useless variable ce[5][11][5]
0.79/0.80	c remove useless variable ce[5][11][6]
0.79/0.80	c remove useless variable ce[5][11][7]
0.79/0.80	c remove useless variable ce[5][11][8]
0.79/0.80	c remove useless variable ce[5][11][9]
0.79/0.80	c remove useless variable ce[5][11][10]
0.79/0.80	c remove useless variable ce[5][11][11]
0.79/0.80	c remove useless variable ce[6][0][0]
0.79/0.80	c remove useless variable ce[6][1][0]
0.79/0.80	c remove useless variable ce[6][1][1]
0.79/0.80	c remove useless variable ce[6][2][0]
0.79/0.80	c remove useless variable ce[6][2][1]
0.79/0.80	c remove useless variable ce[6][2][2]
0.79/0.80	c remove useless variable ce[6][3][0]
0.79/0.80	c remove useless variable ce[6][3][1]
0.79/0.80	c remove useless variable ce[6][3][2]
0.79/0.80	c remove useless variable ce[6][3][3]
0.79/0.80	c remove useless variable ce[6][4][0]
0.79/0.80	c remove useless variable ce[6][4][1]
0.79/0.80	c remove useless variable ce[6][4][2]
0.79/0.80	c remove useless variable ce[6][4][3]
0.79/0.80	c remove useless variable ce[6][4][4]
0.79/0.80	c remove useless variable ce[6][5][0]
0.79/0.80	c remove useless variable ce[6][5][1]
0.79/0.80	c remove useless variable ce[6][5][2]
0.79/0.80	c remove useless variable ce[6][5][3]
0.79/0.80	c remove useless variable ce[6][5][4]
0.79/0.80	c remove useless variable ce[6][5][5]
0.79/0.80	c remove useless variable ce[6][6][0]
0.79/0.80	c remove useless variable ce[6][6][1]
0.79/0.80	c remove useless variable ce[6][6][2]
0.79/0.80	c remove useless variable ce[6][6][3]
0.79/0.80	c remove useless variable ce[6][6][4]
0.79/0.80	c remove useless variable ce[6][6][5]
0.79/0.80	c remove useless variable ce[6][6][6]
0.79/0.80	c remove useless variable ce[6][7][0]
0.79/0.80	c remove useless variable ce[6][7][1]
0.79/0.80	c remove useless variable ce[6][7][2]
0.79/0.80	c remove useless variable ce[6][7][3]
0.79/0.80	c remove useless variable ce[6][7][4]
0.79/0.80	c remove useless variable ce[6][7][5]
0.79/0.80	c remove useless variable ce[6][7][6]
0.79/0.80	c remove useless variable ce[6][7][7]
0.79/0.80	c remove useless variable ce[6][8][0]
0.79/0.80	c remove useless variable ce[6][8][1]
0.79/0.80	c remove useless variable ce[6][8][2]
0.79/0.80	c remove useless variable ce[6][8][3]
0.79/0.80	c remove useless variable ce[6][8][4]
0.79/0.80	c remove useless variable ce[6][8][5]
0.79/0.80	c remove useless variable ce[6][8][6]
0.79/0.80	c remove useless variable ce[6][8][7]
0.79/0.80	c remove useless variable ce[6][8][8]
0.79/0.80	c remove useless variable ce[6][9][0]
0.79/0.80	c remove useless variable ce[6][9][1]
0.79/0.80	c remove useless variable ce[6][9][2]
0.79/0.80	c remove useless variable ce[6][9][3]
0.79/0.80	c remove useless variable ce[6][9][4]
0.79/0.80	c remove useless variable ce[6][9][5]
0.79/0.80	c remove useless variable ce[6][9][6]
0.79/0.80	c remove useless variable ce[6][9][7]
0.79/0.80	c remove useless variable ce[6][9][8]
0.79/0.80	c remove useless variable ce[6][9][9]
0.79/0.80	c remove useless variable ce[6][10][0]
0.79/0.80	c remove useless variable ce[6][10][1]
0.79/0.80	c remove useless variable ce[6][10][2]
0.79/0.80	c remove useless variable ce[6][10][3]
0.79/0.80	c remove useless variable ce[6][10][4]
0.79/0.80	c remove useless variable ce[6][10][5]
0.79/0.80	c remove useless variable ce[6][10][6]
0.79/0.80	c remove useless variable ce[6][10][7]
0.79/0.80	c remove useless variable ce[6][10][8]
0.79/0.80	c remove useless variable ce[6][10][9]
0.79/0.80	c remove useless variable ce[6][10][10]
0.79/0.80	c remove useless variable ce[6][11][0]
0.79/0.80	c remove useless variable ce[6][11][1]
0.79/0.80	c remove useless variable ce[6][11][2]
0.79/0.80	c remove useless variable ce[6][11][3]
0.79/0.80	c remove useless variable ce[6][11][4]
0.79/0.80	c remove useless variable ce[6][11][5]
0.79/0.80	c remove useless variable ce[6][11][6]
0.79/0.80	c remove useless variable ce[6][11][7]
0.79/0.80	c remove useless variable ce[6][11][8]
0.79/0.80	c remove useless variable ce[6][11][9]
0.79/0.80	c remove useless variable ce[6][11][10]
0.79/0.80	c remove useless variable ce[6][11][11]
0.79/0.80	c remove useless variable ce[7][0][0]
0.79/0.80	c remove useless variable ce[7][1][0]
0.79/0.80	c remove useless variable ce[7][1][1]
0.79/0.80	c remove useless variable ce[7][2][0]
0.79/0.80	c remove useless variable ce[7][2][1]
0.79/0.80	c remove useless variable ce[7][2][2]
0.79/0.80	c remove useless variable ce[7][3][0]
0.79/0.80	c remove useless variable ce[7][3][1]
0.79/0.80	c remove useless variable ce[7][3][2]
0.79/0.80	c remove useless variable ce[7][3][3]
0.79/0.80	c remove useless variable ce[7][4][0]
0.79/0.80	c remove useless variable ce[7][4][1]
0.79/0.80	c remove useless variable ce[7][4][2]
0.79/0.80	c remove useless variable ce[7][4][3]
0.79/0.80	c remove useless variable ce[7][4][4]
0.79/0.80	c remove useless variable ce[7][5][0]
0.79/0.80	c remove useless variable ce[7][5][1]
0.79/0.80	c remove useless variable ce[7][5][2]
0.79/0.80	c remove useless variable ce[7][5][3]
0.79/0.80	c remove useless variable ce[7][5][4]
0.79/0.80	c remove useless variable ce[7][5][5]
0.79/0.80	c remove useless variable ce[7][6][0]
0.79/0.80	c remove useless variable ce[7][6][1]
0.79/0.80	c remove useless variable ce[7][6][2]
0.79/0.80	c remove useless variable ce[7][6][3]
0.79/0.80	c remove useless variable ce[7][6][4]
0.79/0.80	c remove useless variable ce[7][6][5]
0.79/0.80	c remove useless variable ce[7][6][6]
0.79/0.80	c remove useless variable ce[7][7][0]
0.79/0.80	c remove useless variable ce[7][7][1]
0.79/0.80	c remove useless variable ce[7][7][2]
0.79/0.80	c remove useless variable ce[7][7][3]
0.79/0.80	c remove useless variable ce[7][7][4]
0.79/0.80	c remove useless variable ce[7][7][5]
0.79/0.80	c remove useless variable ce[7][7][6]
0.79/0.80	c remove useless variable ce[7][7][7]
0.79/0.80	c remove useless variable ce[7][8][0]
0.79/0.80	c remove useless variable ce[7][8][1]
0.79/0.80	c remove useless variable ce[7][8][2]
0.79/0.80	c remove useless variable ce[7][8][3]
0.79/0.80	c remove useless variable ce[7][8][4]
0.79/0.80	c remove useless variable ce[7][8][5]
0.79/0.80	c remove useless variable ce[7][8][6]
0.79/0.80	c remove useless variable ce[7][8][7]
0.79/0.80	c remove useless variable ce[7][8][8]
0.79/0.80	c remove useless variable ce[7][9][0]
0.79/0.80	c remove useless variable ce[7][9][1]
0.79/0.80	c remove useless variable ce[7][9][2]
0.79/0.80	c remove useless variable ce[7][9][3]
0.79/0.80	c remove useless variable ce[7][9][4]
0.79/0.80	c remove useless variable ce[7][9][5]
0.79/0.80	c remove useless variable ce[7][9][6]
0.79/0.80	c remove useless variable ce[7][9][7]
0.79/0.80	c remove useless variable ce[7][9][8]
0.79/0.80	c remove useless variable ce[7][9][9]
0.79/0.80	c remove useless variable ce[7][10][0]
0.79/0.80	c remove useless variable ce[7][10][1]
0.79/0.80	c remove useless variable ce[7][10][2]
0.79/0.80	c remove useless variable ce[7][10][3]
0.79/0.80	c remove useless variable ce[7][10][4]
0.79/0.80	c remove useless variable ce[7][10][5]
0.79/0.80	c remove useless variable ce[7][10][6]
0.79/0.80	c remove useless variable ce[7][10][7]
0.79/0.80	c remove useless variable ce[7][10][8]
0.79/0.80	c remove useless variable ce[7][10][9]
0.79/0.80	c remove useless variable ce[7][10][10]
0.79/0.80	c remove useless variable ce[7][11][0]
0.79/0.80	c remove useless variable ce[7][11][1]
0.79/0.80	c remove useless variable ce[7][11][2]
0.79/0.80	c remove useless variable ce[7][11][3]
0.79/0.80	c remove useless variable ce[7][11][4]
0.79/0.80	c remove useless variable ce[7][11][5]
0.79/0.80	c remove useless variable ce[7][11][6]
0.79/0.80	c remove useless variable ce[7][11][7]
0.79/0.80	c remove useless variable ce[7][11][8]
0.79/0.80	c remove useless variable ce[7][11][9]
0.79/0.80	c remove useless variable ce[7][11][10]
0.79/0.80	c remove useless variable ce[7][11][11]
0.79/0.80	c remove useless variable ce[8][0][0]
0.79/0.80	c remove useless variable ce[8][1][0]
0.79/0.80	c remove useless variable ce[8][1][1]
0.79/0.80	c remove useless variable ce[8][2][0]
0.79/0.80	c remove useless variable ce[8][2][1]
0.79/0.80	c remove useless variable ce[8][2][2]
0.79/0.80	c remove useless variable ce[8][3][0]
0.79/0.80	c remove useless variable ce[8][3][1]
0.79/0.80	c remove useless variable ce[8][3][2]
0.79/0.80	c remove useless variable ce[8][3][3]
0.79/0.80	c remove useless variable ce[8][4][0]
0.79/0.80	c remove useless variable ce[8][4][1]
0.79/0.80	c remove useless variable ce[8][4][2]
0.79/0.80	c remove useless variable ce[8][4][3]
0.79/0.80	c remove useless variable ce[8][4][4]
0.79/0.80	c remove useless variable ce[8][5][0]
0.79/0.80	c remove useless variable ce[8][5][1]
0.79/0.80	c remove useless variable ce[8][5][2]
0.79/0.80	c remove useless variable ce[8][5][3]
0.79/0.80	c remove useless variable ce[8][5][4]
0.79/0.80	c remove useless variable ce[8][5][5]
0.79/0.80	c remove useless variable ce[8][6][0]
0.79/0.80	c remove useless variable ce[8][6][1]
0.79/0.80	c remove useless variable ce[8][6][2]
0.79/0.80	c remove useless variable ce[8][6][3]
0.79/0.80	c remove useless variable ce[8][6][4]
0.79/0.80	c remove useless variable ce[8][6][5]
0.79/0.80	c remove useless variable ce[8][6][6]
0.79/0.80	c remove useless variable ce[8][7][0]
0.79/0.80	c remove useless variable ce[8][7][1]
0.79/0.80	c remove useless variable ce[8][7][2]
0.79/0.80	c remove useless variable ce[8][7][3]
0.79/0.80	c remove useless variable ce[8][7][4]
0.79/0.80	c remove useless variable ce[8][7][5]
0.79/0.80	c remove useless variable ce[8][7][6]
0.79/0.80	c remove useless variable ce[8][7][7]
0.79/0.80	c remove useless variable ce[8][8][0]
0.79/0.80	c remove useless variable ce[8][8][1]
0.79/0.80	c remove useless variable ce[8][8][2]
0.79/0.80	c remove useless variable ce[8][8][3]
0.79/0.80	c remove useless variable ce[8][8][4]
0.79/0.80	c remove useless variable ce[8][8][5]
0.79/0.80	c remove useless variable ce[8][8][6]
0.79/0.80	c remove useless variable ce[8][8][7]
0.79/0.80	c remove useless variable ce[8][8][8]
0.79/0.80	c remove useless variable ce[8][9][0]
0.79/0.80	c remove useless variable ce[8][9][1]
0.79/0.80	c remove useless variable ce[8][9][2]
0.79/0.80	c remove useless variable ce[8][9][3]
0.79/0.80	c remove useless variable ce[8][9][4]
0.79/0.80	c remove useless variable ce[8][9][5]
0.79/0.80	c remove useless variable ce[8][9][6]
0.79/0.80	c remove useless variable ce[8][9][7]
0.79/0.80	c remove useless variable ce[8][9][8]
0.79/0.80	c remove useless variable ce[8][9][9]
0.79/0.80	c remove useless variable ce[8][10][0]
0.79/0.80	c remove useless variable ce[8][10][1]
0.79/0.80	c remove useless variable ce[8][10][2]
0.79/0.80	c remove useless variable ce[8][10][3]
0.79/0.80	c remove useless variable ce[8][10][4]
0.79/0.80	c remove useless variable ce[8][10][5]
0.79/0.80	c remove useless variable ce[8][10][6]
0.79/0.80	c remove useless variable ce[8][10][7]
0.79/0.80	c remove useless variable ce[8][10][8]
0.79/0.80	c remove useless variable ce[8][10][9]
0.79/0.80	c remove useless variable ce[8][10][10]
0.79/0.80	c remove useless variable ce[8][11][0]
0.79/0.80	c remove useless variable ce[8][11][1]
0.79/0.80	c remove useless variable ce[8][11][2]
0.79/0.80	c remove useless variable ce[8][11][3]
0.79/0.80	c remove useless variable ce[8][11][4]
0.79/0.80	c remove useless variable ce[8][11][5]
0.79/0.80	c remove useless variable ce[8][11][6]
0.79/0.80	c remove useless variable ce[8][11][7]
0.79/0.80	c remove useless variable ce[8][11][8]
0.79/0.80	c remove useless variable ce[8][11][9]
0.79/0.80	c remove useless variable ce[8][11][10]
0.79/0.80	c remove useless variable ce[8][11][11]
1.79/1.83	c 101            791            241204         248219         0              0              691   691   684
2.79/2.84	c 211            1388           459183         567522         0              0              4   488   479  
3.88/3.96	c 332            2030           684429         1741775        0              0              6   522   488  
3.98/4.04	c 465            2192           694567         1938216        0              0              5   30   22    
4.88/4.93	c 611            2708           872230         2479968        0              0              4   371   138  
5.60/5.69	c 771            3155           1010078        2972183        0              0              8   288   40   
6.39/6.47	c 947            3630           1149920        3545998        0              0              8   300   55   
6.60/6.60	c 1140           3879           1161312        4020408        0              0              5   57   35    
7.29/7.39	c 1352           4414           1304077        4737366        0              0              7   324   77   
7.59/7.60	c 1585           4689           1319157        5764743        0              0              5   43   32    
8.29/8.37	c 1841           5280           1458639        6586121        0              0              5   336   70   
8.59/8.64	c 2122           5585           1474055        7777349        0              0              9   25   23    
8.79/8.87	c 2431           5982           1487700        8825600        0              0              8   89   49    
9.09/9.17	c 2770           6395           1501778        10003856       0              0              8   75   63    
9.59/9.63	c 3142           6789           1519235        12440377       0              0              7   23   22    
10.49/10.58	c 3551           7699           1694285        13452054       0              0              3   502   313  
11.39/11.46	c 4000           8579           1842618        14648501       0              0              5   432   232  
12.09/12.19	c 4493           9149           1871351        18744756       0              0              5   50   37    
13.69/13.78	c 5035           10381          2125247        23499645       0              0              691   691   689
14.49/14.58	c 5631           11070          2161673        27360441       0              0              6   94   82    
15.79/15.86	c 6286           11844          2200205        33674965       0              0              8   120   106  
16.59/16.64	c 7006           12661          2237235        37322907       0              0              7   97   92    
17.09/17.11	c 7798           13469          2276841        40033111       0              0              15   16   15   
17.69/17.75	c 8669           14419          2315244        43286695       0              0              7   79   77    
18.49/18.50	c 9627           15541          2349081        47430851       0              0              13   120   105 
19.99/20.04	c 10680          16615          2396474        55138434       0              0              20   21   20   
21.09/21.13	c 11838          17786          2448304        61203234       0              0              12   12   11   
22.09/22.13	c 13111          19088          2508844        67230649       0              0              5   29   28    
23.29/23.37	c 14511          20626          2548663        73894398       0              0              8   134   122  
24.88/24.98	c 16051          23825          2633700        79329172       0              0              10   42   36   
25.39/25.49	c 17745          25549          2693146        82592562       0              0              10   29   28   
29.58/29.68	c 19608          27520          2769079        107651131      0              0              14   107   103 
31.38/31.47	c 21657          30266          3047265        115062781      0              0              691   691   690
32.88/32.99	c 23910          32578          3132585        123386434      0              0              5   57   56    
34.68/34.79	c 26388          35084          3223179        135615449      0              0              4   26   25    
37.08/37.19	c 29113          37856          3321333        150736665      0              0              6   42   36    
39.08/39.18	c 32110          40901          3435355        165190920      0              0              11   25   24   
40.58/40.63	c 35406          44401          3555110        172808088      0              0              12   200   124 
42.09/42.17	c 39031          48138          3698729        183826884      0              0              3   108   23   
44.49/44.50	c 43018          52355          3774544        195730409      0              0              6   224   194  
45.29/45.38	c 47403          56758          3941017        202669049      0              0              7   13   12    
47.89/47.90	c 52226          61612          4137913        217277378      0              0              4   24   20    
53.39/53.40	c 57531          67053          4363369        248980868      0              0              5   129   88   
55.39/55.41	c 63366          72910          4594099        260898830      0              0              3   15   14    
59.39/59.46	c 69784          79445          4807147        287100560      0              0              5   99   54    
66.09/66.15	c 76843          86593          4990785        331742203      0              0              3   75   74    
69.89/69.97	c 84607          94403          5262353        361866327      0              0              7   36   35    
74.48/74.52	c 93147          103205         5418304        383692318      0              0              7   248   213  
75.99/76.05	c 102541         112633         5769366        396595236      0              0              8   22   21    
83.98/84.08	c 112874         123046         6159170        456239600      0              0              4   66   57    
96.19/96.22	c 124240         134530         6555891        513614424      0              0              4   95   79    
98.69/98.79	c 136742         147111         6995889        533382826      0              0              4   26   25    
106.59/106.63	c 150494         160951         7473164        594068105      0              0              4   29   28    
116.79/116.89	c 165621         176150         8006366        674809897      0              0              4   51   50    
126.59/126.68	c 182260         192847         8606649        750232932      0              0              6   35   34    
142.88/142.90	c 200562         211242         9338116        839601880      0              0              4   67   56    
153.58/153.64	c 220694         231423         10038521       921655079      0              0              5   21   20    
158.08/158.10	c 242839         253631         10801837       958172697      0              0              4   32   29    
174.49/174.54	c 267198         278060         11658913       1087823408     0              0              8   35   32    
188.89/188.94	c 293992         304956         12626900       1182940268     0              0              4   63   54    
223.09/223.12	c 323465         334729         13853453       1330630674     0              0              6   71   70    
257.99/258.03	c 355885         367972         14994228       1604013743     0              0              691   691   690
311.19/311.29	c 391547         403718         16703099       1926570877     0              0              32   32   31   
333.59/333.62	c 430775         443024         18364275       2102709622     0              0              22   22   21   
357.09/357.16	c 473925         486320         19851245       2282608204     0              0              19   21   20   
385.29/385.32	c 521390         534170         20884076       2442440627     0              0              4   126   118  
405.49/405.56	c 573601         586566         22590919       2582688900     0              0              6   34   33    
454.19/454.24	c 631033         644872         23955436       2935558775     0              0              7   138   135  
504.29/504.37	c 694208         708186         26389834       3317593407     0              0              11   46   45   
516.29/516.30	c 763700         778857         28770965       3418200111     0              0              3   26   25    
583.00/583.06	c 840141         856126         31379761       3952695136     0              0              4   56   54    
600.19/600.23	c 924226         940361         34440632       4088160568     0              0              4   27   26    
661.59/661.61	c 1016719        1033007        37689373       4559967273     0              0              4   18   17    
698.39/698.42	c 1118461        1136570        40195937       4804151987     0              0              4   170   167  
762.90/762.94	c 1230377        1249193        44004641       5318083956     0              0              5   40   39    
809.60/809.64	c 1353484        1375653        45199714       5631440538     0              0              6   244   213  
872.20/872.25	c 1488901        1511306        49850041       6148852440     0              0              4   35   34    
908.50/908.51	c 1637859        1660536        54181228       6409221586     0              0              4   50   49    
1002.00/1002.08	c 1801712        1824803        59437308       6907677117     0              0              5   88   85    
1026.00/1026.06	c 1981950        2006144        60148154       6938192798     0              0              5   447   442  
1061.90/1061.91	c 2180211        2204776        66213971       7211763195     0              0              3   72   71    
1121.02/1121.01	c 2398298        2430449        67744320       7484091291     0              0              4   472   465  
1171.71/1171.73	c 2638193        2671983        69102419       7672227703     0              0              5   513   503  
1206.72/1206.72	c 2902077        2937617        70097420       7699624477     0              0              4   515   507  
1759.53/1759.51	c 3192349        3359611        87127778       10311437214    0              0              6   96   90    
1812.83/1812.84	c 3511648        3679401        96592303       10729739357    0              0              10   17   16   
2129.84/2129.81	c 3862876        4035464        106995104      13380190994    0              0              4   84   83

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-4251714-1500918271/watcher-4251714-1500918271 -o /tmp/evaluation-result-4251714-1500918271/solver-4251714-1500918271 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500915816-3624 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251714-1500918271.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.03 1.96 3/181 4030
/proc/meminfo: memFree=32072664/32770624 swapFree=5776/148768
[pid=4030] ppid=4027 vsize=26772 CPUtime=0 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 927 0 0 0 0 0 0 0 20 0 1 0 1415930 27414528 759 33554432000 4194304 5744392 140734395345760 140734395342408 139774937840613 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 6693 759 678 379 0 112 0

[startup+0.100165 s]
/proc/loadavg: 2.05 2.03 1.96 3/181 4030
/proc/meminfo: memFree=32072664/32770624 swapFree=5776/148768
[pid=4030] ppid=4027 vsize=38584 CPUtime=0.08 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 3983 0 0 0 8 0 0 0 20 0 1 0 1415930 39510016 3778 33554432000 4194304 5744392 140734395345760 140734395342408 139774937850736 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 9646 3778 773 379 0 3065 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 38584

[startup+0.20035 s]
/proc/loadavg: 2.05 2.03 1.96 3/181 4030
/proc/meminfo: memFree=32072664/32770624 swapFree=5776/148768
[pid=4030] ppid=4027 vsize=42804 CPUtime=0.18 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 5023 0 0 0 18 0 0 0 20 0 1 0 1415930 43831296 4848 33554432000 4194304 5744392 140734395345760 140734395342408 139774947482121 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 10701 4848 773 379 0 4120 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 42804

[startup+0.300265 s]
/proc/loadavg: 2.05 2.03 1.96 3/181 4030
/proc/meminfo: memFree=32072664/32770624 swapFree=5776/148768
[pid=4030] ppid=4027 vsize=46916 CPUtime=0.29 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 6062 0 0 0 28 1 0 0 20 0 1 0 1415930 48041984 5838 33554432000 4194304 5744392 140734395345760 140734395342408 5085865 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 11729 5838 773 379 0 5148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46916

[startup+0.700225 s]
/proc/loadavg: 2.05 2.03 1.96 3/181 4030
/proc/meminfo: memFree=32072664/32770624 swapFree=5776/148768
[pid=4030] ppid=4027 vsize=63352 CPUtime=0.69 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 10171 0 0 0 68 1 0 0 20 0 1 0 1415930 64872448 9953 33554432000 4194304 5744392 140734395345760 140734395339384 139774937838207 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 15838 9953 773 379 0 9257 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63352

[startup+1.50022 s]
/proc/loadavg: 2.05 2.03 1.96 3/182 4031
/proc/meminfo: memFree=32031224/32770624 swapFree=5776/148796
[pid=4030] ppid=4027 vsize=69428 CPUtime=1.49 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 11616 0 0 0 148 1 0 0 20 0 1 0 1415930 71094272 11438 33554432000 4194304 5744392 140734395345760 140734395343128 5127200 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 17357 11438 813 379 0 10776 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69428

[startup+3.10022 s]
/proc/loadavg: 2.05 2.03 1.96 3/182 4031
/proc/meminfo: memFree=32027876/32770624 swapFree=5776/148796
[pid=4030] ppid=4027 vsize=71204 CPUtime=3.08 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 14208 0 0 0 307 1 0 0 20 0 1 0 1415930 72912896 11931 33554432000 4194304 5744392 140734395345760 140734395343160 4998896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 17801 11931 813 379 0 11220 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 71204

[startup+6.30022 s]
/proc/loadavg: 2.05 2.03 1.96 3/182 4031
/proc/meminfo: memFree=32027744/32770624 swapFree=5776/148808
[pid=4030] ppid=4027 vsize=71204 CPUtime=6.29 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 17749 0 0 0 627 2 0 0 20 0 1 0 1415930 72912896 11931 33554432000 4194304 5744392 140734395345760 140734395343160 4917088 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 17801 11931 813 379 0 11220 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71204

[startup+12.7002 s]
/proc/loadavg: 2.04 2.03 1.96 3/182 4031
/proc/meminfo: memFree=32026760/32770624 swapFree=5776/148816
[pid=4030] ppid=4027 vsize=72128 CPUtime=12.69 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 21463 0 0 0 1267 2 0 0 20 0 1 0 1415930 73859072 12155 33554432000 4194304 5744392 140734395345760 140734395343160 4998896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 18032 12155 813 379 0 11451 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 72128

[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 1.96 3/182 4031
/proc/meminfo: memFree=32024020/32770624 swapFree=5776/148832
[pid=4030] ppid=4027 vsize=74768 CPUtime=25.48 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 27860 0 0 0 2546 2 0 0 20 0 1 0 1415930 76562432 12809 33554432000 4194304 5744392 140734395345760 140734395343160 4914172 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 18692 12809 813 379 0 12111 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 74768

[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 1.96 3/182 4031
/proc/meminfo: memFree=32021632/32770624 swapFree=5776/148860
[pid=4030] ppid=4027 vsize=76880 CPUtime=51.09 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 31661 0 0 0 5106 3 0 0 20 0 1 0 1415930 78725120 13346 33554432000 4194304 5744392 140734395345760 140734395342904 4971633 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 19220 13346 813 379 0 12639 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76880

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 4032
/proc/meminfo: memFree=32020212/32770624 swapFree=5776/148924
[pid=4030] ppid=4027 vsize=77936 CPUtime=102.29 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 32734 0 0 0 10226 3 0 0 20 0 1 0 1415930 79806464 13673 33554432000 4194304 5744392 140734395345760 140734395342904 4998896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 19484 13673 813 379 0 12903 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 77936

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 4033
/proc/meminfo: memFree=32019528/32770624 swapFree=5776/148984
[pid=4030] ppid=4027 vsize=78332 CPUtime=162.28 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 33726 0 0 0 16225 3 0 0 20 0 1 0 1415930 80211968 13790 33554432000 4194304 5744392 140734395345760 140734395343160 5123867 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 19583 13790 813 379 0 13002 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 78332

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 4034
/proc/meminfo: memFree=32019960/32770624 swapFree=5776/149040
[pid=4030] ppid=4027 vsize=78464 CPUtime=222.29 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 34302 0 0 0 22226 3 0 0 20 0 1 0 1415930 80347136 13809 33554432000 4194304 5744392 140734395345760 140734395342904 4911541 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 19616 13809 813 379 0 13035 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 78464

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 4035
/proc/meminfo: memFree=32019756/32770624 swapFree=5776/149088
[pid=4030] ppid=4027 vsize=78992 CPUtime=282.29 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 35092 0 0 0 28226 3 0 0 20 0 1 0 1415930 80887808 13943 33554432000 4194304 5744392 140734395345760 140734395342904 4998896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 19748 13943 813 379 0 13167 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 78992

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 4043
/proc/meminfo: memFree=32019028/32770624 swapFree=5776/149144
[pid=4030] ppid=4027 vsize=78992 CPUtime=342.29 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 35690 0 0 0 34226 3 0 0 20 0 1 0 1415930 80887808 13950 33554432000 4194304 5744392 140734395345760 140734395343160 4904870 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 19748 13950 813 379 0 13167 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 78992

[startup+402.3 s]
/proc/loadavg: 2.08 2.03 1.97 3/182 4044
/proc/meminfo: memFree=32018996/32770624 swapFree=5776/149184
[pid=4030] ppid=4027 vsize=79256 CPUtime=402.29 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 36476 0 0 0 40226 3 0 0 20 0 1 0 1415930 81158144 13972 33554432000 4194304 5744392 140734395345760 140734395342904 4908300 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 19814 13972 813 379 0 13233 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 79256

[startup+462.3 s]
/proc/loadavg: 2.13 2.06 1.98 3/182 4045
/proc/meminfo: memFree=32018560/32770624 swapFree=5776/149240
[pid=4030] ppid=4027 vsize=79652 CPUtime=462.29 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 36948 0 0 0 46226 3 0 0 20 0 1 0 1415930 81563648 14114 33554432000 4194304 5744392 140734395345760 140734395342904 4994002 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 19913 14114 813 379 0 13332 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 79652

[startup+522.3 s]
/proc/loadavg: 2.05 2.04 1.98 3/182 4046
/proc/meminfo: memFree=32018832/32770624 swapFree=5776/149288
[pid=4030] ppid=4027 vsize=79652 CPUtime=522.29 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 37362 0 0 0 52226 3 0 0 20 0 1 0 1415930 81563648 14122 33554432000 4194304 5744392 140734395345760 140734395343160 4917571 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 19913 14122 813 379 0 13332 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 79652

[startup+582.3 s]
/proc/loadavg: 2.02 2.04 1.98 3/182 4047
/proc/meminfo: memFree=32018204/32770624 swapFree=5776/149336
[pid=4030] ppid=4027 vsize=79652 CPUtime=582.29 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 37669 0 0 0 58226 3 0 0 20 0 1 0 1415930 81563648 14124 33554432000 4194304 5744392 140734395345760 140734395343160 4914103 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 19913 14124 813 379 0 13332 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 79652


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


[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/182 4093
/proc/meminfo: memFree=32012764/32770624 swapFree=5776/149968
[pid=4030] ppid=4027 vsize=83368 CPUtime=1482.32 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 45011 0 0 0 148228 4 0 0 20 0 1 0 1415930 85368832 15044 33554432000 4194304 5744392 140734395345760 140734395342904 4971616 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20842 15044 813 379 0 14261 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 83368

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 1.99 3/182 4101
/proc/meminfo: memFree=32012492/32770624 swapFree=5776/150016
[pid=4030] ppid=4027 vsize=83368 CPUtime=1542.33 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 45319 0 0 0 154229 4 0 0 20 0 1 0 1415930 85368832 15044 33554432000 4194304 5744392 140734395345760 140734395342904 4908713 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20842 15044 813 379 0 14261 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 83368

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4102
/proc/meminfo: memFree=32012612/32770624 swapFree=5776/150044
[pid=4030] ppid=4027 vsize=83368 CPUtime=1602.32 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 45628 0 0 0 160228 4 0 0 20 0 1 0 1415930 85368832 15057 33554432000 4194304 5744392 140734395345760 140734395342904 4971616 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20842 15057 813 379 0 14261 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 83368

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4103
/proc/meminfo: memFree=32012736/32770624 swapFree=5776/150076
[pid=4030] ppid=4027 vsize=83368 CPUtime=1662.32 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 45931 0 0 0 166228 4 0 0 20 0 1 0 1415930 85368832 15058 33554432000 4194304 5744392 140734395345760 140734395342904 4908330 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20842 15058 813 379 0 14261 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 83368

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4104
/proc/meminfo: memFree=32012620/32770624 swapFree=5776/150108
[pid=4030] ppid=4027 vsize=83368 CPUtime=1722.33 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 46234 0 0 0 172229 4 0 0 20 0 1 0 1415930 85368832 15058 33554432000 4194304 5744392 140734395345760 140734395342904 4970576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20842 15058 813 379 0 14261 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 83368

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4105
/proc/meminfo: memFree=32012372/32770624 swapFree=5776/150144
[pid=4030] ppid=4027 vsize=83368 CPUtime=1782.33 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 46580 0 0 0 178229 4 0 0 20 0 1 0 1415930 85368832 15058 33554432000 4194304 5744392 140734395345760 140734395343160 4952928 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20842 15058 813 379 0 14261 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 83368

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4106
/proc/meminfo: memFree=32012124/32770624 swapFree=5776/150184
[pid=4030] ppid=4027 vsize=83632 CPUtime=1842.33 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 46980 0 0 0 184229 4 0 0 20 0 1 0 1415930 85639168 15098 33554432000 4194304 5744392 140734395345760 140734395342904 4908285 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20908 15098 813 379 0 14327 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 83632

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4107
/proc/meminfo: memFree=32011884/32770624 swapFree=5776/150228
[pid=4030] ppid=4027 vsize=83632 CPUtime=1902.33 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 47335 0 0 0 190229 4 0 0 20 0 1 0 1415930 85639168 15109 33554432000 4194304 5744392 140734395345760 140734395342904 5124159 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20908 15109 813 379 0 14327 0
Current children cumulated CPU time (s) 1902.33
Current children cumulated vsize (KiB) 83632

[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 1.99 3/182 4108
/proc/meminfo: memFree=32012140/32770624 swapFree=5776/150264
[pid=4030] ppid=4027 vsize=83632 CPUtime=1962.33 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 47696 0 0 0 196229 4 0 0 20 0 1 0 1415930 85639168 15118 33554432000 4194304 5744392 140734395345760 140734395342904 4905328 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20908 15118 813 379 0 14327 0
Current children cumulated CPU time (s) 1962.33
Current children cumulated vsize (KiB) 83632

[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/182 4109
/proc/meminfo: memFree=32012512/32770624 swapFree=5776/150292
[pid=4030] ppid=4027 vsize=83632 CPUtime=2022.33 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 48063 0 0 0 202229 4 0 0 20 0 1 0 1415930 85639168 15125 33554432000 4194304 5744392 140734395345760 140734395342904 4908330 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20908 15125 813 379 0 14327 0
Current children cumulated CPU time (s) 2022.33
Current children cumulated vsize (KiB) 83632

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/182 4110
/proc/meminfo: memFree=32012636/32770624 swapFree=5776/150324
[pid=4030] ppid=4027 vsize=83764 CPUtime=2082.34 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 48439 0 0 0 208230 4 0 0 20 0 1 0 1415930 85774336 15131 33554432000 4194304 5744392 140734395345760 140734395342904 4905039 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20941 15131 813 379 0 14360 0
Current children cumulated CPU time (s) 2082.34
Current children cumulated vsize (KiB) 83764

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4118
/proc/meminfo: memFree=32011724/32770624 swapFree=5776/150376
[pid=4030] ppid=4027 vsize=83896 CPUtime=2142.34 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 48925 0 0 0 214230 4 0 0 20 0 1 0 1415930 85909504 15154 33554432000 4194304 5744392 140734395345760 140734395342904 4904853 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20974 15154 813 379 0 14393 0
Current children cumulated CPU time (s) 2142.34
Current children cumulated vsize (KiB) 83896

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4119
/proc/meminfo: memFree=32011832/32770624 swapFree=5776/150412
[pid=4030] ppid=4027 vsize=83896 CPUtime=2202.34 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 49275 0 0 0 220230 4 0 0 20 0 1 0 1415930 85909504 15192 33554432000 4194304 5744392 140734395345760 140734395342904 4873227 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20974 15192 813 379 0 14393 0
Current children cumulated CPU time (s) 2202.34
Current children cumulated vsize (KiB) 83896

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4120
/proc/meminfo: memFree=32011468/32770624 swapFree=5776/150440
[pid=4030] ppid=4027 vsize=83896 CPUtime=2262.34 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 49625 0 0 0 226230 4 0 0 20 0 1 0 1415930 85909504 15192 33554432000 4194304 5744392 140734395345760 140734395342904 4901827 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20974 15192 813 379 0 14393 0
Current children cumulated CPU time (s) 2262.34
Current children cumulated vsize (KiB) 83896

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4121
/proc/meminfo: memFree=32010832/32770624 swapFree=5776/150472
[pid=4030] ppid=4027 vsize=83896 CPUtime=2322.34 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 49975 0 0 0 232230 4 0 0 20 0 1 0 1415930 85909504 15192 33554432000 4194304 5744392 140734395345760 140734395342904 4952941 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20974 15192 813 379 0 14393 0
Current children cumulated CPU time (s) 2322.34
Current children cumulated vsize (KiB) 83896

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4305
/proc/meminfo: memFree=32019056/32770624 swapFree=5776/150624
[pid=4030] ppid=4027 vsize=83896 CPUtime=2382.34 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 50325 0 0 0 238230 4 0 0 20 0 1 0 1415930 85909504 15192 33554432000 4194304 5744392 140734395345760 140734395342904 4901840 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20974 15192 813 379 0 14393 0
Current children cumulated CPU time (s) 2382.34
Current children cumulated vsize (KiB) 83896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4305
/proc/meminfo: memFree=32019056/32770624 swapFree=5776/150648
[pid=4030] ppid=4027 vsize=83896 CPUtime=2400.04 cores=1,3,5,7
/proc/4030/stat : 4030 (cosoco) R 4027 4030 3592 0 -1 4202496 50675 0 0 0 240000 4 0 0 20 0 1 0 1415930 85909504 15192 33554432000 4194304 5744392 140734395345760 140734395342904 4914199 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 24051712 140734395352257 140734395352387 140734395352387 140734395355086 0
/proc/4030/statm: 20974 15192 813 379 0 14393 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 83896

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

Child status: 1
Real time (s): 2400
CPU time (s): 2400.05
CPU user time (s): 2400.01
CPU system time (s): 0.042001
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 83896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.042001
maximum resident set size= 60812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50701
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= 25
involuntary context switches= 998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20893 second user time and 7.43377 second system time

The end

Launcher Data 

Begin job on node146 at 2017-07-24 19:44:31
IDJOB=4251714
IDBENCH=120754
IDSOLVER=2633
FILE ID=node146/4251714-1500918271
RUNJOBID= node146-1500915816-3624
PBS_JOBID= 20625423
Free space on /tmp= 61688 MiB

SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K12-P09.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4251714-1500918271/watcher-4251714-1500918271 -o /tmp/evaluation-result-4251714-1500918271/solver-4251714-1500918271 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500915816-3624 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4251714-1500918271.xml

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

MD5SUM BENCH= 32cec65ed71b36923f34d2db18851218
RANDOM SEED=51191604

node146.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.45
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.45
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.45
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.45
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:        32073040 kB
MemAvailable:   32051220 kB
Buffers:           41128 kB
Cached:           251992 kB
SwapCached:            0 kB
Active:           188944 kB
Inactive:         157416 kB
Active(anon):      56136 kB
Inactive(anon):     8648 kB
Active(file):     132808 kB
Inactive(file):   148768 kB
Unevictable:        5776 kB
Mlocked:            5776 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1968 kB
Writeback:             0 kB
AnonPages:         59116 kB
Mapped:            28948 kB
Shmem:              8848 kB
Slab:              50580 kB
SReclaimable:      24880 kB
SUnreclaim:        25700 kB
KernelStack:        3280 kB
PageTables:         5292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     292432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 61688 MiB
End job on node146 at 2017-07-24 20:24:32