Trace number 4409767

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)973 20119 2520.03

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-28-a3.xml
MD5SUM7bf94b2c859f2895a81dfe97f17444ea
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark914
Best CPU time to get the best result obtained on this benchmark19852.1
Satisfiable
(Un)Satisfiability was proved
Number of variables812
Number of constraints381
Number of domains2
Minimum domain size1000
Maximum domain size1001
Distribution of domain sizes[{"size":1000,"count":378},{"size":1001,"count":28}]
Minimum variable degree0
Maximum variable degree29
Distribution of variable degrees[{"degree":0,"count":406},{"degree":2,"count":378},{"degree":28,"count":26},{"degree":29,"count":2}]
Minimum constraint arity1
Maximum constraint arity378
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":378},{"arity":28,"count":1},{"arity":378,"count":1}]
Number of extensional constraints0
Number of intensional constraints379
Distribution of constraint types[{"type":"intension","count":379},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.09/0.15	c
0.09/0.15	c This is cosoco 2.00 --  
0.09/0.15	c
0.09/0.15	c command line: cosoco -model -nbcores=8 HOME/instance-4409767-1569824398.xml 
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.15	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
0.09/0.16	0
1438.06/180.30	c enable optimization
1438.06/180.30	c ========================================[ Problem Statistics ]===========================================
1438.06/180.30	c |                                                                                                       
1438.06/180.30	c |  Parse time        :         0.14 s 
1438.06/180.30	c |
1438.06/180.30	c |               Variables: 812
1438.06/180.30	c |            Domain Sizes: 1000..1001
1438.06/180.30	c |
1438.06/180.30	c |             Constraints: 408
1438.06/180.30	c |                   Arity: 1..378  -- Unary: 2  -- Binary: 27  -- Ternary: 378
1438.06/180.30	c | 
1438.06/180.30	c |                   Types: 
1438.06/180.30	c |                          (X - Y < k): 27
1438.06/180.30	c |                          All Different: 1
1438.06/180.30	c |                          Intension: 1
1438.06/180.30	c |                          Sum: 378
1438.06/180.30	c |                          Unary: 1
1438.06/180.30	c |                          
1438.06/180.30	c |               Objective: Minimize Intension
1438.06/180.30	
1438.06/180.30	c =========================================================================================================
1438.06/180.30	c Parallel mode: Portfolio
1438.06/180.30	c [pFactory][Group N°0] created (threads:8).
1438.06/180.30	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
1438.06/180.30	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
1438.06/180.30	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
1438.06/180.30	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
1438.06/180.30	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
1438.06/180.30	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
1438.06/180.30	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
1438.06/180.30	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
1438.06/180.30	c [pFactory][Group N°0] concurrent mode: enabled.
1438.06/180.30	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
1438.06/180.30	c [pFactory][Group N°0] task 7 launched on thread 0.
1438.06/180.30	c [pFactory][Group N°0] task 6 launched on thread 1.
1438.06/180.30	c [pFactory][Group N°0] task 5 launched on thread 2.
1438.06/180.30	c [pFactory][Group N°0] task 4 launched on thread 5.
1438.06/180.30	c [pFactory][Group N°0] task 3 launched on thread 4.
1438.06/180.30	c [pFactory][Group N°0] task 2 launched on thread 6.
1438.06/180.30	c [pFactory][Group N°0] task 1 launched on thread 7.
1438.06/180.30	c [pFactory][Group N°0] task 0 launched on thread 3.
1438.06/180.30	o 979
3315.98/415.58	o 978
7781.55/974.85	o 977
10002.84/1253.05	o 976
12219.99/1530.78	o 975
16245.68/2034.94	o 974
18264.90/2287.82	o 973
20118.92/2520.02	
20118.92/2520.02	c *** INTERRUPTED ***
20118.92/2520.02	c call to solver        : 7
20118.92/2520.02	c
20118.92/2520.02	c restarts              : 131065      
20118.92/2520.02	c conflicts             : 339068       (17 /sec)
20118.92/2520.02	c decisions             : 924376       (46 /sec)
20118.92/2520.02	c propagations          : 33147878679 (1647626 /sec)
20118.92/2520.02	c root propagations     : 7636        
20118.92/2520.02	c filter calls          : 199747935      (9929 /sec)
20118.92/2520.02	c useless filter calls  : 58365627       (29 %)
20118.92/2520.02	c Memory used           : 669.39 MB
20118.92/2520.02	c Best bound time (wc)  : 2287.82 s
20118.92/2520.02	c CPU time              : 20118.6 s
20118.92/2520.02	c real time             : 2520.02 s
20118.92/2520.02	
20118.92/2520.02	s SATISFIABLE
20118.92/2520.02	c Best value found: 973
20118.92/2520.02	
20118.92/2520.02	
20118.92/2520.02	v <instantiation type='solution' cost='973'>
20118.92/2520.02	v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list>
20118.92/2520.02	v <values>0 131 205 330 387 470 551 598 636 666 709 7 753 859 912 939 960 962 968 973 10 35 52 72 76 98 112 130 * 131 205 330 387 470 551 598 636 666 709 7 753 859 912 939 960 962 968 973 10 35 52 72 76 98 112 130 * * 74 199 256 339 420 467 505 535 578 * 622 728 781 808 829 831 837 842 * * * * * * * * * * * 125 182 265 346 393 431 461 504 * 548 654 707 734 755 757 763 768 * * * * * * * * * * * * 57 140 221 268 306 336 379 * 423 529 582 609 630 632 638 643 * * * * * * * * * * * * * 83 164 211 249 279 322 * 366 472 525 552 573 575 581 586 * * * * * * * * * * * * * * 81 128 166 196 239 * 283 389 442 469 490 492 498 503 * * * * * * * * * * * * * * * 47 85 115 158 * 202 308 361 388 409 411 417 422 * * * * * * * * * * * * * * * * 38 68 111 * 155 261 314 341 362 364 370 375 * * * * * * * * * * * * * * * * * 30 73 * 117 223 276 303 324 326 332 337 * * * * * * * * * * * * * * * * * * 43 * 87 193 246 273 294 296 302 307 * * * * * * * * * * * * * * * * * * * * 44 150 203 230 251 253 259 264 * * * * * * * * * 124 198 323 380 463 544 591 629 659 702 * 746 852 905 932 953 955 961 966 3 28 45 65 69 91 105 123 * * * * * * * * * * * * * 106 159 186 207 209 215 220 * * * * * * * * * * * * * * * * * * * * * * 53 80 101 103 109 114 * * * * * * * * * * * * * * * * * * * * * * * 27 48 50 56 61 * * * * * * * * * * * * * * * * * * * * * * * * 21 23 29 34 * * * * * * * * * * * * * * * * * * * * * * * * * 2 8 13 * * * * * * * * * * * * * * * * * * * * * * * * * * 6 11 * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 121 195 320 377 460 541 588 626 656 699 * 743 849 902 929 950 952 958 963 * 25 42 62 66 88 102 120 * 96 170 295 352 435 516 563 601 631 674 * 718 824 877 904 925 927 933 938 * * 17 37 41 63 77 95 * 79 153 278 335 418 499 546 584 614 657 * 701 807 860 887 908 910 916 921 * * * 20 24 46 60 78 * 59 133 258 315 398 479 526 564 594 637 * 681 787 840 867 888 890 896 901 * * * * 4 26 40 58 * 55 129 254 311 394 475 522 560 590 633 * 677 783 836 863 884 886 892 897 * * * * * 22 36 54 * 33 107 232 289 372 453 500 538 568 611 * 655 761 814 841 862 864 870 875 * * * * * * 14 32 * 19 93 218 275 358 439 486 524 554 597 * 641 747 800 827 848 850 856 861 * * * * * * * 18 * 1 75 200 257 340 421 468 506 536 579 * 623 729 782 809 830 832 838 843 * * * * * * * * </values>
20118.92/2520.02	v </instantiation>
20118.92/2520.02

Verifier Data 

OK	973

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409767-1569824398/watcher-4409767-1569824398 -o /tmp/evaluation-result-4409767-1569824398/solver-4409767-1569824398 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569812706-15173 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409767-1569824398.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
Current StackSize limit: 8192 KiB

solver pid=16621, runsolver pid=16618

[startup+0.100153 s]*
/proc/loadavg: 7.95 8.27 8.27 2/190 16622
/proc/meminfo: memFree=31424888/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=87940 memory=64152 CPUtime=0.09 cores=0-7
/proc/16621/stat : 16621 (cosoco) R 16618 16621 15146 0 -1 4202496 16242 0 0 0 8 1 0 0 20 0 1 0 558694763 90050560 16038 33554432000 4194304 6211132 140722563073792 140722563068008 139812559211493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 21985 16038 821 493 0 15290 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87940 KiB
Current children cumulated memory: 64152 KiB

[startup+0.210258 s]*
/proc/loadavg: 7.95 8.27 8.27 9/198 16630
/proc/meminfo: memFree=31409216/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=689576 memory=80000 CPUtime=0.59 cores=0-7
/proc/16621/stat : 16621 (cosoco) S 16618 16621 15146 0 -1 1077944320 20803 0 0 0 57 2 0 0 20 0 9 0 558694763 706125824 20000 33554432000 4194304 6211132 140722563073792 140722563072048 139812575252215 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 172394 20000 872 493 0 165699 0
[pid=16621/tid=16623] ppid=16618 vsize=689576 memory=8316850467074736180 CPUtime=0.05 cores=0-7
/proc/16621/task/16623/stat : 16623 (cosoco) R 16618 16621 15146 0 -1 4202560 327 0 0 0 5 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812552108680 5149711 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16624] ppid=16618 vsize=689576 memory=10927 CPUtime=0.05 cores=0-7
/proc/16621/task/16624/stat : 16624 (cosoco) R 16618 16621 15146 0 -1 4202560 322 0 0 0 5 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812543716440 5392384 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16625] ppid=16618 vsize=689576 memory=140319993447683 CPUtime=0.05 cores=0-7
/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812535323272 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=689576 memory=-1 CPUtime=0.05 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812526930568 5149800 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=689576 memory=0 CPUtime=0.04 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 4 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812518537864 5149706 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=689576 memory=0 CPUtime=0.05 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 326 0 0 0 5 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812510145552 5390022 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=689576 memory=-1 CPUtime=0.05 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812501752456 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=689576 memory=0 CPUtime=0.05 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 5 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812493359752 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 80000 KiB

