Trace number 4267916

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520.01 2520

General information on the benchmark

NameBibd/Bibd-sc-stab2/
Bibd-sc-10-05-04.xml
MD5SUMe9f6f40743648773adf3c8e081ae5e9b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.66023
Satisfiable
(Un)Satisfiability was proved
Number of variables1980
Number of constraints884
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":990}]
Minimum variable degree0
Maximum variable degree12
Distribution of variable degrees[{"degree":0,"count":990},{"degree":2,"count":810},{"degree":12,"count":180}]
Minimum constraint arity3
Maximum constraint arity180
Distribution of constraint arities[{"arity":3,"count":810},{"arity":10,"count":18},{"arity":18,"count":55},{"arity":180,"count":1}]
Number of extensional constraints0
Number of intensional constraints810
Distribution of constraint types[{"type":"intension","count":810},{"type":"lex","count":1},{"type":"sum","count":73}]
Optimization problemNO
Type of objective

Solver Data 

0.84/0.95	c root propagations     : 0           
0.84/0.95	c restarts enabled, print stats at every restarts
0.84/0.95	c
0.84/0.95	c
0.84/0.95	c
0.84/0.95	c This is cosoco 1.12 --  
0.84/0.95	c
0.84/0.95	c command line: cosoco -lc -model -restarts HOME/instance-4267916-1502517210.xml 
0.84/0.95	c ========================================[ Problem Statistics ]===========================================
0.84/0.95	c |                                                                                                       
0.84/0.95	c |  Parse time        :         0.87 s 
0.84/0.95	c |
0.84/0.95	c |               Variables: 1980
0.84/0.95	c |            Domain Sizes: 2..2
0.84/0.95	c |
0.84/0.95	c |             Constraints: 909
0.84/0.95	c |                   Arity: 3..36  -- Ternary: 810
0.84/0.95	c | 
0.84/0.95	c |                   Types: 
0.84/0.95	c |                          Intension: 810
0.84/0.95	c |                          Lex: 26
0.84/0.95	c |                          Sum: 73
0.84/0.95	c |                          
0.84/0.95	c =========================================================================================================
0.84/0.95	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.84/0.95	c remove useless variable s[0][0][0]
0.84/0.95	c remove useless variable s[0][0][1]
0.84/0.95	c remove useless variable s[0][0][2]
0.84/0.95	c remove useless variable s[0][0][3]
0.84/0.95	c remove useless variable s[0][0][4]
0.84/0.95	c remove useless variable s[0][0][5]
0.84/0.95	c remove useless variable s[0][0][6]
0.84/0.95	c remove useless variable s[0][0][7]
0.84/0.95	c remove useless variable s[0][0][8]
0.84/0.95	c remove useless variable s[0][0][9]
0.84/0.95	c remove useless variable s[0][0][10]
0.84/0.95	c remove useless variable s[0][0][11]
0.84/0.95	c remove useless variable s[0][0][12]
0.84/0.95	c remove useless variable s[0][0][13]
0.84/0.95	c remove useless variable s[0][0][14]
0.84/0.95	c remove useless variable s[0][0][15]
0.84/0.95	c remove useless variable s[0][0][16]
0.84/0.95	c remove useless variable s[0][0][17]
0.84/0.95	c remove useless variable s[1][0][0]
0.84/0.95	c remove useless variable s[1][0][1]
0.84/0.95	c remove useless variable s[1][0][2]
0.84/0.95	c remove useless variable s[1][0][3]
0.84/0.95	c remove useless variable s[1][0][4]
0.84/0.95	c remove useless variable s[1][0][5]
0.84/0.95	c remove useless variable s[1][0][6]
0.84/0.95	c remove useless variable s[1][0][7]
0.84/0.95	c remove useless variable s[1][0][8]
0.84/0.95	c remove useless variable s[1][0][9]
0.84/0.95	c remove useless variable s[1][0][10]
0.84/0.95	c remove useless variable s[1][0][11]
0.84/0.95	c remove useless variable s[1][0][12]
0.84/0.95	c remove useless variable s[1][0][13]
0.84/0.95	c remove useless variable s[1][0][14]
0.84/0.95	c remove useless variable s[1][0][15]
0.84/0.95	c remove useless variable s[1][0][16]
0.84/0.95	c remove useless variable s[1][0][17]
0.84/0.95	c remove useless variable s[1][1][0]
0.84/0.95	c remove useless variable s[1][1][1]
0.84/0.95	c remove useless variable s[1][1][2]
0.84/0.95	c remove useless variable s[1][1][3]
0.84/0.95	c remove useless variable s[1][1][4]
0.84/0.95	c remove useless variable s[1][1][5]
0.84/0.95	c remove useless variable s[1][1][6]
0.84/0.95	c remove useless variable s[1][1][7]
0.84/0.95	c remove useless variable s[1][1][8]
0.84/0.95	c remove useless variable s[1][1][9]
0.84/0.95	c remove useless variable s[1][1][10]
0.84/0.95	c remove useless variable s[1][1][11]
0.84/0.95	c remove useless variable s[1][1][12]
0.84/0.95	c remove useless variable s[1][1][13]
0.84/0.95	c remove useless variable s[1][1][14]
0.84/0.95	c remove useless variable s[1][1][15]
0.84/0.95	c remove useless variable s[1][1][16]
0.84/0.95	c remove useless variable s[1][1][17]
0.84/0.95	c remove useless variable s[2][0][0]
0.84/0.95	c remove useless variable s[2][0][1]
0.84/0.95	c remove useless variable s[2][0][2]
0.84/0.95	c remove useless variable s[2][0][3]
0.84/0.95	c remove useless variable s[2][0][4]
0.84/0.95	c remove useless variable s[2][0][5]
0.84/0.95	c remove useless variable s[2][0][6]
0.84/0.95	c remove useless variable s[2][0][7]
0.84/0.95	c remove useless variable s[2][0][8]
0.84/0.95	c remove useless variable s[2][0][9]
0.84/0.95	c remove useless variable s[2][0][10]
0.84/0.95	c remove useless variable s[2][0][11]
0.84/0.95	c remove useless variable s[2][0][12]
0.84/0.95	c remove useless variable s[2][0][13]
0.84/0.95	c remove useless variable s[2][0][14]
0.84/0.95	c remove useless variable s[2][0][15]
0.84/0.95	c remove useless variable s[2][0][16]
0.84/0.95	c remove useless variable s[2][0][17]
0.84/0.95	c remove useless variable s[2][1][0]
0.84/0.95	c remove useless variable s[2][1][1]
0.84/0.95	c remove useless variable s[2][1][2]
0.84/0.95	c remove useless variable s[2][1][3]
0.84/0.95	c remove useless variable s[2][1][4]
0.84/0.95	c remove useless variable s[2][1][5]
0.84/0.95	c remove useless variable s[2][1][6]
0.84/0.95	c remove useless variable s[2][1][7]
0.84/0.95	c remove useless variable s[2][1][8]
0.84/0.95	c remove useless variable s[2][1][9]
0.84/0.95	c remove useless variable s[2][1][10]
0.84/0.95	c remove useless variable s[2][1][11]
0.84/0.95	c remove useless variable s[2][1][12]
0.84/0.95	c remove useless variable s[2][1][13]
0.84/0.95	c remove useless variable s[2][1][14]
0.84/0.95	c remove useless variable s[2][1][15]
0.84/0.95	c remove useless variable s[2][1][16]
0.84/0.95	c remove useless variable s[2][1][17]
0.84/0.95	c remove useless variable s[2][2][0]
0.84/0.95	c remove useless variable s[2][2][1]
0.84/0.95	c remove useless variable s[2][2][2]
0.84/0.95	c remove useless variable s[2][2][3]
0.84/0.95	c remove useless variable s[2][2][4]
0.84/0.95	c remove useless variable s[2][2][5]
0.84/0.95	c remove useless variable s[2][2][6]
0.84/0.95	c remove useless variable s[2][2][7]
0.84/0.95	c remove useless variable s[2][2][8]
0.84/0.95	c remove useless variable s[2][2][9]
0.84/0.95	c remove useless variable s[2][2][10]
0.84/0.95	c remove useless variable s[2][2][11]
0.84/0.95	c remove useless variable s[2][2][12]
0.84/0.95	c remove useless variable s[2][2][13]
0.84/0.95	c remove useless variable s[2][2][14]
0.84/0.95	c remove useless variable s[2][2][15]
0.84/0.95	c remove useless variable s[2][2][16]
0.84/0.95	c remove useless variable s[2][2][17]
0.84/0.95	c remove useless variable s[3][0][0]
0.84/0.95	c remove useless variable s[3][0][1]
0.84/0.95	c remove useless variable s[3][0][2]
0.84/0.95	c remove useless variable s[3][0][3]
0.84/0.95	c remove useless variable s[3][0][4]
0.84/0.95	c remove useless variable s[3][0][5]
0.84/0.95	c remove useless variable s[3][0][6]
0.84/0.95	c remove useless variable s[3][0][7]
0.84/0.95	c remove useless variable s[3][0][8]
0.84/0.95	c remove useless variable s[3][0][9]
0.84/0.95	c remove useless variable s[3][0][10]
0.84/0.95	c remove useless variable s[3][0][11]
0.84/0.95	c remove useless variable s[3][0][12]
0.84/0.95	c remove useless variable s[3][0][13]
0.84/0.95	c remove useless variable s[3][0][14]
0.84/0.95	c remove useless variable s[3][0][15]
0.84/0.95	c remove useless variable s[3][0][16]
0.84/0.95	c remove useless variable s[3][0][17]
0.84/0.95	c remove useless variable s[3][1][0]
0.84/0.95	c remove useless variable s[3][1][1]
0.84/0.95	c remove useless variable s[3][1][2]
0.84/0.95	c remove useless variable s[3][1][3]
0.84/0.95	c remove useless variable s[3][1][4]
0.84/0.95	c remove useless variable s[3][1][5]
0.84/0.95	c remove useless variable s[3][1][6]
0.84/0.95	c remove useless variable s[3][1][7]
0.84/0.95	c remove useless variable s[3][1][8]
0.84/0.95	c remove useless variable s[3][1][9]
0.84/0.95	c remove useless variable s[3][1][10]
0.84/0.95	c remove useless variable s[3][1][11]
0.84/0.95	c remove useless variable s[3][1][12]
0.84/0.95	c remove useless variable s[3][1][13]
0.84/0.95	c remove useless variable s[3][1][14]
0.84/0.95	c remove useless variable s[3][1][15]
0.84/0.95	c remove useless variable s[3][1][16]
0.84/0.95	c remove useless variable s[3][1][17]
0.84/0.95	c remove useless variable s[3][2][0]
0.84/0.95	c remove useless variable s[3][2][1]
0.84/0.95	c remove useless variable s[3][2][2]
0.84/0.95	c remove useless variable s[3][2][3]
0.84/0.95	c remove useless variable s[3][2][4]
0.84/0.95	c remove useless variable s[3][2][5]
0.84/0.95	c remove useless variable s[3][2][6]
0.84/0.95	c remove useless variable s[3][2][7]
0.84/0.95	c remove useless variable s[3][2][8]
0.84/0.95	c remove useless variable s[3][2][9]
0.84/0.95	c remove useless variable s[3][2][10]
0.84/0.95	c remove useless variable s[3][2][11]
0.84/0.95	c remove useless variable s[3][2][12]
0.84/0.95	c remove useless variable s[3][2][13]
0.84/0.95	c remove useless variable s[3][2][14]
0.84/0.95	c remove useless variable s[3][2][15]
0.84/0.95	c remove useless variable s[3][2][16]
0.84/0.95	c remove useless variable s[3][2][17]
0.84/0.95	c remove useless variable s[3][3][0]
0.84/0.95	c remove useless variable s[3][3][1]
0.84/0.95	c remove useless variable s[3][3][2]
0.84/0.95	c remove useless variable s[3][3][3]
0.84/0.95	c remove useless variable s[3][3][4]
0.84/0.95	c remove useless variable s[3][3][5]
0.84/0.95	c remove useless variable s[3][3][6]
0.84/0.95	c remove useless variable s[3][3][7]
0.84/0.95	c remove useless variable s[3][3][8]
0.84/0.95	c remove useless variable s[3][3][9]
0.84/0.95	c remove useless variable s[3][3][10]
0.84/0.95	c remove useless variable s[3][3][11]
0.84/0.95	c remove useless variable s[3][3][12]
0.84/0.95	c remove useless variable s[3][3][13]
0.84/0.95	c remove useless variable s[3][3][14]
0.84/0.95	c remove useless variable s[3][3][15]
0.84/0.95	c remove useless variable s[3][3][16]
0.84/0.95	c remove useless variable s[3][3][17]
0.84/0.95	c remove useless variable s[4][0][0]
0.84/0.95	c remove useless variable s[4][0][1]
0.84/0.95	c remove useless variable s[4][0][2]
0.84/0.95	c remove useless variable s[4][0][3]
0.84/0.95	c remove useless variable s[4][0][4]
0.84/0.95	c remove useless variable s[4][0][5]
0.84/0.95	c remove useless variable s[4][0][6]
0.84/0.95	c remove useless variable s[4][0][7]
0.84/0.95	c remove useless variable s[4][0][8]
0.84/0.95	c remove useless variable s[4][0][9]
0.84/0.95	c remove useless variable s[4][0][10]
0.84/0.95	c remove useless variable s[4][0][11]
0.84/0.95	c remove useless variable s[4][0][12]
0.84/0.95	c remove useless variable s[4][0][13]
0.84/0.95	c remove useless variable s[4][0][14]
0.84/0.95	c remove useless variable s[4][0][15]
0.84/0.95	c remove useless variable s[4][0][16]
0.84/0.95	c remove useless variable s[4][0][17]
0.84/0.95	c remove useless variable s[4][1][0]
0.84/0.95	c remove useless variable s[4][1][1]
0.84/0.95	c remove useless variable s[4][1][2]
0.84/0.95	c remove useless variable s[4][1][3]
0.84/0.95	c remove useless variable s[4][1][4]
0.84/0.95	c remove useless variable s[4][1][5]
0.84/0.95	c remove useless variable s[4][1][6]
0.84/0.95	c remove useless variable s[4][1][7]
0.84/0.95	c remove useless variable s[4][1][8]
0.84/0.95	c remove useless variable s[4][1][9]
0.84/0.95	c remove useless variable s[4][1][10]
0.84/0.95	c remove useless variable s[4][1][11]
0.84/0.95	c remove useless variable s[4][1][12]
0.84/0.95	c remove useless variable s[4][1][13]
0.84/0.95	c remove useless variable s[4][1][14]
0.84/0.95	c remove useless variable s[4][1][15]
0.84/0.95	c remove useless variable s[4][1][16]
0.84/0.95	c remove useless variable s[4][1][17]
0.84/0.95	c remove useless variable s[4][2][0]
0.84/0.95	c remove useless variable s[4][2][1]
0.84/0.95	c remove useless variable s[4][2][2]
0.84/0.95	c remove useless variable s[4][2][3]
0.84/0.95	c remove useless variable s[4][2][4]
0.84/0.95	c remove useless variable s[4][2][5]
0.84/0.95	c remove useless variable s[4][2][6]
0.84/0.95	c remove useless variable s[4][2][7]
0.84/0.95	c remove useless variable s[4][2][8]
0.84/0.95	c remove useless variable s[4][2][9]
0.84/0.95	c remove useless variable s[4][2][10]
0.84/0.95	c remove useless variable s[4][2][11]
0.84/0.95	c remove useless variable s[4][2][12]
0.84/0.95	c remove useless variable s[4][2][13]
0.84/0.95	c remove useless variable s[4][2][14]
0.84/0.95	c remove useless variable s[4][2][15]
0.84/0.95	c remove useless variable s[4][2][16]
0.84/0.95	c remove useless variable s[4][2][17]
0.84/0.95	c remove useless variable s[4][3][0]
0.84/0.95	c remove useless variable s[4][3][1]
0.84/0.95	c remove useless variable s[4][3][2]
0.84/0.95	c remove useless variable s[4][3][3]
0.84/0.95	c remove useless variable s[4][3][4]
0.84/0.95	c remove useless variable s[4][3][5]
0.84/0.95	c remove useless variable s[4][3][6]
0.84/0.95	c remove useless variable s[4][3][7]
0.84/0.95	c remove useless variable s[4][3][8]
0.84/0.95	c remove useless variable s[4][3][9]
0.84/0.95	c remove useless variable s[4][3][10]
0.84/0.95	c remove useless variable s[4][3][11]
0.84/0.95	c remove useless variable s[4][3][12]
0.84/0.95	c remove useless variable s[4][3][13]
0.84/0.95	c remove useless variable s[4][3][14]
0.84/0.95	c remove useless variable s[4][3][15]
0.84/0.95	c remove useless variable s[4][3][16]
0.84/0.95	c remove useless variable s[4][3][17]
0.84/0.95	c remove useless variable s[4][4][0]
0.84/0.95	c remove useless variable s[4][4][1]
0.84/0.95	c remove useless variable s[4][4][2]
0.84/0.95	c remove useless variable s[4][4][3]
0.84/0.95	c remove useless variable s[4][4][4]
0.84/0.95	c remove useless variable s[4][4][5]
0.84/0.95	c remove useless variable s[4][4][6]
0.84/0.95	c remove useless variable s[4][4][7]
0.84/0.95	c remove useless variable s[4][4][8]
0.84/0.95	c remove useless variable s[4][4][9]
0.84/0.95	c remove useless variable s[4][4][10]
0.84/0.95	c remove useless variable s[4][4][11]
0.84/0.95	c remove useless variable s[4][4][12]
0.84/0.95	c remove useless variable s[4][4][13]
0.84/0.95	c remove useless variable s[4][4][14]
0.84/0.95	c remove useless variable s[4][4][15]
0.84/0.95	c remove useless variable s[4][4][16]
0.84/0.95	c remove useless variable s[4][4][17]
0.84/0.95	c remove useless variable s[5][0][0]
0.84/0.95	c remove useless variable s[5][0][1]
0.84/0.95	c remove useless variable s[5][0][2]
0.84/0.95	c remove useless variable s[5][0][3]
0.84/0.95	c remove useless variable s[5][0][4]
0.84/0.95	c remove useless variable s[5][0][5]
0.84/0.95	c remove useless variable s[5][0][6]
0.84/0.95	c remove useless variable s[5][0][7]
0.84/0.95	c remove useless variable s[5][0][8]
0.84/0.95	c remove useless variable s[5][0][9]
0.84/0.95	c remove useless variable s[5][0][10]
0.84/0.95	c remove useless variable s[5][0][11]
0.84/0.95	c remove useless variable s[5][0][12]
0.84/0.95	c remove useless variable s[5][0][13]
0.84/0.95	c remove useless variable s[5][0][14]
0.84/0.95	c remove useless variable s[5][0][15]
0.84/0.95	c remove useless variable s[5][0][16]
0.84/0.95	c remove useless variable s[5][0][17]
0.84/0.95	c remove useless variable s[5][1][0]
0.84/0.95	c remove useless variable s[5][1][1]
0.84/0.95	c remove useless variable s[5][1][2]
0.84/0.95	c remove useless variable s[5][1][3]
0.84/0.95	c remove useless variable s[5][1][4]
0.84/0.95	c remove useless variable s[5][1][5]
0.84/0.95	c remove useless variable s[5][1][6]
0.84/0.95	c remove useless variable s[5][1][7]
0.84/0.95	c remove useless variable s[5][1][8]
0.84/0.95	c remove useless variable s[5][1][9]
0.84/0.95	c remove useless variable s[5][1][10]
0.84/0.95	c remove useless variable s[5][1][11]
0.84/0.95	c remove useless variable s[5][1][12]
0.84/0.95	c remove useless variable s[5][1][13]
0.84/0.95	c remove useless variable s[5][1][14]
0.84/0.95	c remove useless variable s[5][1][15]
0.84/0.95	c remove useless variable s[5][1][16]
0.84/0.95	c remove useless variable s[5][1][17]
0.84/0.95	c remove useless variable s[5][2][0]
0.84/0.95	c remove useless variable s[5][2][1]
0.84/0.95	c remove useless variable s[5][2][2]
0.84/0.95	c remove useless variable s[5][2][3]
0.84/0.95	c remove useless variable s[5][2][4]
0.84/0.95	c remove useless variable s[5][2][5]
0.84/0.95	c remove useless variable s[5][2][6]
0.84/0.95	c remove useless variable s[5][2][7]
0.84/0.95	c remove useless variable s[5][2][8]
0.84/0.95	c remove useless variable s[5][2][9]
0.84/0.95	c remove useless variable s[5][2][10]
0.84/0.95	c remove useless variable s[5][2][11]
0.84/0.95	c remove useless variable s[5][2][12]
0.84/0.95	c remove useless variable s[5][2][13]
0.84/0.95	c remove useless variable s[5][2][14]
0.84/0.95	c remove useless variable s[5][2][15]
0.84/0.95	c remove useless variable s[5][2][16]
0.84/0.95	c remove useless variable s[5][2][17]
0.84/0.95	c remove useless variable s[5][3][0]
0.84/0.95	c remove useless variable s[5][3][1]
0.84/0.95	c remove useless variable s[5][3][2]
0.84/0.95	c remove useless variable s[5][3][3]
0.84/0.95	c remove useless variable s[5][3][4]
0.84/0.95	c remove useless variable s[5][3][5]
0.84/0.95	c remove useless variable s[5][3][6]
0.84/0.95	c remove useless variable s[5][3][7]
0.84/0.95	c remove useless variable s[5][3][8]
0.84/0.95	c remove useless variable s[5][3][9]
0.84/0.95	c remove useless variable s[5][3][10]
0.84/0.95	c remove useless variable s[5][3][11]
0.84/0.95	c remove useless variable s[5][3][12]
0.84/0.95	c remove useless variable s[5][3][13]
0.84/0.95	c remove useless variable s[5][3][14]
0.84/0.95	c remove useless variable s[5][3][15]
0.84/0.95	c remove useless variable s[5][3][16]
0.84/0.95	c remove useless variable s[5][3][17]
0.84/0.95	c remove useless variable s[5][4][0]
0.84/0.95	c remove useless variable s[5][4][1]
0.84/0.95	c remove useless variable s[5][4][2]
0.84/0.95	c remove useless variable s[5][4][3]
0.84/0.95	c remove useless variable s[5][4][4]
0.84/0.95	c remove useless variable s[5][4][5]
0.84/0.95	c remove useless variable s[5][4][6]
0.84/0.95	c remove useless variable s[5][4][7]
0.84/0.95	c remove useless variable s[5][4][8]
0.84/0.95	c remove useless variable s[5][4][9]
0.84/0.95	c remove useless variable s[5][4][10]
0.84/0.95	c remove useless variable s[5][4][11]
0.84/0.95	c remove useless variable s[5][4][12]
0.84/0.95	c remove useless variable s[5][4][13]
0.84/0.95	c remove useless variable s[5][4][14]
0.84/0.95	c remove useless variable s[5][4][15]
0.84/0.95	c remove useless variable s[5][4][16]
0.84/0.95	c remove useless variable s[5][4][17]
0.84/0.95	c remove useless variable s[5][5][0]
0.84/0.95	c remove useless variable s[5][5][1]
0.84/0.95	c remove useless variable s[5][5][2]
0.84/0.95	c remove useless variable s[5][5][3]
0.84/0.95	c remove useless variable s[5][5][4]
0.84/0.95	c remove useless variable s[5][5][5]
0.84/0.95	c remove useless variable s[5][5][6]
0.84/0.95	c remove useless variable s[5][5][7]
0.84/0.95	c remove useless variable s[5][5][8]
0.84/0.95	c remove useless variable s[5][5][9]
0.84/0.95	c remove useless variable s[5][5][10]
0.84/0.95	c remove useless variable s[5][5][11]
0.84/0.95	c remove useless variable s[5][5][12]
0.84/0.95	c remove useless variable s[5][5][13]
0.84/0.95	c remove useless variable s[5][5][14]
0.84/0.95	c remove useless variable s[5][5][15]
0.84/0.95	c remove useless variable s[5][5][16]
0.84/0.95	c remove useless variable s[5][5][17]
0.84/0.95	c remove useless variable s[6][0][0]
0.84/0.95	c remove useless variable s[6][0][1]
0.84/0.95	c remove useless variable s[6][0][2]
0.84/0.95	c remove useless variable s[6][0][3]
0.84/0.95	c remove useless variable s[6][0][4]
0.84/0.95	c remove useless variable s[6][0][5]
0.84/0.95	c remove useless variable s[6][0][6]
0.84/0.95	c remove useless variable s[6][0][7]
0.84/0.95	c remove useless variable s[6][0][8]
0.84/0.95	c remove useless variable s[6][0][9]
0.84/0.95	c remove useless variable s[6][0][10]
0.84/0.95	c remove useless variable s[6][0][11]
0.84/0.95	c remove useless variable s[6][0][12]
0.84/0.95	c remove useless variable s[6][0][13]
0.84/0.95	c remove useless variable s[6][0][14]
0.84/0.95	c remove useless variable s[6][0][15]
0.84/0.95	c remove useless variable s[6][0][16]
0.84/0.95	c remove useless variable s[6][0][17]
0.84/0.95	c remove useless variable s[6][1][0]
0.84/0.95	c remove useless variable s[6][1][1]
0.84/0.95	c remove useless variable s[6][1][2]
0.84/0.95	c remove useless variable s[6][1][3]
0.84/0.95	c remove useless variable s[6][1][4]
0.84/0.95	c remove useless variable s[6][1][5]
0.84/0.95	c remove useless variable s[6][1][6]
0.84/0.95	c remove useless variable s[6][1][7]
0.84/0.95	c remove useless variable s[6][1][8]
0.84/0.95	c remove useless variable s[6][1][9]
0.84/0.95	c remove useless variable s[6][1][10]
0.84/0.95	c remove useless variable s[6][1][11]
0.84/0.95	c remove useless variable s[6][1][12]
0.84/0.95	c remove useless variable s[6][1][13]
0.84/0.95	c remove useless variable s[6][1][14]
0.84/0.95	c remove useless variable s[6][1][15]
0.84/0.95	c remove useless variable s[6][1][16]
0.84/0.95	c remove useless variable s[6][1][17]
0.84/0.95	c remove useless variable s[6][2][0]
0.84/0.95	c remove useless variable s[6][2][1]
0.84/0.95	c remove useless variable s[6][2][2]
0.84/0.95	c remove useless variable s[6][2][3]
0.84/0.95	c remove useless variable s[6][2][4]
0.84/0.95	c remove useless variable s[6][2][5]
0.84/0.95	c remove useless variable s[6][2][6]
0.84/0.95	c remove useless variable s[6][2][7]
0.84/0.95	c remove useless variable s[6][2][8]
0.84/0.95	c remove useless variable s[6][2][9]
0.84/0.95	c remove useless variable s[6][2][10]
0.84/0.95	c remove useless variable s[6][2][11]
0.84/0.95	c remove useless variable s[6][2][12]
0.84/0.95	c remove useless variable s[6][2][13]
0.84/0.95	c remove useless variable s[6][2][14]
0.84/0.95	c remove useless variable s[6][2][15]
0.84/0.95	c remove useless variable s[6][2][16]
0.84/0.95	c remove useless variable s[6][2][17]
0.84/0.95	c remove useless variable s[6][3][0]
0.84/0.95	c remove useless variable s[6][3][1]
0.84/0.95	c remove useless variable s[6][3][2]
0.84/0.95	c remove useless variable s[6][3][3]
0.84/0.95	c remove useless variable s[6][3][4]
0.84/0.95	c remove useless variable s[6][3][5]
0.84/0.95	c remove useless variable s[6][3][6]
0.84/0.95	c remove useless variable s[6][3][7]
0.84/0.95	c remove useless variable s[6][3][8]
0.84/0.95	c remove useless variable s[6][3][9]
0.84/0.95	c remove useless variable s[6][3][10]
0.84/0.95	c remove useless variable s[6][3][11]
0.84/0.95	c remove useless variable s[6][3][12]
0.84/0.95	c remove useless variable s[6][3][13]
0.84/0.95	c remove useless variable s[6][3][14]
0.84/0.95	c remove useless variable s[6][3][15]
0.84/0.95	c remove useless variable s[6][3][16]
0.84/0.95	c remove useless variable s[6][3][17]
0.84/0.95	c remove useless variable s[6][4][0]
0.84/0.95	c remove useless variable s[6][4][1]
0.84/0.95	c remove useless variable s[6][4][2]
0.84/0.95	c remove useless variable s[6][4][3]
0.84/0.95	c remove useless variable s[6][4][4]
0.84/0.95	c remove useless variable s[6][4][5]
0.84/0.95	c remove useless variable s[6][4][6]
0.84/0.95	c remove useless variable s[6][4][7]
0.84/0.95	c remove useless variable s[6][4][8]
0.84/0.95	c remove useless variable s[6][4][9]
0.84/0.95	c remove useless variable s[6][4][10]
0.84/0.95	c remove useless variable s[6][4][11]
0.84/0.95	c remove useless variable s[6][4][12]
0.84/0.95	c remove useless variable s[6][4][13]
0.84/0.95	c remove useless variable s[6][4][14]
0.84/0.95	c remove useless variable s[6][4][15]
0.84/0.95	c remove useless variable s[6][4][16]
0.84/0.95	c remove useless variable s[6][4][17]
0.84/0.95	c remove useless variable s[6][5][0]
0.84/0.95	c remove useless variable s[6][5][1]
0.84/0.95	c remove useless variable s[6][5][2]
0.84/0.95	c remove useless variable s[6][5][3]
0.84/0.95	c remove useless variable s[6][5][4]
0.84/0.95	c remove useless variable s[6][5][5]
0.84/0.95	c remove useless variable s[6][5][6]
0.84/0.95	c remove useless variable s[6][5][7]
0.84/0.95	c remove useless variable s[6][5][8]
0.84/0.95	c remove useless variable s[6][5][9]
0.84/0.95	c remove useless variable s[6][5][10]
0.84/0.95	c remove useless variable s[6][5][11]
0.84/0.95	c remove useless variable s[6][5][12]
0.84/0.95	c remove useless variable s[6][5][13]
0.84/0.95	c remove useless variable s[6][5][14]
0.84/0.95	c remove useless variable s[6][5][15]
0.84/0.95	c remove useless variable s[6][5][16]
0.84/0.95	c remove useless variable s[6][5][17]
0.84/0.95	c remove useless variable s[6][6][0]
0.84/0.95	c remove useless variable s[6][6][1]
0.84/0.95	c remove useless variable s[6][6][2]
0.84/0.95	c remove useless variable s[6][6][3]
0.84/0.95	c remove useless variable s[6][6][4]
0.84/0.95	c remove useless variable s[6][6][5]
0.84/0.95	c remove useless variable s[6][6][6]
0.84/0.95	c remove useless variable s[6][6][7]
0.84/0.95	c remove useless variable s[6][6][8]
0.84/0.95	c remove useless variable s[6][6][9]
0.84/0.95	c remove useless variable s[6][6][10]
0.84/0.95	c remove useless variable s[6][6][11]
0.84/0.95	c remove useless variable s[6][6][12]
0.84/0.95	c remove useless variable s[6][6][13]
0.84/0.95	c remove useless variable s[6][6][14]
0.84/0.95	c remove useless variable s[6][6][15]
0.84/0.95	c remove useless variable s[6][6][16]
0.84/0.95	c remove useless variable s[6][6][17]
0.84/0.95	c remove useless variable s[7][0][0]
0.84/0.95	c remove useless variable s[7][0][1]
0.84/0.95	c remove useless variable s[7][0][2]
0.84/0.95	c remove useless variable s[7][0][3]
0.84/0.95	c remove useless variable s[7][0][4]
0.84/0.95	c remove useless variable s[7][0][5]
0.84/0.95	c remove useless variable s[7][0][6]
0.84/0.95	c remove useless variable s[7][0][7]
0.84/0.95	c remove useless variable s[7][0][8]
0.84/0.95	c remove useless variable s[7][0][9]
0.84/0.95	c remove useless variable s[7][0][10]
0.84/0.95	c remove useless variable s[7][0][11]
0.84/0.95	c remove useless variable s[7][0][12]
0.84/0.95	c remove useless variable s[7][0][13]
0.84/0.95	c remove useless variable s[7][0][14]
0.84/0.95	c remove useless variable s[7][0][15]
0.84/0.95	c remove useless variable s[7][0][16]
0.84/0.95	c remove useless variable s[7][0][17]
0.84/0.95	c remove useless variable s[7][1][0]
0.84/0.95	c remove useless variable s[7][1][1]
0.84/0.95	c remove useless variable s[7][1][2]
0.84/0.95	c remove useless variable s[7][1][3]
0.84/0.95	c remove useless variable s[7][1][4]
0.84/0.95	c remove useless variable s[7][1][5]
0.84/0.95	c remove useless variable s[7][1][6]
0.84/0.95	c remove useless variable s[7][1][7]
0.84/0.95	c remove useless variable s[7][1][8]
0.84/0.95	c remove useless variable s[7][1][9]
0.84/0.95	c remove useless variable s[7][1][10]
0.84/0.95	c remove useless variable s[7][1][11]
0.84/0.95	c remove useless variable s[7][1][12]
0.84/0.95	c remove useless variable s[7][1][13]
0.84/0.95	c remove useless variable s[7][1][14]
0.84/0.95	c remove useless variable s[7][1][15]
0.84/0.95	c remove useless variable s[7][1][16]
0.84/0.95	c remove useless variable s[7][1][17]
0.84/0.95	c remove useless variable s[7][2][0]
0.84/0.95	c remove useless variable s[7][2][1]
0.84/0.95	c remove useless variable s[7][2][2]
0.84/0.95	c remove useless variable s[7][2][3]
0.84/0.95	c remove useless variable s[7][2][4]
0.84/0.95	c remove useless variable s[7][2][5]
0.84/0.95	c remove useless variable s[7][2][6]
0.84/0.95	c remove useless variable s[7][2][7]
0.84/0.95	c remove useless variable s[7][2][8]
0.84/0.95	c remove useless variable s[7][2][9]
0.84/0.95	c remove useless variable s[7][2][10]
0.84/0.95	c remove useless variable s[7][2][11]
0.84/0.95	c remove useless variable s[7][2][12]
0.84/0.95	c remove useless variable s[7][2][13]
0.84/0.95	c remove useless variable s[7][2][14]
0.84/0.95	c remove useless variable s[7][2][15]
0.84/0.95	c remove useless variable s[7][2][16]
0.84/0.95	c remove useless variable s[7][2][17]
0.84/0.95	c remove useless variable s[7][3][0]
0.84/0.95	c remove useless variable s[7][3][1]
0.84/0.95	c remove useless variable s[7][3][2]
0.84/0.95	c remove useless variable s[7][3][3]
0.84/0.95	c remove useless variable s[7][3][4]
0.84/0.95	c remove useless variable s[7][3][5]
0.84/0.95	c remove useless variable s[7][3][6]
0.84/0.95	c remove useless variable s[7][3][7]
0.84/0.95	c remove useless variable s[7][3][8]
0.84/0.95	c remove useless variable s[7][3][9]
0.84/0.95	c remove useless variable s[7][3][10]
0.84/0.95	c remove useless variable s[7][3][11]
0.84/0.95	c remove useless variable s[7][3][12]
0.84/0.95	c remove useless variable s[7][3][13]
0.84/0.95	c remove useless variable s[7][3][14]
0.84/0.95	c remove useless variable s[7][3][15]
0.84/0.95	c remove useless variable s[7][3][16]
0.84/0.95	c remove useless variable s[7][3][17]
0.84/0.95	c remove useless variable s[7][4][0]
0.84/0.95	c remove useless variable s[7][4][1]
0.84/0.95	c remove useless variable s[7][4][2]
0.84/0.95	c remove useless variable s[7][4][3]
0.84/0.95	c remove useless variable s[7][4][4]
0.84/0.95	c remove useless variable s[7][4][5]
0.84/0.95	c remove useless variable s[7][4][6]
0.84/0.95	c remove useless variable s[7][4][7]
0.84/0.95	c remove useless variable s[7][4][8]
0.84/0.95	c remove useless variable s[7][4][9]
0.84/0.95	c remove useless variable s[7][4][10]
0.84/0.95	c remove useless variable s[7][4][11]
0.84/0.95	c remove useless variable s[7][4][12]
0.84/0.95	c remove useless variable s[7][4][13]
0.84/0.95	c remove useless variable s[7][4][14]
0.84/0.95	c remove useless variable s[7][4][15]
0.84/0.95	c remove useless variable s[7][4][16]
0.84/0.95	c remove useless variable s[7][4][17]
0.84/0.95	c remove useless variable s[7][5][0]
0.84/0.95	c remove useless variable s[7][5][1]
0.84/0.95	c remove useless variable s[7][5][2]
0.84/0.95	c remove useless variable s[7][5][3]
0.84/0.95	c remove useless variable s[7][5][4]
0.84/0.95	c remove useless variable s[7][5][5]
0.84/0.95	c remove useless variable s[7][5][6]
0.84/0.95	c remove useless variable s[7][5][7]
0.84/0.95	c remove useless variable s[7][5][8]
0.84/0.95	c remove useless variable s[7][5][9]
0.84/0.95	c remove useless variable s[7][5][10]
0.84/0.95	c remove useless variable s[7][5][11]
0.84/0.95	c remove useless variable s[7][5][12]
0.84/0.95	c remove useless variable s[7][5][13]
0.84/0.95	c remove useless variable s[7][5][14]
0.84/0.95	c remove useless variable s[7][5][15]
0.84/0.95	c remove useless variable s[7][5][16]
0.84/0.95	c remove useless variable s[7][5][17]
0.84/0.95	c remove useless variable s[7][6][0]
0.84/0.95	c remove useless variable s[7][6][1]
0.84/0.95	c remove useless variable s[7][6][2]
0.84/0.95	c remove useless variable s[7][6][3]
0.84/0.95	c remove useless variable s[7][6][4]
0.84/0.95	c remove useless variable s[7][6][5]
0.84/0.95	c remove useless variable s[7][6][6]
0.84/0.95	c remove useless variable s[7][6][7]
0.84/0.95	c remove useless variable s[7][6][8]
0.84/0.95	c remove useless variable s[7][6][9]
0.84/0.95	c remove useless variable s[7][6][10]
0.84/0.95	c remove useless variable s[7][6][11]
0.84/0.95	c remove useless variable s[7][6][12]
0.84/0.95	c remove useless variable s[7][6][13]
0.84/0.95	c remove useless variable s[7][6][14]
0.84/0.95	c remove useless variable s[7][6][15]
0.84/0.95	c remove useless variable s[7][6][16]
0.84/0.95	c remove useless variable s[7][6][17]
0.84/0.95	c remove useless variable s[7][7][0]
0.84/0.95	c remove useless variable s[7][7][1]
0.84/0.95	c remove useless variable s[7][7][2]
0.84/0.95	c remove useless variable s[7][7][3]
0.84/0.95	c remove useless variable s[7][7][4]
0.84/0.95	c remove useless variable s[7][7][5]
0.84/0.95	c remove useless variable s[7][7][6]
0.84/0.95	c remove useless variable s[7][7][7]
0.84/0.95	c remove useless variable s[7][7][8]
0.84/0.95	c remove useless variable s[7][7][9]
0.84/0.95	c remove useless variable s[7][7][10]
0.84/0.95	c remove useless variable s[7][7][11]
0.84/0.95	c remove useless variable s[7][7][12]
0.84/0.95	c remove useless variable s[7][7][13]
0.84/0.95	c remove useless variable s[7][7][14]
0.84/0.95	c remove useless variable s[7][7][15]
0.84/0.95	c remove useless variable s[7][7][16]
0.84/0.95	c remove useless variable s[7][7][17]
0.84/0.95	c remove useless variable s[8][0][0]
0.84/0.95	c remove useless variable s[8][0][1]
0.84/0.95	c remove useless variable s[8][0][2]
0.84/0.95	c remove useless variable s[8][0][3]
0.84/0.95	c remove useless variable s[8][0][4]
0.84/0.95	c remove useless variable s[8][0][5]
0.84/0.95	c remove useless variable s[8][0][6]
0.84/0.95	c remove useless variable s[8][0][7]
0.84/0.95	c remove useless variable s[8][0][8]
0.84/0.95	c remove useless variable s[8][0][9]
0.84/0.95	c remove useless variable s[8][0][10]
0.84/0.95	c remove useless variable s[8][0][11]
0.84/0.95	c remove useless variable s[8][0][12]
0.84/0.95	c remove useless variable s[8][0][13]
0.84/0.95	c remove useless variable s[8][0][14]
0.84/0.95	c remove useless variable s[8][0][15]
0.84/0.95	c remove useless variable s[8][0][16]
0.84/0.95	c remove useless variable s[8][0][17]
0.84/0.95	c remove useless variable s[8][1][0]
0.84/0.95	c remove useless variable s[8][1][1]
0.84/0.95	c remove useless variable s[8][1][2]
0.84/0.95	c remove useless variable s[8][1][3]
0.84/0.95	c remove useless variable s[8][1][4]
0.84/0.95	c remove useless variable s[8][1][5]
0.84/0.95	c remove useless variable s[8][1][6]
0.84/0.95	c remove useless variable s[8][1][7]
0.84/0.95	c remove useless variable s[8][1][8]
0.84/0.95	c remove useless variable s[8][1][9]
0.84/0.95	c remove useless variable s[8][1][10]
0.84/0.95	c remove useless variable s[8][1][11]
0.84/0.95	c remove useless variable s[8][1][12]
0.84/0.95	c remove useless variable s[8][1][13]
0.84/0.95	c remove useless variable s[8][1][14]
0.84/0.95	c remove useless variable s[8][1][15]
0.84/0.95	c remove useless variable s[8][1][16]
0.84/0.95	c remove useless variable s[8][1][17]
0.84/0.95	c remove useless variable s[8][2][0]
0.84/0.95	c remove useless variable s[8][2][1]
0.84/0.95	c remove useless variable s[8][2][2]
0.84/0.95	c remove useless variable s[8][2][3]
0.84/0.95	c remove useless variable s[8][2][4]
0.84/0.95	c remove useless variable s[8][2][5]
0.84/0.95	c remove useless variable s[8][2][6]
0.84/0.95	c remove useless variable s[8][2][7]
0.84/0.95	c remove useless variable s[8][2][8]
0.84/0.95	c remove useless variable s[8][2][9]
0.84/0.95	c remove useless variable s[8][2][10]
0.84/0.95	c remove useless variable s[8][2][11]
0.84/0.95	c remove useless variable s[8][2][12]
0.84/0.95	c remove useless variable s[8][2][13]
0.84/0.95	c remove useless variable s[8][2][14]
0.84/0.95	c remove useless variable s[8][2][15]
0.84/0.95	c remove useless variable s[8][2][16]
0.84/0.95	c remove useless variable s[8][2][17]
0.84/0.95	c remove useless variable s[8][3][0]
0.84/0.95	c remove useless variable s[8][3][1]
0.84/0.95	c remove useless variable s[8][3][2]
0.84/0.95	c remove useless variable s[8][3][3]
0.84/0.95	c remove useless variable s[8][3][4]
0.84/0.95	c remove useless variable s[8][3][5]
0.84/0.95	c remove useless variable s[8][3][6]
0.84/0.95	c remove useless variable s[8][3][7]
0.84/0.95	c remove useless variable s[8][3][8]
0.84/0.95	c remove useless variable s[8][3][9]
0.84/0.95	c remove useless variable s[8][3][10]
0.84/0.95	c remove useless variable s[8][3][11]
0.84/0.95	c remove useless variable s[8][3][12]
0.84/0.95	c remove useless variable s[8][3][13]
0.84/0.95	c remove useless variable s[8][3][14]
0.84/0.95	c remove useless variable s[8][3][15]
0.84/0.95	c remove useless variable s[8][3][16]
0.84/0.95	c remove useless variable s[8][3][17]
0.84/0.95	c remove useless variable s[8][4][0]
0.84/0.95	c remove useless variable s[8][4][1]
0.84/0.95	c remove useless variable s[8][4][2]
0.84/0.95	c remove useless variable s[8][4][3]
0.84/0.95	c remove useless variable s[8][4][4]
0.84/0.95	c remove useless variable s[8][4][5]
0.84/0.95	c remove useless variable s[8][4][6]
0.84/0.95	c remove useless variable s[8][4][7]
0.84/0.95	c remove useless variable s[8][4][8]
0.84/0.95	c remove useless variable s[8][4][9]
0.84/0.95	c remove useless variable s[8][4][10]
0.84/0.95	c remove useless variable s[8][4][11]
0.84/0.95	c remove useless variable s[8][4][12]
0.84/0.95	c remove useless variable s[8][4][13]
0.84/0.95	c remove useless variable s[8][4][14]
0.84/0.95	c remove useless variable s[8][4][15]
0.84/0.95	c remove useless variable s[8][4][16]
0.84/0.95	c remove useless variable s[8][4][17]
0.84/0.95	c remove useless variable s[8][5][0]
0.84/0.95	c remove useless variable s[8][5][1]
0.84/0.95	c remove useless variable s[8][5][2]
0.84/0.95	c remove useless variable s[8][5][3]
0.84/0.95	c remove useless variable s[8][5][4]
0.84/0.95	c remove useless variable s[8][5][5]
0.84/0.95	c remove useless variable s[8][5][6]
0.84/0.95	c remove useless variable s[8][5][7]
0.84/0.95	c remove useless variable s[8][5][8]
0.84/0.95	c remove useless variable s[8][5][9]
0.84/0.95	c remove useless variable s[8][5][10]
0.84/0.95	c remove useless variable s[8][5][11]
0.84/0.95	c remove useless variable s[8][5][12]
0.84/0.95	c remove useless variable s[8][5][13]
0.84/0.95	c remove useless variable s[8][5][14]
0.84/0.95	c remove useless variable s[8][5][15]
0.84/0.95	c remove useless variable s[8][5][16]
0.84/0.95	c remove useless variable s[8][5][17]
0.84/0.95	c remove useless variable s[8][6][0]
0.84/0.95	c remove useless variable s[8][6][1]
0.84/0.95	c remove useless variable s[8][6][2]
0.84/0.95	c remove useless variable s[8][6][3]
0.84/0.95	c remove useless variable s[8][6][4]
0.84/0.95	c remove useless variable s[8][6][5]
0.84/0.95	c remove useless variable s[8][6][6]
0.84/0.95	c remove useless variable s[8][6][7]
0.84/0.95	c remove useless variable s[8][6][8]
0.84/0.95	c remove useless variable s[8][6][9]
0.84/0.95	c remove useless variable s[8][6][10]
0.84/0.95	c remove useless variable s[8][6][11]
0.84/0.95	c remove useless variable s[8][6][12]
0.84/0.95	c remove useless variable s[8][6][13]
0.84/0.95	c remove useless variable s[8][6][14]
0.84/0.95	c remove useless variable s[8][6][15]
0.84/0.95	c remove useless variable s[8][6][16]
0.84/0.95	c remove useless variable s[8][6][17]
0.84/0.95	c remove useless variable s[8][7][0]
0.84/0.95	c remove useless variable s[8][7][1]
0.84/0.95	c remove useless variable s[8][7][2]
0.84/0.95	c remove useless variable s[8][7][3]
0.84/0.95	c remove useless variable s[8][7][4]
0.84/0.95	c remove useless variable s[8][7][5]
0.84/0.95	c remove useless variable s[8][7][6]
0.84/0.95	c remove useless variable s[8][7][7]
0.84/0.95	c remove useless variable s[8][7][8]
0.84/0.95	c remove useless variable s[8][7][9]
0.84/0.95	c remove useless variable s[8][7][10]
0.84/0.95	c remove useless variable s[8][7][11]
0.84/0.95	c remove useless variable s[8][7][12]
0.84/0.95	c remove useless variable s[8][7][13]
0.84/0.95	c remove useless variable s[8][7][14]
0.84/0.95	c remove useless variable s[8][7][15]
0.84/0.95	c remove useless variable s[8][7][16]
0.84/0.95	c remove useless variable s[8][7][17]
0.84/0.95	c remove useless variable s[8][8][0]
0.84/0.95	c remove useless variable s[8][8][1]
0.84/0.95	c remove useless variable s[8][8][2]
0.84/0.95	c remove useless variable s[8][8][3]
0.84/0.95	c remove useless variable s[8][8][4]
0.84/0.95	c remove useless variable s[8][8][5]
0.84/0.95	c remove useless variable s[8][8][6]
0.84/0.95	c remove useless variable s[8][8][7]
0.84/0.95	c remove useless variable s[8][8][8]
0.84/0.95	c remove useless variable s[8][8][9]
0.84/0.95	c remove useless variable s[8][8][10]
0.84/0.95	c remove useless variable s[8][8][11]
0.84/0.95	c remove useless variable s[8][8][12]
0.84/0.95	c remove useless variable s[8][8][13]
0.84/0.95	c remove useless variable s[8][8][14]
0.84/0.95	c remove useless variable s[8][8][15]
0.84/0.95	c remove useless variable s[8][8][16]
0.84/0.95	c remove useless variable s[8][8][17]
0.84/0.95	c remove useless variable s[9][0][0]
0.84/0.95	c remove useless variable s[9][0][1]
0.84/0.95	c remove useless variable s[9][0][2]
0.84/0.95	c remove useless variable s[9][0][3]
0.84/0.95	c remove useless variable s[9][0][4]
0.84/0.95	c remove useless variable s[9][0][5]
0.84/0.95	c remove useless variable s[9][0][6]
0.84/0.95	c remove useless variable s[9][0][7]
0.84/0.95	c remove useless variable s[9][0][8]
0.84/0.95	c remove useless variable s[9][0][9]
0.84/0.95	c remove useless variable s[9][0][10]
0.84/0.95	c remove useless variable s[9][0][11]
0.84/0.95	c remove useless variable s[9][0][12]
0.84/0.95	c remove useless variable s[9][0][13]
0.84/0.95	c remove useless variable s[9][0][14]
0.84/0.95	c remove useless variable s[9][0][15]
0.84/0.95	c remove useless variable s[9][0][16]
0.84/0.95	c remove useless variable s[9][0][17]
0.84/0.95	c remove useless variable s[9][1][0]
0.84/0.95	c remove useless variable s[9][1][1]
0.84/0.95	c remove useless variable s[9][1][2]
0.84/0.95	c remove useless variable s[9][1][3]
0.84/0.95	c remove useless variable s[9][1][4]
0.84/0.95	c remove useless variable s[9][1][5]
0.84/0.95	c remove useless variable s[9][1][6]
0.84/0.95	c remove useless variable s[9][1][7]
0.84/0.95	c remove useless variable s[9][1][8]
0.84/0.95	c remove useless variable s[9][1][9]
0.84/0.95	c remove useless variable s[9][1][10]
0.84/0.95	c remove useless variable s[9][1][11]
0.84/0.95	c remove useless variable s[9][1][12]
0.84/0.95	c remove useless variable s[9][1][13]
0.84/0.95	c remove useless variable s[9][1][14]
0.84/0.95	c remove useless variable s[9][1][15]
0.84/0.95	c remove useless variable s[9][1][16]
0.84/0.95	c remove useless variable s[9][1][17]
0.84/0.95	c remove useless variable s[9][2][0]
0.84/0.95	c remove useless variable s[9][2][1]
0.84/0.95	c remove useless variable s[9][2][2]
0.84/0.95	c remove useless variable s[9][2][3]
0.84/0.95	c remove useless variable s[9][2][4]
0.84/0.95	c remove useless variable s[9][2][5]
0.84/0.95	c remove useless variable s[9][2][6]
0.84/0.95	c remove useless variable s[9][2][7]
0.84/0.95	c remove useless variable s[9][2][8]
0.84/0.95	c remove useless variable s[9][2][9]
0.84/0.95	c remove useless variable s[9][2][10]
0.84/0.95	c remove useless variable s[9][2][11]
0.84/0.95	c remove useless variable s[9][2][12]
0.84/0.95	c remove useless variable s[9][2][13]
0.84/0.95	c remove useless variable s[9][2][14]
0.84/0.95	c remove useless variable s[9][2][15]
0.84/0.95	c remove useless variable s[9][2][16]
0.84/0.95	c remove useless variable s[9][2][17]
0.84/0.95	c remove useless variable s[9][3][0]
0.84/0.95	c remove useless variable s[9][3][1]
0.84/0.95	c remove useless variable s[9][3][2]
0.84/0.95	c remove useless variable s[9][3][3]
0.84/0.95	c remove useless variable s[9][3][4]
0.84/0.95	c remove useless variable s[9][3][5]
0.84/0.95	c remove useless variable s[9][3][6]
0.84/0.95	c remove useless variable s[9][3][7]
0.84/0.95	c remove useless variable s[9][3][8]
0.84/0.95	c remove useless variable s[9][3][9]
0.84/0.95	c remove useless variable s[9][3][10]
0.84/0.95	c remove useless variable s[9][3][11]
0.84/0.95	c remove useless variable s[9][3][12]
0.84/0.95	c remove useless variable s[9][3][13]
0.84/0.95	c remove useless variable s[9][3][14]
0.84/0.95	c remove useless variable s[9][3][15]
0.84/0.95	c remove useless variable s[9][3][16]
0.84/0.95	c remove useless variable s[9][3][17]
0.84/0.95	c remove useless variable s[9][4][0]
0.84/0.95	c remove useless variable s[9][4][1]
0.84/0.95	c remove useless variable s[9][4][2]
0.84/0.95	c remove useless variable s[9][4][3]
0.84/0.95	c remove useless variable s[9][4][4]
0.84/0.95	c remove useless variable s[9][4][5]
0.84/0.95	c remove useless variable s[9][4][6]
0.84/0.95	c remove useless variable s[9][4][7]
0.84/0.95	c remove useless variable s[9][4][8]
0.84/0.95	c remove useless variable s[9][4][9]
0.84/0.95	c remove useless variable s[9][4][10]
0.84/0.95	c remove useless variable s[9][4][11]
0.84/0.95	c remove useless variable s[9][4][12]
0.84/0.95	c remove useless variable s[9][4][13]
0.84/0.95	c remove useless variable s[9][4][14]
0.84/0.95	c remove useless variable s[9][4][15]
0.84/0.95	c remove useless variable s[9][4][16]
0.84/0.95	c remove useless variable s[9][4][17]
0.84/0.95	c remove useless variable s[9][5][0]
0.84/0.95	c remove useless variable s[9][5][1]
0.84/0.95	c remove useless variable s[9][5][2]
0.84/0.95	c remove useless variable s[9][5][3]
0.84/0.95	c remove useless variable s[9][5][4]
0.84/0.95	c remove useless variable s[9][5][5]
0.84/0.95	c remove useless variable s[9][5][6]
0.84/0.95	c remove useless variable s[9][5][7]
0.84/0.95	c remove useless variable s[9][5][8]
0.84/0.95	c remove useless variable s[9][5][9]
0.84/0.95	c remove useless variable s[9][5][10]
0.84/0.95	c remove useless variable s[9][5][11]
0.84/0.95	c remove useless variable s[9][5][12]
0.84/0.95	c remove useless variable s[9][5][13]
0.84/0.95	c remove useless variable s[9][5][14]
0.84/0.95	c remove useless variable s[9][5][15]
0.84/0.95	c remove useless variable s[9][5][16]
0.84/0.95	c remove useless variable s[9][5][17]
0.84/0.95	c remove useless variable s[9][6][0]
0.84/0.95	c remove useless variable s[9][6][1]
0.84/0.95	c remove useless variable s[9][6][2]
0.84/0.95	c remove useless variable s[9][6][3]
0.84/0.95	c remove useless variable s[9][6][4]
0.84/0.95	c remove useless variable s[9][6][5]
0.84/0.95	c remove useless variable s[9][6][6]
0.84/0.95	c remove useless variable s[9][6][7]
0.84/0.95	c remove useless variable s[9][6][8]
0.84/0.95	c remove useless variable s[9][6][9]
0.84/0.95	c remove useless variable s[9][6][10]
0.84/0.95	c remove useless variable s[9][6][11]
0.84/0.95	c remove useless variable s[9][6][12]
0.84/0.95	c remove useless variable s[9][6][13]
0.84/0.95	c remove useless variable s[9][6][14]
0.84/0.95	c remove useless variable s[9][6][15]
0.84/0.95	c remove useless variable s[9][6][16]
0.84/0.95	c remove useless variable s[9][6][17]
0.84/0.95	c remove useless variable s[9][7][0]
0.84/0.95	c remove useless variable s[9][7][1]
0.84/0.95	c remove useless variable s[9][7][2]
0.84/0.95	c remove useless variable s[9][7][3]
0.84/0.95	c remove useless variable s[9][7][4]
0.84/0.95	c remove useless variable s[9][7][5]
0.84/0.95	c remove useless variable s[9][7][6]
0.84/0.95	c remove useless variable s[9][7][7]
0.84/0.95	c remove useless variable s[9][7][8]
0.84/0.95	c remove useless variable s[9][7][9]
0.84/0.95	c remove useless variable s[9][7][10]
0.84/0.95	c remove useless variable s[9][7][11]
0.84/0.95	c remove useless variable s[9][7][12]
0.84/0.95	c remove useless variable s[9][7][13]
0.84/0.95	c remove useless variable s[9][7][14]
0.84/0.95	c remove useless variable s[9][7][15]
0.84/0.95	c remove useless variable s[9][7][16]
0.84/0.95	c remove useless variable s[9][7][17]
0.84/0.95	c remove useless variable s[9][8][0]
0.84/0.95	c remove useless variable s[9][8][1]
0.84/0.95	c remove useless variable s[9][8][2]
0.84/0.95	c remove useless variable s[9][8][3]
0.84/0.95	c remove useless variable s[9][8][4]
0.84/0.95	c remove useless variable s[9][8][5]
0.84/0.95	c remove useless variable s[9][8][6]
0.84/0.95	c remove useless variable s[9][8][7]
0.84/0.95	c remove useless variable s[9][8][8]
0.84/0.95	c remove useless variable s[9][8][9]
0.84/0.95	c remove useless variable s[9][8][10]
0.84/0.95	c remove useless variable s[9][8][11]
0.84/0.95	c remove useless variable s[9][8][12]
0.84/0.95	c remove useless variable s[9][8][13]
0.84/0.95	c remove useless variable s[9][8][14]
0.84/0.95	c remove useless variable s[9][8][15]
0.84/0.95	c remove useless variable s[9][8][16]
0.84/0.95	c remove useless variable s[9][8][17]
0.84/0.95	c remove useless variable s[9][9][0]
0.84/0.95	c remove useless variable s[9][9][1]
0.84/0.95	c remove useless variable s[9][9][2]
0.84/0.95	c remove useless variable s[9][9][3]
0.84/0.95	c remove useless variable s[9][9][4]
0.84/0.95	c remove useless variable s[9][9][5]
0.84/0.95	c remove useless variable s[9][9][6]
0.84/0.95	c remove useless variable s[9][9][7]
0.84/0.95	c remove useless variable s[9][9][8]
0.84/0.95	c remove useless variable s[9][9][9]
0.84/0.95	c remove useless variable s[9][9][10]
0.84/0.95	c remove useless variable s[9][9][11]
0.84/0.95	c remove useless variable s[9][9][12]
0.84/0.95	c remove useless variable s[9][9][13]
0.84/0.95	c remove useless variable s[9][9][14]
0.84/0.95	c remove useless variable s[9][9][15]
0.84/0.95	c remove useless variable s[9][9][16]
0.84/0.95	c remove useless variable s[9][9][17]
0.84/0.97	c 101            969            23754          7732           0              0              33   118   89  
0.84/0.98	c 211            1423           45075          16754          0              0              18   108   85  
0.93/1.02	c 332            2315           87739          32055          0              0              10   78   64   
0.93/1.04	c 465            2780           109875         40206          0              0              31   52   44   
0.93/1.05	c 611            3305           128336         47941          0              0              37   70   62   
0.93/1.07	c 771            3915           152043         56765          0              0              38   52   43   
0.93/1.10	c 947            4626           193854         75293          0              0              32   103   79  
1.04/1.12	c 1140           5429           227094         87261          0              0              16   45   30   
1.04/1.15	c 1352           6244           260475         97753          0              0              16   35   27   
1.04/1.18	c 1585           6993           300487         111441         0              0              16   32   24   
1.14/1.22	c 1841           7786           356587         134463         0              0              14   34   27   
1.14/1.26	c 2122           8739           414568         155617         0              0              15   34   26   
1.14/1.29	c 2431           9810           458018         170231         0              0              15   34   27   
1.23/1.35	c 2770           11354          535027         205960         0              0              11   102   78  
1.33/1.41	c 3142           12714          609509         241238         0              0              14   101   87  
1.33/1.45	c 3551           14067          661079         260922         0              0              15   35   28   
1.43/1.52	c 4000           15808          754914         297826         0              0              43   98   85   
1.43/1.56	c 4493           17299          813475         318626         0              0              16   34   27   
1.53/1.64	c 5035           19471          915112         358254         0              0              30   111   71  
1.63/1.73	c 5631           22607          1026949        404966         0              0              30   108   69  
1.63/1.79	c 6286           24813          1111737        432169         0              0              17   34   28   
1.73/1.89	c 7006           27653          1237516        492436         0              0              31   57   53   
1.83/1.97	c 7798           30304          1347496        530740         0              0              15   74   30   
2.03/2.10	c 8669           35473          1507898        595283         0              0              32   120   82  
2.14/2.22	c 9627           38751          1664223        644496         0              0              16   35   28   
2.24/2.33	c 10680          42142          1821920        695948         0              0              15   34   26   
2.43/2.51	c 11838          47908          2053676        790143         0              0              23   125   91  
2.53/2.64	c 13111          52529          2222362        876891         0              0              25   52   46   
2.63/2.79	c 14511          57253          2418780        947730         0              0              20   41   35   
2.93/3.07	c 16051          65096          2785677        1111250        6              0              1   122   91   
3.24/3.36	c 17745          75676          3171023        1272368        6              0              11   118   88  
3.53/3.66	c 19608          82255          3561363        1440574        6              0              14   72   50   
3.83/3.90	c 21657          89681          3865975        1555535        6              0              27   65   48   
4.13/4.21	c 23910          98470          4263362        1706675        6              0              17   43   31   
4.44/4.53	c 26388          107602         4683510        1873917        6              0              16   70   42   
4.83/4.99	c 29113          119547         5279272        2093786        6              0              19   60   42   
5.33/5.44	c 32110          131796         5877233        2332922        6              0              15   114   85  
6.03/6.12	c 35406          147611         6699107        2641081        6              0              16   46   35   
6.54/6.68	c 39031          162076         7465119        2964297        6              0              17   121   96  
7.23/7.31	c 43018          180160         8279836        3302398        6              0              16   100   69  
8.13/8.26	c 47403          201435         9454344        3781117        6              0              16   50   32   
9.13/9.21	c 52226          221916         10633845       4235749        10             0              1   49   34    
10.03/10.12	c 57531          255502         11799363       4715266        10             0              17   164   106 
11.33/11.47	c 63366          280713         13464964       5430035        10             0              19   50   34   
12.63/12.71	c 69784          324822         15011212       6051928        10             0              17   161   85  
13.83/13.91	c 76843          369657         16590642       6721491        10             0              17   181   106 
15.43/15.54	c 84607          402715         18617984       7443770        10             0              19   47   34   
16.83/16.96	c 93147          445256         20569826       8278226        10             0              17   151   102 
18.43/18.57	c 102541         498772         22724023       9211025        11             0              1   150   114  
20.13/20.28	c 112874         560084         24977766       10143525       11             0              32   147   101 
22.33/22.42	c 124240         601865         27653964       11285901       11             0              17   54   34   
24.63/24.76	c 136742         679733         30823696       12640890       11             0              16   146   110 
26.93/27.04	c 150494         732859         33900334       14000341       11             0              16   135   78  
29.74/29.84	c 165621         818900         37872974       15529112       11             0              12   116   99  
32.43/32.58	c 182260         904879         41661095       16905648       11             0              12   101   89  
35.43/35.52	c 200562         994112         45699761       18312321       11             0              12   98   83   
38.43/38.59	c 220694         1081149        49805656       19700104       11             0              12   77   64   
42.13/42.25	c 242839         1188578        55069630       21704207       11             0              32   116   82  
46.33/46.46	c 267198         1311691        61036928       23863609       11             0              39   108   90  
51.63/51.74	c 293992         1435913        68325263       26740429       11             0              25   92   63   
57.33/57.47	c 323465         1564975        76220824       29768213       56             0              1   70   60    
62.33/62.47	c 355885         1706729        82792896       32049893       56             0              25   64   51   
68.13/68.30	c 391547         1864149        90586520       34739311       56             0              25   60   49   
74.92/75.00	c 430775         2038583        100190499      38527327       56             0              28   97   73   
79.62/79.72	c 473925         2186210        106595501      40834447       56             0              24   50   39   
88.42/88.57	c 521390         2387268        119634179      46222046       56             0              17   113   75  
97.92/98.02	c 573601         2655223        132589009      50996681       56             0              20   95   54   
107.42/107.57	c 631033         2927026        145336248      55408495       56             0              16   104   43  
121.52/121.64	c 694208         3304654        164655777      62323305       56             0              20   144   67  
136.71/136.85	c 763700         3745397        185135769      69691555       56             0              19   105   65  
154.51/154.66	c 840141         4228553        209134148      78512533       56             0              21   127   61  
174.82/174.95	c 924226         4802742        236192897      88224594       56             0              16   128   73  
190.62/190.79	c 1016719        5225000        257884103      96345603       56             0              22   110   61  
211.42/211.52	c 1118461        5762232        287485996      107647669      56             0              20   160   77  
229.72/229.81	c 1230377        6262387        311283800      116166024      56             0              22   73   48   
247.32/247.48	c 1353484        6806388        334403612      123872182      56             0              21   52   43   
264.22/264.39	c 1488901        7344114        356339715      131711361      56             0              21   52   42   
286.52/286.62	c 1637859        7977006        385368156      141832993      56             0              21   52   42   
307.72/307.87	c 1801712        8619617        413440150      151439704      56             0              21   52   44   
366.22/366.38	c 1981950        10480326       493545957      180872488      56             0              22   155   132 
397.71/397.80	c 2180211        11332071       534991598      196597266      56             0              26   51   44   
455.61/455.75	c 2398298        13687836       605743278      222615749      56             0              19   156   119 
509.10/509.25	c 2638193        15795295       671520577      246697761      56             0              21   149   91  
570.20/570.38	c 2902077        17423087       752850202      275826306      56             0              20   96   66   
640.99/641.12	c 3192349        19426148       846437906      308777722      56             0              22   184   73  
714.59/714.76	c 3511648        21745963       942170418      344139271      56             0              23   232   78  
801.98/802.19	c 3862876        26215594       1041433801     383218923      56             0              24   241   79  
923.69/923.83	c 4249226        34688216       1160862614     432454458      56             0              19   266   91  
1066.40/1066.51	c 4674211        45871895       1291669784     489243746      57             0              1   272   99   
1126.50/1126.69	c 5141694        47536579       1373911594     523651185      57             0              15   81   52   
1243.01/1243.17	c 5655925        50603112       1529687613     579943170      57             0              14   88   71   
1345.92/1346.03	c 6221579        53409612       1667248791     630759661      57             0              17   88   63   
1465.13/1465.26	c 6843798        56617503       1827296399     688826638      57             0              26   88   65   
1555.73/1555.89	c 7528238        59558963       1949301825     729659344      57             0              29   73   57   
1713.64/1713.74	c 8281122        67687504       2130116983     800617983      57             0              26   264   72  
1837.15/1837.25	c 9109294        71434356       2297278437     858916687      57             0              28   86   60   
1980.16/1980.27	c 10020283       75745931       2481191416     920833560      57             0              27   64   51   
2482.70/2482.80	c 11022370       123719808      2866489364     1111076124     57             0              20   280   124 
2520.00/2520.00	
2520.00/2520.00	c *** INTERRUPTED ***
2520.00/2520.00	c restarts              : 98          
2520.00/2520.00	c conflicts             : 11135971     (4419 /sec)
2520.00/2520.00	c decisions             : 127058227    (50420 /sec)
2520.00/2520.00	c propagations          : 1125391828  (446589 /sec)
2520.00/2520.00	c root propagations     : 0           
2520.00/2520.00	c filter calls          : 2897313147     (1149739 /sec)
2520.00/2520.00	c useless filter calls  : 2146765490     (74 %)
2520.00/2520.00	c Memory used           : 43.42 MB
2520.00/2520.00	c CPU time              : 2519.97 s
2520.00/2520.00	
2520.00/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-4267916-1502517210/watcher-4267916-1502517210 -o /tmp/evaluation-result-4267916-1502517210/solver-4267916-1502517210 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28377 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267916-1502517210.xml 

