Trace number 4409751

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)1394 20122.2 2520.02

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n38-k5.xml
MD5SUM681710e79c8377b968f88ec392af942b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark770
Best CPU time to get the best result obtained on this benchmark2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables1482
Number of constraints1443
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":38},{"size":2,"count":1406},{"size":101,"count":37}]
Minimum variable degree0
Maximum variable degree73
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":38},{"degree":2,"count":74},{"degree":4,"count":1332},{"degree":73,"count":37}]
Minimum constraint arity1
Maximum constraint arity37
Distribution of constraint arities[{"arity":1,"count":37},{"arity":3,"count":1332},{"arity":37,"count":74}]
Number of extensional constraints0
Number of intensional constraints37
Distribution of constraint types[{"type":"intension","count":37},{"type":"sum","count":1332},{"type":"count","count":74}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data

1.59/0.44	c
1.59/0.44	c This is cosoco 2.00 --  
1.59/0.44	c
1.59/0.44	c command line: cosoco -model -nbcores=8 HOME/instance-4409751-1569823441.xml 
1.59/0.44	c enable optimization
1.59/0.44	c ========================================[ Problem Statistics ]===========================================
1.59/0.44	c |                                                                                                       
1.59/0.44	c |  Parse time        :         0.19 s 
1.59/0.44	c |
1.59/0.44	c |               Variables: 1482
1.59/0.44	c |            Domain Sizes: 1..101
1.59/0.44	c |
1.59/0.44	c |             Constraints: 1444
1.59/0.44	c |                   Arity: 1..1406  -- Unary: 37  -- Ternary: 1332
1.59/0.44	c | 
1.59/0.44	c |                   Types: 
1.59/0.44	c |                          Exactly K: 74
1.59/0.44	c |                          Sum: 1333
1.59/0.44	c |                          Unary: 37
1.59/0.44	c |                          
1.59/0.44	c |               Objective: Minimize Sum
1.59/0.44	
1.59/0.44	c =========================================================================================================
1.59/0.44	c Parallel mode: Portfolio
1.59/0.44	c [pFactory][Group N°0] created (threads:8).
1.59/0.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
1.59/0.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
1.59/0.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
1.59/0.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
1.59/0.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
1.59/0.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
1.59/0.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
1.59/0.44	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
1.59/0.44	c [pFactory][Group N°0] concurrent mode: enabled.
1.59/0.44	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
1.59/0.44	c [pFactory][Group N°0] task 7 launched on thread 0.
1.59/0.44	c [pFactory][Group N°0] task 6 launched on thread 1.
1.59/0.44	c [pFactory][Group N°0] task 5 launched on thread 2.
1.59/0.44	c [pFactory][Group N°0] task 4 launched on thread 6.
1.59/0.44	c [pFactory][Group N°0] task 3 launched on thread 4.
1.59/0.44	c [pFactory][Group N°0] task 2 launched on thread 7.
1.59/0.44	c [pFactory][Group N°0] task 1 launched on thread 5.
1.59/0.44	c [pFactory][Group N°0] task 0 launched on thread 3.
1.59/0.44	o 2147
1.59/0.44	o 2127
1.59/0.44	o 2000
3.10/0.69	o 1859
5.42/1.00	o 1816
31.76/4.27	o 1802
44.54/5.87	o 1788
82.07/10.51	o 1784
90.85/11.68	o 1765
94.91/12.17	o 1748
117.21/14.90	o 1746
126.06/16.04	o 1745
141.16/17.98	o 1741
150.81/19.16	o 1695
177.89/22.59	o 1690
234.60/29.60	o 1661
253.82/32.02	o 1623
478.23/60.12	o 1618
834.22/104.77	o 1598
1074.56/134.85	o 1591
1385.17/173.73	o 1583
1511.35/189.58	o 1572
1617.56/202.86	o 1568
1653.50/207.38	o 1516
1670.27/209.43	o 1487
1755.77/220.17	o 1484
1762.09/220.96	o 1459
1845.94/231.41	o 1441
3479.83/436.05	o 1439
5114.41/640.74	o 1394
20122.13/2520.02	
20122.13/2520.02	c *** INTERRUPTED ***
20122.13/2520.02	c call to solver        : 27
20122.13/2520.02	c
20122.13/2520.02	c restarts              : 205642      
20122.13/2520.02	c conflicts             : 1266604      (63 /sec)
20122.13/2520.02	c decisions             : 14932381     (742 /sec)
20122.13/2520.02	c propagations          : 308069261   (15310 /sec)
20122.13/2520.02	c root propagations     : 481         
20122.13/2520.02	c filter calls          : 250787485      (12464 /sec)
20122.13/2520.02	c useless filter calls  : 238339401      (95 %)
20122.13/2520.02	c Memory used           : 681.88 MB
20122.13/2520.02	c Best bound time (wc)  : 640.736 s
20122.13/2520.02	c CPU time              : 20121.6 s
20122.13/2520.02	c real time             : 2520.01 s
20122.13/2520.02	
20122.13/2520.02	s SATISFIABLE
20122.13/2520.02	c Best value found: 1394
20122.13/2520.02	
20122.13/2520.02	
20122.13/2520.02	v <instantiation type='solution' cost='1394'>
20122.13/2520.02	v <list>u[0] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[1] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[2] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[3] u[4] u[5] u[6] u[7] u[8] u[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][1] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][2] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][1] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][2] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][1] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][2] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][1] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][2] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][1] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][2] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][1] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][2] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][1] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][2] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][1] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][2] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][1] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][2] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][1] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][2] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][1] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][2] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][1] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][2] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][1] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][2] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][1] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][2] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][1] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][2] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][1] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][2] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][1] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][2] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][1] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][2] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][1] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][2] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][1] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][2] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][1] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][2] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[3][0] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][1] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][2] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][1] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][2] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][1] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][2] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][1] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][2] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][1] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][2] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][1] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][2] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][1] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][2] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list>
20122.13/2520.02	v <values>* 68 99 44 26 100 57 21 74 99 75 33 79 17 89 38 8 50 19 69 83 77 6 45 7 53 60 100 39 61 21 43 12 20 57 100 58 47 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 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 1 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 * </values>
20122.13/2520.02	v </instantiation>
20122.13/2520.02	

