Trace number 4409723

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 2.0 parallelSAT (TO)17 20125.5 2520.02

General information on the benchmark

NameBacp/Bacp-m2/
Bacp-m2-12b_c18.xml
MD5SUM121f2d819dbc4bca8c6410c9ab5baa2a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark2520.02
Satisfiable
(Un)Satisfiability was proved
Number of variables882
Number of constraints947
Number of domains4
Minimum domain size2
Maximum domain size12
Distribution of domain sizes[{"size":2,"count":792},{"size":7,"count":12},{"size":11,"count":12},{"size":12,"count":66}]
Minimum variable degree1
Maximum variable degree18
Distribution of variable degrees[{"degree":1,"count":12},{"degree":2,"count":12},{"degree":4,"count":792},{"degree":12,"count":11},{"degree":13,"count":20},{"degree":14,"count":15},{"degree":15,"count":9},{"degree":16,"count":6},{"degree":17,"count":1},{"degree":18,"count":4}]
Minimum constraint arity2
Maximum constraint arity67
Distribution of constraint arities[{"arity":2,"count":857},{"arity":12,"count":66},{"arity":67,"count":24}]
Number of extensional constraints792
Number of intensional constraints65
Distribution of constraint types[{"type":"extension","count":792},{"type":"intension","count":65},{"type":"sum","count":90}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c
0.00/0.09	c This is cosoco 2.00 --  
0.00/0.09	c
0.00/0.09	c command line: cosoco -model -nbcores=8 HOME/instance-4409723-1569841155.xml 
0.00/0.09	c enable optimization
0.00/0.09	c ========================================[ Problem Statistics ]===========================================
0.00/0.09	c |                                                                                                       
0.00/0.09	c |  Parse time        :         0.06 s 
0.00/0.09	c |
0.00/0.09	c |               Variables: 882
0.00/0.09	c |            Domain Sizes: 2..12
0.00/0.09	c |
0.00/0.09	c |             Constraints: 948
0.00/0.09	c |                   Arity: 2..67  -- Binary: 857
0.00/0.09	c | 
0.00/0.09	c |                   Types: 
0.00/0.09	c |                          (X - Y < k): 65
0.00/0.09	c |                          Extension: 792  (nb tuples: 12..12) -- (shared: 6240)
0.00/0.09	c |                          Max constant: 1
0.00/0.09	c |                          Sum: 90
0.00/0.09	c |                          
0.00/0.09	c |               Objective: Minimize Max constant
0.00/0.09	
0.00/0.09	c =========================================================================================================
0.00/0.09	c Parallel mode: Portfolio
0.00/0.09	c [pFactory][Group N°0] created (threads:8).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.00/0.09	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.00/0.09	c [pFactory][Group N°0] concurrent mode: enabled.
0.00/0.09	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.00/0.09	c [pFactory][Group N°0] task 7 launched on thread 5.
0.00/0.09	c [pFactory][Group N°0] task 6 launched on thread 0.
0.00/0.09	c [pFactory][Group N°0] task 5 launched on thread 1.
0.00/0.09	c [pFactory][Group N°0] task 4 launched on thread 2.
0.00/0.09	c [pFactory][Group N°0] task 3 launched on thread 6.
0.00/0.09	c [pFactory][Group N°0] task 2 launched on thread 3.
0.00/0.09	c [pFactory][Group N°0] task 1 launched on thread 7.
0.00/0.09	c [pFactory][Group N°0] task 0 launched on thread 4.
0.00/0.09	o 20
0.00/0.09	o 19
0.00/0.10	o 18
0.00/0.11	o 17
20125.43/2520.01	
20125.43/2520.01	c *** INTERRUPTED ***
20125.43/2520.01	c call to solver        : 2
20125.43/2520.01	c
20125.43/2520.01	c restarts              : 524289      
20125.43/2520.01	c conflicts             : 6963498      (346 /sec)
20125.43/2520.01	c decisions             : 43999430     (2186 /sec)
20125.43/2520.01	c propagations          : 1163175895  (57797 /sec)
20125.43/2520.01	c root propagations     : 388         
20125.43/2520.01	c filter calls          : 3960646769     (196802 /sec)
20125.43/2520.01	c useless filter calls  : 3341345959     (84 %)
20125.43/2520.01	c Memory used           : 637.14 MB
20125.43/2520.01	c Best bound time (wc)  : 0.107709 s
20125.43/2520.01	c CPU time              : 20125.1 s
20125.43/2520.01	c real time             : 2520.02 s
20125.43/2520.01	
20125.43/2520.01	s SATISFIABLE
20125.43/2520.01	c Best value found: 17
20125.43/2520.01	
20125.43/2520.01	
20125.43/2520.01	v <instantiation type='solution' cost='17'>
20125.43/2520.01	v <list>nco[0] nco[10] nco[11] nco[1] nco[2] nco[3] nco[4] nco[5] nco[6] nco[7] nco[8] nco[9] ncr[0] ncr[10] ncr[11] ncr[1] ncr[2] ncr[3] ncr[4] ncr[5] ncr[6] ncr[7] ncr[8] ncr[9] pc[0][0] pc[0][10] pc[0][11] pc[0][12] pc[0][13] pc[0][14] pc[0][15] pc[0][16] pc[0][17] pc[0][18] pc[0][19] pc[0][1] pc[0][20] pc[0][21] pc[0][22] pc[0][23] pc[0][24] pc[0][25] pc[0][26] pc[0][27] pc[0][28] pc[0][29] pc[0][2] pc[0][30] pc[0][31] pc[0][32] pc[0][33] pc[0][34] pc[0][35] pc[0][36] pc[0][37] pc[0][38] pc[0][39] pc[0][3] pc[0][40] pc[0][41] pc[0][42] pc[0][43] pc[0][44] pc[0][45] pc[0][46] pc[0][47] pc[0][48] pc[0][49] pc[0][4] pc[0][50] pc[0][51] pc[0][52] pc[0][53] pc[0][54] pc[0][55] pc[0][56] pc[0][57] pc[0][58] pc[0][59] pc[0][5] pc[0][60] pc[0][61] pc[0][62] pc[0][63] pc[0][64] pc[0][65] pc[0][6] pc[0][7] pc[0][8] pc[0][9] pc[10][0] pc[10][10] pc[10][11] pc[10][12] pc[10][13] pc[10][14] pc[10][15] pc[10][16] pc[10][17] pc[10][18] pc[10][19] pc[10][1] pc[10][20] pc[10][21] pc[10][22] pc[10][23] pc[10][24] pc[10][25] pc[10][26] pc[10][27] pc[10][28] pc[10][29] pc[10][2] pc[10][30] pc[10][31] pc[10][32] pc[10][33] pc[10][34] pc[10][35] pc[10][36] pc[10][37] pc[10][38] pc[10][39] pc[10][3] pc[10][40] pc[10][41] pc[10][42] pc[10][43] pc[10][44] pc[10][45] pc[10][46] pc[10][47] pc[10][48] pc[10][49] pc[10][4] pc[10][50] pc[10][51] pc[10][52] pc[10][53] pc[10][54] pc[10][55] pc[10][56] pc[10][57] pc[10][58] pc[10][59] pc[10][5] pc[10][60] pc[10][61] pc[10][62] pc[10][63] pc[10][64] pc[10][65] pc[10][6] pc[10][7] pc[10][8] pc[10][9] pc[11][0] pc[11][10] pc[11][11] pc[11][12] pc[11][13] pc[11][14] pc[11][15] pc[11][16] pc[11][17] pc[11][18] pc[11][19] pc[11][1] pc[11][20] pc[11][21] pc[11][22] pc[11][23] pc[11][24] pc[11][25] pc[11][26] pc[11][27] pc[11][28] pc[11][29] pc[11][2] pc[11][30] pc[11][31] pc[11][32] pc[11][33] pc[11][34] pc[11][35] pc[11][36] pc[11][37] pc[11][38] pc[11][39] pc[11][3] pc[11][40] pc[11][41] pc[11][42] pc[11][43] pc[11][44] pc[11][45] pc[11][46] pc[11][47] pc[11][48] pc[11][49] pc[11][4] pc[11][50] pc[11][51] pc[11][52] pc[11][53] pc[11][54] pc[11][55] pc[11][56] pc[11][57] pc[11][58] pc[11][59] pc[11][5] pc[11][60] pc[11][61] pc[11][62] pc[11][63] pc[11][64] pc[11][65] pc[11][6] pc[11][7] pc[11][8] pc[11][9] pc[1][0] pc[1][10] pc[1][11] pc[1][12] pc[1][13] pc[1][14] pc[1][15] pc[1][16] pc[1][17] pc[1][18] pc[1][19] pc[1][1] pc[1][20] pc[1][21] pc[1][22] pc[1][23] pc[1][24] pc[1][25] pc[1][26] pc[1][27] pc[1][28] pc[1][29] pc[1][2] pc[1][30] pc[1][31] pc[1][32] pc[1][33] pc[1][34] pc[1][35] pc[1][36] pc[1][37] pc[1][38] pc[1][39] pc[1][3] pc[1][40] pc[1][41] pc[1][42] pc[1][43] pc[1][44] pc[1][45] pc[1][46] pc[1][47] pc[1][48] pc[1][49] pc[1][4] pc[1][50] pc[1][51] pc[1][52] pc[1][53] pc[1][54] pc[1][55] pc[1][56] pc[1][57] pc[1][58] pc[1][59] pc[1][5] pc[1][60] pc[1][61] pc[1][62] pc[1][63] pc[1][64] pc[1][65] pc[1][6] pc[1][7] pc[1][8] pc[1][9] pc[2][0] pc[2][10] pc[2][11] pc[2][12] pc[2][13] pc[2][14] pc[2][15] pc[2][16] pc[2][17] pc[2][18] pc[2][19] pc[2][1] pc[2][20] pc[2][21] pc[2][22] pc[2][23] pc[2][24] pc[2][25] pc[2][26] pc[2][27] pc[2][28] pc[2][29] pc[2][2] pc[2][30] pc[2][31] pc[2][32] pc[2][33] pc[2][34] pc[2][35] pc[2][36] pc[2][37] pc[2][38] pc[2][39] pc[2][3] pc[2][40] pc[2][41] pc[2][42] pc[2][43] pc[2][44] pc[2][45] pc[2][46] pc[2][47] pc[2][48] pc[2][49] pc[2][4] pc[2][50] pc[2][51] pc[2][52] pc[2][53] pc[2][54] pc[2][55] pc[2][56] pc[2][57] pc[2][58] pc[2][59] pc[2][5] pc[2][60] pc[2][61] pc[2][62] pc[2][63] pc[2][64] pc[2][65] pc[2][6] pc[2][7] pc[2][8] pc[2][9] pc[3][0] pc[3][10] pc[3][11] pc[3][12] pc[3][13] pc[3][14] pc[3][15] pc[3][16] pc[3][17] pc[3][18] pc[3][19] pc[3][1] pc[3][20] pc[3][21] pc[3][22] pc[3][23] pc[3][24] pc[3][25] pc[3][26] pc[3][27] pc[3][28] pc[3][29] pc[3][2] pc[3][30] pc[3][31] pc[3][32] pc[3][33] pc[3][34] pc[3][35] pc[3][36] pc[3][37] pc[3][38] pc[3][39] pc[3][3] pc[3][40] pc[3][41] pc[3][42] pc[3][43] pc[3][44] pc[3][45] pc[3][46] pc[3][47] pc[3][48] pc[3][49] pc[3][4] pc[3][50] pc[3][51] pc[3][52] pc[3][53] pc[3][54] pc[3][55] pc[3][56] pc[3][57] pc[3][58] pc[3][59] pc[3][5] pc[3][60] pc[3][61] pc[3][62] pc[3][63] pc[3][64] pc[3][65] pc[3][6] pc[3][7] pc[3][8] pc[3][9] pc[4][0] pc[4][10] pc[4][11] pc[4][12] pc[4][13] pc[4][14] pc[4][15] pc[4][16] pc[4][17] pc[4][18] pc[4][19] pc[4][1] pc[4][20] pc[4][21] pc[4][22] pc[4][23] pc[4][24] pc[4][25] pc[4][26] pc[4][27] pc[4][28] pc[4][29] pc[4][2] pc[4][30] pc[4][31] pc[4][32] pc[4][33] pc[4][34] pc[4][35] pc[4][36] pc[4][37] pc[4][38] pc[4][39] pc[4][3] pc[4][40] pc[4][41] pc[4][42] pc[4][43] pc[4][44] pc[4][45] pc[4][46] pc[4][47] pc[4][48] pc[4][49] pc[4][4] pc[4][50] pc[4][51] pc[4][52] pc[4][53] pc[4][54] pc[4][55] pc[4][56] pc[4][57] pc[4][58] pc[4][59] pc[4][5] pc[4][60] pc[4][61] pc[4][62] pc[4][63] pc[4][64] pc[4][65] pc[4][6] pc[4][7] pc[4][8] pc[4][9] pc[5][0] pc[5][10] pc[5][11] pc[5][12] pc[5][13] pc[5][14] pc[5][15] pc[5][16] pc[5][17] pc[5][18] pc[5][19] pc[5][1] pc[5][20] pc[5][21] pc[5][22] pc[5][23] pc[5][24] pc[5][25] pc[5][26] pc[5][27] pc[5][28] pc[5][29] pc[5][2] pc[5][30] pc[5][31] pc[5][32] pc[5][33] pc[5][34] pc[5][35] pc[5][36] pc[5][37] pc[5][38] pc[5][39] pc[5][3] pc[5][40] pc[5][41] pc[5][42] pc[5][43] pc[5][44] pc[5][45] pc[5][46] pc[5][47] pc[5][48] pc[5][49] pc[5][4] pc[5][50] pc[5][51] pc[5][52] pc[5][53] pc[5][54] pc[5][55] pc[5][56] pc[5][57] pc[5][58] pc[5][59] pc[5][5] pc[5][60] pc[5][61] pc[5][62] pc[5][63] pc[5][64] pc[5][65] pc[5][6] pc[5][7] pc[5][8] pc[5][9] pc[6][0] pc[6][10] pc[6][11] pc[6][12] pc[6][13] pc[6][14] pc[6][15] pc[6][16] pc[6][17] pc[6][18] pc[6][19] pc[6][1] pc[6][20] pc[6][21] pc[6][22] pc[6][23] pc[6][24] pc[6][25] pc[6][26] pc[6][27] pc[6][28] pc[6][29] pc[6][2] pc[6][30] pc[6][31] pc[6][32] pc[6][33] pc[6][34] pc[6][35] pc[6][36] pc[6][37] pc[6][38] pc[6][39] pc[6][3] pc[6][40] pc[6][41] pc[6][42] pc[6][43] pc[6][44] pc[6][45] pc[6][46] pc[6][47] pc[6][48] pc[6][49] pc[6][4] pc[6][50] pc[6][51] pc[6][52] pc[6][53] pc[6][54] pc[6][55] pc[6][56] pc[6][57] pc[6][58] pc[6][59] pc[6][5] pc[6][60] pc[6][61] pc[6][62] pc[6][63] pc[6][64] pc[6][65] pc[6][6] pc[6][7] pc[6][8] pc[6][9] pc[7][0] pc[7][10] pc[7][11] pc[7][12] pc[7][13] pc[7][14] pc[7][15] pc[7][16] pc[7][17] pc[7][18] pc[7][19] pc[7][1] pc[7][20] pc[7][21] pc[7][22] pc[7][23] pc[7][24] pc[7][25] pc[7][26] pc[7][27] pc[7][28] pc[7][29] pc[7][2] pc[7][30] pc[7][31] pc[7][32] pc[7][33] pc[7][34] pc[7][35] pc[7][36] pc[7][37] pc[7][38] pc[7][39] pc[7][3] pc[7][40] pc[7][41] pc[7][42] pc[7][43] pc[7][44] pc[7][45] pc[7][46] pc[7][47] pc[7][48] pc[7][49] pc[7][4] pc[7][50] pc[7][51] pc[7][52] pc[7][53] pc[7][54] pc[7][55] pc[7][56] pc[7][57] pc[7][58] pc[7][59] pc[7][5] pc[7][60] pc[7][61] pc[7][62] pc[7][63] pc[7][64] pc[7][65] pc[7][6] pc[7][7] pc[7][8] pc[7][9] pc[8][0] pc[8][10] pc[8][11] pc[8][12] pc[8][13] pc[8][14] pc[8][15] pc[8][16] pc[8][17] pc[8][18] pc[8][19] pc[8][1] pc[8][20] pc[8][21] pc[8][22] pc[8][23] pc[8][24] pc[8][25] pc[8][26] pc[8][27] pc[8][28] pc[8][29] pc[8][2] pc[8][30] pc[8][31] pc[8][32] pc[8][33] pc[8][34] pc[8][35] pc[8][36] pc[8][37] pc[8][38] pc[8][39] pc[8][3] pc[8][40] pc[8][41] pc[8][42] pc[8][43] pc[8][44] pc[8][45] pc[8][46] pc[8][47] pc[8][48] pc[8][49] pc[8][4] pc[8][50] pc[8][51] pc[8][52] pc[8][53] pc[8][54] pc[8][55] pc[8][56] pc[8][57] pc[8][58] pc[8][59] pc[8][5] pc[8][60] pc[8][61] pc[8][62] pc[8][63] pc[8][64] pc[8][65] pc[8][6] pc[8][7] pc[8][8] pc[8][9] pc[9][0] pc[9][10] pc[9][11] pc[9][12] pc[9][13] pc[9][14] pc[9][15] pc[9][16] pc[9][17] pc[9][18] pc[9][19] pc[9][1] pc[9][20] pc[9][21] pc[9][22] pc[9][23] pc[9][24] pc[9][25] pc[9][26] pc[9][27] pc[9][28] pc[9][29] pc[9][2] pc[9][30] pc[9][31] pc[9][32] pc[9][33] pc[9][34] pc[9][35] pc[9][36] pc[9][37] pc[9][38] pc[9][39] pc[9][3] pc[9][40] pc[9][41] pc[9][42] pc[9][43] pc[9][44] pc[9][45] pc[9][46] pc[9][47] pc[9][48] pc[9][49] pc[9][4] pc[9][50] pc[9][51] pc[9][52] pc[9][53] pc[9][54] pc[9][55] pc[9][56] pc[9][57] pc[9][58] pc[9][59] pc[9][5] pc[9][60] pc[9][61] pc[9][62] pc[9][63] pc[9][64] pc[9][65] pc[9][6] pc[9][7] pc[9][8] pc[9][9] prd[0] prd[10] prd[11] prd[12] prd[13] prd[14] prd[15] prd[16] prd[17] prd[18] prd[19] prd[1] prd[20] prd[21] prd[22] prd[23] prd[24] prd[25] prd[26] prd[27] prd[28] prd[29] prd[2] prd[30] prd[31] prd[32] prd[33] prd[34] prd[35] prd[36] prd[37] prd[38] prd[39] prd[3] prd[40] prd[41] prd[42] prd[43] prd[44] prd[45] prd[46] prd[47] prd[48] prd[49] prd[4] prd[50] prd[51] prd[52] prd[53] prd[54] prd[55] prd[56] prd[57] prd[58] prd[59] prd[5] prd[60] prd[61] prd[62] prd[63] prd[64] prd[65] prd[6] prd[7] prd[8] prd[9] </list>
20125.43/2520.02	v <values>6 6 8 5 5 5 5 5 6 5 5 5 17 17 17 17 17 17 17 17 17 17 17 17 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 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 1 0 0 0 0 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 1 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 0 0 0 1 1 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 1 0 1 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 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 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 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 11 4 2 3 0 6 7 3 3 3 7 10 6 11 1 2 11 0 9 9 11 8 3 10 8 8 2 2 10 1 6 1 11 11 2 7 6 6 5 0 5 1 7 5 9 7 10 4 4 5 6 0 8 4 11 5 0 9 0 10 1 11 10 4 9 8 </values>
20125.43/2520.02	v </instantiation>
20125.43/2520.02

Verifier Data 

OK	17

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409723-1569841155/watcher-4409723-1569841155 -o /tmp/evaluation-result-4409723-1569841155/solver-4409723-1569841155 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569833606-31982 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409723-1569841155.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32675, runsolver pid=32672
Current StackSize limit: 8192 KiB


[startup+0.107252 s]*
/proc/loadavg: 6.48 7.17 4.85 9/198 32684
/proc/meminfo: memFree=31765240/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=39280 CPUtime=0.39 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 10428 0 0 0 38 1 0 0 20 0 9 0 560369209 668082176 9820 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 9820 896 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=4134692831991786133 CPUtime=0.04 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 52 0 0 0 4 0 0 0 20 0 9 0 560369216 668082176 9820 33554432000 4194304 6211132 140728909976272 140150234556856 5009195 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=0 CPUtime=0.04 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 44 0 0 0 4 0 0 0 20 0 9 0 560369216 668082176 9820 33554432000 4194304 6211132 140728909976272 140150226164312 5149718 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=139951494096512 CPUtime=0.04 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 47 0 0 0 4 0 0 0 20 0 9 0 560369216 668082176 9820 33554432000 4194304 6211132 140728909976272 140150217771544 5250482 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=0 CPUtime=0.04 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 62 0 0 0 4 0 0 0 20 0 9 0 560369216 668082176 9820 33554432000 4194304 6211132 140728909976272 140150209379600 5148719 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=0 CPUtime=0.04 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 57 0 0 0 4 0 0 0 20 0 9 0 560369216 668082176 9820 33554432000 4194304 6211132 140728909976272 140150200986200 5389460 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=0 CPUtime=0.04 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 56 0 0 0 4 0 0 0 20 0 9 0 560369216 668082176 9820 33554432000 4194304 6211132 140728909976272 140150192593432 5250311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=-1 CPUtime=0.04 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 61 0 0 0 4 0 0 0 20 0 9 0 560369216 668082176 9820 33554432000 4194304 6211132 140728909976272 140150184201488 5397255 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=0 CPUtime=0.03 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 54 0 0 0 3 0 0 0 20 0 9 0 560369216 668082176 9820 33554432000 4194304 6211132 140728909976272 140150175808232 5397248 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 39280 KiB

[startup+0.210253 s]*
/proc/loadavg: 6.48 7.17 4.85 9/198 32684
/proc/meminfo: memFree=31764976/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=39540 CPUtime=1.2 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 10451 0 0 0 119 1 0 0 20 0 9 0 560369209 668082176 9885 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 9885 896 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=6935054825532540783 CPUtime=0.14 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 53 0 0 0 14 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150234556856 5149647 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=0 CPUtime=0.14 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 52 0 0 0 14 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150226164312 5148887 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=139951494096512 CPUtime=0.14 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 51 0 0 0 14 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150217771448 5151144 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=0 CPUtime=0.14 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 70 0 0 0 14 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150209379600 5250482 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=0 CPUtime=0.14 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 57 0 0 0 14 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150200986200 5148711 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=0 CPUtime=0.14 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 58 0 0 0 14 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150192593336 5250499 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=-1 CPUtime=0.14 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 61 0 0 0 14 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150184201488 5250316 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=0 CPUtime=0.12 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 54 0 0 0 12 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150175808232 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 39540 KiB

[startup+0.310254 s]*
/proc/loadavg: 6.48 7.17 4.85 9/198 32684
/proc/meminfo: memFree=31764976/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=39540 CPUtime=1.99 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 10455 0 0 0 198 1 0 0 20 0 9 0 560369209 668082176 9885 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 9885 896 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=6935054825532540783 CPUtime=0.24 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 53 0 0 0 24 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150234556856 5148761 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=2241 CPUtime=0.24 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 53 0 0 0 24 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150226164312 5151098 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=139951494096512 CPUtime=0.24 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 53 0 0 0 24 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150217771544 5250499 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=2240 CPUtime=0.24 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 71 0 0 0 24 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150209379600 5250256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=2241 CPUtime=0.24 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 57 0 0 0 24 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150200986200 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=2241 CPUtime=0.24 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 58 0 0 0 24 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150192593336 5193776 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=-1 CPUtime=0.24 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 61 0 0 0 24 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150184201488 5250325 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=2209 CPUtime=0.21 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 54 0 0 0 21 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150175808232 5148711 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 39540 KiB

[startup+0.701247 s]
/proc/loadavg: 6.48 7.17 4.85 9/198 32684
/proc/meminfo: memFree=31764976/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=39540 CPUtime=5.02 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 10459 0 0 0 501 1 0 0 20 0 9 0 560369209 668082176 9885 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 9885 896 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=0 CPUtime=0.62 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 53 0 0 0 62 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150234557160 5250311 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=0 CPUtime=0.62 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 55 0 0 0 62 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150226164248 5148887 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=0 CPUtime=0.62 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 54 0 0 0 62 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150217771448 5148711 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=0 CPUtime=0.62 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 72 0 0 0 62 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150209378840 5149309 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=1128 CPUtime=0.62 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 57 0 0 0 62 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150200986344 5149786 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=772 CPUtime=0.62 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 58 0 0 0 62 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150192593336 5150190 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=4032 CPUtime=0.62 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 61 0 0 0 62 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150184200888 5149690 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=948 CPUtime=0.57 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 54 0 0 0 57 0 0 0 20 0 9 0 560369216 668082176 9885 33554432000 4194304 6211132 140728909976272 140150175808232 5148725 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 5.02 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 39540 KiB

[startup+1.50125 s]
/proc/loadavg: 6.48 7.17 4.85 9/198 32684
/proc/meminfo: memFree=31764772/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=41164 CPUtime=11.41 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 19529 0 0 0 1136 5 0 0 20 0 9 0 560369209 668082176 10291 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 10291 905 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=6944656592455359580 CPUtime=1.41 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 995 0 0 0 141 0 0 0 20 0 9 0 560369216 668082176 10291 33554432000 4194304 6211132 140728909976272 140150234557160 5148711 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=6943526294502006880 CPUtime=1.42 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 1828 0 0 0 142 0 0 0 20 0 9 0 560369216 668082176 10291 33554432000 4194304 6211132 140728909976272 140150226164152 5193780 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=-2672971631320983069 CPUtime=1.41 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 1022 0 0 0 141 0 0 0 20 0 9 0 560369216 668082176 10291 33554432000 4194304 6211132 140728909976272 140150217771624 5008971 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=122 CPUtime=1.42 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 1969 0 0 0 142 0 0 0 20 0 9 0 560369216 668082176 10291 33554432000 4194304 6211132 140728909976272 140150209378840 5148716 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=121 CPUtime=1.41 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 1268 0 0 0 141 0 0 0 20 0 9 0 560369216 668082176 10291 33554432000 4194304 6211132 140728909976272 140150200986344 5149224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=122 CPUtime=1.42 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 783 0 0 0 142 0 0 0 20 0 9 0 560369216 668082176 10291 33554432000 4194304 6211132 140728909976272 140150192593336 5149080 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=122 CPUtime=1.42 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 830 0 0 0 142 0 0 0 20 0 9 0 560369216 668082176 10291 33554432000 4194304 6211132 140728909976272 140150184200888 5149249 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=115 CPUtime=1.35 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 839 0 0 0 135 0 0 0 20 0 9 0 560369216 668082176 10291 33554432000 4194304 6211132 140728909976272 140150175808232 5149318 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 11.41 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 41164 KiB

[startup+3.11025 s]
/proc/loadavg: 6.48 7.17 4.85 9/198 32684
/proc/meminfo: memFree=31764896/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=41196 CPUtime=24.26 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 27964 0 0 0 2420 6 0 0 20 0 9 0 560369209 668082176 10299 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 10299 905 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=41164 CPUtime=3.02 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 2436 0 0 0 302 0 0 0 20 0 9 0 560369216 668082176 10299 33554432000 4194304 6211132 140728909976272 140150234556856 5148679 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=56 CPUtime=3.03 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 2506 0 0 0 303 0 0 0 20 0 9 0 560369216 668082176 10299 33554432000 4194304 6211132 140728909976272 140150226164152 5148716 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=0 CPUtime=3.02 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 1682 0 0 0 302 0 0 0 20 0 9 0 560369216 668082176 10299 33554432000 4194304 6211132 140728909976272 140150217771544 5250256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=0 CPUtime=3.03 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 3071 0 0 0 303 0 0 0 20 0 9 0 560369216 668082176 10299 33554432000 4194304 6211132 140728909976272 140150209378840 5149229 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=242 CPUtime=3.03 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 2691 0 0 0 302 1 0 0 20 0 9 0 560369216 668082176 10299 33554432000 4194304 6211132 140728909976272 140150200986344 5148707 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=242 CPUtime=3.03 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 1473 0 0 0 303 0 0 0 20 0 9 0 560369216 668082176 10299 33554432000 4194304 6211132 140728909976272 140150192593336 5149699 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=242 CPUtime=3.03 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 1958 0 0 0 303 0 0 0 20 0 9 0 560369216 668082176 10299 33554432000 4194304 6211132 140728909976272 140150184200888 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=41164 CPUtime=2.94 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 2154 0 0 0 294 0 0 0 20 0 9 0 560369216 668082176 10299 33554432000 4194304 6211132 140728909976272 140150175808232 5150143 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 24.26 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 41196 KiB

[startup+6.30125 s]
/proc/loadavg: 6.68 7.20 4.88 9/198 32684
/proc/meminfo: memFree=31765516/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=41220 CPUtime=49.74 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 46069 0 0 0 4965 9 0 0 20 0 9 0 560369209 668082176 10305 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 10305 905 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=0 CPUtime=6.21 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 4555 0 0 0 620 1 0 0 20 0 9 0 560369216 668082176 10305 33554432000 4194304 6211132 140728909976272 140150234556856 5148711 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=0 CPUtime=6.21 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 4717 0 0 0 621 0 0 0 20 0 9 0 560369216 668082176 10305 33554432000 4194304 6211132 140728909976272 140150226164248 5017296 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=139955789063807 CPUtime=6.22 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 3820 0 0 0 621 1 0 0 20 0 9 0 560369216 668082176 10305 33554432000 4194304 6211132 140728909976272 140150217771544 5148711 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=3624 CPUtime=6.21 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 5826 0 0 0 621 0 0 0 20 0 9 0 560369216 668082176 10305 33554432000 4194304 6211132 140728909976272 140150209378840 5250499 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0

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

/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 36114 0 0 0 226088 4 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150217771448 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=41384 CPUtime=2261.63 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 45814 0 0 0 226158 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150209378840 5250273 0 0 4096 8405026 0 0 0 -1 3 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=41384 CPUtime=2242.56 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 45442 0 0 0 224251 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150200986344 5150006 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=41384 CPUtime=2261.52 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 36897 0 0 0 226146 6 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150192593608 5193776 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=41384 CPUtime=2261.96 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 40257 0 0 0 226193 3 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150184200888 5148711 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=3624 CPUtime=2256.83 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 42123 0 0 0 225678 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150175807928 5017221 0 0 4096 8405026 0 0 0 -1 2 0 0 3 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 18067.2 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 41384 KiB

[startup+2322.3 s]
/proc/loadavg: 8.04 8.15 7.91 9/198 420
/proc/meminfo: memFree=31767868/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=41384 CPUtime=18546.3 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 338425 0 0 0 1854593 42 0 0 20 0 9 0 560369209 668082176 10346 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 10346 905 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=41384 CPUtime=2320.39 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 40738 0 0 0 232034 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150234556952 5017168 0 0 4096 8405026 0 0 0 -1 4 0 0 3 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=41384 CPUtime=2320.89 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 39487 0 0 0 232084 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150226164248 5017277 0 0 4096 8405026 0 0 0 -1 2 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=41384 CPUtime=2320.91 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 36432 0 0 0 232087 4 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150217771448 5149088 0 0 4096 8405026 0 0 0 -1 0 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=41384 CPUtime=2321.63 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 46114 0 0 0 232158 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150209378840 5250256 0 0 4096 8405026 0 0 0 -1 3 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=41384 CPUtime=2302.55 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 45610 0 0 0 230250 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150200986344 5149152 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=41384 CPUtime=2321.52 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 37123 0 0 0 232146 6 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150192593608 5250283 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=41384 CPUtime=2321.95 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 40476 0 0 0 232192 3 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150184200888 5148716 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=41384 CPUtime=2316.36 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 42450 0 0 0 231631 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150175807928 5148716 0 0 4096 8405026 0 0 0 -1 7 0 0 3 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 18546.3 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 41384 KiB

[startup+2382.3 s]
/proc/loadavg: 8.01 8.12 7.92 9/198 423
/proc/meminfo: memFree=31769044/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=41384 CPUtime=19025.6 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 347708 0 0 0 1902512 43 0 0 20 0 9 0 560369209 668082176 10346 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 10346 905 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=41384 CPUtime=2380.37 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 41997 0 0 0 238032 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150234556952 5409872 0 0 4096 8405026 0 0 0 -1 4 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=41384 CPUtime=2380.88 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 40434 0 0 0 238083 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150226164248 5389460 0 0 4096 8405026 0 0 0 -1 2 0 0 5 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=1428 CPUtime=2380.91 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 37458 0 0 0 238087 4 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150217771448 5250493 0 0 4096 8405026 0 0 0 -1 0 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=41384 CPUtime=2381.62 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 47528 0 0 0 238157 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150209378840 5148882 0 0 4096 8405026 0 0 0 -1 3 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=41384 CPUtime=2362.55 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 46883 0 0 0 236250 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150200986344 5250491 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=41384 CPUtime=2381.51 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 38147 0 0 0 238145 6 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150192593608 5149266 0 0 4096 8405026 0 0 0 -1 6 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=41384 CPUtime=2381.95 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 41726 0 0 0 238192 3 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150184200888 5148711 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=41384 CPUtime=2375.63 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 43540 0 0 0 237558 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150175807928 5148716 0 0 4096 8405026 0 0 0 -1 7 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 19025.5 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 41384 KiB

[startup+2442.3 s]
/proc/loadavg: 8.43 8.21 7.96 9/199 428
/proc/meminfo: memFree=31768336/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=41384 CPUtime=19504.8 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 348796 0 0 0 1950433 43 0 0 20 0 9 0 560369209 668082176 10346 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 10346 905 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=41384 CPUtime=2440.35 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 42124 0 0 0 244030 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150234556952 5148716 0 0 4096 8405026 0 0 0 -1 4 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=41384 CPUtime=2440.88 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 40579 0 0 0 244083 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150226164248 5148716 0 0 4096 8405026 0 0 0 -1 2 0 0 5 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=41384 CPUtime=2440.9 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 37594 0 0 0 244086 4 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150217771448 5250266 0 0 4096 8405026 0 0 0 -1 0 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=41384 CPUtime=2441.62 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 47689 0 0 0 244157 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150209378840 5151090 0 0 4096 8405026 0 0 0 -1 3 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=41384 CPUtime=2422.54 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 47021 0 0 0 242249 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150200986344 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=41384 CPUtime=2441.5 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 38298 0 0 0 244144 6 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150192593608 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=41384 CPUtime=2441.94 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 41833 0 0 0 244191 3 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150184200888 5148711 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=41384 CPUtime=2434.9 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 43663 0 0 0 243485 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150175807928 5148683 0 0 4096 8405026 0 0 0 -1 7 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 19504.8 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 41384 KiB

[startup+2502.3 s]
/proc/loadavg: 8.70 8.32 8.01 9/198 431
/proc/meminfo: memFree=31767820/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=41384 CPUtime=19984 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 349845 0 0 0 1998355 43 0 0 20 0 9 0 560369209 668082176 10346 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 10346 905 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=41384 CPUtime=2500.33 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 42287 0 0 0 250028 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150234556952 5149040 0 0 4096 8405026 0 0 0 -1 4 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=41384 CPUtime=2500.88 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 40741 0 0 0 250083 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150226164248 5193776 0 0 4096 8405026 0 0 0 -1 2 0 0 5 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=41384 CPUtime=2500.9 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 37687 0 0 0 250085 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150217771448 5250273 0 0 4096 8405026 0 0 0 -1 0 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=41384 CPUtime=2501.61 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 47818 0 0 0 250156 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150209378840 5149152 0 0 4096 8405026 0 0 0 -1 3 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=41384 CPUtime=2482.53 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 47105 0 0 0 248248 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150200986344 5149050 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=41384 CPUtime=2501.5 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 38394 0 0 0 250144 6 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150192593608 5250311 0 0 4096 8405026 0 0 0 -1 6 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=41384 CPUtime=2501.94 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 42054 0 0 0 250191 3 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150184200888 5250330 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=41384 CPUtime=2494.16 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 43764 0 0 0 249411 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150175807928 5250482 0 0 4096 8405026 0 0 0 -1 7 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 19984 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 41384 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.63 8.33 8.02 9/198 431
/proc/meminfo: memFree=31768000/32770624 swapFree=67000032/67108860
[pid=32675] ppid=32672 vsize=652424 memory=41384 CPUtime=20125.4 cores=0-7
/proc/32675/stat : 32675 (cosoco) S 32672 32675 31955 0 -1 1077944320 350909 0 0 0 2012500 43 0 0 20 0 9 0 560369209 668082176 10346 33554432000 4194304 6211132 140728909976272 140728909974528 140150257700599 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
/proc/32675/statm: 163106 10346 905 493 0 156411 0
[pid=32675/tid=32677] ppid=32672 vsize=652424 memory=6935054825532540783 CPUtime=2518.03 cores=0-7
/proc/32675/task/32677/stat : 32677 (cosoco) R 32672 32675 31955 0 -1 4202560 42430 0 0 0 251798 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150234556952 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32678] ppid=32672 vsize=652424 memory=1980 CPUtime=2518.58 cores=0-7
/proc/32675/task/32678/stat : 32678 (cosoco) R 32672 32675 31955 0 -1 4202560 40864 0 0 0 251853 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150226164248 5148711 0 0 4096 8405026 0 0 0 -1 2 0 0 5 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32679] ppid=32672 vsize=652424 memory=2552 CPUtime=2518.61 cores=0-7
/proc/32675/task/32679/stat : 32679 (cosoco) R 32672 32675 31955 0 -1 4202560 37855 0 0 0 251856 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150217771448 5149249 0 0 4096 8405026 0 0 0 -1 0 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32680] ppid=32672 vsize=652424 memory=1760 CPUtime=2519.32 cores=0-7
/proc/32675/task/32680/stat : 32680 (cosoco) R 32672 32675 31955 0 -1 4202560 47927 0 0 0 251927 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150209378840 5149718 0 0 4096 8405026 0 0 0 -1 3 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32681] ppid=32672 vsize=652424 memory=4126316290023845779 CPUtime=2500.24 cores=0-7
/proc/32675/task/32681/stat : 32681 (cosoco) R 32672 32675 31955 0 -1 4202560 47247 0 0 0 250019 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150200986344 5250283 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32682] ppid=32672 vsize=652424 memory=800 CPUtime=2519.21 cores=0-7
/proc/32675/task/32682/stat : 32682 (cosoco) R 32672 32675 31955 0 -1 4202560 38498 0 0 0 251915 6 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150192593608 5148745 0 0 4096 8405026 0 0 0 -1 6 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32683] ppid=32672 vsize=652424 memory=1164 CPUtime=2519.65 cores=0-7
/proc/32675/task/32683/stat : 32683 (cosoco) R 32672 32675 31955 0 -1 4202560 42153 0 0 0 251962 3 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150184200888 5250316 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
[pid=32675/tid=32684] ppid=32672 vsize=652424 memory=1804 CPUtime=2511.65 cores=0-7
/proc/32675/task/32684/stat : 32684 (cosoco) R 32672 32675 31955 0 -1 4202560 43940 0 0 0 251160 5 0 0 20 0 9 0 560369216 668082176 10346 33554432000 4194304 6211132 140728909976272 140150175807928 5148711 0 0 4096 8405026 0 0 0 -1 7 0 0 4 0 0 8312316 8317760 32247808 140728909984785 140728909984877 140728909984877 140728909987790 0
Current children cumulated CPU time: 20125.4 s
Current children cumulated vsize: 652424 KiB
Current children cumulated memory: 41384 KiB

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