[startup+0.310257 s]*
/proc/loadavg: 7.95 8.27 8.27 9/198 16630
/proc/meminfo: memFree=31408844/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=689576 memory=80000 CPUtime=1.38 cores=0-7
/proc/16621/stat : 16621 (cosoco) S 16618 16621 15146 0 -1 1077944320 20803 0 0 0 136 2 0 0 20 0 9 0 558694763 706125824 20000 33554432000 4194304 6211132 140722563073792 140722563072048 139812575252215 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 172394 20000 872 493 0 165699 0
[pid=16621/tid=16623] ppid=16618 vsize=689576 memory=8317482817917895235 CPUtime=0.15 cores=0-7
/proc/16621/task/16623/stat : 16623 (cosoco) R 16618 16621 15146 0 -1 4202560 327 0 0 0 15 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812552108680 5393072 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16624] ppid=16618 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/16621/task/16624/stat : 16624 (cosoco) R 16618 16621 15146 0 -1 4202560 322 0 0 0 15 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812543716440 5149711 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16625] ppid=16618 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812535323272 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812526930568 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=689576 memory=0 CPUtime=0.13 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 13 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812518537864 5149690 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 326 0 0 0 15 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812510145552 5390088 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812501752456 5149690 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=689576 memory=0 CPUtime=0.15 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 15 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812493359752 5081968 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 80000 KiB

