Trace number 4265966

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)1773 2519.1599 2520.01

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n45-k6.xml
MD5SUMccd62f28d001d5578c14e849049b60f5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark715
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables2070
Number of constraints2024
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}]
Minimum variable degree0
Maximum variable degree87
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}]
Minimum constraint arity1
Maximum constraint arity44
Distribution of constraint arities[{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}]
Number of extensional constraints0
Number of intensional constraints44
Distribution of constraint types[{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.19/0.31	c SAT : Variables: 8450 -- Clauses: 226204
0.19/0.32	c best=?? lower=-70344 upper=0 
1.27/1.42	c
1.27/1.42	c This is cosoco 1.12 --  
1.27/1.42	c
1.27/1.42	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265966-1502573607.xml 
1.27/1.42	c enable optimization
1.27/1.42	c ========================================[ Problem Statistics ]===========================================
1.27/1.42	c |                                                                                                       
1.27/1.42	c |  Parse time        :         0.18 s 
1.27/1.42	c |
1.27/1.42	c |               Variables: 2070
1.27/1.42	c |            Domain Sizes: 1..101
1.27/1.42	c |
1.27/1.42	c |             Constraints: 2025
1.27/1.42	c |                   Arity: 1..1974  -- Unary: 44  -- Ternary: 1892
1.27/1.42	c | 
1.27/1.42	c |                   Types: 
1.27/1.42	c |                          Exactly K: 88
1.27/1.42	c |                          Intension: 44
1.27/1.42	c |                          Sum: 1893
1.27/1.42	c |                          
1.27/1.42	c =========================================================================================================
1.27/1.42	o -1825
1.27/1.42	c    1 calls to solver: best=-1825 lower=-1824 upper=0 
3.37/3.59	o -1810
5.36/5.52	o -1773
5.36/5.52	c    3 calls to solver: best=-1773 lower=-1772 upper=0 
2519.14/2520.00	
2519.14/2520.00	c *** INTERRUPTED ***
2519.14/2520.00	c restarts              : 561         
2519.14/2520.00	c conflicts             : 383930       (152 /sec)
2519.14/2520.00	c decisions             : 14996156     (5953 /sec)
2519.14/2520.00	c propagations          : 266787904   (105908 /sec)
2519.14/2520.00	c root propagations     : 592         
2519.14/2520.00	c filter calls          : 165645619      (65757 /sec)
2519.14/2520.00	c useless filter calls  : 150361243      (90 %)
2519.14/2520.00	c
2519.14/2520.00	c clauses               : 227503
2519.14/2520.00	c SAT propagations      : 2
2519.14/2520.00	c SAT conflicts         : 0 (0 learnts)
2519.14/2520.00	c Memory used           : 92.19 MB
2519.14/2520.00	c CPU time              : 2519.06 s
2519.14/2520.00	
2519.14/2520.00	c nb Solutions = 3
2519.14/2520.00	s SATISFIABLE
2519.14/2520.00	c Best value found: -1773
2519.14/2520.00	
2519.14/2520.00	
2519.14/2520.00	v <instantiation type='solution' cost='-1773'>
2519.14/2520.00	v <list>u[0] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[1] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[2] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[3] u[40] u[41] u[42] u[43] u[44] u[4] u[5] u[6] u[7] u[8] u[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][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][3] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] 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][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][3] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] 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][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][3] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] 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][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][3] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] 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][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][3] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] 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][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][3] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] 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][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][3] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] 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][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][3] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] 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][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][3] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] 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][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][3] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] 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][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][3] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] 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][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][3] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] 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][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][3] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] 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][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][3] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] 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][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][3] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] 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][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][3] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] 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][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][3] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] 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][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][3] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] 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][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][3] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] 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][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][3] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] 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][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][3] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] 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][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][3] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] 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][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][3] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][3] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][3] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][3] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][3] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][3] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][3] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][3] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][3] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][3] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][1] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][2] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][3] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][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][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][3] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[40][0] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][1] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][2] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][3] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[41][0] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][1] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][2] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][3] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[42][0] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][1] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][2] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][3] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[43][0] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][1] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][2] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][3] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[44][0] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][1] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][2] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][3] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][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][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][3] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] 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][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][3] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] 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][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][3] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] 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][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][3] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] 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][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][3] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] 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][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][3] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list>
2519.14/2520.00	v <values>* 66 34 26 35 30 68 41 8 16 69 21 11 34 10 5 28 58 48 84 12 21 39 55 31 32 7 29 83 37 58 77 51 93 43 62 17 26 18 10 22 45 9 19 80 * 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 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 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 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 1 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 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 0 0 0 0 1 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 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 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 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 * 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 1 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 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 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 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 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 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 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 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 * </values>
2519.14/2520.00	v </instantiation>
2519.14/2520.00

