Trace number 4265932

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 NameAnswerobjective functionCPU timeWall clock time
cosoco-sat 1.12SAT (TO)69 2520.05 2520.02

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-28.xml
MD5SUMf7605bb50abdbd05cc6d9fedf17196d1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark398
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables1831
Number of constraints1072
Number of domains4
Minimum domain size2
Maximum domain size1801
Distribution of domain sizes[{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}]
Minimum variable degree1
Maximum variable degree31
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}]
Minimum constraint arity2
Maximum constraint arity32
Distribution of constraint arities[{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}]
Number of extensional constraints896
Number of intensional constraints141
Distribution of constraint types[{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.70/3.86	c SAT : Variables: 59315 -- Clauses: 48940151
3.70/3.86	c best=?? lower=0 upper=784 
9.31/9.43	c
9.31/9.43	c This is cosoco 1.12 --  
9.31/9.43	c
9.31/9.43	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265932-1502566046.xml 
9.31/9.43	c enable optimization
9.31/9.43	c ========================================[ Problem Statistics ]===========================================
9.31/9.43	c |                                                                                                       
9.31/9.43	c |  Parse time        :         3.29 s 
9.31/9.43	c |
9.31/9.43	c |               Variables: 1831
9.31/9.43	c |            Domain Sizes: 2..1801
9.31/9.43	c |
9.31/9.43	c |             Constraints: 1189
9.31/9.43	c |                   Arity: 1..32  -- Unary: 121  -- Binary: 142  -- Ternary: 112
9.31/9.43	c | 
9.31/9.43	c |                   Types: 
9.31/9.43	c |                          Extension: 896  (nb tuples: 1..724) -- (shared: 891)
9.31/9.43	c |                          Intension: 142
9.31/9.43	c |                          Sum: 31
9.31/9.43	c |                          Unary: 120
9.31/9.43	c |                          
9.31/9.43	c =========================================================================================================
9.31/9.43	o 3
9.31/9.43	c    1 calls to solver: best=3 lower=4 upper=784 
9.51/9.67	o 8
9.92/10.09	o 13
9.92/10.09	c    3 calls to solver: best=13 lower=14 upper=784 
10.40/10.51	o 14
11.30/11.43	o 23
11.30/11.43	c    5 calls to solver: best=23 lower=24 upper=784 
12.91/13.01	conflict 1011lvl : 1083 bt1083-2631:0(28384)X195993546
19.51/19.62	o 24
84.80/84.95	o 28
84.80/84.95	c    7 calls to solver: best=28 lower=29 upper=784 
85.20/85.40	o 30
85.50/85.69	o 34
85.50/85.69	c    9 calls to solver: best=34 lower=35 upper=784 
86.69/86.86	o 38
88.20/88.35	o 69
88.20/88.35	c   11 calls to solver: best=69 lower=70 upper=784 
2520.03/2520.00	
2520.03/2520.00	c *** INTERRUPTED ***
2520.03/2520.00	c restarts              : 584         
2520.03/2520.00	c conflicts             : 3323516      (1319 /sec)
2520.03/2520.00	c decisions             : 34980062     (13884 /sec)
2520.03/2520.00	c propagations          : 1196837599  (475045 /sec)
2520.03/2520.00	c root propagations     : 28436       
2520.03/2520.00	c filter calls          : 812916509      (322660 /sec)
2520.03/2520.00	c useless filter calls  : 567758359      (69 %)
2520.03/2520.00	c
2520.03/2520.00	c clauses               : 48943166
2520.03/2520.00	c SAT propagations      : 262
2520.03/2520.00	c SAT conflicts         : 0 (1 learnts)
2520.03/2520.00	c Memory used           : 2057.64 MB
2520.03/2520.00	c CPU time              : 2519.42 s
2520.03/2520.00	
2520.03/2520.00	c nb Solutions = 11
2520.03/2520.00	s SATISFIABLE
2520.03/2520.00	c Best value found: 69
2520.03/2520.00	
2520.03/2520.00	
2520.03/2520.00	v <instantiation type='solution' cost='69'>
2520.03/2520.00	v <list>w[0][0] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][1] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][1] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][1] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][1] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][1] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][1] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][1] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[16][0] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][1] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[17][0] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][1] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[18][0] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][1] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[19][0] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][1] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[1][0] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][1] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[20][0] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][1] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[21][0] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][1] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[22][0] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][1] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[23][0] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][1] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[24][0] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][1] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[25][0] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][1] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[26][0] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][1] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[27][0] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][1] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[28][0] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][1] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[29][0] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][1] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[2][0] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][1] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][1] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][1] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][1] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][1] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][1] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][1] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][1] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[1] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] z </list>
2520.03/2520.01	v <values>0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 0 0 1 1 2 0 0 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 1 1 0 1 1 0 0 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 0 0 2 1 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 0 1 2 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 0 0 1 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 1 2 2 2 2 2 2 2 2 1 1 0 0 2 2 1 1 2 1 2 2 2 2 2 2 2 0 1 0 2 1 1 2 2 2 2 2 2 2 1 1 0 1 0 1 1 0 1 1 2 2 2 2 2 2 1 1 0 0 2 0 1 2 2 2 2 2 2 2 1 2 1 0 1 0 0 1 1 1 2 2 2 2 2 2 1 1 0 0 2 0 2 2 2 2 2 2 2 2 1 2 2 1 0 1 1 1 2 1 2 2 2 2 2 2 2 0 1 0 2 0 1 2 2 2 2 2 2 2 1 2 2 2 1 1 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 0 2 1 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 0 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 1 0 0 2 2 2 2 2 1 1 1 0 2 2 2 2 2 2 1 0 2 0 0 2 2 2 2 2 2 2 1 0 2 0 2 1 2 0 1 1 0 0 0 2 2 2 2 2 1 1 2 0 2 0 2 1 2 2 2 2 1 2 0 2 0 0 0 2 0 1 1 2 1 1 2 2 2 2 2 1 2 2 0 2 0 1 1 2 2 2 1 2 2 0 0 0 0 0 1 1 0 0 0 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 1 2 2 2 1 1 0 1 1 1 1 0 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 2 2 2 2 0 1 0 0 1 1 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 0 0 1 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 1 1 1 1 2 0 1 0 1 26 464 511 560 611 664 713 753 792 836 884 79 937 992 1045 1098 1151 1204 1260 1318 1376 1404 128 168 203 240 279 325 373 419 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 69 </values>
2520.03/2520.01	v </instantiation>
2520.03/2520.01