Verifier Data

OK	1394

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409751-1569823441/watcher-4409751-1569823441 -o /tmp/evaluation-result-4409751-1569823441/solver-4409751-1569823441 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569813805-31802 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409751-1569823441.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=32709, runsolver pid=32706
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 8.47 8.14 5.40 2/192 32710
/proc/meminfo: memFree=31546524/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=72320 memory=48724 CPUtime=0.1 cores=0-7
/proc/32709/stat : 32709 (cosoco) R 32706 32709 31775 0 -1 4202496 12376 0 0 0 8 2 0 0 20 0 1 0 558600356 74055680 12181 33554432000 4194304 6211132 140732817912080 140732817908616 5722980 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 18080 12181 841 493 0 11385 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72320 KiB
Current children cumulated memory: 48724 KiB

[startup+0.20945 s]*
/proc/loadavg: 8.47 8.14 5.40 2/192 32710
/proc/meminfo: memFree=31507464/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=107316 memory=83636 CPUtime=0.2 cores=0-7
/proc/32709/stat : 32709 (cosoco) R 32706 32709 31775 0 -1 4202496 21135 0 0 0 17 3 0 0 20 0 1 0 558600356 109891584 20909 33554432000 4194304 6211132 140732817912080 140732817908616 139673016499173 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 26829 20909 851 493 0 20134 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107316 KiB
Current children cumulated memory: 83636 KiB

[startup+0.309908 s]*
/proc/loadavg: 8.47 8.14 5.40 7/200 32718
/proc/meminfo: memFree=31501964/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=698236 memory=90204 CPUtime=0.85 cores=0-7
/proc/32709/stat : 32709 (cosoco) S 32706 32709 31775 0 -1 1077944320 23117 0 0 0 81 4 0 0 20 0 9 0 558600356 714993664 22551 33554432000 4194304 6211132 140732817912080 140732817910336 139673032539895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 174559 22551 886 493 0 167864 0
[pid=32709/tid=32711] ppid=32706 vsize=698236 memory=6935054825532540783 CPUtime=0.07 cores=0-7
/proc/32709/task/32711/stat : 32711 (cosoco) D 32706 32709 31775 0 -1 4202560 173 0 0 0 7 0 0 0 20 0 9 0 558600379 714993664 22551 33554432000 4194304 6211132 140732817912080 139673009396488 139673016494910 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32712] ppid=32706 vsize=698236 memory=0 CPUtime=0.07 cores=0-7
/proc/32709/task/32712/stat : 32712 (cosoco) R 32706 32709 31775 0 -1 4202560 179 0 0 0 7 0 0 0 20 0 9 0 558600379 714993664 22551 33554432000 4194304 6211132 140732817912080 139673001003784 139673016494910 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32713] ppid=32706 vsize=698236 memory=0 CPUtime=0.07 cores=0-7
/proc/32709/task/32713/stat : 32713 (cosoco) D 32706 32709 31775 0 -1 4202560 237 0 0 0 7 0 0 0 20 0 9 0 558600379 714993664 22551 33554432000 4194304 6211132 140732817912080 139672992610792 139673016974935 0 0 4096 8405026 18446744071582151463 0 0 -1 4 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=0 CPUtime=0.07 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) D 32706 32709 31775 0 -1 4202560 247 0 0 0 7 0 0 0 20 0 9 0 558600379 714993664 22551 33554432000 4194304 6211132 140732817912080 139672984218248 139673016974935 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=0 CPUtime=0.07 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 174 0 0 0 7 0 0 0 20 0 9 0 558600379 714993664 22551 33554432000 4194304 6211132 140732817912080 139672975825672 139673016494910 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=0 CPUtime=0.07 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 241 0 0 0 7 0 0 0 20 0 9 0 558600379 714993664 22551 33554432000 4194304 6211132 140732817912080 139672967432840 139673016974935 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=0 CPUtime=0.07 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) D 32706 32709 31775 0 -1 4202560 241 0 0 0 7 0 0 0 20 0 9 0 558600379 714993664 22551 33554432000 4194304 6211132 140732817912080 139672959040136 139673016494910 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32718] ppid=32706 vsize=698236 memory=0 CPUtime=0.07 cores=0-7
/proc/32709/task/32718/stat : 32718 (cosoco) R 32706 32709 31775 0 -1 4202560 178 0 0 0 7 0 0 0 20 0 9 0 558600379 714993664 22551 33554432000 4194304 6211132 140732817912080 139672950647560 139673016494910 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 698236 KiB
Current children cumulated memory: 90204 KiB