Verifier Data 

OK	1773

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 (4463 MiB free)
  memory of node 1: 16384 MiB (14882 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265966-1502573607/watcher-4265966-1502573607 -o /tmp/evaluation-result-4265966-1502573607/solver-4265966-1502573607 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12624 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265966-1502573607.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100157 s]*
/proc/loadavg: 2.00 2.01 2.05 2/181 15018
/proc/meminfo: memFree=19810056/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/15017/stat : 15017 (runsolver) D 15014 15017 12560 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 59556196 34791424 114 18446744073709551615 4194304 4346622 140724721319312 140724721315944 140546921386711 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 33656832 140724721324183 140724721324580 140724721324580 140724721328074 0
/proc/15017/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.209458 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 15018
/proc/meminfo: memFree=19791476/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=45676 memory=22064 CPUtime=0.09 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 5715 0 0 0 8 1 0 0 20 0 1 0 59556196 46772224 5516 18446744073709551615 4194304 5972588 140733947431680 140733947423984 139693018098661 0 0 1 0 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 11419 5516 789 435 0 4782 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45676 KiB
Current children cumulated memory: 22064 KiB

[startup+0.30932 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 15018
/proc/meminfo: memFree=19785616/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=57952 memory=33280 CPUtime=0.19 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 7975 0 0 0 18 1 0 0 20 0 1 0 59556196 59342848 8320 18446744073709551615 4194304 5972588 140733947431680 140733947425176 139693018098661 0 0 1 0 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 14521 8320 827 435 0 7884 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57952 KiB
Current children cumulated memory: 33280 KiB

[startup+0.700308 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15018
/proc/meminfo: memFree=19776252/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=67524 memory=42780 CPUtime=0.57 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 10388 0 0 0 56 1 0 0 20 0 1 0 59556196 69144576 10695 18446744073709551615 4194304 5972588 140733947431680 140733947428312 139693018098661 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 16881 10695 844 435 0 10244 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 67524 KiB
Current children cumulated memory: 42780 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15018
/proc/meminfo: memFree=19765464/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=75456 memory=50700 CPUtime=1.37 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 12385 0 0 0 135 2 0 0 20 0 1 0 59556196 77266944 12675 18446744073709551615 4194304 5972588 140733947431680 140733947418872 5048024 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 18864 12675 844 435 0 12227 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 75456 KiB
Current children cumulated memory: 50700 KiB

[startup+3.10925 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15018
/proc/meminfo: memFree=19762116/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=76376 memory=51836 CPUtime=2.98 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 19096 0 0 0 296 2 0 0 20 0 1 0 59556196 78209024 12959 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5048037 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 19094 12959 845 435 0 12457 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 76376 KiB
Current children cumulated memory: 51836 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15018
/proc/meminfo: memFree=19761000/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=77940 memory=53276 CPUtime=6.17 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 26773 0 0 0 614 3 0 0 20 0 1 0 59556196 79810560 13319 18446744073709551615 4194304 5972588 140733947431680 140733947428440 5053090 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 19485 13319 845 435 0 12848 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 77940 KiB
Current children cumulated memory: 53276 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15018
/proc/meminfo: memFree=19759044/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=78964 memory=54776 CPUtime=12.56 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 34315 0 0 0 1253 3 0 0 20 0 1 0 59556196 80859136 13694 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5046712 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 19741 13694 845 435 0 13104 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 78964 KiB
Current children cumulated memory: 54776 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15018
/proc/meminfo: memFree=19756652/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=81920 memory=57440 CPUtime=25.36 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 46902 0 0 0 2533 3 0 0 20 0 1 0 59556196 83886080 14360 18446744073709551615 4194304 5972588 140733947431680 140733947428840 5046280 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 20480 14360 845 435 0 13843 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 81920 KiB
Current children cumulated memory: 57440 KiB

[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15032
/proc/meminfo: memFree=19752364/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=82128 memory=57584 CPUtime=50.97 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 53718 0 0 0 5093 4 0 0 20 0 1 0 59556196 84099072 14396 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5048575 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 20532 14396 845 435 0 13895 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 82128 KiB
Current children cumulated memory: 57584 KiB

[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 15034
/proc/meminfo: memFree=19751740/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=86756 memory=59052 CPUtime=102.14 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 61154 0 0 0 10210 4 0 0 20 0 1 0 59556196 88838144 14763 18446744073709551615 4194304 5972588 140733947431680 140733947428840 5046712 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 21689 14763 845 435 0 15052 0
Current children cumulated CPU time: 102.14 s
Current children cumulated vsize: 86756 KiB
Current children cumulated memory: 59052 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 15036
/proc/meminfo: memFree=19753056/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=86860 memory=61208 CPUtime=162.12 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 67979 0 0 0 16207 5 0 0 20 0 1 0 59556196 88944640 15302 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5048020 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 21715 15302 845 435 0 15078 0
Current children cumulated CPU time: 162.12 s
Current children cumulated vsize: 86860 KiB
Current children cumulated memory: 61208 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15038
/proc/meminfo: memFree=19751660/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=86860 memory=62596 CPUtime=222.1 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 74835 0 0 0 22205 5 0 0 20 0 1 0 59556196 88944640 15649 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5046284 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 21715 15649 845 435 0 15078 0
Current children cumulated CPU time: 222.1 s
Current children cumulated vsize: 86860 KiB
Current children cumulated memory: 62596 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15040
/proc/meminfo: memFree=19750960/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=87116 memory=63064 CPUtime=282.09 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 82442 0 0 0 28203 6 0 0 20 0 1 0 59556196 89206784 15766 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5046284 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 21779 15766 845 435 0 15142 0
Current children cumulated CPU time: 282.09 s
Current children cumulated vsize: 87116 KiB
Current children cumulated memory: 63064 KiB

[startup+342.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/181 15043
/proc/meminfo: memFree=19751336/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=87116 memory=63280 CPUtime=342.07 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 89402 0 0 0 34201 6 0 0 20 0 1 0 59556196 89206784 15820 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5139312 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 21779 15820 845 435 0 15142 0
Current children cumulated CPU time: 342.07 s
Current children cumulated vsize: 87116 KiB
Current children cumulated memory: 63280 KiB

[startup+402.3 s]
/proc/loadavg: 2.25 2.13 2.09 3/181 15045
/proc/meminfo: memFree=19750236/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94296 memory=63424 CPUtime=402.05 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 96597 0 0 0 40199 6 0 0 20 0 1 0 59556196 96559104 15856 18446744073709551615 4194304 5972588 140733947431680 140733947428840 5048020 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23574 15856 845 435 0 16937 0
Current children cumulated CPU time: 402.05 s
Current children cumulated vsize: 94296 KiB
Current children cumulated memory: 63424 KiB

[startup+462.3 s]
/proc/loadavg: 2.09 2.11 2.08 3/181 15047
/proc/meminfo: memFree=19750972/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=63516 CPUtime=462.03 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 103230 0 0 0 46197 6 0 0 20 0 1 0 59556196 96665600 15879 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5046284 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 15879 845 435 0 16963 0
Current children cumulated CPU time: 462.03 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 63516 KiB


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

/proc/15017/statm: 23600 16508 845 435 0 16963 0
Current children cumulated CPU time: 1721.66 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66032 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 15901
/proc/meminfo: memFree=31588036/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66032 CPUtime=1781.65 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 176237 0 0 0 178156 9 0 0 20 0 1 0 59556196 96665600 16508 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5139324 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16508 845 435 0 16963 0
Current children cumulated CPU time: 1781.65 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66032 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15917
/proc/meminfo: memFree=31583856/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66032 CPUtime=1841.63 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 176539 0 0 0 184154 9 0 0 20 0 1 0 59556196 96665600 16508 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5139312 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16508 845 435 0 16963 0
Current children cumulated CPU time: 1841.63 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66032 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15919
/proc/meminfo: memFree=31583924/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66032 CPUtime=1901.61 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 176840 0 0 0 190152 9 0 0 20 0 1 0 59556196 96665600 16508 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5046712 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16508 845 435 0 16963 0
Current children cumulated CPU time: 1901.61 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66032 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15921
/proc/meminfo: memFree=31587444/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66032 CPUtime=1961.59 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 177258 0 0 0 196150 9 0 0 20 0 1 0 59556196 96665600 16508 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5046284 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16508 845 435 0 16963 0
Current children cumulated CPU time: 1961.59 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66032 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 15935
/proc/meminfo: memFree=31585532/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66032 CPUtime=2021.58 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 177586 0 0 0 202149 9 0 0 20 0 1 0 59556196 96665600 16508 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5048024 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16508 845 435 0 16963 0
Current children cumulated CPU time: 2021.58 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66032 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 15937
/proc/meminfo: memFree=31585968/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66032 CPUtime=2081.56 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 177904 0 0 0 208147 9 0 0 20 0 1 0 59556196 96665600 16508 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5048580 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16508 845 435 0 16963 0
Current children cumulated CPU time: 2081.56 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66032 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 15940
/proc/meminfo: memFree=31586804/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66052 CPUtime=2141.54 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 178332 0 0 0 214145 9 0 0 20 0 1 0 59556196 96665600 16513 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5046704 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16513 845 435 0 16963 0
Current children cumulated CPU time: 2141.54 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66052 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 15942
/proc/meminfo: memFree=31586060/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66052 CPUtime=2201.53 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 178629 0 0 0 220144 9 0 0 20 0 1 0 59556196 96665600 16513 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5139312 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16513 845 435 0 16963 0
Current children cumulated CPU time: 2201.53 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66052 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 15944
/proc/meminfo: memFree=31586728/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66052 CPUtime=2261.51 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 178925 0 0 0 226142 9 0 0 20 0 1 0 59556196 96665600 16513 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5139281 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16513 845 435 0 16963 0
Current children cumulated CPU time: 2261.51 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66052 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 15947
/proc/meminfo: memFree=31586144/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66052 CPUtime=2321.49 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 179372 0 0 0 232140 9 0 0 20 0 1 0 59556196 96665600 16513 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5046704 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16513 845 435 0 16963 0
Current children cumulated CPU time: 2321.49 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66052 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 15949
/proc/meminfo: memFree=31586940/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66052 CPUtime=2381.47 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 179710 0 0 0 238138 9 0 0 20 0 1 0 59556196 96665600 16513 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5048024 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16513 845 435 0 16963 0
Current children cumulated CPU time: 2381.47 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66052 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 15966
/proc/meminfo: memFree=31581820/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66052 CPUtime=2441.46 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 180042 0 0 0 244137 9 0 0 20 0 1 0 59556196 96665600 16513 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5048042 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16513 845 435 0 16963 0
Current children cumulated CPU time: 2441.46 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66052 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 15995
/proc/meminfo: memFree=31580060/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66052 CPUtime=2501.44 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 180375 0 0 0 250135 9 0 0 20 0 1 0 59556196 96665600 16513 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5046280 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16513 845 435 0 16963 0
Current children cumulated CPU time: 2501.44 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66052 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/185 15996
/proc/meminfo: memFree=31580188/32770624 swapFree=67105588/67108860
[pid=15017] ppid=15014 vsize=94400 memory=66052 CPUtime=2519.14 cores=1,3,5,7
/proc/15017/stat : 15017 (cosoco) R 15014 15017 12560 0 -1 4202496 180671 0 0 0 251905 9 0 0 20 0 1 0 59556196 96665600 16513 18446744073709551615 4194304 5972588 140733947431680 140733947428904 5139312 0 0 1 8405026 0 0 0 17 1 0 0 11 0 0 8070896 8075904 16093184 140733947437508 140733947437608 140733947437608 140733947441102 0
/proc/15017/statm: 23600 16513 845 435 0 16963 0
Current children cumulated CPU time: 2519.14 s
Current children cumulated vsize: 94400 KiB
Current children cumulated memory: 66052 KiB

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

[startup+2520.01 s]
# the end of solver process 15017 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.06 s, system=0.099971 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.16
CPU user time (s): 2519.06
CPU system time (s): 0.099971
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 94400
Max. memory (cumulated for all children) (KiB): 66052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.06
system time used= 0.099971
maximum resident set size= 66120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 13341


# summary of solver processes directly reported to runsolver:
#   pid: 15017
#   total CPU time (s): 2519.16
#   total CPU user time (s): 2519.06
#   total CPU system time (s): 0.099971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.24036 second user time and 16.2798 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-12 23:19:26
IDJOB=4265966
IDBENCH=124392
IDSOLVER=2655
FILE ID=node126/4265966-1502573607
RUNJOBID= node126-1502565162-12624
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k6.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265966-1502573607/watcher-4265966-1502573607 -o /tmp/evaluation-result-4265966-1502573607/solver-4265966-1502573607 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12624 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4265966-1502573607.xml

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

MD5SUM BENCH= ccd62f28d001d5578c14e849049b60f5
RANDOM SEED=2019415663

node126.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.81
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.81
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.81
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.81
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:        19810056 kB
MemAvailable:   20130708 kB
Buffers:          230984 kB
Cached:           360964 kB
SwapCached:          524 kB
Active:         12363888 kB
Inactive:         110680 kB
Active(anon):   11829764 kB
Inactive(anon):    78100 kB
Active(file):     534124 kB
Inactive(file):    32580 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              2340 kB
Writeback:             0 kB
AnonPages:      11872192 kB
Mapped:            47144 kB
Shmem:             25248 kB
Slab:             165196 kB
SReclaimable:     139564 kB
SUnreclaim:        25632 kB
KernelStack:        3264 kB
PageTables:        28076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13396940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3389440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node126 at 2017-08-13 00:01:26