Trace number 4410057

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)31702 2008.94 252.05

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-lipa50a.xml
MD5SUM4fcc0be526f5147180ee0aa4ecb06fa1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark31118
Best CPU time to get the best result obtained on this benchmark2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables2550
Number of constraints1200
Number of domains2
Minimum domain size49
Maximum domain size50
Distribution of domain sizes[{"size":49,"count":1199},{"size":50,"count":50}]
Minimum variable degree0
Maximum variable degree50
Distribution of variable degrees[{"degree":0,"count":1301},{"degree":2,"count":1199},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":48,"count":6},{"degree":49,"count":32},{"degree":50,"count":10}]
Minimum constraint arity3
Maximum constraint arity50
Distribution of constraint arities[{"arity":3,"count":1199},{"arity":50,"count":1}]
Number of extensional constraints1199
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1199},{"type":"allDifferent","count":1}]
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

19.53/2.80	c
19.53/2.80	c This is cosoco 2.00 --  
19.53/2.80	c
19.53/2.80	c command line: cosoco -model -nbcores=8 HOME/instance-4410057-1569828690.xml 
19.53/2.80	c enable optimization
19.53/2.80	c ========================================[ Problem Statistics ]===========================================
19.53/2.80	c |                                                                                                       
19.53/2.80	c |  Parse time        :         0.28 s 
19.53/2.80	c |
19.53/2.80	c |               Variables: 2550
19.53/2.80	c |            Domain Sizes: 49..50
19.53/2.80	c |
19.53/2.80	c |             Constraints: 1201
19.53/2.80	c |                   Arity: 3..1199  -- Ternary: 1199
19.53/2.80	c | 
19.53/2.80	c |                   Types: 
19.53/2.80	c |                          All Different: 1
19.53/2.80	c |                          Extension: 1199  (nb tuples: 2450..2450) -- (shared: 9584)
19.53/2.80	c |                          Sum: 1
19.53/2.80	c |                          
19.53/2.80	c |               Objective: Minimize Sum
19.53/2.80	
19.53/2.80	c =========================================================================================================
19.53/2.80	c Parallel mode: Portfolio
19.53/2.80	c [pFactory][Group N°0] created (threads:8).
19.53/2.80	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
19.53/2.80	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
19.53/2.80	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
19.53/2.80	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
19.53/2.80	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
19.53/2.80	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
19.53/2.80	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
19.53/2.80	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
19.53/2.80	c [pFactory][Group N°0] concurrent mode: enabled.
19.53/2.80	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
19.53/2.80	c [pFactory][Group N°0] task 7 launched on thread 0.
19.53/2.80	c [pFactory][Group N°0] task 6 launched on thread 1.
19.53/2.80	c [pFactory][Group N°0] task 5 launched on thread 6.
19.53/2.80	c [pFactory][Group N°0] task 4 launched on thread 2.
19.53/2.80	c [pFactory][Group N°0] task 3 launched on thread 7.
19.53/2.80	c [pFactory][Group N°0] task 2 launched on thread 4.
19.53/2.80	c [pFactory][Group N°0] task 1 launched on thread 5.
19.53/2.80	c [pFactory][Group N°0] task 0 launched on thread 3.
19.53/2.80	o 31946
19.53/2.83	o 31843
20.30/2.94	o 31782
41.84/5.64	o 31740
374.73/47.39	o 31735
793.73/99.88	o 31730
923.89/116.12	o 31714
1081.88/135.97	o 31702
2008.79/252.02	
2008.79/252.02	c *** INTERRUPTED ***
2008.79/252.02	c call to solver        : 7
2008.79/252.02	c
2008.79/252.02	c restarts              : 940         
2008.79/252.02	c conflicts             : 4182         (2 /sec)
2008.79/252.02	c decisions             : 106035       (53 /sec)
2008.79/252.02	c propagations          : 6630693     (3303 /sec)
2008.79/252.02	c root propagations     : 1199        
2008.79/252.02	c filter calls          : 4457197        (2220 /sec)
2008.79/252.02	c useless filter calls  : 4009202        (89 %)
2008.79/252.02	c Memory used           : 962.82 MB
2008.79/252.02	c Best bound time (wc)  : 135.973 s
2008.79/252.02	c CPU time              : 2007.59 s
2008.79/252.02	c real time             : 252.017 s
2008.79/252.02	
2008.79/252.02	s SATISFIABLE
2008.79/252.02	c Best value found: 31702
2008.79/252.02	
2008.79/252.02	
2008.79/252.02	v <instantiation type='solution' cost='31702'>
2008.79/252.02	v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][2] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][3] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][2] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][3] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][2] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][3] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][2] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][3] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][2] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][3] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][2] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][3] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][2] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][3] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][2] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][3] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][2] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][3] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][2] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][3] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][2] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][3] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][2] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][3] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][2] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][3] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][2] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][3] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][2] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][3] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][2] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][3] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][2] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][3] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][2] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][3] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[26][0] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][1] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][2] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][3] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[27][0] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][1] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][2] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][3] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[28][0] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][1] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][2] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][3] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[29][0] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][1] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][2] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][3] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][2] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][3] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[30][0] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][1] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][2] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][3] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[31][0] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][1] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][2] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][3] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[32][0] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][1] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][2] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][3] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[33][0] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][1] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][2] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][3] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[34][0] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][1] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][2] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][3] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[35][0] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][1] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][2] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][3] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[36][0] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][1] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][2] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][3] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[37][0] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][1] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][2] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][3] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[38][0] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][1] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][2] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][3] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[39][0] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][1] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][2] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][3] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][2] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][3] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[40][0] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][1] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][2] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][3] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[41][0] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][1] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][2] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][3] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[42][0] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][1] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][2] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][3] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[43][0] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][1] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][2] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][3] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[44][0] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][1] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][2] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][3] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[45][0] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][1] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][2] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][3] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[46][0] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][1] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][2] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][3] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[47][0] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][1] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][2] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][3] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[48][0] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][1] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][2] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][3] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[49][0] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][1] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][2] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][3] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][2] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][3] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][2] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][3] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][2] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][3] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][2] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][3] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][2] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][3] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][2] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][3] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] 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[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[5] x[6] x[7] x[8] x[9] </list>
2008.79/252.02	v <values>* 22 34 45 42 8 34 12 44 28 27 25 11 7 22 47 29 25 2 35 28 48 21 41 19 10 28 33 28 38 17 23 33 13 19 25 * 42 35 19 27 31 14 20 33 33 17 11 34 37 * * 28 30 42 42 21 29 34 27 27 * 47 33 35 40 28 29 34 11 18 37 * 24 33 48 30 34 36 11 16 32 47 * 44 25 23 24 46 19 24 22 * 15 * * * * * * * * * 33 26 33 26 42 35 28 36 * 24 20 36 24 38 25 29 15 27 30 * 14 46 27 17 7 27 24 29 8 8 * 33 * 19 36 35 23 30 20 28 26 * * * * * * * * * * 31 20 30 10 * 44 33 * 34 24 14 33 33 23 36 11 8 3 * 29 31 17 26 35 20 19 18 27 14 * 19 11 21 24 28 18 22 42 27 7 * * * * * * * * * * * 35 29 26 23 29 17 * 36 34 22 43 14 15 23 17 16 12 * 22 10 13 6 48 28 14 35 17 39 * * 23 28 35 18 20 26 41 44 32 * * * * * * * * * * * * 35 7 16 34 19 * 22 33 42 20 22 26 24 22 26 25 * 21 41 29 19 33 * 41 26 10 25 * 8 21 21 31 34 17 25 39 21 36 * * * * * * * * * * * * * 41 27 13 16 * 32 29 29 18 * 31 25 27 23 30 * 17 15 12 34 17 29 22 26 19 34 * 27 13 23 39 22 27 26 16 28 31 * * * * * * * * * * * * * * 38 28 48 * 11 14 32 30 21 31 17 45 29 18 * 24 37 27 27 34 14 20 26 28 46 * 24 5 14 19 29 16 36 17 15 36 * * * * * * * * * * * * * * * 33 26 * 28 26 44 22 25 31 22 36 37 47 * 15 35 5 33 29 35 28 21 32 34 * 4 34 23 25 30 48 24 7 37 14 * * * * * * * * * * * * * * * * 22 * 31 25 26 46 39 35 23 24 29 4 * 32 23 6 28 13 24 28 49 39 26 * 20 21 31 33 8 25 14 25 18 25 * * * * * * * * * * * * * * * * * * 20 12 28 38 19 17 42 28 41 30 * 21 24 16 26 26 23 24 40 * 14 * 34 35 35 22 16 39 21 25 15 35 * * * * * * * 48 4 32 30 15 19 22 13 35 40 * 14 26 31 15 27 26 46 19 25 25 27 27 21 9 18 36 12 6 27 26 8 29 29 21 9 25 * 9 28 38 16 26 6 32 27 5 7 32 * * * * * * * * * * * * * 45 47 25 26 26 16 36 29 35 * 25 13 38 * 30 22 35 34 16 36 * 24 27 27 35 24 22 9 23 25 22 * * * * * * * * * * * * * * * * * * * * 14 27 43 29 35 44 24 41 * 25 47 18 30 14 29 18 45 34 44 * 38 11 35 45 36 13 31 10 * 23 * * * * * * * * * * * * * * * * * * * * * 29 30 22 17 20 27 8 * 26 28 37 24 36 14 21 23 5 15 * 34 * 17 14 30 30 25 26 22 33 * * * * * * * * * * * * * * * * * * * * * * 10 27 18 34 18 22 * 7 14 18 32 32 37 33 33 23 29 * 27 20 14 33 21 16 2 30 19 14 * * * * * * * * * * * * * * * * * * * * * * * 30 34 6 36 21 * 9 27 36 17 44 20 35 2 40 29 * 38 36 22 * 17 40 21 41 35 28 * * * * * * * * * * * * * * * * * * * * * * * * 36 24 44 28 * 12 * 43 22 15 44 26 42 9 14 * 31 38 35 17 18 28 22 11 21 24 * * * * * * * * * * * * * * * * * * * * * * * * * 44 22 26 * 14 16 26 29 29 41 40 37 14 29 * 25 31 29 34 24 21 38 27 23 32 * * * * * * * * * * * * * * * * * * * * * * * * * * 30 27 * 25 37 34 27 27 44 30 18 15 10 * 15 26 25 41 33 22 22 36 15 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * 24 * 31 30 42 30 17 21 41 28 38 31 * 32 28 21 27 23 15 28 27 * 28 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 12 33 11 36 40 27 24 24 20 17 * 26 38 31 18 40 8 24 18 * 22 * * * * * * * 19 31 28 34 12 33 31 29 * 14 * 14 11 25 29 31 23 44 41 14 37 * 35 33 19 22 20 23 27 30 42 17 40 29 47 23 7 26 27 21 38 10 12 34 25 29 24 25 29 * * * * * * * * * * * * * * * * * * * * * * * * 30 27 30 35 29 21 14 20 16 * 24 35 42 22 7 25 40 33 34 35 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 35 14 34 9 41 21 36 23 * 32 25 39 31 26 18 34 24 26 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 23 33 22 32 44 * 23 * 16 38 21 35 14 35 7 25 19 17 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 13 23 39 20 36 26 * 28 30 7 29 27 26 31 29 20 29 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 31 9 9 44 37 * 28 29 40 14 22 16 23 10 26 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 31 30 28 * 45 25 31 22 31 25 17 21 20 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 25 21 7 * 35 34 15 35 30 6 41 14 36 11 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 8 * 19 30 5 * 38 15 28 39 28 28 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 11 * 34 22 18 11 22 9 19 11 34 24 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 18 16 12 21 20 11 19 7 * 30 * * * * * * * 22 22 17 26 32 16 28 32 24 19 * 21 28 32 25 16 34 18 10 17 30 * 30 33 7 16 33 38 17 29 11 26 * 19 11 22 13 25 31 28 * 9 30 21 18 11 6 34 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 22 29 12 6 19 35 20 35 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 49 8 26 20 24 19 37 35 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 13 42 11 28 26 34 16 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 16 19 47 16 5 38 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 29 44 24 33 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 19 11 18 13 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 33 37 16 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 35 17 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 18 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 30 27 32 29 25 15 22 24 27 35 * 26 35 44 46 27 * 32 30 27 17 * 37 31 4 14 38 6 29 13 20 31 * 35 15 25 33 13 40 24 11 39 47 * 43 34 39 27 40 * 27 34 21 45 20 20 27 17 19 34 * 26 6 26 24 38 29 28 24 24 28 * 29 37 39 29 39 42 * 41 37 26 * 20 49 27 28 22 33 23 39 34 15 * * 20 47 30 21 * 5 35 42 46 13 33 28 35 30 21 * 22 * 23 25 11 38 15 24 5 24 * 14 5 19 37 24 20 28 28 15 27 * 22 18 15 31 35 30 19 28 31 26 * * * 24 35 24 * 37 25 39 40 26 34 18 20 35 31 * 31 32 32 32 3 * 38 12 38 21 * 24 9 28 24 28 35 14 13 43 44 * 19 41 37 29 36 32 24 5 31 36 * * * * 41 13 * 28 15 14 27 32 16 12 28 33 24 * 35 23 35 30 33 36 11 42 42 29 * 27 16 29 16 28 28 33 19 14 15 * 23 25 20 26 33 36 11 28 45 21 * * * * * 10 * 43 29 35 30 33 10 29 23 43 31 * 37 28 8 8 35 29 21 29 13 44 * 26 32 38 35 8 44 27 43 20 34 * 36 35 14 30 * 23 25 33 24 26 * * * * * * 32 9 34 47 48 11 26 19 29 41 31 2 25 35 14 27 4 1 18 6 39 45 0 38 12 8 5 33 28 17 24 40 13 21 49 7 46 23 37 10 3 36 16 22 42 30 20 43 15 44 </values>
2008.79/252.02	v </instantiation>
2008.79/252.02	

Verifier Data

OK	31702

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4410057-1569828690/watcher-4410057-1569828690 -o /tmp/evaluation-result-4410057-1569828690/solver-4410057-1569828690 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1569817669-3093 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410057-1569828690.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=5080, runsolver pid=5077
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 6.08 8.23 8.26 2/192 5081
/proc/meminfo: memFree=30104596/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=80552 memory=56608 CPUtime=0.1 cores=0-7
/proc/5080/stat : 5080 (cosoco) R 5077 5080 3066 0 -1 4202496 14329 0 0 0 9 1 0 0 20 0 1 0 558783683 82485248 14152 33554432000 4194304 6211132 140721398935040 140721398931576 140686558989285 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 20138 14152 754 493 0 13443 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80552 KiB
Current children cumulated memory: 56608 KiB

[startup+0.209149 s]*
/proc/loadavg: 6.08 8.23 8.26 2/192 5081
/proc/meminfo: memFree=29998948/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=195452 memory=171712 CPUtime=0.2 cores=0-7
/proc/5080/stat : 5080 (cosoco) R 5077 5080 3066 0 -1 4202496 43086 0 0 0 16 4 0 0 20 0 1 0 558783683 200142848 42862 33554432000 4194304 6211132 140721398935040 140721398931576 140686559037344 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 48863 42928 822 493 0 42168 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 195452 KiB
Current children cumulated memory: 171712 KiB

[startup+0.308582 s]*
/proc/loadavg: 6.08 8.23 8.26 2/192 5081
/proc/meminfo: memFree=29892556/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=296520 memory=272824 CPUtime=0.31 cores=0-7
/proc/5080/stat : 5080 (cosoco) R 5077 5080 3066 0 -1 4202496 68397 0 0 0 23 8 0 0 20 0 1 0 558783683 303636480 68206 33554432000 4194304 6211132 140721398935040 140721398931576 5046089 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 74130 68206 830 493 0 67435 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 296520 KiB
Current children cumulated memory: 272824 KiB

[startup+0.701361 s]
/proc/loadavg: 6.08 8.23 8.26 9/200 5089
/proc/meminfo: memFree=29783728/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=985920 memory=372352 CPUtime=2.75 cores=0-7
/proc/5080/stat : 5080 (cosoco) S 5077 5080 3066 0 -1 1077944320 93366 0 0 0 264 11 0 0 20 0 9 0 558783683 1009582080 93088 33554432000 4194304 6211132 140721398935040 140721398933296 140686575030007 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 246480 93088 855 493 0 239785 0
[pid=5080/tid=5082] ppid=5077 vsize=985920 memory=302022878516478283 CPUtime=0.3 cores=0-7
/proc/5080/task/5082/stat : 5082 (cosoco) R 5077 5080 3066 0 -1 4202560 7 0 0 0 30 0 0 0 20 0 9 0 558783723 1009582080 93088 33554432000 4194304 6211132 140721398935040 140686551887456 5250325 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5083] ppid=5077 vsize=985920 memory=280618801996736 CPUtime=0.3 cores=0-7
/proc/5080/task/5083/stat : 5083 (cosoco) R 5077 5080 3066 0 -1 4202560 10 0 0 0 30 0 0 0 20 0 9 0 558783723 1009582080 93088 33554432000 4194304 6211132 140721398935040 140686543494752 5156264 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5084] ppid=5077 vsize=985920 memory=140309401033936 CPUtime=0.28 cores=0-7
/proc/5080/task/5084/stat : 5084 (cosoco) R 5077 5080 3066 0 -1 4202560 5 0 0 0 28 0 0 0 20 0 9 0 558783723 1009582080 93088 33554432000 4194304 6211132 140721398935040 140686535101400 5250325 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5085] ppid=5077 vsize=985920 memory=9188 CPUtime=0.28 cores=0-7
/proc/5080/task/5085/stat : 5085 (cosoco) R 5077 5080 3066 0 -1 4202560 6 0 0 0 28 0 0 0 20 0 9 0 558783723 1009582080 93088 33554432000 4194304 6211132 140721398935040 140686526708696 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5086] ppid=5077 vsize=985920 memory=7019257425709197167 CPUtime=0.29 cores=0-7
/proc/5080/task/5086/stat : 5086 (cosoco) R 5077 5080 3066 0 -1 4202560 6 0 0 0 29 0 0 0 20 0 9 0 558783723 1009582080 93088 33554432000 4194304 6211132 140721398935040 140686518316640 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5087] ppid=5077 vsize=985920 memory=5788063852999566677 CPUtime=0.29 cores=0-7
/proc/5080/task/5087/stat : 5087 (cosoco) R 5077 5080 3066 0 -1 4202560 6 0 0 0 29 0 0 0 20 0 9 0 558783723 1009582080 93088 33554432000 4194304 6211132 140721398935040 140686509923288 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5088] ppid=5077 vsize=985920 memory=7236547281622689387 CPUtime=0.3 cores=0-7
/proc/5080/task/5088/stat : 5088 (cosoco) R 5077 5080 3066 0 -1 4202560 5 0 0 0 30 0 0 0 20 0 9 0 558783723 1009582080 93088 33554432000 4194304 6211132 140721398935040 140686501531232 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5089] ppid=5077 vsize=985920 memory=3504 CPUtime=0.3 cores=0-7
/proc/5080/task/5089/stat : 5089 (cosoco) R 5077 5080 3066 0 -1 4202560 5 0 0 0 30 0 0 0 20 0 9 0 558783723 1009582080 93088 33554432000 4194304 6211132 140721398935040 140686493137880 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 985920 KiB
Current children cumulated memory: 372352 KiB