[startup+0.70105 s]
/proc/loadavg: 8.47 8.14 5.40 9/200 32718
/proc/meminfo: memFree=31465292/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=698236 memory=138516 CPUtime=3.83 cores=0-7
/proc/32709/stat : 32709 (cosoco) S 32706 32709 31775 0 -1 1077944320 35048 0 0 0 375 8 0 0 20 0 9 0 558600356 714993664 34629 33554432000 4194304 6211132 140732817912080 140732817910336 139673032539895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 174559 34629 887 493 0 167864 0
[pid=32709/tid=32711] ppid=32706 vsize=698236 memory=4004 CPUtime=0.44 cores=0-7
/proc/32709/task/32711/stat : 32711 (cosoco) R 32706 32709 31775 0 -1 4202560 1191 0 0 0 44 0 0 0 20 0 9 0 558600379 714993664 34629 33554432000 4194304 6211132 140732817912080 139673009396328 5156224 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32712] ppid=32706 vsize=698236 memory=1228 CPUtime=0.44 cores=0-7
/proc/32709/task/32712/stat : 32712 (cosoco) R 32706 32709 31775 0 -1 4202560 1277 0 0 0 44 0 0 0 20 0 9 0 558600379 714993664 34629 33554432000 4194304 6211132 140732817912080 139673001003624 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32713] ppid=32706 vsize=698236 memory=6252 CPUtime=0.44 cores=0-7
/proc/32709/task/32713/stat : 32713 (cosoco) R 32706 32709 31775 0 -1 4202560 1899 0 0 0 44 0 0 0 20 0 9 0 558600379 714993664 34629 33554432000 4194304 6211132 140732817912080 139672992610920 5397258 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=7552 CPUtime=0.44 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) R 32706 32709 31775 0 -1 4202560 1882 0 0 0 44 0 0 0 20 0 9 0 558600379 714993664 34629 33554432000 4194304 6211132 140732817912080 139672984218216 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=2832 CPUtime=0.44 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 1720 0 0 0 44 0 0 0 20 0 9 0 558600379 714993664 34629 33554432000 4194304 6211132 140732817912080 139672975825352 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=139807835240063 CPUtime=0.44 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 1888 0 0 0 44 0 0 0 20 0 9 0 558600379 714993664 34629 33554432000 4194304 6211132 140732817912080 139672967432808 5397248 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=7523071198212214892 CPUtime=0.44 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) R 32706 32709 31775 0 -1 4202560 1926 0 0 0 44 0 0 0 20 0 9 0 558600379 714993664 34629 33554432000 4194304 6211132 140732817912080 139672959039976 5250256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32718] ppid=32706 vsize=698236 memory=6076878065162868073 CPUtime=0.44 cores=0-7
/proc/32709/task/32718/stat : 32718 (cosoco) R 32706 32709 31775 0 -1 4202560 1811 0 0 0 44 0 0 0 20 0 9 0 558600379 714993664 34629 33554432000 4194304 6211132 140732817912080 139672950647272 5156264 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
Current children cumulated CPU time: 3.83 s
Current children cumulated vsize: 698236 KiB
Current children cumulated memory: 138516 KiB

[startup+1.50105 s]
/proc/loadavg: 8.47 8.14 5.40 9/200 32718
/proc/meminfo: memFree=31444860/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=698236 memory=155744 CPUtime=10.2 cores=0-7
/proc/32709/stat : 32709 (cosoco) S 32706 32709 31775 0 -1 1077944320 67037 0 0 0 1005 15 0 0 20 0 9 0 558600356 714993664 38936 33554432000 4194304 6211132 140732817912080 140732817910336 139673032539895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 174559 38936 887 493 0 167864 0
[pid=32709/tid=32711] ppid=32706 vsize=698236 memory=0 CPUtime=1.24 cores=0-7
/proc/32709/task/32711/stat : 32711 (cosoco) R 32706 32709 31775 0 -1 4202560 4919 0 0 0 123 1 0 0 20 0 9 0 558600379 714993664 38936 33554432000 4194304 6211132 140732817912080 139673009396184 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32712] ppid=32706 vsize=698236 memory=2480 CPUtime=1.22 cores=0-7
/proc/32709/task/32712/stat : 32712 (cosoco) R 32706 32709 31775 0 -1 4202560 6804 0 0 0 122 0 0 0 20 0 9 0 558600379 714993664 38936 33554432000 4194304 6211132 140732817912080 139673001003624 5009263 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32713] ppid=32706 vsize=698236 memory=1768 CPUtime=1.24 cores=0-7
/proc/32709/task/32713/stat : 32713 (cosoco) R 32706 32709 31775 0 -1 4202560 5840 0 0 0 122 2 0 0 20 0 9 0 558600379 714993664 38936 33554432000 4194304 6211132 140732817912080 139672992610760 5155839 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=1898493 CPUtime=1.23 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) R 32706 32709 31775 0 -1 4202560 5616 0 0 0 123 0 0 0 20 0 9 0 558600379 714993664 38936 33554432000 4194304 6211132 140732817912080 139672984218056 5397400 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=0 CPUtime=1.24 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 5901 0 0 0 122 2 0 0 20 0 9 0 558600379 714993664 38936 33554432000 4194304 6211132 140732817912080 139672975825512 5156028 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=139803400313040 CPUtime=1.23 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 5464 0 0 0 123 0 0 0 20 0 9 0 558600379 714993664 38936 33554432000 4194304 6211132 140732817912080 139672967432680 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=0 CPUtime=1.23 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) R 32706 32709 31775 0 -1 4202560 4850 0 0 0 123 0 0 0 20 0 9 0 558600379 714993664 38936 33554432000 4194304 6211132 140732817912080 139672959039976 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32718] ppid=32706 vsize=698236 memory=0 CPUtime=1.25 cores=0-7
/proc/32709/task/32718/stat : 32718 (cosoco) R 32706 32709 31775 0 -1 4202560 6190 0 0 0 124 1 0 0 20 0 9 0 558600379 714993664 38936 33554432000 4194304 6211132 140732817912080 139672950647400 5156264 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
Current children cumulated CPU time: 10.2 s
Current children cumulated vsize: 698236 KiB
Current children cumulated memory: 155744 KiB