[startup+0.70126 s]
/proc/loadavg: 7.95 8.27 8.27 9/198 16630
/proc/meminfo: memFree=31408844/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=689576 memory=80000 CPUtime=4.41 cores=0-7
/proc/16621/stat : 16621 (cosoco) S 16618 16621 15146 0 -1 1077944320 20803 0 0 0 439 2 0 0 20 0 9 0 558694763 706125824 20000 33554432000 4194304 6211132 140722563073792 140722563072048 139812575252215 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 172394 20000 872 493 0 165699 0
[pid=16621/tid=16623] ppid=16618 vsize=689576 memory=1556 CPUtime=0.53 cores=0-7
/proc/16621/task/16623/stat : 16623 (cosoco) R 16618 16621 15146 0 -1 4202560 327 0 0 0 53 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812552108680 5149714 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16624] ppid=16618 vsize=689576 memory=2832 CPUtime=0.53 cores=0-7
/proc/16621/task/16624/stat : 16624 (cosoco) R 16618 16621 15146 0 -1 4202560 322 0 0 0 53 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812543716440 5149706 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16625] ppid=16618 vsize=689576 memory=984 CPUtime=0.53 cores=0-7
/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812535323272 5079432 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=689576 memory=14012 CPUtime=0.53 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812526930568 5149714 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=689576 memory=6480 CPUtime=0.49 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 49 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812518537864 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=689576 memory=0 CPUtime=0.53 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 326 0 0 0 53 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812510145552 5075571 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=689576 memory=0 CPUtime=0.53 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812501752456 5149690 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=689576 memory=0 CPUtime=0.53 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 321 0 0 0 53 0 0 0 20 0 9 0 558694779 706125824 20000 33554432000 4194304 6211132 140722563073792 139812493359752 5078864 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 80000 KiB