pid=1969
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.00 2.01 2.04 3/185 1972
/proc/meminfo: memFree=31084912/32770624 swapFree=0/453772
[pid=1972] ppid=1969 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/1972/stat : 1972 (runsolver) D 1969 1972 28313 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 99536211 24240128 107 18446744073709551615 4194304 4338465 140725419807376 140725419805016 140330954474199 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 38080512 140725419811009 140725419811401 140725419811401 140725419814858 0
/proc/1972/statm: 5918 107 54 36 0 2156 0

[startup+0.100526 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 1972
/proc/meminfo: memFree=31084912/32770624 swapFree=0/453772
[pid=1972] ppid=1969 vsize=28944 CPUtime=0.04 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 1542 0 0 0 4 0 0 0 20 0 1 0 99536211 29638656 1356 18446744073709551615 4194304 5972588 140729390312032 140729390305832 140300525027584 0 0 1 0 0 0 0 17 6 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 7236 1356 796 435 0 599 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28944

[startup+0.200527 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 1972
/proc/meminfo: memFree=31084912/32770624 swapFree=0/453772
[pid=1972] ppid=1969 vsize=30624 CPUtime=0.14 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 1946 0 0 0 14 0 0 0 20 0 1 0 99536211 31358976 1743 18446744073709551615 4194304 5972588 140729390312032 140729390305528 140300515684008 0 0 1 0 0 0 0 17 6 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 7656 1743 796 435 0 1019 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 30624

[startup+0.300526 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 1972
/proc/meminfo: memFree=31084912/32770624 swapFree=0/453772
[pid=1972] ppid=1969 vsize=32188 CPUtime=0.24 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 2354 0 0 0 24 0 0 0 20 0 1 0 99536211 32960512 2165 18446744073709551615 4194304 5972588 140729390312032 140729390305528 140300516435334 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 8047 2165 796 435 0 1410 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 32188

[startup+0.700176 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 1972
/proc/meminfo: memFree=31084912/32770624 swapFree=0/453772
[pid=1972] ppid=1969 vsize=38712 CPUtime=0.64 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 3971 0 0 0 63 1 0 0 20 0 1 0 99536211 39641088 3798 18446744073709551615 4194304 5972588 140729390312032 140729390305832 140300515775870 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 9678 3798 796 435 0 3041 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 38712

[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 1973
/proc/meminfo: memFree=31068056/32770624 swapFree=0/454028
[pid=1972] ppid=1969 vsize=43800 CPUtime=1.43 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 5285 0 0 0 142 1 0 0 20 0 1 0 99536211 44851200 5069 18446744073709551615 4194304 5972588 140729390312032 140729390305832 5099664 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 10950 5069 833 435 0 4313 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 43800

[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 1973
/proc/meminfo: memFree=31067312/32770624 swapFree=0/454028
[pid=1972] ppid=1969 vsize=43932 CPUtime=3.03 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 6432 0 0 0 302 1 0 0 20 0 1 0 99536211 44986368 5138 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338173 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 10983 5138 833 435 0 4346 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 43932

[startup+6.30018 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 1973
/proc/meminfo: memFree=31067032/32770624 swapFree=0/454028
[pid=1972] ppid=1969 vsize=43932 CPUtime=6.23 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 7574 0 0 0 622 1 0 0 20 0 1 0 99536211 44986368 5143 18446744073709551615 4194304 5972588 140729390312032 140729390309336 4908843 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 10983 5143 833 435 0 4346 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 43932

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 1973
/proc/meminfo: memFree=31066660/32770624 swapFree=0/454032
[pid=1972] ppid=1969 vsize=44064 CPUtime=12.63 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 8757 0 0 0 1262 1 0 0 20 0 1 0 99536211 45121536 5153 18446744073709551615 4194304 5972588 140729390312032 140729390308808 4966019 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11016 5153 833 435 0 4379 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 44064

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 1973
/proc/meminfo: memFree=31065468/32770624 swapFree=0/454032
[pid=1972] ppid=1969 vsize=44064 CPUtime=25.43 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 9921 0 0 0 2541 2 0 0 20 0 1 0 99536211 45121536 5199 18446744073709551615 4194304 5972588 140729390312032 140729390309336 4965224 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11016 5199 833 435 0 4379 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 44064

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 1989
/proc/meminfo: memFree=31061716/32770624 swapFree=0/454040
[pid=1972] ppid=1969 vsize=44064 CPUtime=51.03 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 10427 0 0 0 5101 2 0 0 20 0 1 0 99536211 45121536 5199 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338159 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11016 5199 833 435 0 4379 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 44064

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 1991
/proc/meminfo: memFree=31061592/32770624 swapFree=0/454044
[pid=1972] ppid=1969 vsize=44064 CPUtime=102.22 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 10933 0 0 0 10220 2 0 0 20 0 1 0 99536211 45121536 5199 18446744073709551615 4194304 5972588 140729390312032 140729390309336 4909657 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11016 5199 833 435 0 4379 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 44064

[startup+162.3 s]
/proc/loadavg: 1.93 1.99 2.03 3/185 1993
/proc/meminfo: memFree=31065252/32770624 swapFree=0/454064
[pid=1972] ppid=1969 vsize=44064 CPUtime=162.22 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 11439 0 0 0 16220 2 0 0 20 0 1 0 99536211 45121536 5199 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5039205 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11016 5199 833 435 0 4379 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 44064

[startup+222.306 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 1995
/proc/meminfo: memFree=31065304/32770624 swapFree=0/454052
[pid=1972] ppid=1969 vsize=44196 CPUtime=222.22 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 11952 0 0 0 22220 2 0 0 20 0 1 0 99536211 45256704 5199 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5070711 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11049 5199 833 435 0 4412 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 44196

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 1998
/proc/meminfo: memFree=31065172/32770624 swapFree=0/454076
[pid=1972] ppid=1969 vsize=44196 CPUtime=282.22 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 11952 0 0 0 28220 2 0 0 20 0 1 0 99536211 45256704 5199 18446744073709551615 4194304 5972588 140729390312032 140729390309336 4908987 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11049 5199 833 435 0 4412 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 44196

[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/185 2000
/proc/meminfo: memFree=31065108/32770624 swapFree=0/454092
[pid=1972] ppid=1969 vsize=44196 CPUtime=342.21 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 12465 0 0 0 34219 2 0 0 20 0 1 0 99536211 45256704 5205 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5039349 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11049 5205 833 435 0 4412 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 44196

[startup+402.3 s]
/proc/loadavg: 2.16 2.07 2.06 3/186 2003
/proc/meminfo: memFree=31064912/32770624 swapFree=0/454100
[pid=1972] ppid=1969 vsize=44196 CPUtime=402.21 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 12976 0 0 0 40219 2 0 0 20 0 1 0 99536211 45256704 5206 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5139312 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11049 5206 833 435 0 4412 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 44196

[startup+462.3 s]
/proc/loadavg: 2.10 2.07 2.06 3/186 2005
/proc/meminfo: memFree=31064356/32770624 swapFree=0/454112
[pid=1972] ppid=1969 vsize=44196 CPUtime=462.2 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 13487 0 0 0 46218 2 0 0 20 0 1 0 99536211 45256704 5206 18446744073709551615 4194304 5972588 140729390312032 140729390309336 4965365 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11049 5206 833 435 0 4412 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 44196

[startup+522.3 s]
/proc/loadavg: 2.07 2.07 2.06 3/186 2007
/proc/meminfo: memFree=31064112/32770624 swapFree=0/454116
[pid=1972] ppid=1969 vsize=44196 CPUtime=522.2 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 13998 0 0 0 52218 2 0 0 20 0 1 0 99536211 45256704 5206 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338173 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11049 5206 833 435 0 4412 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 44196

[startup+582.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/185 2009
/proc/meminfo: memFree=31064196/32770624 swapFree=0/454132
[pid=1972] ppid=1969 vsize=44196 CPUtime=582.19 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 14509 0 0 0 58217 2 0 0 20 0 1 0 99536211 45256704 5206 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5039159 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11049 5206 833 435 0 4412 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 44196


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2103
/proc/meminfo: memFree=31064012/32770624 swapFree=0/454336
[pid=1972] ppid=1969 vsize=44460 CPUtime=1602.23 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 20773 0 0 0 160220 3 0 0 20 0 1 0 99536211 45527040 5280 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5280 833 435 0 4478 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 44460

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2105
/proc/meminfo: memFree=31064324/32770624 swapFree=0/454352
[pid=1972] ppid=1969 vsize=44460 CPUtime=1662.24 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 21351 0 0 0 166221 3 0 0 20 0 1 0 99536211 45527040 5286 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338159 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5286 833 435 0 4478 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 44460

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2107
/proc/meminfo: memFree=31064332/32770624 swapFree=0/454356
[pid=1972] ppid=1969 vsize=44460 CPUtime=1722.24 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 21365 0 0 0 172221 3 0 0 20 0 1 0 99536211 45527040 5286 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5039918 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5286 833 435 0 4478 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 44460

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2109
/proc/meminfo: memFree=31064180/32770624 swapFree=0/454360
[pid=1972] ppid=1969 vsize=44460 CPUtime=1782.25 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 21935 0 0 0 178222 3 0 0 20 0 1 0 99536211 45527040 5287 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5071792 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5287 833 435 0 4478 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 44460

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2127
/proc/meminfo: memFree=31059260/32770624 swapFree=0/454376
[pid=1972] ppid=1969 vsize=44460 CPUtime=1842.25 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 21956 0 0 0 184222 3 0 0 20 0 1 0 99536211 45527040 5287 18446744073709551615 4194304 5972588 140729390312032 140729390309336 4966148 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5287 833 435 0 4478 0
Current children cumulated CPU time (s) 1842.25
Current children cumulated vsize (KiB) 44460

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2129
/proc/meminfo: memFree=31060060/32770624 swapFree=0/454368
[pid=1972] ppid=1969 vsize=44460 CPUtime=1902.26 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 22444 0 0 0 190223 3 0 0 20 0 1 0 99536211 45527040 5287 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5040154 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5287 833 435 0 4478 0
Current children cumulated CPU time (s) 1902.26
Current children cumulated vsize (KiB) 44460

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2131
/proc/meminfo: memFree=31062592/32770624 swapFree=0/454372
[pid=1972] ppid=1969 vsize=44460 CPUtime=1962.26 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 22446 0 0 0 196223 3 0 0 20 0 1 0 99536211 45527040 5287 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5287 833 435 0 4478 0
Current children cumulated CPU time (s) 1962.26
Current children cumulated vsize (KiB) 44460

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2133
/proc/meminfo: memFree=31063060/32770624 swapFree=0/454392
[pid=1972] ppid=1969 vsize=44460 CPUtime=2022.27 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 23041 0 0 0 202224 3 0 0 20 0 1 0 99536211 45527040 5287 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5070704 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5287 833 435 0 4478 0
Current children cumulated CPU time (s) 2022.27
Current children cumulated vsize (KiB) 44460

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2135
/proc/meminfo: memFree=31063320/32770624 swapFree=0/454396
[pid=1972] ppid=1969 vsize=44460 CPUtime=2082.27 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 23045 0 0 0 208224 3 0 0 20 0 1 0 99536211 45527040 5287 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5071499 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5287 833 435 0 4478 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 44460

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2137
/proc/meminfo: memFree=31063324/32770624 swapFree=0/454404
[pid=1972] ppid=1969 vsize=44460 CPUtime=2142.27 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 23619 0 0 0 214224 3 0 0 20 0 1 0 99536211 45527040 5294 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5294 833 435 0 4478 0
Current children cumulated CPU time (s) 2142.27
Current children cumulated vsize (KiB) 44460

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2140
/proc/meminfo: memFree=31063560/32770624 swapFree=0/454412
[pid=1972] ppid=1969 vsize=44460 CPUtime=2202.28 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 23627 0 0 0 220225 3 0 0 20 0 1 0 99536211 45527040 5294 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5139338 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5294 833 435 0 4478 0
Current children cumulated CPU time (s) 2202.28
Current children cumulated vsize (KiB) 44460

[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 2142
/proc/meminfo: memFree=31063396/32770624 swapFree=0/454424
[pid=1972] ppid=1969 vsize=44460 CPUtime=2262.28 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 24202 0 0 0 226225 3 0 0 20 0 1 0 99536211 45527040 5297 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338181 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5297 833 435 0 4478 0
Current children cumulated CPU time (s) 2262.28
Current children cumulated vsize (KiB) 44460

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 2209
/proc/meminfo: memFree=31005040/32770624 swapFree=0/454444
[pid=1972] ppid=1969 vsize=44460 CPUtime=2322.28 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 24205 0 0 0 232225 3 0 0 20 0 1 0 99536211 45527040 5297 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5297 833 435 0 4478 0
Current children cumulated CPU time (s) 2322.28
Current children cumulated vsize (KiB) 44460

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 2211
/proc/meminfo: memFree=31005004/32770624 swapFree=0/454464
[pid=1972] ppid=1969 vsize=44460 CPUtime=2382.29 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 24782 0 0 0 238226 3 0 0 20 0 1 0 99536211 45527040 5297 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5297 833 435 0 4478 0
Current children cumulated CPU time (s) 2382.29
Current children cumulated vsize (KiB) 44460

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 2229
/proc/meminfo: memFree=30999820/32770624 swapFree=0/454472
[pid=1972] ppid=1969 vsize=44460 CPUtime=2442.29 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 24782 0 0 0 244226 3 0 0 20 0 1 0 99536211 45527040 5297 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338173 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5297 833 435 0 4478 0
Current children cumulated CPU time (s) 2442.29
Current children cumulated vsize (KiB) 44460

[startup+2502.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 2232
/proc/meminfo: memFree=30987232/32770624 swapFree=0/454472
[pid=1972] ppid=1969 vsize=44460 CPUtime=2502.3 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 25384 0 0 0 250227 3 0 0 20 0 1 0 99536211 45527040 5297 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5039524 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5297 833 435 0 4478 0
Current children cumulated CPU time (s) 2502.3
Current children cumulated vsize (KiB) 44460



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.03 2.03 2.05 3/190 2232
/proc/meminfo: memFree=30987232/32770624 swapFree=0/454472
[pid=1972] ppid=1969 vsize=44460 CPUtime=2520 cores=0,2,4,6
/proc/1972/stat : 1972 (cosoco) R 1969 1972 28313 0 -1 4202496 25384 0 0 0 251997 3 0 0 20 0 1 0 99536211 45527040 5297 18446744073709551615 4194304 5972588 140729390312032 140729390309336 5338196 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 25284608 140729390313966 140729390314061 140729390314061 140729390317518 0
/proc/1972/statm: 11115 5297 833 435 0 4478 0
Current children cumulated CPU time (s) 2520
Current children cumulated vsize (KiB) 44460

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

Child status: 1
Real time (s): 2520
CPU time (s): 2520.01
CPU user time (s): 2519.98
CPU system time (s): 0.039001
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 44460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.039001
maximum resident set size= 21260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25421
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= 17
involuntary context switches= 2242

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08962 second user time and 9.08098 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-12 07:39:22
IDJOB=4267916
IDBENCH=123769
IDSOLVER=2658
FILE ID=node133/4267916-1502517210
RUNJOBID= node133-1502500327-28377
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Bibd/Bibd-sc-stab2/Bibd-sc-10-05-04.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267916-1502517210/watcher-4267916-1502517210 -o /tmp/evaluation-result-4267916-1502517210/solver-4267916-1502517210 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28377 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267916-1502517210.xml

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

MD5SUM BENCH= e9f6f40743648773adf3c8e081ae5e9b
RANDOM SEED=1695340417

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31085292 kB
MemAvailable:   31966852 kB
Buffers:          303800 kB
Cached:           879404 kB
SwapCached:            0 kB
Active:           754028 kB
Inactive:         495336 kB
Active(anon):      66540 kB
Inactive(anon):    41304 kB
Active(file):     687488 kB
Inactive(file):   454032 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2284 kB
Writeback:             4 kB
AnonPages:         65636 kB
Mapped:            54580 kB
Shmem:             41660 kB
Slab:             138956 kB
SReclaimable:     111752 kB
SUnreclaim:        27204 kB
KernelStack:        3280 kB
PageTables:         5320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     335756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62028 MiB
End job on node133 at 2017-08-12 08:21:23