[startup+3.11005 s]
/proc/loadavg: 8.47 8.14 5.40 9/200 32719
/proc/meminfo: memFree=31435132/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=698236 memory=159552 CPUtime=23.04 cores=0-7
/proc/32709/stat : 32709 (cosoco) S 32706 32709 31775 0 -1 1077944320 70973 0 0 0 2289 15 0 0 20 0 9 0 558600356 714993664 39888 33554432000 4194304 6211132 140732817912080 140732817910336 139673032539895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 174559 39888 887 493 0 167864 0
[pid=32709/tid=32711] ppid=32706 vsize=698236 memory=0 CPUtime=2.85 cores=0-7
/proc/32709/task/32711/stat : 32711 (cosoco) R 32706 32709 31775 0 -1 4202560 5269 0 0 0 284 1 0 0 20 0 9 0 558600379 714993664 39888 33554432000 4194304 6211132 140732817912080 139673009396168 5155832 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32712] ppid=32706 vsize=698236 memory=0 CPUtime=2.8 cores=0-7
/proc/32709/task/32712/stat : 32712 (cosoco) R 32706 32709 31775 0 -1 4202560 6942 0 0 0 280 0 0 0 20 0 9 0 558600379 714993664 39888 33554432000 4194304 6211132 140732817912080 139673001003624 5008940 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32713] ppid=32706 vsize=698236 memory=156904 CPUtime=2.84 cores=0-7
/proc/32709/task/32713/stat : 32713 (cosoco) R 32706 32709 31775 0 -1 4202560 6576 0 0 0 282 2 0 0 20 0 9 0 558600379 714993664 39888 33554432000 4194304 6211132 140732817912080 139672992610760 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=6944656592455360604 CPUtime=2.84 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) R 32706 32709 31775 0 -1 4202560 6222 0 0 0 284 0 0 0 20 0 9 0 558600379 714993664 39888 33554432000 4194304 6211132 140732817912080 139672984218216 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=56 CPUtime=2.85 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 6033 0 0 0 283 2 0 0 20 0 9 0 558600379 714993664 39888 33554432000 4194304 6211132 140732817912080 139672975825384 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=0 CPUtime=2.85 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 6669 0 0 0 284 1 0 0 20 0 9 0 558600379 714993664 39888 33554432000 4194304 6211132 140732817912080 139672967432680 5157572 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=0 CPUtime=2.84 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) R 32706 32709 31775 0 -1 4202560 5403 0 0 0 284 0 0 0 20 0 9 0 558600379 714993664 39888 33554432000 4194304 6211132 140732817912080 139672959039960 5157572 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32718] ppid=32706 vsize=698236 memory=159396 CPUtime=2.85 cores=0-7
/proc/32709/task/32718/stat : 32718 (cosoco) R 32706 32709 31775 0 -1 4202560 6405 0 0 0 284 1 0 0 20 0 9 0 558600379 714993664 39888 33554432000 4194304 6211132 140732817912080 139672950647240 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
Current children cumulated CPU time: 23.04 s
Current children cumulated vsize: 698236 KiB
Current children cumulated memory: 159552 KiB