[startup+1.50126 s]
/proc/loadavg: 7.95 8.27 8.27 9/198 16630
/proc/meminfo: memFree=31408844/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=689576 memory=81744 CPUtime=10.8 cores=0-7
/proc/16621/stat : 16621 (cosoco) S 16618 16621 15146 0 -1 1077944320 32423 0 0 0 1073 7 0 0 20 0 9 0 558694763 706125824 20436 33554432000 4194304 6211132 140722563073792 140722563072048 139812575252215 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 172394 20436 872 493 0 165699 0
[pid=16621/tid=16623] ppid=16618 vsize=689576 memory=0 CPUtime=1.33 cores=0-7
/proc/16621/task/16623/stat : 16623 (cosoco) R 16618 16621 15146 0 -1 4202560 1013 0 0 0 133 0 0 0 20 0 9 0 558694779 706125824 20436 33554432000 4194304 6211132 140722563073792 139812552109072 5149732 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16624] ppid=16618 vsize=689576 memory=0 CPUtime=1.33 cores=0-7
/proc/16621/task/16624/stat : 16624 (cosoco) R 16618 16621 15146 0 -1 4202560 2064 0 0 0 133 0 0 0 20 0 9 0 558694779 706125824 20436 33554432000 4194304 6211132 140722563073792 139812543716160 5149680 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16625] ppid=16618 vsize=689576 memory=280639740168224 CPUtime=1.33 cores=0-7
/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 1164 0 0 0 133 0 0 0 20 0 9 0 558694779 706125824 20436 33554432000 4194304 6211132 140722563073792 139812535323680 5389855 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=689576 memory=2321499874222234832 CPUtime=1.33 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 2141 0 0 0 133 0 0 0 20 0 9 0 558694779 706125824 20436 33554432000 4194304 6211132 140722563073792 139812526930976 5149680 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=689576 memory=7230086538295076708 CPUtime=1.28 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 1662 0 0 0 127 1 0 0 20 0 9 0 558694779 706125824 20436 33554432000 4194304 6211132 140722563073792 139812518538144 5081349 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=689576 memory=0 CPUtime=1.33 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 2238 0 0 0 133 0 0 0 20 0 9 0 558694779 706125824 20436 33554432000 4194304 6211132 140722563073792 139812510145552 5397258 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=689576 memory=5787213835637772624 CPUtime=1.33 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 2070 0 0 0 132 1 0 0 20 0 9 0 558694779 706125824 20436 33554432000 4194304 6211132 140722563073792 139812501752456 5150094 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=689576 memory=8099561564667007843 CPUtime=1.33 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 1848 0 0 0 133 0 0 0 20 0 9 0 558694779 706125824 20436 33554432000 4194304 6211132 140722563073792 139812493360144 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 10.8 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 81744 KiB

[startup+3.11026 s]
/proc/loadavg: 7.95 8.27 8.27 9/198 16630
/proc/meminfo: memFree=31406448/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=689576 memory=82632 CPUtime=23.64 cores=0-7
/proc/16621/stat : 16621 (cosoco) S 16618 16621 15146 0 -1 1077944320 33534 0 0 0 2357 7 0 0 20 0 9 0 558694763 706125824 20658 33554432000 4194304 6211132 140722563073792 140722563072048 139812575252215 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 172394 20658 872 493 0 165699 0
[pid=16621/tid=16623] ppid=16618 vsize=689576 memory=0 CPUtime=2.93 cores=0-7
/proc/16621/task/16623/stat : 16623 (cosoco) R 16618 16621 15146 0 -1 4202560 1260 0 0 0 293 0 0 0 20 0 9 0 558694779 706125824 20658 33554432000 4194304 6211132 140722563073792 139812552109072 5074392 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16624] ppid=16618 vsize=689576 memory=3580 CPUtime=2.94 cores=0-7
/proc/16621/task/16624/stat : 16624 (cosoco) R 16618 16621 15146 0 -1 4202560 2139 0 0 0 294 0 0 0 20 0 9 0 558694779 706125824 20658 33554432000 4194304 6211132 140722563073792 139812543716216 5078762 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16625] ppid=16618 vsize=689576 memory=10440 CPUtime=2.93 cores=0-7
/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 1229 0 0 0 293 0 0 0 20 0 9 0 558694779 706125824 20658 33554432000 4194304 6211132 140722563073792 139812535323664 5390177 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=689576 memory=0 CPUtime=2.94 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 2214 0 0 0 294 0 0 0 20 0 9 0 558694779 706125824 20658 33554432000 4194304 6211132 140722563073792 139812526930976 5075234 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=689576 memory=0 CPUtime=2.86 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 1748 0 0 0 285 1 0 0 20 0 9 0 558694779 706125824 20658 33554432000 4194304 6211132 140722563073792 139812518537656 5149714 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=689576 memory=0 CPUtime=2.94 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 2599 0 0 0 294 0 0 0 20 0 9 0 558694779 706125824 20658 33554432000 4194304 6211132 140722563073792 139812510145256 5081426 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=689576 memory=33 CPUtime=2.94 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 2192 0 0 0 293 1 0 0 20 0 9 0 558694779 706125824 20658 33554432000 4194304 6211132 140722563073792 139812501752696 5149732 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=689576 memory=-9109511518863828297 CPUtime=2.94 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 1930 0 0 0 294 0 0 0 20 0 9 0 558694779 706125824 20658 33554432000 4194304 6211132 140722563073792 139812493360144 5149680 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 23.64 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 82632 KiB