[startup+1.50136 s]
/proc/loadavg: 6.23 8.23 8.25 9/200 5089
/proc/meminfo: memFree=29783888/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=985920 memory=373240 CPUtime=9.13 cores=0-7
/proc/5080/stat : 5080 (cosoco) S 5077 5080 3066 0 -1 1077944320 109261 0 0 0 896 17 0 0 20 0 9 0 558783683 1009582080 93310 33554432000 4194304 6211132 140721398935040 140721398933296 140686575030007 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 246480 93310 864 493 0 239785 0
[pid=5080/tid=5082] ppid=5077 vsize=985920 memory=140313847686783 CPUtime=1.09 cores=0-7
/proc/5080/task/5082/stat : 5082 (cosoco) R 5077 5080 3066 0 -1 4202560 2884 0 0 0 108 1 0 0 20 0 9 0 558783723 1009582080 93310 33554432000 4194304 6211132 140721398935040 140686551886808 5037876 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5083] ppid=5077 vsize=985920 memory=0 CPUtime=1.09 cores=0-7
/proc/5080/task/5083/stat : 5083 (cosoco) R 5077 5080 3066 0 -1 4202560 2098 0 0 0 109 0 0 0 20 0 9 0 558783723 1009582080 93310 33554432000 4194304 6211132 140721398935040 140686543494064 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5084] ppid=5077 vsize=985920 memory=0 CPUtime=1.05 cores=0-7
/proc/5080/task/5084/stat : 5084 (cosoco) R 5077 5080 3066 0 -1 4202560 1839 0 0 0 104 1 0 0 20 0 9 0 558783723 1009582080 93310 33554432000 4194304 6211132 140721398935040 140686535101400 5397400 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5085] ppid=5077 vsize=985920 memory=89 CPUtime=1.08 cores=0-7
/proc/5080/task/5085/stat : 5085 (cosoco) R 5077 5080 3066 0 -1 4202560 2215 0 0 0 108 0 0 0 20 0 9 0 558783723 1009582080 93310 33554432000 4194304 6211132 140721398935040 140686526708696 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5086] ppid=5077 vsize=985920 memory=90 CPUtime=1.09 cores=0-7
/proc/5080/task/5086/stat : 5086 (cosoco) R 5077 5080 3066 0 -1 4202560 2281 0 0 0 109 0 0 0 20 0 9 0 558783723 1009582080 93310 33554432000 4194304 6211132 140721398935040 140686518315992 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5087] ppid=5077 vsize=985920 memory=90 CPUtime=1.08 cores=0-7
/proc/5080/task/5087/stat : 5087 (cosoco) R 5077 5080 3066 0 -1 4202560 2352 0 0 0 108 0 0 0 20 0 9 0 558783723 1009582080 93310 33554432000 4194304 6211132 140721398935040 140686509923288 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5088] ppid=5077 vsize=985920 memory=280618953856944 CPUtime=1.1 cores=0-7
/proc/5080/task/5088/stat : 5088 (cosoco) R 5077 5080 3066 0 -1 4202560 730 0 0 0 109 1 0 0 20 0 9 0 558783723 1009582080 93310 33554432000 4194304 6211132 140721398935040 140686501530584 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5089] ppid=5077 vsize=985920 memory=0 CPUtime=1.09 cores=0-7
/proc/5080/task/5089/stat : 5089 (cosoco) R 5077 5080 3066 0 -1 12591168 1553 0 0 0 108 1 0 0 20 0 9 0 558783723 1009582080 93310 33554432000 4194304 6211132 140721398935040 140686493137880 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
Current children cumulated CPU time: 9.13 s
Current children cumulated vsize: 985920 KiB
Current children cumulated memory: 373240 KiB