[startup+6.30105 s]
/proc/loadavg: 8.44 8.14 5.42 9/200 32719
/proc/meminfo: memFree=31429748/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=698236 memory=163448 CPUtime=48.52 cores=0-7
/proc/32709/stat : 32709 (cosoco) S 32706 32709 31775 0 -1 1077944320 131003 0 0 0 4832 20 0 0 20 0 9 0 558600356 714993664 40862 33554432000 4194304 6211132 140732817912080 140732817910336 139673032539895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 174559 40862 887 493 0 167864 0
[pid=32709/tid=32711] ppid=32706 vsize=698236 memory=56 CPUtime=6.05 cores=0-7
/proc/32709/task/32711/stat : 32711 (cosoco) R 32706 32709 31775 0 -1 4202560 12135 0 0 0 602 3 0 0 20 0 9 0 558600379 714993664 40862 33554432000 4194304 6211132 140732817912080 139673009396328 5155832 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32712] ppid=32706 vsize=698236 memory=0 CPUtime=5.96 cores=0-7
/proc/32709/task/32712/stat : 32712 (cosoco) R 32706 32709 31775 0 -1 4202560 14509 0 0 0 595 1 0 0 20 0 9 0 558600379 714993664 40862 33554432000 4194304 6211132 140732817912080 139673001003624 5157576 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32713] ppid=32706 vsize=698236 memory=139807835240063 CPUtime=6.03 cores=0-7
/proc/32709/task/32713/stat : 32713 (cosoco) R 32706 32709 31775 0 -1 4202560 13942 0 0 0 601 2 0 0 20 0 9 0 558600379 714993664 40862 33554432000 4194304 6211132 140732817912080 139672992611600 5156264 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=84 CPUtime=6.04 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) R 32706 32709 31775 0 -1 4202560 11394 0 0 0 603 1 0 0 20 0 9 0 558600379 714993664 40862 33554432000 4194304 6211132 140732817912080 139672984218216 5157576 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=576574510189602056 CPUtime=6.04 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 13422 0 0 0 601 3 0 0 20 0 9 0 558600379 714993664 40862 33554432000 4194304 6211132 140732817912080 139672975825384 5250256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=0 CPUtime=6.03 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 16720 0 0 0 602 1 0 0 20 0 9 0 558600379 714993664 40862 33554432000 4194304 6211132 140732817912080 139672967433488 5193786 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=5788366128452758127 CPUtime=6.04 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) R 32706 32709 31775 0 -1 4202560 14466 0 0 0 603 1 0 0 20 0 9 0 558600379 714993664 40862 33554432000 4194304 6211132 140732817912080 139672959039944 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32718] ppid=32706 vsize=698236 memory=324717428 CPUtime=6.04 cores=0-7
/proc/32709/task/32718/stat : 32718 (cosoco) R 32706 32709 31775 0 -1 4202560 12961 0 0 0 603 1 0 0 20 0 9 0 558600379 714993664 40862 33554432000 4194304 6211132 140732817912080 139672950647400 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
Current children cumulated CPU time: 48.52 s
Current children cumulated vsize: 698236 KiB
Current children cumulated memory: 163448 KiB

[startup+12.701 s]
/proc/loadavg: 8.48 8.15 5.43 9/200 32719
/proc/meminfo: memFree=31425888/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=698236 memory=166568 CPUtime=99.63 cores=0-7
/proc/32709/stat : 32709 (cosoco) S 32706 32709 31775 0 -1 1077944320 194383 0 0 0 9938 25 0 0 20 0 9 0 558600356 714993664 41642 33554432000 4194304 6211132 140732817912080 140732817910336 139673032539895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 174559 41642 887 493 0 167864 0
[pid=32709/tid=32711] ppid=32706 vsize=698236 memory=56 CPUtime=12.44 cores=0-7
/proc/32709/task/32711/stat : 32711 (cosoco) R 32706 32709 31775 0 -1 4202560 19915 0 0 0 1241 3 0 0 20 0 9 0 558600379 714993664 41642 33554432000 4194304 6211132 140732817912080 139673009396200 5155976 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32712] ppid=32706 vsize=698236 memory=7552 CPUtime=12.27 cores=0-7
/proc/32709/task/32712/stat : 32712 (cosoco) R 32706 32709 31775 0 -1 4202560 23110 0 0 0 1225 2 0 0 20 0 9 0 558600379 714993664 41642 33554432000 4194304 6211132 140732817912080 139673001003496 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32713] ppid=32706 vsize=698236 memory=2832 CPUtime=12.43 cores=0-7
/proc/32709/task/32713/stat : 32713 (cosoco) R 32706 32709 31775 0 -1 4202560 22023 0 0 0 1240 3 0 0 20 0 9 0 558600379 714993664 41642 33554432000 4194304 6211132 140732817912080 139672992611600 5157572 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=165048 CPUtime=12.43 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) R 32706 32709 31775 0 -1 4202560 18713 0 0 0 1242 1 0 0 20 0 9 0 558600379 714993664 41642 33554432000 4194304 6211132 140732817912080 139672984218056 5155839 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=-7522837415797432224 CPUtime=12.44 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 20639 0 0 0 1241 3 0 0 20 0 9 0 558600379 714993664 41642 33554432000 4194304 6211132 140732817912080 139672975825384 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=163448 CPUtime=12.43 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 23549 0 0 0 1242 1 0 0 20 0 9 0 558600379 714993664 41642 33554432000 4194304 6211132 140732817912080 139672967432680 5157576 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=0 CPUtime=12.44 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) R 32706 32709 31775 0 -1 4202560 23526 0 0 0 1242 2 0 0 20 0 9 0 558600379 714993664 41642 33554432000 4194304 6211132 140732817912080 139672959040104 5155832 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0

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