[startup+6.30126 s]
/proc/loadavg: 7.63 8.20 8.25 9/198 16630
/proc/meminfo: memFree=31405436/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=689576 memory=83372 CPUtime=49.11 cores=0-7
/proc/16621/stat : 16621 (cosoco) S 16618 16621 15146 0 -1 1077944320 56525 0 0 0 4902 9 0 0 20 0 9 0 558694763 706125824 20843 33554432000 4194304 6211132 140722563073792 140722563072048 139812575252215 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 172394 20843 873 493 0 165699 0
[pid=16621/tid=16623] ppid=16618 vsize=689576 memory=3580 CPUtime=6.13 cores=0-7
/proc/16621/task/16623/stat : 16623 (cosoco) R 16618 16621 15146 0 -1 4202560 4480 0 0 0 612 1 0 0 20 0 9 0 558694779 706125824 20843 33554432000 4194304 6211132 140722563073792 139812552108552 5149711 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16624] ppid=16618 vsize=689576 memory=10440 CPUtime=6.12 cores=0-7
/proc/16621/task/16624/stat : 16624 (cosoco) R 16618 16621 15146 0 -1 4202560 4924 0 0 0 612 0 0 0 20 0 9 0 558694779 706125824 20843 33554432000 4194304 6211132 140722563073792 139812543715944 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16625] ppid=16618 vsize=689576 memory=33 CPUtime=6.13 cores=0-7
/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 3550 0 0 0 612 1 0 0 20 0 9 0 558694779 706125824 20843 33554432000 4194304 6211132 140722563073792 139812535323416 5150916 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=689576 memory=3616988880775950641 CPUtime=6.13 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 4444 0 0 0 613 0 0 0 20 0 9 0 558694779 706125824 20843 33554432000 4194304 6211132 140722563073792 139812526931072 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=689576 memory=988 CPUtime=6 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 4608 0 0 0 599 1 0 0 20 0 9 0 558694779 706125824 20843 33554432000 4194304 6211132 140722563073792 139812518538256 5150097 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=689576 memory=2016 CPUtime=6.13 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 5953 0 0 0 613 0 0 0 20 0 9 0 558694779 706125824 20843 33554432000 4194304 6211132 140722563073792 139812510145400 5150916 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=689576 memory=140324288398975 CPUtime=6.13 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 5186 0 0 0 612 1 0 0 20 0 9 0 558694779 706125824 20843 33554432000 4194304 6211132 140722563073792 139812501752696 5149690 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=689576 memory=4625243410194776160 CPUtime=6.12 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 5157 0 0 0 612 0 0 0 20 0 9 0 558694779 706125824 20843 33554432000 4194304 6211132 140722563073792 139812493360256 5149680 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 49.11 s
Current children cumulated vsize: 689576 KiB
Current children cumulated memory: 83372 KiB

[startup+12.7013 s]
/proc/loadavg: 7.74 8.21 8.25 9/198 16630
/proc/meminfo: memFree=31404332/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=689576 memory=83932 CPUtime=100.22 cores=0-7

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