[startup+3.11036 s]
/proc/loadavg: 6.23 8.23 8.25 9/200 5089
/proc/meminfo: memFree=29729700/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=985920 memory=427144 CPUtime=21.95 cores=0-7
/proc/5080/stat : 5080 (cosoco) S 5077 5080 3066 0 -1 1077944320 235853 0 0 0 2142 53 0 0 20 0 9 0 558783683 1009582080 106786 33554432000 4194304 6211132 140721398935040 140721398933296 140686575030007 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 246480 106786 865 493 0 239785 0
[pid=5080/tid=5082] ppid=5077 vsize=985920 memory=21805548971956 CPUtime=2.69 cores=0-7
/proc/5080/task/5082/stat : 5082 (cosoco) R 5077 5080 3066 0 -1 4202560 15514 0 0 0 261 8 0 0 20 0 9 0 558783723 1009582080 106786 33554432000 4194304 6211132 140721398935040 140686551886568 5039022 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5083] ppid=5077 vsize=985920 memory=0 CPUtime=2.7 cores=0-7
/proc/5080/task/5083/stat : 5083 (cosoco) R 5077 5080 3066 0 -1 4202560 16254 0 0 0 268 2 0 0 20 0 9 0 558783723 1009582080 106786 33554432000 4194304 6211132 140721398935040 140686543493864 5037821 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5084] ppid=5077 vsize=985920 memory=5865188000529146989 CPUtime=2.65 cores=0-7
/proc/5080/task/5084/stat : 5084 (cosoco) R 5077 5080 3066 0 -1 4202560 17745 0 0 0 257 8 0 0 20 0 9 0 558783723 1009582080 106786 33554432000 4194304 6211132 140721398935040 140686535101712 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5085] ppid=5077 vsize=985920 memory=5859271421084521832 CPUtime=2.68 cores=0-7
/proc/5080/task/5085/stat : 5085 (cosoco) R 5077 5080 3066 0 -1 4202560 23536 0 0 0 266 2 0 0 20 0 9 0 558783723 1009582080 106786 33554432000 4194304 6211132 140721398935040 140686526709008 5039029 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5086] ppid=5077 vsize=985920 memory=398540 CPUtime=2.69 cores=0-7
/proc/5080/task/5086/stat : 5086 (cosoco) R 5077 5080 3066 0 -1 4202560 19287 0 0 0 268 1 0 0 20 0 9 0 558783723 1009582080 106786 33554432000 4194304 6211132 140721398935040 140686518315432 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5087] ppid=5077 vsize=985920 memory=-8412661042826874739 CPUtime=2.69 cores=0-7
/proc/5080/task/5087/stat : 5087 (cosoco) R 5077 5080 3066 0 -1 4202560 21528 0 0 0 268 1 0 0 20 0 9 0 558783723 1009582080 106786 33554432000 4194304 6211132 140721398935040 140686509922920 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5088] ppid=5077 vsize=985920 memory=-8253362664378451622 CPUtime=2.7 cores=0-7
/proc/5080/task/5088/stat : 5088 (cosoco) R 5077 5080 3066 0 -1 4202560 12519 0 0 0 262 8 0 0 20 0 9 0 558783723 1009582080 106786 33554432000 4194304 6211132 140721398935040 140686501530952 5397258 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5089] ppid=5077 vsize=985920 memory=425776 CPUtime=2.69 cores=0-7
/proc/5080/task/5089/stat : 5089 (cosoco) R 5077 5080 3066 0 -1 4202560 16157 0 0 0 260 9 0 0 20 0 9 0 558783723 1009582080 106786 33554432000 4194304 6211132 140721398935040 140686493137512 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
Current children cumulated CPU time: 21.95 s
Current children cumulated vsize: 985920 KiB
Current children cumulated memory: 427144 KiB