Verifier Data 

OK	69

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15105 MiB free)
  memory of node 1: 16384 MiB (15284 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265932-1502566046/watcher-4265932-1502566046 -o /tmp/evaluation-result-4265932-1502566046/solver-4265932-1502566046 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12458 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265932-1502566046.xml 

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
Starting watchdog thread
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=12488, runsolver pid=12481
Current StackSize limit: 8192 KiB


[startup+0.100198 s]*
/proc/loadavg: 0.00 0.01 0.05 4/189 12489
/proc/meminfo: memFree=31115268/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=30460 memory=6552 CPUtime=0.02 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 1839 0 0 0 2 0 0 0 20 0 1 0 98515905 31191040 1638 18446744073709551615 4194304 5972588 140732457058336 140732457054984 140714086886373 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 7615 1638 730 435 0 978 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 30460 KiB
Current children cumulated memory: 6552 KiB

[startup+0.209525 s]*
/proc/loadavg: 0.00 0.01 0.05 4/189 12489
/proc/meminfo: memFree=31094372/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=37972 memory=14328 CPUtime=0.13 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 3797 0 0 0 13 0 0 0 20 0 1 0 98515905 38883328 3582 18446744073709551615 4194304 5972588 140732457058336 140732457054984 140714086934432 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 9493 3582 797 435 0 2856 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 37972 KiB
Current children cumulated memory: 14328 KiB

[startup+0.309919 s]*
/proc/loadavg: 0.00 0.01 0.05 4/189 12489
/proc/meminfo: memFree=31078064/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=61756 memory=35172 CPUtime=0.23 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 8440 0 0 0 22 1 0 0 20 0 1 0 98515905 63238144 8728 18446744073709551615 4194304 5972588 140732457058336 140732457054984 5280335 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 15439 8728 843 435 0 8802 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 61756 KiB
Current children cumulated memory: 35172 KiB

[startup+0.70042 s]
/proc/loadavg: 0.00 0.01 0.05 4/189 12489
/proc/meminfo: memFree=30968720/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=311944 memory=243968 CPUtime=0.6 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 39191 0 0 0 55 5 0 0 20 0 1 0 98515905 319430656 60992 18446744073709551615 4194304 5972588 140732457058336 140732457054984 5252461 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 77986 60992 843 435 0 71349 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 311944 KiB
Current children cumulated memory: 243968 KiB

[startup+1.50043 s]
/proc/loadavg: 0.00 0.01 0.05 4/189 12489
/proc/meminfo: memFree=30703852/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=799972 memory=670048 CPUtime=1.41 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 94124 0 0 0 123 18 0 0 20 0 1 0 98515905 819171328 167512 18446744073709551615 4194304 5972588 140732457058336 140732457055128 140714086955563 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 200026 167512 843 435 0 193389 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 799972 KiB
Current children cumulated memory: 670048 KiB

[startup+3.10968 s]
/proc/loadavg: 0.16 0.05 0.06 4/189 12489
/proc/meminfo: memFree=29652320/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=1893072 memory=1507824 CPUtime=3.01 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 200719 0 0 0 262 39 0 0 20 0 1 0 98515905 1938505728 376956 18446744073709551615 4194304 5972588 140732457058336 140732457055128 140714086955563 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 473268 376956 843 435 0 466631 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 1893072 KiB
Current children cumulated memory: 1507824 KiB

[startup+6.30039 s]
/proc/loadavg: 0.16 0.05 0.06 4/189 12489
/proc/meminfo: memFree=29197824/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2091688 memory=1907620 CPUtime=6.21 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 260376 0 0 0 572 49 0 0 20 0 1 0 98515905 2141888512 476905 18446744073709551615 4194304 5972588 140732457058336 140732457055096 5099648 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 522922 476905 859 435 0 516285 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 2091688 KiB
Current children cumulated memory: 1907620 KiB

[startup+12.7004 s]
/proc/loadavg: 0.23 0.06 0.06 4/189 12489
/proc/meminfo: memFree=29188168/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2101032 memory=1916944 CPUtime=12.6 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 291456 0 0 0 1210 50 0 0 20 0 1 0 98515905 2151456768 479236 18446744073709551615 4194304 5972588 140732457058336 140732457055560 4931776 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 525258 479236 860 435 0 518621 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 2101032 KiB
Current children cumulated memory: 1916944 KiB

[startup+25.5004 s]
/proc/loadavg: 0.62 0.16 0.09 4/188 12489
/proc/meminfo: memFree=29184928/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2102860 memory=1920832 CPUtime=25.4 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 309930 0 0 0 2489 51 0 0 20 0 1 0 98515905 2153328640 480208 18446744073709551615 4194304 5972588 140732457058336 140732457055784 4935380 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 525715 480208 865 435 0 519078 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2102860 KiB
Current children cumulated memory: 1920832 KiB

[startup+51.1098 s]
/proc/loadavg: 1.09 0.31 0.14 4/188 12489
/proc/meminfo: memFree=29181364/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2104172 memory=1924200 CPUtime=51.01 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 326219 0 0 0 5049 52 0 0 20 0 1 0 98515905 2154672128 481050 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5041389 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526043 481050 865 435 0 519406 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 2104172 KiB
Current children cumulated memory: 1924200 KiB

[startup+102.3 s]
/proc/loadavg: 1.61 0.57 0.24 4/188 12490
/proc/meminfo: memFree=29173872/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106776 memory=1930932 CPUtime=102.2 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 364505 0 0 0 10165 55 0 0 20 0 1 0 98515905 2157338624 482733 18446744073709551615 4194304 5972588 140732457058336 140732457055560 4909660 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526694 482733 865 435 0 520057 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 2106776 KiB
Current children cumulated memory: 1930932 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 0.87 0.37 4/185 12492
/proc/meminfo: memFree=29176296/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106776 memory=1932988 CPUtime=162.2 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 373724 0 0 0 16165 55 0 0 20 0 1 0 98515905 2157338624 483247 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5053061 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526694 483247 865 435 0 520057 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 2106776 KiB
Current children cumulated memory: 1932988 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.08 0.47 3/185 12558
/proc/meminfo: memFree=18841780/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106776 memory=1933048 CPUtime=222.2 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 395526 0 0 0 22164 56 0 0 20 0 1 0 98515905 2157338624 483262 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5322693 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526694 483262 865 435 0 520057 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 2106776 KiB
Current children cumulated memory: 1933048 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.25 0.56 3/185 12560
/proc/meminfo: memFree=16463140/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1933056 CPUtime=282.2 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 411313 0 0 0 28163 57 0 0 20 0 1 0 98515905 2157453312 483264 18446744073709551615 4194304 5972588 140732457058336 140732457055560 4965331 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483264 865 435 0 520085 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1933056 KiB

[startup+342.3 s]
/proc/loadavg: 2.16 1.42 0.66 3/185 12562
/proc/meminfo: memFree=16452504/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1933056 CPUtime=342.2 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 416855 0 0 0 34163 57 0 0 20 0 1 0 98515905 2157453312 483264 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5094176 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483264 865 435 0 520085 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1933056 KiB

[startup+402.3 s]
/proc/loadavg: 2.59 1.69 0.80 3/189 12579
/proc/meminfo: memFree=16444656/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1933056 CPUtime=402.2 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 428908 0 0 0 40162 58 0 0 20 0 1 0 98515905 2157453312 483264 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5040162 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483264 865 435 0 520085 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1933056 KiB

[startup+462.3 s]
/proc/loadavg: 2.22 1.74 0.88 3/189 12581
/proc/meminfo: memFree=16433436/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1933064 CPUtime=462.19 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 441654 0 0 0 46161 58 0 0 20 0 1 0 98515905 2157453312 483266 18446744073709551615 4194304 5972588 140732457058336 140732457055560 4966031 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483266 865 435 0 520085 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1933064 KiB

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

/proc/12488/statm: 526722 483299 865 435 0 520085 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1933196 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.74 3/186 12661
/proc/meminfo: memFree=16368100/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1933196 CPUtime=1782.28 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 489085 0 0 0 178166 62 0 0 20 0 1 0 98515905 2157453312 483299 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5039159 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483299 865 435 0 520085 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1933196 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/187 12664
/proc/meminfo: memFree=16361440/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1933196 CPUtime=1842.28 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 489755 0 0 0 184166 62 0 0 20 0 1 0 98515905 2157453312 483299 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5040162 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483299 865 435 0 520085 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1933196 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/187 12666
/proc/meminfo: memFree=16356144/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1933196 CPUtime=1902.29 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 490669 0 0 0 190167 62 0 0 20 0 1 0 98515905 2157453312 483299 18446744073709551615 4194304 5972588 140732457058336 140732457055560 4965365 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483299 865 435 0 520085 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1933196 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/185 12668
/proc/meminfo: memFree=16350232/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1935244 CPUtime=1962.29 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 492114 0 0 0 196167 62 0 0 20 0 1 0 98515905 2157453312 483811 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5322696 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483811 865 435 0 520085 0
Current children cumulated CPU time: 1962.29 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1935244 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/186 12671
/proc/meminfo: memFree=16344768/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1935244 CPUtime=2022.29 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 493069 0 0 0 202167 62 0 0 20 0 1 0 98515905 2157453312 483811 18446744073709551615 4194304 5972588 140732457058336 140732457055560 4965365 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483811 865 435 0 520085 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1935244 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/186 12673
/proc/meminfo: memFree=16338596/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1935244 CPUtime=2082.3 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 493988 0 0 0 208168 62 0 0 20 0 1 0 98515905 2157453312 483811 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5328039 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483811 865 435 0 520085 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1935244 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/185 12676
/proc/meminfo: memFree=16333036/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1935244 CPUtime=2142.3 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 495347 0 0 0 214168 62 0 0 20 0 1 0 98515905 2157453312 483811 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5053108 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483811 865 435 0 520085 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1935244 KiB

[startup+2202.3 s]
/proc/loadavg: 2.14 2.05 1.84 3/188 12692
/proc/meminfo: memFree=16323208/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1935244 CPUtime=2202.3 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 496473 0 0 0 220168 62 0 0 20 0 1 0 98515905 2157453312 483811 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5039164 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483811 865 435 0 520085 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1935244 KiB

[startup+2262.3 s]
/proc/loadavg: 2.05 2.04 1.86 3/188 12694
/proc/meminfo: memFree=16318300/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1935244 CPUtime=2262.31 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 498083 0 0 0 226169 62 0 0 20 0 1 0 98515905 2157453312 483811 18446744073709551615 4194304 5972588 140732457058336 140732457055560 4931786 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483811 865 435 0 520085 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1935244 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 1.87 3/186 12697
/proc/meminfo: memFree=16315696/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1935244 CPUtime=2322.31 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 498763 0 0 0 232169 62 0 0 20 0 1 0 98515905 2157453312 483811 18446744073709551615 4194304 5972588 140732457058336 140732457055560 4965365 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483811 865 435 0 520085 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1935244 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 1.87 3/186 12699
/proc/meminfo: memFree=16311568/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1935244 CPUtime=2382.31 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 499617 0 0 0 238169 62 0 0 20 0 1 0 98515905 2157453312 483811 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5099648 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483811 865 435 0 520085 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1935244 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/186 12701
/proc/meminfo: memFree=16306480/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1935244 CPUtime=2442.32 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 501260 0 0 0 244170 62 0 0 20 0 1 0 98515905 2157453312 483811 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5099648 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483811 865 435 0 520085 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1935244 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/186 12704
/proc/meminfo: memFree=16300244/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2106888 memory=1935244 CPUtime=2502.32 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 502185 0 0 0 250170 62 0 0 20 0 1 0 98515905 2157453312 483811 18446744073709551615 4194304 5972588 140732457058336 140732457055560 5070704 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526722 483811 865 435 0 520085 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 2106888 KiB
Current children cumulated memory: 1935244 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.89 3/186 12705
/proc/meminfo: memFree=16296324/32770624 swapFree=67108860/67108860
[pid=12488] ppid=12481 vsize=2107024 memory=1935300 CPUtime=2520.03 cores=0,2,4,6
/proc/12488/stat : 12488 (cosoco) R 12481 12488 12395 0 -1 4202496 503013 0 0 0 251941 62 0 0 20 0 1 0 98515905 2157592576 483825 18446744073709551615 4194304 5972588 140732457058336 140732457055048 4965365 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 35045376 140732457062852 140732457062952 140732457062952 140732457066446 0
/proc/12488/statm: 526756 483825 865 435 0 520119 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2107024 KiB
Current children cumulated memory: 1935300 KiB

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

[startup+2520.02 s]
# the end of solver process 12488 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.42 s, system=0.631041 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.02
CPU time (s): 2520.05
CPU user time (s): 2519.42
CPU system time (s): 0.631041
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2107024
Max. memory (cumulated for all children) (KiB): 1935300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.42
system time used= 0.631041
maximum resident set size= 1935396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503058
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= 101
involuntary context switches= 815


# summary of solver processes directly reported to runsolver:
#   pid: 12488
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2519.42
#   total CPU system time (s): 0.631041

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.17192 second user time and 17.1449 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-12 21:13:32
IDJOB=4265932
IDBENCH=115904
IDSOLVER=2655
FILE ID=node135/4265932-1502566046
RUNJOBID= node135-1502565212-12458
PBS_JOBID= 
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-28.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265932-1502566046/watcher-4265932-1502566046 -o /tmp/evaluation-result-4265932-1502566046/solver-4265932-1502566046 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12458 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265932-1502566046.xml

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

MD5SUM BENCH= f7605bb50abdbd05cc6d9fedf17196d1
RANDOM SEED=1389098341

node135.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.21
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.21
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.21
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.21
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:        31121316 kB
MemAvailable:   31966192 kB
Buffers:          306120 kB
Cached:           837536 kB
SwapCached:            0 kB
Active:           671312 kB
Inactive:         532140 kB
Active(anon):      60220 kB
Inactive(anon):    41332 kB
Active(file):     611092 kB
Inactive(file):   490808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4712 kB
Writeback:             0 kB
AnonPages:         59808 kB
Mapped:            53304 kB
Shmem:             41656 kB
Slab:             144836 kB
SReclaimable:     117624 kB
SUnreclaim:        27212 kB
KernelStack:        3168 kB
PageTables:         4664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     342160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62028 MiB
End job on node135 at 2017-08-12 21:55:33