/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 23571 0 0 0 225941 5 0 0 20 0 9 0 558694779 701898752 24371 33554432000 4194304 6211132 140722563073792 139812535323320 5082478 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=685448 memory=0 CPUtime=2261.36 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 26178 0 0 0 226132 4 0 0 20 0 9 0 558694779 701898752 24371 33554432000 4194304 6211132 140722563073792 139812526931216 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=685448 memory=97484 CPUtime=2251.62 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 24376 0 0 0 225155 7 0 0 20 0 9 0 558694779 701898752 24371 33554432000 4194304 6211132 140722563073792 139812518538256 5078923 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=685448 memory=10484 CPUtime=2261.14 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 26687 0 0 0 226111 3 0 0 20 0 9 0 558694779 701898752 24371 33554432000 4194304 6211132 140722563073792 139812510145208 5075581 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=685448 memory=988 CPUtime=2261.39 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 28899 0 0 0 226134 5 0 0 20 0 9 0 558694779 701898752 24371 33554432000 4194304 6211132 140722563073792 139812501752848 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=685448 memory=776 CPUtime=2261.46 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 27343 0 0 0 226143 3 0 0 20 0 9 0 558694779 701898752 24371 33554432000 4194304 6211132 140722563073792 139812493360400 5207536 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 18061.3 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 97484 KiB

[startup+2322.3 s]
/proc/loadavg: 8.08 8.13 8.20 9/199 16807
/proc/meminfo: memFree=31391988/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=685448 memory=97492 CPUtime=18540.3 cores=0-7
/proc/16621/stat : 16621 (cosoco) S 16618 16621 15146 0 -1 1077944320 227207 0 0 0 1853991 44 0 0 20 0 9 0 558694763 701898752 24373 33554432000 4194304 6211132 140722563073792 140722563072048 139812575252215 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 171362 24373 873 493 0 164667 0
[pid=16621/tid=16623] ppid=16618 vsize=685448 memory=97492 CPUtime=2303.81 cores=0-7
/proc/16621/task/16623/stat : 16623 (cosoco) R 16618 16621 15146 0 -1 4202560 23307 0 0 0 230374 7 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812552108728 5078812 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16624] ppid=16618 vsize=685448 memory=97492 CPUtime=2320.78 cores=0-7
/proc/16621/task/16624/stat : 16624 (cosoco) R 16618 16621 15146 0 -1 4202560 27436 0 0 0 232075 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812543716480 5082431 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16625] ppid=16618 vsize=685448 memory=97492 CPUtime=2319.45 cores=0-7
/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 23763 0 0 0 231940 5 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812535323320 5149699 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=685448 memory=97492 CPUtime=2321.35 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 26450 0 0 0 232131 4 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812526930960 5149732 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=685448 memory=97492 CPUtime=2311.6 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 24491 0 0 0 231153 7 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812518538256 5079063 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=685448 memory=97492 CPUtime=2320.29 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 26861 0 0 0 232026 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812510145808 5148979 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=685448 memory=97492 CPUtime=2321.38 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 29156 0 0 0 232133 5 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812501752960 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=685448 memory=8332 CPUtime=2321.45 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 27520 0 0 0 232142 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812493360400 5207536 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 18540.3 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 97492 KiB

[startup+2382.3 s]
/proc/loadavg: 8.44 8.20 8.22 9/198 16810
/proc/meminfo: memFree=31391328/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=685448 memory=97492 CPUtime=19019.4 cores=0-7
/proc/16621/stat : 16621 (cosoco) S 16618 16621 15146 0 -1 1077944320 228647 0 0 0 1901898 44 0 0 20 0 9 0 558694763 701898752 24373 33554432000 4194304 6211132 140722563073792 140722563072048 139812575252215 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 171362 24373 873 493 0 164667 0
[pid=16621/tid=16623] ppid=16618 vsize=685448 memory=97492 CPUtime=2363.79 cores=0-7
/proc/16621/task/16623/stat : 16623 (cosoco) R 16618 16621 15146 0 -1 4202560 23478 0 0 0 236372 7 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812552108728 5081210 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16624] ppid=16618 vsize=685448 memory=97492 CPUtime=2380.77 cores=0-7
/proc/16621/task/16624/stat : 16624 (cosoco) R 16618 16621 15146 0 -1 4202560 27603 0 0 0 238074 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812543716480 5186332 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16625] ppid=16618 vsize=685448 memory=97492 CPUtime=2379.44 cores=0-7
/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 23955 0 0 0 237939 5 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812535323320 5078765 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=685448 memory=3580 CPUtime=2381.33 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 26684 0 0 0 238129 4 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812526930960 5148707 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=685448 memory=97492 CPUtime=2371.58 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 24590 0 0 0 237151 7 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812518538256 5186301 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=685448 memory=97492 CPUtime=2379.45 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 27027 0 0 0 237942 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812510145808 5149690 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=685448 memory=12036 CPUtime=2381.38 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 29386 0 0 0 238133 5 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812501752960 5150221 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=685448 memory=496 CPUtime=2381.45 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 27701 0 0 0 238142 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812493360400 5149714 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 19019.4 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 97492 KiB