[startup+6.30136 s]
/proc/loadavg: 6.37 8.22 8.25 9/200 5089
/proc/meminfo: memFree=29707596/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=985920 memory=449256 CPUtime=47.42 cores=0-7
/proc/5080/stat : 5080 (cosoco) S 5077 5080 3066 0 -1 1077944320 332531 0 0 0 4679 63 0 0 20 0 9 0 558783683 1009582080 112314 33554432000 4194304 6211132 140721398935040 140721398933296 140686575030007 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 246480 112314 865 493 0 239785 0
[pid=5080/tid=5082] ppid=5077 vsize=985920 memory=448668 CPUtime=5.89 cores=0-7
/proc/5080/task/5082/stat : 5082 (cosoco) R 5077 5080 3066 0 -1 4202560 26694 0 0 0 579 10 0 0 20 0 9 0 558783723 1009582080 112314 33554432000 4194304 6211132 140721398935040 140686551886248 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5083] ppid=5077 vsize=985920 memory=140313847686783 CPUtime=5.88 cores=0-7
/proc/5080/task/5083/stat : 5083 (cosoco) R 5077 5080 3066 0 -1 4202560 30281 0 0 0 585 3 0 0 20 0 9 0 558783723 1009582080 112314 33554432000 4194304 6211132 140721398935040 140686543494416 5038944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5084] ppid=5077 vsize=985920 memory=55 CPUtime=5.84 cores=0-7
/proc/5080/task/5084/stat : 5084 (cosoco) R 5077 5080 3066 0 -1 4202560 28121 0 0 0 576 8 0 0 20 0 9 0 558783723 1009582080 112314 33554432000 4194304 6211132 140721398935040 140686535100840 5380292 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5085] ppid=5077 vsize=985920 memory=-7606742920825102191 CPUtime=5.87 cores=0-7
/proc/5080/task/5085/stat : 5085 (cosoco) R 5077 5080 3066 0 -1 4202560 36022 0 0 0 583 4 0 0 20 0 9 0 558783723 1009582080 112314 33554432000 4194304 6211132 140721398935040 140686526708136 5037793 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5086] ppid=5077 vsize=985920 memory=373112 CPUtime=5.88 cores=0-7
/proc/5080/task/5086/stat : 5086 (cosoco) R 5077 5080 3066 0 -1 4202560 31472 0 0 0 586 2 0 0 20 0 9 0 558783723 1009582080 112314 33554432000 4194304 6211132 140721398935040 140686518315752 5193786 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5087] ppid=5077 vsize=985920 memory=0 CPUtime=5.87 cores=0-7
/proc/5080/task/5087/stat : 5087 (cosoco) R 5077 5080 3066 0 -1 4202560 35247 0 0 0 585 2 0 0 20 0 9 0 558783723 1009582080 112314 33554432000 4194304 6211132 140721398935040 140686509923048 5037793 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5088] ppid=5077 vsize=985920 memory=1652 CPUtime=5.88 cores=0-7
/proc/5080/task/5088/stat : 5088 (cosoco) R 5077 5080 3066 0 -1 4202560 25238 0 0 0 579 9 0 0 20 0 9 0 558783723 1009582080 112314 33554432000 4194304 6211132 140721398935040 140686501530248 5035278 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5089] ppid=5077 vsize=985920 memory=288230574492221466 CPUtime=5.83 cores=0-7
/proc/5080/task/5089/stat : 5089 (cosoco) R 5077 5080 3066 0 -1 4202560 26339 0 0 0 573 10 0 0 20 0 9 0 558783723 1009582080 112314 33554432000 4194304 6211132 140721398935040 140686493137512 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
Current children cumulated CPU time: 47.42 s
Current children cumulated vsize: 985920 KiB
Current children cumulated memory: 449256 KiB