/proc/32709/task/32713/stat : 32713 (cosoco) R 32706 32709 31775 0 -1 4202560 57863 0 0 0 225921 8 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672992611600 5156264 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=171132 CPUtime=2261.4 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) R 32706 32709 31775 0 -1 4202560 36428 0 0 0 226135 5 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672984218216 5157572 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=6628 CPUtime=2261.65 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 42854 0 0 0 226158 7 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672975825352 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=171132 CPUtime=2236.85 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 50515 0 0 0 223681 4 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672967432680 5250256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=171132 CPUtime=2261.51 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) R 32706 32709 31775 0 -1 4202560 63899 0 0 0 226145 6 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672959040784 5250256 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32718] ppid=32706 vsize=698236 memory=171132 CPUtime=2261.65 cores=0-7
/proc/32709/task/32718/stat : 32718 (cosoco) R 32706 32709 31775 0 -1 4202560 62330 0 0 0 226157 8 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672950647240 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
Current children cumulated CPU time: 18064.1 s
Current children cumulated vsize: 698236 KiB
Current children cumulated memory: 171132 KiB

[startup+2322.3 s]
/proc/loadavg: 8.01 8.16 7.97 9/198 456
/proc/meminfo: memFree=31420736/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=698236 memory=171132 CPUtime=18543.3 cores=0-7
/proc/32709/stat : 32709 (cosoco) S 32706 32709 31775 0 -1 1077944320 434562 0 0 0 1854268 59 0 0 20 0 9 0 558600356 714993664 42783 33554432000 4194304 6211132 140732817912080 140732817910336 139673032539895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 174559 42783 887 493 0 167864 0
[pid=32709/tid=32711] ppid=32706 vsize=698236 memory=171132 CPUtime=2321.18 cores=0-7
/proc/32709/task/32711/stat : 32711 (cosoco) R 32706 32709 31775 0 -1 4202560 47055 0 0 0 232110 8 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139673009396168 5136288 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32712] ppid=32706 vsize=698236 memory=171132 CPUtime=2320.27 cores=0-7
/proc/32709/task/32712/stat : 32712 (cosoco) R 32706 32709 31775 0 -1 4202560 51471 0 0 0 232021 6 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139673001003464 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32713] ppid=32706 vsize=698236 memory=171132 CPUtime=2319.28 cores=0-7
/proc/32709/task/32713/stat : 32713 (cosoco) R 32706 32709 31775 0 -1 4202560 58038 0 0 0 231920 8 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672992611600 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=171132 CPUtime=2321.38 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) R 32706 32709 31775 0 -1 4202560 36478 0 0 0 232133 5 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672984218216 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=171132 CPUtime=2321.65 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 42986 0 0 0 232158 7 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672975825352 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=171132 CPUtime=2296.09 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 50563 0 0 0 229605 4 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672967432680 5250482 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=171132 CPUtime=2321.51 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) R 32706 32709 31775 0 -1 4202560 64032 0 0 0 232145 6 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672959040784 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32718] ppid=32706 vsize=698236 memory=171132 CPUtime=2321.62 cores=0-7
/proc/32709/task/32718/stat : 32718 (cosoco) R 32706 32709 31775 0 -1 4202560 62485 0 0 0 232154 8 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672950647240 5157601 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
Current children cumulated CPU time: 18543.3 s
Current children cumulated vsize: 698236 KiB
Current children cumulated memory: 171132 KiB

[startup+2382.3 s]
/proc/loadavg: 8.00 8.13 7.97 9/198 461
/proc/meminfo: memFree=31420516/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=698236 memory=171132 CPUtime=19022.4 cores=0-7
/proc/32709/stat : 32709 (cosoco) S 32706 32709 31775 0 -1 1077944320 435788 0 0 0 1902182 59 0 0 20 0 9 0 558600356 714993664 42783 33554432000 4194304 6211132 140732817912080 140732817910336 139673032539895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 174559 42783 887 493 0 167864 0
[pid=32709/tid=32711] ppid=32706 vsize=698236 memory=14048 CPUtime=2381.16 cores=0-7
/proc/32709/task/32711/stat : 32711 (cosoco) R 32706 32709 31775 0 -1 4202560 47214 0 0 0 238108 8 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139673009396168 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32712] ppid=32706 vsize=698236 memory=171132 CPUtime=2380.24 cores=0-7
/proc/32709/task/32712/stat : 32712 (cosoco) R 32706 32709 31775 0 -1 4202560 51576 0 0 0 238018 6 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139673001003464 5157576 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32713] ppid=32706 vsize=698236 memory=171132 CPUtime=2379.27 cores=0-7
/proc/32709/task/32713/stat : 32713 (cosoco) R 32706 32709 31775 0 -1 4202560 58321 0 0 0 237919 8 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672992611600 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=171132 CPUtime=2381.35 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) R 32706 32709 31775 0 -1 4202560 36523 0 0 0 238130 5 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672984218216 5157576 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=171132 CPUtime=2381.64 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 43101 0 0 0 238157 7 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672975825352 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=171132 CPUtime=2355.33 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 50615 0 0 0 235529 4 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672967432680 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=171132 CPUtime=2381.5 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) R 32706 32709 31775 0 -1 4202560 64311 0 0 0 238144 6 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672959040784 5250266 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32718] ppid=32706 vsize=698236 memory=171132 CPUtime=2381.62 cores=0-7
/proc/32709/task/32718/stat : 32718 (cosoco) R 32706 32709 31775 0 -1 4202560 62673 0 0 0 238154 8 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672950647240 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
Current children cumulated CPU time: 19022.4 s
Current children cumulated vsize: 698236 KiB
Current children cumulated memory: 171132 KiB