[startup+2442.3 s]
/proc/loadavg: 8.73 8.35 8.27 9/198 16814
/proc/meminfo: memFree=31392124/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=685448 memory=97492 CPUtime=19498.5 cores=0-7
/proc/16621/stat : 16621 (cosoco) S 16618 16621 15146 0 -1 1077944320 230092 0 0 0 1949803 44 0 0 20 0 9 0 558694763 701898752 24373 33554432000 4194304 6211132 140722563073792 140722563072048 139812575252215 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 171362 24373 873 493 0 164667 0
[pid=16621/tid=16623] ppid=16618 vsize=685448 memory=97492 CPUtime=2423.78 cores=0-7
/proc/16621/task/16623/stat : 16623 (cosoco) R 16618 16621 15146 0 -1 4202560 23627 0 0 0 242371 7 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812552108728 5081398 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16624] ppid=16618 vsize=685448 memory=97492 CPUtime=2440.75 cores=0-7
/proc/16621/task/16624/stat : 16624 (cosoco) R 16618 16621 15146 0 -1 4202560 27789 0 0 0 244072 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812543716480 5081333 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16625] ppid=16618 vsize=685448 memory=97492 CPUtime=2439.42 cores=0-7
/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 24131 0 0 0 243937 5 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812535323320 5081341 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=685448 memory=97492 CPUtime=2441.32 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 26904 0 0 0 244128 4 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812526930960 5390144 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=685448 memory=97492 CPUtime=2431.56 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 24664 0 0 0 243149 7 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812518538256 5389855 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=685448 memory=97492 CPUtime=2438.59 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 27201 0 0 0 243856 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812510145808 5074403 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=685448 memory=97492 CPUtime=2441.37 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 29641 0 0 0 244132 5 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812501752960 5150080 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=685448 memory=97492 CPUtime=2441.44 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 27912 0 0 0 244141 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812493360400 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 19498.5 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 97492 KiB

[startup+2502.3 s]
/proc/loadavg: 8.77 8.44 8.31 9/199 16819
/proc/meminfo: memFree=31391288/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=685448 memory=97492 CPUtime=19977.5 cores=0-7
/proc/16621/stat : 16621 (cosoco) S 16618 16621 15146 0 -1 1077944320 231665 0 0 0 1997707 45 0 0 20 0 9 0 558694763 701898752 24373 33554432000 4194304 6211132 140722563073792 140722563072048 139812575252215 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 171362 24373 873 493 0 164667 0
[pid=16621/tid=16623] ppid=16618 vsize=685448 memory=97492 CPUtime=2483.75 cores=0-7
/proc/16621/task/16623/stat : 16623 (cosoco) R 16618 16621 15146 0 -1 4202560 23824 0 0 0 248368 7 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812552108728 5079092 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16624] ppid=16618 vsize=685448 memory=3580 CPUtime=2500.75 cores=0-7
/proc/16621/task/16624/stat : 16624 (cosoco) R 16618 16621 15146 0 -1 4202560 28034 0 0 0 250072 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812543716480 5149937 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16625] ppid=16618 vsize=685448 memory=97492 CPUtime=2499.4 cores=0-7
/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 24307 0 0 0 249935 5 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812535323320 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=685448 memory=97492 CPUtime=2501.3 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 27101 0 0 0 250126 4 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812526930960 5074320 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=685448 memory=97492 CPUtime=2491.55 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 24774 0 0 0 249148 7 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812518538256 5186290 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=685448 memory=97492 CPUtime=2497.74 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 27385 0 0 0 249771 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812510145808 5149721 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=685448 memory=988 CPUtime=2501.36 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 29880 0 0 0 250131 5 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812501752960 5150094 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=685448 memory=2016 CPUtime=2501.42 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 28137 0 0 0 250139 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812493360400 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 19977.5 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 97492 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.82 8.47 8.32 9/198 16819
/proc/meminfo: memFree=31391628/32770624 swapFree=66954412/67108860
[pid=16621] ppid=16618 vsize=685448 memory=97492 CPUtime=20118.9 cores=0-7
/proc/16621/stat : 16621 (cosoco) S 16618 16621 15146 0 -1 1077944320 231665 0 0 0 2011847 45 0 0 20 0 9 0 558694763 701898752 24373 33554432000 4194304 6211132 140722563073792 140722563072048 139812575252215 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
/proc/16621/statm: 171362 24373 873 493 0 164667 0
[pid=16621/tid=16623] ppid=16618 vsize=685448 memory=8317482817917895235 CPUtime=2501.45 cores=0-7
/proc/16621/task/16623/stat : 16623 (cosoco) R 16618 16621 15146 0 -1 4202560 23824 0 0 0 250138 7 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812552108728 5390188 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16624] ppid=16618 vsize=685448 memory=1680 CPUtime=2518.45 cores=0-7
/proc/16621/task/16624/stat : 16624 (cosoco) R 16618 16621 15146 0 -1 4202560 28034 0 0 0 251842 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812543716480 5074504 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16625] ppid=16618 vsize=685448 memory=1444 CPUtime=2517.11 cores=0-7
/proc/16621/task/16625/stat : 16625 (cosoco) R 16618 16621 15146 0 -1 4202560 24307 0 0 0 251706 5 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812535323320 5390186 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16626] ppid=16618 vsize=685448 memory=880 CPUtime=2519 cores=0-7
/proc/16621/task/16626/stat : 16626 (cosoco) R 16618 16621 15146 0 -1 4202560 27101 0 0 0 251896 4 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812526930960 5149253 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16627] ppid=16618 vsize=685448 memory=1984 CPUtime=2509.26 cores=0-7
/proc/16621/task/16627/stat : 16627 (cosoco) R 16618 16621 15146 0 -1 4202560 24774 0 0 0 250919 7 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812518538256 5186301 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16628] ppid=16618 vsize=685448 memory=2552 CPUtime=2515.2 cores=0-7
/proc/16621/task/16628/stat : 16628 (cosoco) R 16618 16621 15146 0 -1 4202560 27385 0 0 0 251517 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812510145808 5075581 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16629] ppid=16618 vsize=685448 memory=1760 CPUtime=2519.06 cores=0-7
/proc/16621/task/16629/stat : 16629 (cosoco) R 16618 16621 15146 0 -1 4202560 29880 0 0 0 251901 5 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812501752960 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
[pid=16621/tid=16630] ppid=16618 vsize=685448 memory=288230574492221466 CPUtime=2519.12 cores=0-7
/proc/16621/task/16630/stat : 16630 (cosoco) R 16618 16621 15146 0 -1 4202560 28137 0 0 0 251909 3 0 0 20 0 9 0 558694779 701898752 24373 33554432000 4194304 6211132 140722563073792 139812493360400 5186301 0 0 4096 8405026 0 0 0 -1 6 0 0 3 0 0 8312316 8317760 25497600 140722563081233 140722563081325 140722563081325 140722563084238 0
Current children cumulated CPU time: 20118.9 s
Current children cumulated vsize: 685448 KiB
Current children cumulated memory: 97492 KiB

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