[startup+12.7044 s]
/proc/loadavg: 6.50 8.22 8.25 9/200 5089
/proc/meminfo: memFree=29688064/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=985920 memory=469328 CPUtime=98.55 cores=0-7
/proc/5080/stat : 5080 (cosoco) S 5077 5080 3066 0 -1 1077944320 477577 0 0 0 9779 76 0 0 20 0 9 0 558783683 1009582080 117332 33554432000 4194304 6211132 140721398935040 140721398933296 140686575030007 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 246480 117332 865 493 0 239785 0
[pid=5080/tid=5082] ppid=5077 vsize=985920 memory=468300 CPUtime=12.29 cores=0-7
/proc/5080/task/5082/stat : 5082 (cosoco) R 5077 5080 3066 0 -1 4202560 46276 0 0 0 1218 11 0 0 20 0 9 0 558783723 1009582080 117332 33554432000 4194304 6211132 140721398935040 140686551886360 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5083] ppid=5077 vsize=985920 memory=0 CPUtime=12.29 cores=0-7
/proc/5080/task/5083/stat : 5083 (cosoco) R 5077 5080 3066 0 -1 4202560 49890 0 0 0 1223 6 0 0 20 0 9 0 558783723 1009582080 117332 33554432000 4194304 6211132 140721398935040 140686543493544 5392113 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5084] ppid=5077 vsize=985920 memory=0 CPUtime=12.24 cores=0-7
/proc/5080/task/5084/stat : 5084 (cosoco) R 5077 5080 3066 0 -1 4202560 50578 0 0 0 1214 10 0 0 20 0 9 0 558783723 1009582080 117332 33554432000 4194304 6211132 140721398935040 140686535100840 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5085] ppid=5077 vsize=985920 memory=280618802081600 CPUtime=12.27 cores=0-7
/proc/5080/task/5085/stat : 5085 (cosoco) R 5077 5080 3066 0 -1 4202560 54052 0 0 0 1222 5 0 0 20 0 9 0 558783723 1009582080 117332 33554432000 4194304 6211132 140721398935040 140686526708328 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5086] ppid=5077 vsize=985920 memory=7236950352809322656 CPUtime=12.28 cores=0-7
/proc/5080/task/5086/stat : 5086 (cosoco) R 5077 5080 3066 0 -1 4202560 45417 0 0 0 1225 3 0 0 20 0 9 0 558783723 1009582080 117332 33554432000 4194304 6211132 140721398935040 140686518315624 5157576 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5087] ppid=5077 vsize=985920 memory=3504 CPUtime=12.28 cores=0-7
/proc/5080/task/5087/stat : 5087 (cosoco) R 5077 5080 3066 0 -1 4202560 49800 0 0 0 1224 4 0 0 20 0 9 0 558783723 1009582080 117332 33554432000 4194304 6211132 140721398935040 140686509922920 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5088] ppid=5077 vsize=985920 memory=2372 CPUtime=12.28 cores=0-7
/proc/5080/task/5088/stat : 5088 (cosoco) R 5077 5080 3066 0 -1 4202560 45789 0 0 0 1217 11 0 0 20 0 9 0 558783723 1009582080 117332 33554432000 4194304 6211132 140721398935040 140686501530024 5038697 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5089] ppid=5077 vsize=985920 memory=10548 CPUtime=12.15 cores=0-7
/proc/5080/task/5089/stat : 5089 (cosoco) R 5077 5080 3066 0 -1 4202560 42459 0 0 0 1203 12 0 0 20 0 9 0 558783723 1009582080 117332 33554432000 4194304 6211132 140721398935040 140686493137320 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
Current children cumulated CPU time: 98.55 s
Current children cumulated vsize: 985920 KiB
Current children cumulated memory: 469328 KiB

[startup+25.5014 s]
/proc/loadavg: 6.89 8.24 8.26 9/200 5091
/proc/meminfo: memFree=29675100/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=985920 memory=481740 CPUtime=200.71 cores=0-7
/proc/5080/stat : 5080 (cosoco) S 5077 5080 3066 0 -1 1077944320 676410 0 0 0 19977 94 0 0 20 0 9 0 558783683 1009582080 120435 33554432000 4194304 6211132 140721398935040 140721398933296 140686575030007 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 246480 120435 865 493 0 239785 0
[pid=5080/tid=5082] ppid=5077 vsize=985920 memory=480368 CPUtime=25.08 cores=0-7
/proc/5080/task/5082/stat : 5082 (cosoco) R 5077 5080 3066 0 -1 4202560 73317 0 0 0 2495 13 0 0 20 0 9 0 558783723 1009582080 120435 33554432000 4194304 6211132 140721398935040 140686551886440 5157576 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5083] ppid=5077 vsize=985920 memory=55 CPUtime=25.08 cores=0-7
/proc/5080/task/5083/stat : 5083 (cosoco) R 5077 5080 3066 0 -1 4202560 73433 0 0 0 2500 8 0 0 20 0 9 0 558783723 1009582080 120435 33554432000 4194304 6211132 140721398935040 140686543493544 5039210 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0

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