[startup+2442.3 s]
/proc/loadavg: 8.00 8.10 7.97 9/198 464
/proc/meminfo: memFree=31420656/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=698236 memory=171132 CPUtime=19501.6 cores=0-7
/proc/32709/stat : 32709 (cosoco) S 32706 32709 31775 0 -1 1077944320 436819 0 0 0 1950097 59 0 0 20 0 9 0 558600356 714993664 42783 33554432000 4194304 6211132 140732817912080 140732817910336 139673032539895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 174559 42783 887 493 0 167864 0
[pid=32709/tid=32711] ppid=32706 vsize=698236 memory=171132 CPUtime=2441.15 cores=0-7
/proc/32709/task/32711/stat : 32711 (cosoco) R 32706 32709 31775 0 -1 4202560 47346 0 0 0 244107 8 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139673009396168 5409423 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32712] ppid=32706 vsize=698236 memory=1556 CPUtime=2440.24 cores=0-7
/proc/32709/task/32712/stat : 32712 (cosoco) R 32706 32709 31775 0 -1 4202560 51754 0 0 0 244018 6 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139673001003464 5250330 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32713] ppid=32706 vsize=698236 memory=171132 CPUtime=2439.26 cores=0-7
/proc/32709/task/32713/stat : 32713 (cosoco) R 32706 32709 31775 0 -1 4202560 58452 0 0 0 243918 8 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672992611600 5155976 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=171132 CPUtime=2441.34 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) R 32706 32709 31775 0 -1 4202560 36689 0 0 0 244129 5 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672984218088 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=171132 CPUtime=2441.64 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 43213 0 0 0 244157 7 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672975825352 5156176 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=171132 CPUtime=2414.55 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 50663 0 0 0 241451 4 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672967432680 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=171132 CPUtime=2441.49 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) R 32706 32709 31775 0 -1 4202560 64442 0 0 0 244143 6 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672959040784 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32718] ppid=32706 vsize=698236 memory=171132 CPUtime=2441.6 cores=0-7
/proc/32709/task/32718/stat : 32718 (cosoco) R 32706 32709 31775 0 -1 4202560 62806 0 0 0 244152 8 0 0 20 0 9 0 558600379 714993664 42783 33554432000 4194304 6211132 140732817912080 139672950647240 5155849 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
Current children cumulated CPU time: 19501.6 s
Current children cumulated vsize: 698236 KiB
Current children cumulated memory: 171132 KiB