[startup+2520.02 s]
# the end of solver process 32675 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20125.1 s, system=0.434779 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): 20125.5
CPU user time (s): 20125.1
CPU system time (s): 0.434779
CPU usage (%): 798.625
Max. virtual memory (cumulated for all children) (KiB): 652424
Max. memory (cumulated for all children) (KiB): 41384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20125.1
system time used= 0.434779
maximum resident set size= 41496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350972
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= 1123
involuntary context switches= 151627


# summary of solver processes directly reported to runsolver:
#   pid: 32675
#   total CPU time (s): 20125.5
#   total CPU user time (s): 20125.1
#   total CPU system time (s): 0.434779

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0329 second user time and 19.9912 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-30 11:57:48
IDJOB=4409723
IDBENCH=141670
IDSOLVER=2877
FILE ID=node106/4409723-1569841155
RUNJOBID= node106-1569833606-31982
PBS_JOBID= 21705958
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP18/Bacp/Bacp-m2/Bacp-m2-12b_c18.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409723-1569841155/watcher-4409723-1569841155 -o /tmp/evaluation-result-4409723-1569841155/solver-4409723-1569841155 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569833606-31982 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409723-1569841155.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 121f2d819dbc4bca8c6410c9ab5baa2a
RANDOM SEED=1644476601

node106.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.79
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.79
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.79
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.79
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:        31801796 kB
MemAvailable:   31865312 kB
Buffers:          112868 kB
Cached:           277248 kB
SwapCached:         4612 kB
Active:           271648 kB
Inactive:         127512 kB
Active(anon):       3384 kB
Inactive(anon):    82764 kB
Active(file):     268264 kB
Inactive(file):    44748 kB
Unevictable:      109168 kB
Mlocked:          109168 kB
SwapTotal:      67108860 kB
SwapFree:       67000032 kB
Dirty:              2840 kB
Writeback:             0 kB
AnonPages:        132256 kB
Mapped:            27376 kB
Shmem:             68520 kB
Slab:             161280 kB
SReclaimable:     132680 kB
SUnreclaim:        28600 kB
KernelStack:        3696 kB
PageTables:         5456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     531416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 62028 MiB
End job on node106 at 2019-09-30 12:39:49