/proc/5080/task/5084/stat : 5084 (cosoco) R 5077 5080 3066 0 -1 4202560 79948 0 0 0 2490 14 0 0 20 0 9 0 558783723 1009582080 120435 33554432000 4194304 6211132 140721398935040 140686535101032 5250319 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5085] ppid=5077 vsize=985920 memory=280618802303744 CPUtime=25.06 cores=0-7
/proc/5080/task/5085/stat : 5085 (cosoco) R 5077 5080 3066 0 -1 4202560 78107 0 0 0 2499 7 0 0 20 0 9 0 558783723 1009582080 120435 33554432000 4194304 6211132 140721398935040 140686526708136 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5086] ppid=5077 vsize=985920 memory=3472328296227679313 CPUtime=25.08 cores=0-7
/proc/5080/task/5086/stat : 5086 (cosoco) R 5077 5080 3066 0 -1 4202560 69652 0 0 0 2503 5 0 0 20 0 9 0 558783723 1009582080 120435 33554432000 4194304 6211132 140721398935040 140686518315624 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5087] ppid=5077 vsize=985920 memory=481356 CPUtime=25.08 cores=0-7
/proc/5080/task/5087/stat : 5087 (cosoco) R 5077 5080 3066 0 -1 4202560 73682 0 0 0 2503 5 0 0 20 0 9 0 558783723 1009582080 120435 33554432000 4194304 6211132 140721398935040 140686509922728 5035320 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5088] ppid=5077 vsize=985920 memory=-7035114785800479027 CPUtime=25.09 cores=0-7
/proc/5080/task/5088/stat : 5088 (cosoco) R 5077 5080 3066 0 -1 4202560 70775 0 0 0 2495 14 0 0 20 0 9 0 558783723 1009582080 120435 33554432000 4194304 6211132 140721398935040 140686501530024 5039014 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5089] ppid=5077 vsize=985920 memory=1424 CPUtime=24.77 cores=0-7
/proc/5080/task/5089/stat : 5089 (cosoco) R 5077 5080 3066 0 -1 4202560 64180 0 0 0 2462 15 0 0 20 0 9 0 558783723 1009582080 120435 33554432000 4194304 6211132 140721398935040 140686493137320 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
Current children cumulated CPU time: 200.71 s
Current children cumulated vsize: 985920 KiB
Current children cumulated memory: 481740 KiB

[startup+51.1104 s]
/proc/loadavg: 7.77 8.33 8.29 9/200 5092
/proc/meminfo: memFree=29670460/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=985920 memory=489000 CPUtime=405.14 cores=0-7
/proc/5080/stat : 5080 (cosoco) S 5077 5080 3066 0 -1 1077944320 789569 0 0 0 40410 104 0 0 20 0 9 0 558783683 1009582080 122250 33554432000 4194304 6211132 140721398935040 140721398933296 140686575030007 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 246480 122250 865 493 0 239785 0
[pid=5080/tid=5082] ppid=5077 vsize=985920 memory=488976 CPUtime=50.69 cores=0-7
/proc/5080/task/5082/stat : 5082 (cosoco) R 5077 5080 3066 0 -1 4202560 87353 0 0 0 5054 15 0 0 20 0 9 0 558783723 1009582080 122250 33554432000 4194304 6211132 140721398935040 140686551886248 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5083] ppid=5077 vsize=985920 memory=488976 CPUtime=50.68 cores=0-7
/proc/5080/task/5083/stat : 5083 (cosoco) R 5077 5080 3066 0 -1 4202560 88980 0 0 0 5059 9 0 0 20 0 9 0 558783723 1009582080 122250 33554432000 4194304 6211132 140721398935040 140686543494416 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5084] ppid=5077 vsize=985920 memory=488696 CPUtime=50.63 cores=0-7
/proc/5080/task/5084/stat : 5084 (cosoco) R 5077 5080 3066 0 -1 4202560 92880 0 0 0 5048 15 0 0 20 0 9 0 558783723 1009582080 122250 33554432000 4194304 6211132 140721398935040 140686535100840 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5085] ppid=5077 vsize=985920 memory=280618802245424 CPUtime=50.66 cores=0-7
/proc/5080/task/5085/stat : 5085 (cosoco) R 5077 5080 3066 0 -1 4202560 94011 0 0 0 5058 8 0 0 20 0 9 0 558783723 1009582080 122250 33554432000 4194304 6211132 140721398935040 140686526708328 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5086] ppid=5077 vsize=985920 memory=164 CPUtime=50.68 cores=0-7
/proc/5080/task/5086/stat : 5086 (cosoco) R 5077 5080 3066 0 -1 4202560 86232 0 0 0 5061 7 0 0 20 0 9 0 558783723 1009582080 122250 33554432000 4194304 6211132 140721398935040 140686518315624 5157572 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5087] ppid=5077 vsize=985920 memory=988 CPUtime=50.67 cores=0-7
/proc/5080/task/5087/stat : 5087 (cosoco) R 5077 5080 3066 0 -1 4202560 85707 0 0 0 5061 6 0 0 20 0 9 0 558783723 1009582080 122250 33554432000 4194304 6211132 140721398935040 140686509922920 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5088] ppid=5077 vsize=985920 memory=2008 CPUtime=50.68 cores=0-7
/proc/5080/task/5088/stat : 5088 (cosoco) R 5077 5080 3066 0 -1 4202560 84380 0 0 0 5053 15 0 0 20 0 9 0 558783723 1009582080 122250 33554432000 4194304 6211132 140721398935040 140686501530024 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5089] ppid=5077 vsize=985920 memory=488976 CPUtime=50 cores=0-7
/proc/5080/task/5089/stat : 5089 (cosoco) R 5077 5080 3066 0 -1 4202560 76710 0 0 0 4984 16 0 0 20 0 9 0 558783723 1009582080 122250 33554432000 4194304 6211132 140721398935040 140686493137320 5038992 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
Current children cumulated CPU time: 405.14 s
Current children cumulated vsize: 985920 KiB
Current children cumulated memory: 489000 KiB

[startup+102.301 s]
/proc/loadavg: 8.34 8.39 8.31 9/200 5095
/proc/meminfo: memFree=29664132/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=985920 memory=491428 CPUtime=813.68 cores=0-7
/proc/5080/stat : 5080 (cosoco) S 5077 5080 3066 0 -1 1077944320 973872 0 0 0 81249 119 0 0 20 0 9 0 558783683 1009582080 122857 33554432000 4194304 6211132 140721398935040 140721398933296 140686575030007 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 246480 122857 865 493 0 239785 0
[pid=5080/tid=5082] ppid=5077 vsize=985920 memory=490864 CPUtime=101.84 cores=0-7
/proc/5080/task/5082/stat : 5082 (cosoco) R 5077 5080 3066 0 -1 4202560 110637 0 0 0 10167 17 0 0 20 0 9 0 558783723 1009582080 122857 33554432000 4194304 6211132 140721398935040 140686551886360 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5083] ppid=5077 vsize=985920 memory=491412 CPUtime=101.83 cores=0-7
/proc/5080/task/5083/stat : 5083 (cosoco) R 5077 5080 3066 0 -1 4202560 113408 0 0 0 10172 11 0 0 20 0 9 0 558783723 1009582080 122857 33554432000 4194304 6211132 140721398935040 140686543494416 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5084] ppid=5077 vsize=985920 memory=491424 CPUtime=101.63 cores=0-7
/proc/5080/task/5084/stat : 5084 (cosoco) R 5077 5080 3066 0 -1 4202560 115651 0 0 0 10147 16 0 0 20 0 9 0 558783723 1009582080 122857 33554432000 4194304 6211132 140721398935040 140686535100840 5156165 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5085] ppid=5077 vsize=985920 memory=280618802368448 CPUtime=101.81 cores=0-7
/proc/5080/task/5085/stat : 5085 (cosoco) R 5077 5080 3066 0 -1 4202560 118810 0 0 0 10172 9 0 0 20 0 9 0 558783723 1009582080 122857 33554432000 4194304 6211132 140721398935040 140686526708136 5075221 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5086] ppid=5077 vsize=985920 memory=491424 CPUtime=101.82 cores=0-7
/proc/5080/task/5086/stat : 5086 (cosoco) R 5077 5080 3066 0 -1 4202560 110852 0 0 0 10173 9 0 0 20 0 9 0 558783723 1009582080 122857 33554432000 4194304 6211132 140721398935040 140686518315624 5158008 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5087] ppid=5077 vsize=985920 memory=2487 CPUtime=101.84 cores=0-7
/proc/5080/task/5087/stat : 5087 (cosoco) R 5077 5080 3066 0 -1 4202560 105973 0 0 0 10177 7 0 0 20 0 9 0 558783723 1009582080 122857 33554432000 4194304 6211132 140721398935040 140686509922728 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5088] ppid=5077 vsize=985920 memory=491424 CPUtime=101.69 cores=0-7
/proc/5080/task/5088/stat : 5088 (cosoco) R 5077 5080 3066 0 -1 4202560 108341 0 0 0 10152 17 0 0 20 0 9 0 558783723 1009582080 122857 33554432000 4194304 6211132 140721398935040 140686501530024 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5089] ppid=5077 vsize=985920 memory=140313847686783 CPUtime=100.73 cores=0-7
/proc/5080/task/5089/stat : 5089 (cosoco) R 5077 5080 3066 0 -1 4202560 96884 0 0 0 10056 17 0 0 20 0 9 0 558783723 1009582080 122857 33554432000 4194304 6211132 140721398935040 140686493137320 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
Current children cumulated CPU time: 813.68 s
Current children cumulated vsize: 985920 KiB
Current children cumulated memory: 491428 KiB