[startup+2502.3 s]
/proc/loadavg: 8.46 8.21 8.02 9/198 467
/proc/meminfo: memFree=31420748/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=698236 memory=171156 CPUtime=19980.7 cores=0-7
/proc/32709/stat : 32709 (cosoco) S 32706 32709 31775 0 -1 1077944320 437691 0 0 0 1998013 59 0 0 20 0 9 0 558600356 714993664 42789 33554432000 4194304 6211132 140732817912080 140732817910336 139673032539895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 174559 42789 887 493 0 167864 0
[pid=32709/tid=32711] ppid=32706 vsize=698236 memory=1056 CPUtime=2501.14 cores=0-7
/proc/32709/task/32711/stat : 32711 (cosoco) R 32706 32709 31775 0 -1 4202560 47474 0 0 0 250106 8 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139673009396168 5155836 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32712] ppid=32706 vsize=698236 memory=171156 CPUtime=2500.23 cores=0-7
/proc/32709/task/32712/stat : 32712 (cosoco) R 32706 32709 31775 0 -1 4202560 51867 0 0 0 250017 6 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139673001003464 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32713] ppid=32706 vsize=698236 memory=171156 CPUtime=2499.25 cores=0-7
/proc/32709/task/32713/stat : 32713 (cosoco) R 32706 32709 31775 0 -1 4202560 58581 0 0 0 249917 8 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672992611600 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=171156 CPUtime=2501.32 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) R 32706 32709 31775 0 -1 4202560 36810 0 0 0 250127 5 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672984218088 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=171156 CPUtime=2501.64 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 43318 0 0 0 250157 7 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672975825352 5157576 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=171156 CPUtime=2473.79 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 50707 0 0 0 247375 4 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672967432680 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=171156 CPUtime=2501.48 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) R 32706 32709 31775 0 -1 4202560 64556 0 0 0 250142 6 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672959040784 5155976 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32718] ppid=32706 vsize=698236 memory=171156 CPUtime=2501.58 cores=0-7
/proc/32709/task/32718/stat : 32718 (cosoco) R 32706 32709 31775 0 -1 4202560 62924 0 0 0 250150 8 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672950647240 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
Current children cumulated CPU time: 19980.7 s
Current children cumulated vsize: 698236 KiB
Current children cumulated memory: 171156 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.46 8.23 8.03 9/198 469
/proc/meminfo: memFree=31420600/32770624 swapFree=66986684/67108860
[pid=32709] ppid=32706 vsize=698236 memory=171156 CPUtime=20122.1 cores=0-7
/proc/32709/stat : 32709 (cosoco) S 32706 32709 31775 0 -1 1077944320 437694 0 0 0 2012154 59 0 0 20 0 9 0 558600356 714993664 42789 33554432000 4194304 6211132 140732817912080 140732817910336 139673032539895 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
/proc/32709/statm: 174559 42789 887 493 0 167864 0
[pid=32709/tid=32711] ppid=32706 vsize=698236 memory=6935054825532540783 CPUtime=2518.84 cores=0-7
/proc/32709/task/32711/stat : 32711 (cosoco) R 32706 32709 31775 0 -1 4202560 47474 0 0 0 251876 8 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139673009396168 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32712] ppid=32706 vsize=698236 memory=4126316290023845779 CPUtime=2517.94 cores=0-7
/proc/32709/task/32712/stat : 32712 (cosoco) R 32706 32709 31775 0 -1 4202560 51868 0 0 0 251788 6 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139673001003464 5156168 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32713] ppid=32706 vsize=698236 memory=1808 CPUtime=2516.95 cores=0-7
/proc/32709/task/32713/stat : 32713 (cosoco) R 32706 32709 31775 0 -1 4202560 58581 0 0 0 251687 8 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672992611600 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32714] ppid=32706 vsize=698236 memory=920 CPUtime=2519.02 cores=0-7
/proc/32709/task/32714/stat : 32714 (cosoco) R 32706 32709 31775 0 -1 4202560 36810 0 0 0 251897 5 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672984218088 5250256 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32715] ppid=32706 vsize=698236 memory=4132 CPUtime=2519.34 cores=0-7
/proc/32709/task/32715/stat : 32715 (cosoco) R 32706 32709 31775 0 -1 4202560 43318 0 0 0 251927 7 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672975825352 5158008 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32716] ppid=32706 vsize=698236 memory=1164 CPUtime=2491.27 cores=0-7
/proc/32709/task/32716/stat : 32716 (cosoco) R 32706 32709 31775 0 -1 4202560 50707 0 0 0 249123 4 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672967432680 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32717] ppid=32706 vsize=698236 memory=4104 CPUtime=2519.18 cores=0-7
/proc/32709/task/32717/stat : 32717 (cosoco) R 32706 32709 31775 0 -1 4202560 64556 0 0 0 251912 6 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672959040784 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
[pid=32709/tid=32718] ppid=32706 vsize=698236 memory=1408 CPUtime=2519.29 cores=0-7
/proc/32709/task/32718/stat : 32718 (cosoco) R 32706 32709 31775 0 -1 4202560 62926 0 0 0 251921 8 0 0 20 0 9 0 558600379 714993664 42789 33554432000 4194304 6211132 140732817912080 139672950647240 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 16203776 140732817921041 140732817921133 140732817921133 140732817924046 0
Current children cumulated CPU time: 20122.1 s
Current children cumulated vsize: 698236 KiB
Current children cumulated memory: 171156 KiB

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

[startup+2520.02 s]
# the end of solver process 32709 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20121.6 s, system=0.599652 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): 20122.2
CPU user time (s): 20121.6
CPU system time (s): 0.599652
CPU usage (%): 798.494
Max. virtual memory (cumulated for all children) (KiB): 698236
Max. memory (cumulated for all children) (KiB): 171156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20121.6
system time used= 0.599652
maximum resident set size= 171428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437742
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= 4301
involuntary context switches= 153318


# summary of solver processes directly reported to runsolver:
#   pid: 32709
#   total CPU time (s): 20122.2
#   total CPU user time (s): 20121.6
#   total CPU system time (s): 0.599652

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1594 second user time and 20.4659 second system time

The end

Launcher Data

Begin job on node104 at 2019-09-30 06:53:34
IDJOB=4409751
IDBENCH=124450
IDSOLVER=2877
FILE ID=node104/4409751-1569823441
RUNJOBID= node104-1569813805-31802
PBS_JOBID= 21705922
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n38-k5.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409751-1569823441/watcher-4409751-1569823441 -o /tmp/evaluation-result-4409751-1569823441/solver-4409751-1569823441 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569813805-31802 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409751-1569823441.xml

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

MD5SUM BENCH= 681710e79c8377b968f88ec392af942b
RANDOM SEED=445915283

node104.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.09
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.09
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.09
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.09
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:        31587812 kB
MemAvailable:   31839076 kB
Buffers:          210324 kB
Cached:           368728 kB
SwapCached:        22760 kB
Active:           307520 kB
Inactive:         298152 kB
Active(anon):      17708 kB
Inactive(anon):    91236 kB
Active(file):     289812 kB
Inactive(file):   206916 kB
Unevictable:      109656 kB
Mlocked:          109656 kB
SwapTotal:      67108860 kB
SwapFree:       66986684 kB
Dirty:              2792 kB
Writeback:            68 kB
AnonPages:        114912 kB
Mapped:            26692 kB
Shmem:             73632 kB
Slab:             170340 kB
SReclaimable:     140744 kB
SUnreclaim:        29596 kB
KernelStack:        3376 kB
PageTables:         4936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     530464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62028 MiB
End job on node104 at 2019-09-30 07:35:34