[startup+2520.03 s]
# the end of solver process 16621 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20118.6 s, system=0.455664 s

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

Child status: 1
Real time (s): 2520.03
CPU time (s): 20119
CPU user time (s): 20118.6
CPU system time (s): 0.455664
CPU usage (%): 798.366
Max. virtual memory (cumulated for all children) (KiB): 690088
Max. memory (cumulated for all children) (KiB): 97492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20118.6
system time used= 0.455664
maximum resident set size= 97728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231712
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= 951
involuntary context switches= 138942


# summary of solver processes directly reported to runsolver:
#   pid: 16621
#   total CPU time (s): 20119
#   total CPU user time (s): 20118.6
#   total CPU system time (s): 0.455664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3374 second user time and 22.5185 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-30 07:17:51
IDJOB=4409767
IDBENCH=126211
IDSOLVER=2877
FILE ID=node107/4409767-1569824398
RUNJOBID= node107-1569812706-15173
PBS_JOBID= 21705907
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-28-a3.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409767-1569824398/watcher-4409767-1569824398 -o /tmp/evaluation-result-4409767-1569824398/solver-4409767-1569824398 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569812706-15173 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409767-1569824398.xml

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

MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea
RANDOM SEED=1923207803

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        31484192 kB
MemAvailable:   31830280 kB
Buffers:          198636 kB
Cached:           482712 kB
SwapCached:        48108 kB
Active:           352240 kB
Inactive:         379268 kB
Active(anon):      15724 kB
Inactive(anon):   112616 kB
Active(file):     336516 kB
Inactive(file):   266652 kB
Unevictable:      109512 kB
Mlocked:          109512 kB
SwapTotal:      67108860 kB
SwapFree:       66954412 kB
Dirty:              2608 kB
Writeback:             8 kB
AnonPages:        117600 kB
Mapped:            26720 kB
Shmem:             69360 kB
Slab:             146176 kB
SReclaimable:     117512 kB
SUnreclaim:        28664 kB
KernelStack:        3360 kB
PageTables:         5360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     530080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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 node107 at 2019-09-30 07:59:51