[startup+162.301 s]
/proc/loadavg: 8.30 8.38 8.31 9/200 5100
/proc/meminfo: memFree=29665492/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=985920 memory=493168 CPUtime=1292.59 cores=0-7
/proc/5080/stat : 5080 (cosoco) S 5077 5080 3066 0 -1 1077944320 1060948 0 0 0 129132 127 0 0 20 0 9 0 558783683 1009582080 123292 33554432000 4194304 6211132 140721398935040 140721398933296 140686575030007 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 246480 123292 865 493 0 239785 0
[pid=5080/tid=5082] ppid=5077 vsize=985920 memory=492956 CPUtime=161.81 cores=0-7
/proc/5080/task/5082/stat : 5082 (cosoco) R 5077 5080 3066 0 -1 4202560 122307 0 0 0 16162 19 0 0 20 0 9 0 558783723 1009582080 123292 33554432000 4194304 6211132 140721398935040 140686551886248 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5083] ppid=5077 vsize=985920 memory=492956 CPUtime=161.81 cores=0-7
/proc/5080/task/5083/stat : 5083 (cosoco) R 5077 5080 3066 0 -1 4202560 124105 0 0 0 16169 12 0 0 20 0 9 0 558783723 1009582080 123292 33554432000 4194304 6211132 140721398935040 140686543494416 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5084] ppid=5077 vsize=985920 memory=492848 CPUtime=161.13 cores=0-7
/proc/5080/task/5084/stat : 5084 (cosoco) R 5077 5080 3066 0 -1 4202560 127192 0 0 0 16096 17 0 0 20 0 9 0 558783723 1009582080 123292 33554432000 4194304 6211132 140721398935040 140686535100840 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5085] ppid=5077 vsize=985920 memory=486888 CPUtime=161.75 cores=0-7
/proc/5080/task/5085/stat : 5085 (cosoco) R 5077 5080 3066 0 -1 4202560 128912 0 0 0 16165 10 0 0 20 0 9 0 558783723 1009582080 123292 33554432000 4194304 6211132 140721398935040 140686526708328 5250319 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5086] ppid=5077 vsize=985920 memory=492956 CPUtime=161.8 cores=0-7
/proc/5080/task/5086/stat : 5086 (cosoco) R 5077 5080 3066 0 -1 4202560 121197 0 0 0 16170 10 0 0 20 0 9 0 558783723 1009582080 123292 33554432000 4194304 6211132 140721398935040 140686518315624 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5087] ppid=5077 vsize=985920 memory=492956 CPUtime=161.83 cores=0-7
/proc/5080/task/5087/stat : 5087 (cosoco) R 5077 5080 3066 0 -1 4202560 117068 0 0 0 16175 8 0 0 20 0 9 0 558783723 1009582080 123292 33554432000 4194304 6211132 140721398935040 140686509922728 5250311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5088] ppid=5077 vsize=985920 memory=493168 CPUtime=161.52 cores=0-7
/proc/5080/task/5088/stat : 5088 (cosoco) R 5077 5080 3066 0 -1 4202560 119677 0 0 0 16134 18 0 0 20 0 9 0 558783723 1009582080 123292 33554432000 4194304 6211132 140721398935040 140686501530024 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5089] ppid=5077 vsize=985920 memory=493112 CPUtime=160.49 cores=0-7
/proc/5080/task/5089/stat : 5089 (cosoco) R 5077 5080 3066 0 -1 4202560 107174 0 0 0 16030 19 0 0 20 0 9 0 558783723 1009582080 123292 33554432000 4194304 6211132 140721398935040 140686493137512 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
Current children cumulated CPU time: 1292.59 s
Current children cumulated vsize: 985920 KiB
Current children cumulated memory: 493168 KiB

[startup+222.301 s]
/proc/loadavg: 8.20 8.34 8.31 9/200 5103
/proc/meminfo: memFree=29664948/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=985920 memory=494040 CPUtime=1771.64 cores=0-7
/proc/5080/stat : 5080 (cosoco) S 5077 5080 3066 0 -1 1077944320 1066691 0 0 0 177035 129 0 0 20 0 9 0 558783683 1009582080 123510 33554432000 4194304 6211132 140721398935040 140721398933296 140686575030007 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 246480 123510 865 493 0 239785 0
[pid=5080/tid=5082] ppid=5077 vsize=985920 memory=20401 CPUtime=221.81 cores=0-7
/proc/5080/task/5082/stat : 5082 (cosoco) R 5077 5080 3066 0 -1 4202560 122448 0 0 0 22162 19 0 0 20 0 9 0 558783723 1009582080 123510 33554432000 4194304 6211132 140721398935040 140686551886440 5157576 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5083] ppid=5077 vsize=985920 memory=494040 CPUtime=221.8 cores=0-7
/proc/5080/task/5083/stat : 5083 (cosoco) R 5077 5080 3066 0 -1 4202560 124318 0 0 0 22168 12 0 0 20 0 9 0 558783723 1009582080 123510 33554432000 4194304 6211132 140721398935040 140686543494416 5250325 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5084] ppid=5077 vsize=985920 memory=494040 CPUtime=221.12 cores=0-7
/proc/5080/task/5084/stat : 5084 (cosoco) R 5077 5080 3066 0 -1 4202560 127377 0 0 0 22095 17 0 0 20 0 9 0 558783723 1009582080 123510 33554432000 4194304 6211132 140721398935040 140686535100840 5250319 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5085] ppid=5077 vsize=985920 memory=494040 CPUtime=221.63 cores=0-7
/proc/5080/task/5085/stat : 5085 (cosoco) R 5077 5080 3066 0 -1 4202560 129051 0 0 0 22153 10 0 0 20 0 9 0 558783723 1009582080 123510 33554432000 4194304 6211132 140721398935040 140686526708328 5037823 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5086] ppid=5077 vsize=985920 memory=494040 CPUtime=221.77 cores=0-7
/proc/5080/task/5086/stat : 5086 (cosoco) R 5077 5080 3066 0 -1 4202560 121504 0 0 0 22167 10 0 0 20 0 9 0 558783723 1009582080 123510 33554432000 4194304 6211132 140721398935040 140686518315432 5037825 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5087] ppid=5077 vsize=985920 memory=494040 CPUtime=221.8 cores=0-7
/proc/5080/task/5087/stat : 5087 (cosoco) R 5077 5080 3066 0 -1 4202560 119094 0 0 0 22172 8 0 0 20 0 9 0 558783723 1009582080 123510 33554432000 4194304 6211132 140721398935040 140686509922728 5250319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5088] ppid=5077 vsize=985920 memory=0 CPUtime=221.04 cores=0-7
/proc/5080/task/5088/stat : 5088 (cosoco) R 5077 5080 3066 0 -1 4202560 119782 0 0 0 22086 18 0 0 20 0 9 0 558783723 1009582080 123510 33554432000 4194304 6211132 140721398935040 140686501530024 5156256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5089] ppid=5077 vsize=985920 memory=3504 CPUtime=220.19 cores=0-7
/proc/5080/task/5089/stat : 5089 (cosoco) R 5077 5080 3066 0 -1 4202560 109801 0 0 0 22000 19 0 0 20 0 9 0 558783723 1009582080 123510 33554432000 4194304 6211132 140721398935040 140686493137512 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
Current children cumulated CPU time: 1771.64 s
Current children cumulated vsize: 985920 KiB
Current children cumulated memory: 494040 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.19 8.32 8.30 9/200 5105
/proc/meminfo: memFree=29664584/32770624 swapFree=66954180/67108860
[pid=5080] ppid=5077 vsize=985920 memory=494264 CPUtime=2008.79 cores=0-7
/proc/5080/stat : 5080 (cosoco) S 5077 5080 3066 0 -1 1077944320 1103157 0 0 0 200748 131 0 0 20 0 9 0 558783683 1009582080 123566 33554432000 4194304 6211132 140721398935040 140721398933296 140686575030007 0 0 4096 8405026 18446744073709551615 0 0 17 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
/proc/5080/statm: 246480 123566 865 493 0 239785 0
[pid=5080/tid=5082] ppid=5077 vsize=985920 memory=668 CPUtime=251.5 cores=0-7
/proc/5080/task/5082/stat : 5082 (cosoco) R 5077 5080 3066 0 -1 4202560 132314 0 0 0 25131 19 0 0 20 0 9 0 558783723 1009582080 123566 33554432000 4194304 6211132 140721398935040 140686551886440 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5083] ppid=5077 vsize=985920 memory=1276 CPUtime=251.51 cores=0-7
/proc/5080/task/5083/stat : 5083 (cosoco) R 5077 5080 3066 0 -1 4202560 134221 0 0 0 25138 13 0 0 20 0 9 0 558783723 1009582080 123566 33554432000 4194304 6211132 140721398935040 140686543494416 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5084] ppid=5077 vsize=985920 memory=-7003737579269690708 CPUtime=250.82 cores=0-7
/proc/5080/task/5084/stat : 5084 (cosoco) R 5077 5080 3066 0 -1 4202560 131053 0 0 0 25064 18 0 0 20 0 9 0 558783723 1009582080 123566 33554432000 4194304 6211132 140721398935040 140686535100840 5250330 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5085] ppid=5077 vsize=985920 memory=1728 CPUtime=251.35 cores=0-7
/proc/5080/task/5085/stat : 5085 (cosoco) R 5077 5080 3066 0 -1 4202560 131094 0 0 0 25124 11 0 0 20 0 9 0 558783723 1009582080 123566 33554432000 4194304 6211132 140721398935040 140686526708136 5389436 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5086] ppid=5077 vsize=985920 memory=8248 CPUtime=251.47 cores=0-7
/proc/5080/task/5086/stat : 5086 (cosoco) R 5077 5080 3066 0 -1 4202560 122948 0 0 0 25137 10 0 0 20 0 9 0 558783723 1009582080 123566 33554432000 4194304 6211132 140721398935040 140686518315432 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5087] ppid=5077 vsize=985920 memory=9580 CPUtime=251.48 cores=0-7
/proc/5080/task/5087/stat : 5087 (cosoco) R 5077 5080 3066 0 -1 4202560 120750 0 0 0 25140 8 0 0 20 0 9 0 558783723 1009582080 123566 33554432000 4194304 6211132 140721398935040 140686509922728 5039014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5088] ppid=5077 vsize=985920 memory=1052 CPUtime=250.5 cores=0-7
/proc/5080/task/5088/stat : 5088 (cosoco) R 5077 5080 3066 0 -1 4202560 126210 0 0 0 25032 18 0 0 20 0 9 0 558783723 1009582080 123566 33554432000 4194304 6211132 140721398935040 140686501530024 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
[pid=5080/tid=5089] ppid=5077 vsize=985920 memory=776 CPUtime=249.7 cores=0-7
/proc/5080/task/5089/stat : 5089 (cosoco) R 5077 5080 3066 0 -1 4202560 111251 0 0 0 24951 19 0 0 20 0 9 0 558783723 1009582080 123566 33554432000 4194304 6211132 140721398935040 140686493137512 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 41152512 140721398936598 140721398936690 140721398936690 140721398939598 0
Current children cumulated CPU time: 2008.79 s
Current children cumulated vsize: 985920 KiB
Current children cumulated memory: 494264 KiB

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

[startup+252.05 s]
# the end of solver process 5080 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2007.6 s, system=1.34217 s

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

Child status: 1
Real time (s): 252.05
CPU time (s): 2008.94
CPU user time (s): 2007.6
CPU system time (s): 1.34217
CPU usage (%): 797.038
Max. virtual memory (cumulated for all children) (KiB): 986052
Max. memory (cumulated for all children) (KiB): 494264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2007.6
system time used= 1.34217
maximum resident set size= 494608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1103221
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= 2570
involuntary context switches= 16698


# summary of solver processes directly reported to runsolver:
#   pid: 5080
#   total CPU time (s): 2008.94
#   total CPU user time (s): 2007.6
#   total CPU system time (s): 1.34217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29633 second user time and 2.29015 second system time

The end

Launcher Data

Begin job on node119 at 2019-09-30 09:30:48
IDJOB=4410057
IDBENCH=123065
IDSOLVER=2878
FILE ID=node119/4410057-1569828690
RUNJOBID= node119-1569817669-3093
PBS_JOBID= 21705918
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa50a.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4410057-1569828690/watcher-4410057-1569828690 -o /tmp/evaluation-result-4410057-1569828690/solver-4410057-1569828690 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1569817669-3093 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4410057-1569828690.xml

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

MD5SUM BENCH= 4fcc0be526f5147180ee0aa4ecb06fa1
RANDOM SEED=204653117

node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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:        30154064 kB
MemAvailable:   31827136 kB
Buffers:          225756 kB
Cached:          1785056 kB
SwapCached:        46700 kB
Active:          1075652 kB
Inactive:         986280 kB
Active(anon):      16328 kB
Inactive(anon):   116460 kB
Active(file):    1059324 kB
Inactive(file):   869820 kB
Unevictable:      107468 kB
Mlocked:          107468 kB
SwapTotal:      67108860 kB
SwapFree:       66954180 kB
Dirty:              2720 kB
Writeback:             0 kB
AnonPages:        113632 kB
Mapped:            26792 kB
Shmem:             73180 kB
Slab:             148596 kB
SReclaimable:     119528 kB
SUnreclaim:        29068 kB
KernelStack:        3424 kB
PageTables:         5028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62028 MiB
End job on node119 at 2019-09-30 09:35:00