Trace number 4245660

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
R1: OscaR - ALNS 2017-06-30SAT (TO)7491603 2400.08 2295.87

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-tai80a.xml
MD5SUMc9a66f606132a3c8760ec6756f0c4250
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark7129639
Best CPU time to get the best result obtained on this benchmark2519.7
Satisfiable
(Un)Satisfiability was proved
Number of variables6480
Number of constraints3128
Number of domains2
Minimum domain size80
Maximum domain size100
Distribution of domain sizes[{"size":80,"count":80},{"size":100,"count":3127}]
Minimum variable degree0
Maximum variable degree80
Distribution of variable degrees[{"degree":0,"count":3273},{"degree":2,"count":3127},{"degree":77,"count":3},{"degree":78,"count":14},{"degree":79,"count":29},{"degree":80,"count":34}]
Minimum constraint arity3
Maximum constraint arity80
Distribution of constraint arities[{"arity":3,"count":3127},{"arity":80,"count":1}]
Number of extensional constraints3127
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":3127},{"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

0.41/0.37	c version: 2017-06-30
0.41/0.37	c seed: 390296333
0.41/0.37	c timeout: 2400
0.41/0.37	c memlimit: 15500
0.41/0.37	c nbcore: 8
0.41/0.39	c Parsing instance...
50.24/11.96	c Parsing done, starting search...
53.55/13.76	o 7771339
56.92/16.39	o 7768605
63.05/21.80	o 7721919
98.68/52.67	o 7707096
353.09/288.36	o 7706567
724.97/656.92	o 7700182
740.16/671.89	o 7680786
785.30/715.13	o 7675625
789.90/719.71	o 7664473
831.48/759.84	o 7661085
853.22/780.63	o 7655898
854.22/781.64	o 7643798
865.38/792.31	o 7640422
871.60/798.30	o 7640276
971.73/895.53	o 7638808
979.90/903.55	o 7637141
980.81/904.48	o 7636729
992.89/916.15	o 7633095
1093.33/1014.17	o 7627293
1157.05/1076.65	o 7621590
1184.12/1103.26	o 7619887
1236.43/1154.41	o 7619780
1372.13/1287.31	o 7619155
1375.87/1290.84	o 7618895
1376.79/1291.76	o 7617314
1379.89/1294.81	o 7615020
1451.52/1365.09	o 7589004
1473.53/1386.71	o 7582217
1553.22/1464.85	o 7570376
1554.02/1465.65	o 7568851
1584.76/1495.55	o 7567616
1634.92/1544.67	o 7567077
1636.04/1545.73	o 7567074
1656.51/1565.87	o 7556130
1667.32/1576.48	o 7554670
1688.66/1597.48	o 7540471
1709.90/1618.34	o 7534434
1750.18/1657.84	o 7530947
2015.16/1917.84	o 7526558
2025.72/1928.30	o 7513748
2027.52/1930.04	o 7506537
2176.86/2076.78	o 7501397
2277.81/2175.81	o 7498162
2279.10/2177.12	o 7496525
2360.37/2256.96	o 7491603
2400.00/2295.81	s SATISFIABLE
2400.00/2295.81	v <instantiation>
2400.00/2295.81	v 	<list>
2400.00/2295.81	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] 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][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][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][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][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][9] 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][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][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][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][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] 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][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][28] d[2][29] 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][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][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] 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][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][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][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][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] 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][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][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][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][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[5][6] d[5][7] d[5][8] d[5][9] 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][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][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][40] d[5][41] d[5][42] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[6][7] d[6][8] d[6][9] 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][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][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][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][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[7][8] d[7][9] 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][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][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][37] d[7][38] d[7][39] 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][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[8][9] 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][20] d[8][21] d[8][22] d[8][23] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] 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][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][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] 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][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][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][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][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[10][11] d[10][12] d[10][13] d[10][14] d[10][16] d[10][17] d[10][18] d[10][19] 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][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][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][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] 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][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][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][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][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] 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][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][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][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] 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][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][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][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] 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][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][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][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[15][16] d[15][17] d[15][18] d[15][19] 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][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][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][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[16][17] d[16][18] d[16][19] 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][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][37] d[16][38] d[16][39] 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][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[17][18] d[17][19] 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][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][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][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[18][19] 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][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][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][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] 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][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][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][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] 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][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][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][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] 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][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][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][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] 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][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][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] 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][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][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] 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][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][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[25][26] d[25][27] d[25][28] d[25][29] 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][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][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[26][27] d[26][28] d[26][29] 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][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][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[27][28] d[27][29] 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][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][50] d[27][51] d[27][52] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[28][29] 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][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][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] 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][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][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] 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][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][50] d[30][51] d[30][52] d[30][54] d[30][55] d[30][56] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] 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][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][50] d[31][51] d[31][52] d[31][53] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][78] d[31][79] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] 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][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] 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][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] 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][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[35][36] d[35][37] d[35][38] d[35][39] 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][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[36][37] d[36][38] d[36][39] 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][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[37][38] d[37][39] 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][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[38][39] 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][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][56] d[38][57] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] 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][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] 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][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][76] d[47][77] d[47][78] d[47][79] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[68][69] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][78] d[69][79] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[75][76] d[75][77] d[75][78] d[75][79] d[76][77] d[76][78] d[76][79] d[77][78] d[77][79] d[78][79]
2400.00/2295.81	v 	</list>
2400.00/2295.81	v 	<values>
2400.00/2295.81	v 		69 5 78 43 1 40 77 17 75 36 64 61 35 42 76 13 79 8 53 16 25 48 34 32 18 30 11 63 3 52 45 49 60 12 71 7 55 24 37 44 28 10 56 68 33 62 14 31 23 29 51 66 9 39 22 67 0 26 15 6 72 21 73 20 2 58 59 41 46 47 65 27 38 4 70 54 19 57 74 50 1 20 76 59 51 57 5 26 41 8 78 56 2 27 9 81 84 67 82 4 78 17 1 91 64 84 2 7 81 89 61 0 53 22 30 64 7 32 86 77 88 64 89 81 4 17 30 1 27 70 85 83 70 55 2 71 23 67 45 6 3 89 21 52 51 2 57 73 91 60 57 40 60 52 63 6 33 50 46 75 44 96 10 49 99 35 69 72 79 24 63 56 97 42 22 13 39 3 44 24 18 12 93 36 58 43 66 98 91 72 59 56 63 34 83 69 62 27 33 32 69 70 1 92 70 71 67 46 18 94 12 41 45 1 72 26 49 86 62 40 28 64 82 26 81 41 22 45 71 71 91 58 56 67 22 23 46 79 66 81 30 42 67 49 76 67 85 8 82 22 4 33 18 27 36 80 31 7 81 82 80 28 17 48 48 22 26 74 85 73 87 57 84 0 10 0 35 87 16 9 12 11 54 56 58 80 10 80 35 20 65 20 86 41 52 35 13 91 76 66 13 70 74 1 85 42 9 88 99 51 79 26 75 64 32 38 85 72 54 80 81 25 24 91 31 49 2 75 93 88 73 18 84 18 60 21 53 81 74 36 23 69 91 9 35 51 45 3 13 85 50 84 64 2 10 58 44 97 32 73 17 74 61 21 73 46 77 13 18 45 17 80 16 62 36 27 11 91 79 19 25 50 40 69 32 97 87 62 83 62 29 89 4 13 94 41 90 25 90 2 15 14 70 91 87 96 37 48 15 76 56 10 99 86 29 57 94 72 83 11 2 36 3 74 44 76 77 66 26 54 53 4 14 51 32 40 89 21 71 41 85 63 65 6 45 21 13 20 67 99 56 48 77 77 72 22 60 74 46 0 60 21 4 83 28 81 78 27 5 93 61 44 95 32 94 56 1 38 13 28 95 58 90 26 20 69 67 98 53 96 33 21 21 58 19 31 66 46 29 50 94 70 75 4 75 39 55 30 95 58 18 57 30 25 28 1 22 18 46 89 22 20 22 90 17 3 84 93 26 30 50 25 54 80 54 41 0 11 17 38 54 20 1 43 48 58 31 40 47 77 41 88 84 64 3 50 98 50 48 53 55 85 37 49 81 8 75 11 10 38 18 22 73 99 9 30 43 46 13 84 10 3 50 61 23 5 68 32 91 5 31 33 36 18 4 57 58 22 40 22 26 90 36 89 59 55 66 92 97 85 11 6 25 23 28 58 43 84 20 45 54 53 60 47 47 85 69 82 5 44 44 29 79 9 37 64 20 12 96 93 64 12 94 39 62 0 30 98 74 60 61 42 7 83 89 13 24 38 49 74 88 29 8 38 35 30 74 96 79 7 94 42 55 4 55 68 61 32 5 14 94 85 4 8 2 16 62 80 5 98 71 23 94 86 59 74 5 31 38 32 99 33 36 17 96 29 6 30 54 53 25 74 94 82 57 45 78 93 69 46 11 81 30 87 20 30 10 92 55 20 8 18 43 1 29 47 69 63 25 98 86 39 17 74 2 0 50 92 20 7 31 27 2 3 81 30 78 41 70 57 67 17 65 3 93 13 15 9 45 85 50 42 35 34 1 65 38 30 52 28 87 46 41 25 26 76 32 10 97 9 20 91 94 85 59 67 57 1 98 44 33 85 17 9 21 17 93 14 85 4 90 17 93 64 16 89 57 31 3 69 11 19 4 35 65 25 15 93 75 84 76 5 7 28 77 75 29 65 17 30 48 8 57 45 23 25 73 80 43 16 19 94 25 73 2 84 45 44 12 93 17 50 21 98 4 63 24 23 13 7 25 82 17 90 46 93 99 17 2 26 54 87 54 62 43 63 56 3 98 9 54 15 13 10 79 67 52 66 9 52 92 96 78 28 15 84 35 58 4 35 55 83 63 28 0 31 94 4 11 53 81 21 78 90 94 16 15 76 58 93 19 66 19 3 7 70 89 72 90 42 44 30 8 90 5 56 51 72 80 10 84 25 32 89 25 40 24 30 6 34 25 18 91 86 57 66 88 27 35 43 62 97 97 81 79 15 14 68 46 96 89 95 66 8 7 72 5 91 55 23 6 77 26 81 5 94 91 97 22 64 54 75 73 79 12 97 32 70 46 60 86 13 21 26 28 73 21 69 65 12 96 92 79 81 21 90 29 37 90 19 5 84 55 15 86 31 47 17 35 31 43 16 3 27 1 59 98 41 87 21 31 91 8 67 60 39 21 72 19 48 24 69 36 41 86 8 24 85 35 29 58 25 15 22 25 60 54 46 26 94 91 21 42 72 98 5 0 12 74 91 70 86 70 15 19 78 14 24 54 39 72 21 26 9 87 17 25 23 91 53 69 66 52 27 21 86 57 25 99 68 96 49 22 99 29 48 81 21 32 63 49 32 72 3 52 97 61 69 64 96 87 23 76 68 31 67 10 30 79 1 92 84 22 84 12 34 0 84 53 79 68 8 47 62 10 15 97 5 72 96 90 83 10 32 2 62 80 0 13 80 73 81 51 0 33 14 39 12 32 56 46 40 1 55 94 30 11 66 63 59 67 2 27 9 30 88 75 27 79 89 56 62 16 37 24 85 47 52 53 17 15 94 3 30 12 45 93 3 19 28 68 63 20 88 74 29 67 69 70 28 50 55 56 34 22 60 60 92 99 30 92 43 96 58 39 27 66 23 11 71 22 61 54 61 55 64 71 13 43 21 87 76 89 89 50 83 51 35 43 58 49 8 68 40 64 53 10 84 93 78 46 33 62 29 28 69 50 92 37 9 55 54 82 53 12 44 46 43 22 60 54 95 13 59 46 10 62 86 69 10 34 92 53 30 12 39 76 90 64 88 43 6 20 8 47 36 87 62 19 74 63 86 49 24 99 27 53 41 43 13 77 82 49 16 17 55 50 25 26 73 35 78 35 5 48 20 47 42 26 51 55 26 46 71 97 89 8 17 34 85 67 91 8 1 37 42 85 58 73 74 83 54 1 17 37 75 31 84 59 44 48 79 51 15 62 48 11 94 93 56 84 88 18 33 57 39 37 82 82 25 59 10 55 57 62 7 60 60 6 45 18 29 15 93 81 0 41 79 97 20 89 77 56 84 54 80 12 75 39 72 76 95 70 20 87 75 81 99 15 67 33 29 72 43 95 35 66 45 84 33 32 3 98 60 75 44 76 26 69 99 76 92 32 6 8 64 43 69 89 56 54 89 57 78 26 18 57 47 29 9 9 79 30 40 44 49 34 64 75 19 31 70 92 45 80 52 79 59 46 76 39 57 89 96 57 92 10 68 26 93 40 23 22 21 39 36 34 62 45 84 52 8 74 30 97 18 18 21 81 85 81 29 68 12 52 25 42 31 39 67 26 94 19 31 60 84 58 26 12 84 77 27 41 95 73 46 74 83 54 14 98 46 65 98 25 52 24 49 4 67 91 12 72 60 13 5 35 3 3 8 41 40 10 20 72 60 19 19 45 1 54 99 15 34 77 17 69 80 45 24 25 33 54 80 3 52 75 77 35 46 27 91 5 36 37 92 66 36 84 49 19 20 62 82 48 71 66 49 14 40 11 44 83 44 80 95 76 83 25 32 56 3 70 9 56 79 81 56 82 61 28 29 53 17 45 3 57 93 95 62 45 39 62 95 84 58 28 29 68 29 77 29 43 23 53 33 23 83 2 98 55 82 48 63 79 61 24 74 6 58 36 78 37 33 33 34 27 10 12 35 49 41 12 85 80 44 27 38 15 4 85 44 0 82 31 51 26 45 80 29 46 45 80 38 70 28 37 90 4 55 69 13 42 80 0 17 5 79 33 24 84 91 62 95 10 86 81 3 57 50 27 72 83 26 15 68 99 17 47 47 19 52 91 48 51 69 61 99 28 24 93 74 3 1 14 96 75 77 0 19 19 5 14 44 1 58 47 54 53 76 11 90 17 88 67 27 52 95 31 56 63 27 3 68 85 53 6 75 59 74 26 4 18 79 91 60 86 98 46 89 37 81 44 50 63 20 94 66 85 23 48 49 4 42 92 96 89 35 37 3 84 52 79 62 16 49 93 64 87 87 27 23 66 54 74 9 86 1 13 6 80 11 58 91 52 96 4 54 14 69 38 27 21 69 87 10 33 93 11 36 8 2 62 62 53 48 69 7 37 15 17 62 62 0 49 95 82 82 59 76 39 62 2 75 6 44 67 1 82 42 29 43 62 51 32 3 75 5 34 76 83 91 31 23 77 42 65 3 61 97 36 76 10 78 43 94 76 51 38 91 16 33 10 54 93 44 56 85 40 17 77 57 92 5 55 11 99 66 93 6 44 12 32 69 35 84 76 90 29 72 57 62 80 67 32 54 44 37 15 65 71 98 78 13 55 79 88 51 22 63 59 1 26 72 47 3 99 92 57 68 41 89 96 21 81 22 21 22 21 81 27 13 72 39 62 59 41 27 91 37 0 5 30 92 87 12 24 31 63 55 87 2 30 61 26 28 65 47 65 26 40 87 49 56 71 36 20 66 92 82 12 65 28 2 33 6 92 26 68 54 82 80 99 23 3 17 11 89 88 29 26 40 13 38 13 15 30 84 92 98 76 16 19 44 14 93 37 33 55 33 83 0 17 56 37 40 6 28 87 58 96 18 87 30 73 91 52 48 23 66 98 17 80 71 79 47 55 24 99 96 32 28 99 89 87 52 43 97 7 32 66 3 50 83 26 30 71 78 30 44 2 64 43 93 2 35 63 13 12 17 87 38 97 59 18 71 37 26 91 56 48 49 60 81 85 85 32 86 23 71 16 28 45 18 51 29 41 50 52 26 22 65 58 51 15 70 15 94 20 87 19 80 45 0 84 40 20 24 34 76 25 27 55 49 32 1 39 36 91 35 50 97 40 17 74 3 27 4 70 83 68 10 22 42 81 26 20 56 25 23 17 56 37 43 42 3 58 96 2 23 35 80 29 48 42 14 60 56 37 82 3 30 44 74 1 59 90 88 96 48 5 5 69 29 52 16 65 61 33 94 63 74 90 82 47 30 35 23 22 8 4 47 44 24 60 60 28 9 76 82 54 48 64 96 78 26 35 69 28 18 61 30 39 13 88 90 27 34 31 92 84 94 0 24 18 47 28 91 38 2 50 91 32 34 33 1 9 42 33 96 17 59 12 72 40 10 29 55 44 99 41 65 12 36 25 41 67 42 32 57 75 2 18 31 84 48 11 41 12 72 83 70 10 9 87 19 26 57 26 70 2 8 63 99 8 59 4 2 66 30 53 73 31 0 97 87 17 85 5 36 51 15 52 99 41 13 9 68 18 91 95 63 12 79 49 73 54 3 18 6 69 1 98 63 88 78 49 46 52 88 56 41 6 48 8 7 1 95 35 48 1 20 9 37 85 71 19 58 76 31 87 6 18 56 12 37 90 48 21 25 55 85 0 86 29 91 20 99 54 23 63 49 23 88 99 85 63 1 66 48 46 68 75 28 78 62 30 9 61 87 38 49 30 49 13 17 80 66 98 55 54 3 8 98 79 62 18 79 42 8 89 61 92 30 31 69 90 42 45 45 28 51 75 14 48 96 19 74 94 70 21 15 23 19 35 54 50 88 63 35 70 26 72 86 31 94 24 3 22 85 79 74 20 85 57 32 67 3 52 85 69 94 44 7 26 18 71 52 73 40 53 62 46 98 9 79 6 16 58 10 80 70 22 15 86 94 1 15 61 80 38 53 40 92 71 13 98 38 78 81 3 2 92 15 9 92 28 11 16 82 55 74 78 97 73 84 48 16 56 45 98 87 78 86 57 97 45 70 9 40 29 63 87 36 46 84 16 22 79 58 36 64 3 34 4 31 61 98 8 53 80 75 86 99 29 26 47 54 93 49 86 0 75 68 78 23 18 92 19 45 96 49 44 59 6 32 99 10 89 76 66 79 67 69 87 56 45 68 47 20 9 34 23 72 91 71 61 5 78 42 93 89 72 12 78 12 4 22 88 77 61 22 42 12 17 36 71 66 21 1 9 77 28 61 46 62 70 89 27 20 9 22 2 71 69 88 3 64 7 78 30 19 88 82 71 24 81 1 35 48 49 85 86 40 4 11 53 8 80 58 67 21 36 54 53 81 53 81 13 89 63 23 6 2 59 99 27 91 19 21 44 64 57 85 5 88 70 27 13 84 88 39 82 77 71 67 96 56 40 47 36 56 31 34 57 37 77 66 68 39 73 62 48 77 60 28 96 96 61 21 87 77 2 68 33 67 4 71 69 53 78 94 55 98 68 33 73 71 94 21 55 78 39 74 28 97 53 92 89 61 38 23 39 97 46 61 28 49 63 9 49 46 60 13 91 67 62 75 68 46 60 94 31 80 7 55 84 73 71 76 29 28 44 90 53 9 39 93 99 17 47 6 72 35 81 6 46 32 33 14 27 26 41 12 44 69 45 27 33 89 9 95 10 53 91 2 14 71 64 72 48 2 42 10 91 79 6 11 85 35 1 95 76 76 57 71 11 4 76 56 1 77 9 89 11 82 16 9 35 49 96 37 58 61 73 26 82 68 32 12 87 21 7 49 15 39 47 48 64 63 26 91 7 85 24 94 0 68 36 30 28 6 51 56 92 29 3 67 18 10 87 64 51 66 79 70 41 33 68 21 71 83 35 24 65 99 24 52 75 63 80 50 47 28 48 20 87 56 40 64 29 93 63 37 73 32 15 22 85 0 39 45 25 47 65 61 6 75 10 60 50 56 34 31 35 77 34 25 51 5 64 17 56 40 87 97 92 21 37 94 79 75 12 56 80 22 80 2 97 99 54 6 98 64 24 42 47 46 76 91 39 87 21 6 87 55 7 76 90 62 41 1 30 82 13 30 71 0 76 97 95 65 3 90 42 48 66 84 40 12 44 27 94 11 7 3 31 63 23 99 41 50 99 48 26 58 7 80 31 37 1 99 84 14 73 85 0 3 90 12 62 37 9 51 21 21 20 51 81 34 57 97 83 47 27 29 75 13 17 97 46 5 37 34 30 81 44 53 21 1 44 87 66 81 27 90 93 55 79 12 34 66 88 97 92 26 25 75 87 62 62 67 16 33 90 53 22 
2400.00/2295.81	v 	</values>
2400.00/2295.81	v </instantiation>

Verifier Data

OK	7491603

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245660-1500701941/watcher-4245660-1500701941 -o /tmp/evaluation-result-4245660-1500701941/solver-4245660-1500701941 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500683233-16020 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 390296333 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245660-1500701941.xml 

pid=18240
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.60 1.56 1.48 3/261 18243
/proc/meminfo: memFree=29546348/32770624 swapFree=5940/268696
[pid=18243] ppid=18240 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/stat : 18243 (java) S 18240 18243 15364 0 -1 1077944320 2170 0 0 0 0 0 0 0 20 0 2 0 5458951 10889764864 1923 33554432000 4194304 4196468 140735058242896 140735058225440 140315012456183 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
/proc/18243/statm: 2658634 1923 1188 1 0 2647545 0
[pid=18243/tid=18244] ppid=18240 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18244/stat : 18244 (java) R 18240 18243 15364 0 -1 4202560 907 0 0 0 0 0 0 0 20 0 2 0 5458952 10889764864 1923 33554432000 4194304 4196468 140735058242896 140315016698272 140314993584544 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18245] ppid=18240 vsize=10635564 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18245/stat : 18245 (java) R 18240 18243 15364 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 3 0 5458952 10890817536 1923 33554432000 4194304 4196468 140735058242896 140315016698272 140315005196033 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0

[startup+0.100104 s]
/proc/loadavg: 1.60 1.56 1.48 3/261 18243
/proc/meminfo: memFree=29546348/32770624 swapFree=5940/268696
[pid=18243] ppid=18240 vsize=13261040 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18243/stat : 18243 (java) S 18240 18243 15364 0 -1 1077944320 4667 0 0 0 8 2 0 0 20 0 20 0 5458951 13579304960 5770 33554432000 4194304 4196468 140735058242896 140735058225440 140315012456183 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
/proc/18243/statm: 3315260 5770 2614 1 0 3303698 0
[pid=18243/tid=18244] ppid=18240 vsize=13261040 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18244/stat : 18244 (java) R 18240 18243 15364 0 -1 4202560 2743 0 0 0 7 1 0 0 20 0 20 0 5458952 13579304960 5770 33554432000 4194304 4196468 140735058242896 140315016698464 140315012478109 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18245] ppid=18240 vsize=13261040 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18245/stat : 18245 (java) S 18240 18243 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5458952 13579304960 5770 33554432000 4194304 4196468 140735058242896 140314611895056 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13261040

[startup+0.200601 s]
/proc/loadavg: 1.60 1.56 1.48 3/261 18243
/proc/meminfo: memFree=29546348/32770624 swapFree=5940/268696
[pid=18243] ppid=18240 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/18243/stat : 18243 (java) S 18240 18243 15364 0 -1 1077944320 8569 0 0 0 23 3 0 0 20 0 20 0 5458951 13582245888 9106 33554432000 4194304 4196468 140735058242896 140735058225440 140315012456183 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
/proc/18243/statm: 3315978 9106 3537 1 0 3303698 0
[pid=18243/tid=18244] ppid=18240 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18244/stat : 18244 (java) R 18240 18243 15364 0 -1 4202560 6318 0 0 0 16 2 0 0 20 0 20 0 5458952 13582245888 9106 33554432000 4194304 4196468 140735058242896 140315016670032 140314996536670 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18245] ppid=18240 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18245/stat : 18245 (java) S 18240 18243 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5458952 13582245888 9106 33554432000 4194304 4196468 140735058242896 140314611895056 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300508 s]
/proc/loadavg: 1.60 1.56 1.48 3/261 18243
/proc/meminfo: memFree=29546348/32770624 swapFree=5940/268696
[pid=18243] ppid=18240 vsize=13263912 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/18243/stat : 18243 (java) S 18240 18243 15364 0 -1 1077944320 9204 0 0 0 38 3 0 0 20 0 20 0 5458951 13582245888 10036 33554432000 4194304 4196468 140735058242896 140735058225440 140315012456183 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
/proc/18243/statm: 3315978 10036 3587 1 0 3303698 0
[pid=18243/tid=18244] ppid=18240 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18244/stat : 18244 (java) R 18240 18243 15364 0 -1 4202560 6710 0 0 0 25 2 0 0 20 0 20 0 5458952 13582245888 10036 33554432000 4194304 4196468 140735058242896 140315016674368 140314996536670 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18245] ppid=18240 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18245/stat : 18245 (java) S 18240 18243 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5458952 13582245888 10036 33554432000 4194304 4196468 140735058242896 140314611895056 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912

[startup+0.700322 s]
/proc/loadavg: 1.60 1.56 1.48 3/261 18243
/proc/meminfo: memFree=29546348/32770624 swapFree=5940/268696
[pid=18243] ppid=18240 vsize=13265980 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/18243/stat : 18243 (java) S 18240 18243 15364 0 -1 1077944320 11776 0 0 0 125 5 0 0 20 0 20 0 5458951 13584363520 18626 33554432000 4194304 4196468 140735058242896 140735058225440 140315012456183 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
/proc/18243/statm: 3316495 18626 3751 1 0 3304210 0
[pid=18243/tid=18244] ppid=18240 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18244/stat : 18244 (java) R 18240 18243 15364 0 -1 4202560 7966 0 0 0 63 4 0 0 20 0 20 0 5458952 13584363520 18626 33554432000 4194304 4196468 140735058242896 140315016691808 140314652879170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18245] ppid=18240 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18245/stat : 18245 (java) S 18240 18243 15364 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5458952 13584363520 18626 33554432000 4194304 4196468 140735058242896 140314611895056 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 13265980

[startup+1.5008 s]
/proc/loadavg: 1.60 1.56 1.48 4/281 18263
/proc/meminfo: memFree=29427716/32770624 swapFree=5940/269108
[pid=18243] ppid=18240 vsize=13268028 CPUtime=4.14 cores=1,3,5,7,9,11,13,15
/proc/18243/stat : 18243 (java) S 18240 18243 15364 0 -1 1077944320 21759 0 0 0 399 15 0 0 20 0 20 0 5458951 13586460672 54128 33554432000 4194304 4196468 140735058242896 140735058225440 140315012456183 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
/proc/18243/statm: 3317007 54128 3805 1 0 3304722 0
[pid=18243/tid=18244] ppid=18240 vsize=13268028 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18244/stat : 18244 (java) R 18240 18243 15364 0 -1 4202560 10081 0 0 0 138 6 0 0 20 0 20 0 5458952 13586460672 54128 33554432000 4194304 4196468 140735058242896 140315016692456 140314656221883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18245] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18245/stat : 18245 (java) S 18240 18243 15364 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 5458952 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314611895056 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18246] ppid=18240 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18246/stat : 18246 (java) S 18240 18243 15364 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 20 0 5458952 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314610842512 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18247] ppid=18240 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18247/stat : 18247 (java) S 18240 18243 15364 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 5458953 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314609789968 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18249] ppid=18240 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18249/stat : 18249 (java) S 18240 18243 15364 0 -1 1077944384 28 0 0 0 0 1 0 0 20 0 20 0 5458953 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314608737424 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18250] ppid=18240 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18250/stat : 18250 (java) S 18240 18243 15364 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 5458953 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314607683856 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18251] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18251/stat : 18251 (java) S 18240 18243 15364 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 20 0 5458953 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314606631312 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18252] ppid=18240 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18252/stat : 18252 (java) S 18240 18243 15364 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 20 0 5458953 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314605578768 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18253] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18253/stat : 18253 (java) S 18240 18243 15364 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 5458953 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314604526224 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18254] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18254/stat : 18254 (java) S 18240 18243 15364 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 5458955 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314475915760 140315012467330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18255] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18255/stat : 18255 (java) S 18240 18243 15364 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5458956 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314474862048 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18256] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18256/stat : 18256 (java) S 18240 18243 15364 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 5458956 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314473809392 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18257] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18257/stat : 18257 (java) S 18240 18243 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5458960 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314472757968 140315012474779 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18258] ppid=18240 vsize=13268028 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18258/stat : 18258 (java) S 18240 18243 15364 0 -1 1077944384 2686 0 0 0 67 0 0 0 20 0 20 0 5458960 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314471704560 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18259] ppid=18240 vsize=13268028 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18259/stat : 18259 (java) S 18240 18243 15364 0 -1 1077944384 2146 0 0 0 57 0 0 0 20 0 20 0 5458960 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314470652016 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18260] ppid=18240 vsize=13268028 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18260/stat : 18260 (java) S 18240 18243 15364 0 -1 1077944384 2006 0 0 0 62 0 0 0 20 0 20 0 5458960 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314469599472 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18261] ppid=18240 vsize=13268028 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18261/stat : 18261 (java) S 18240 18243 15364 0 -1 1077944384 2901 0 0 0 63 1 0 0 20 0 20 0 5458960 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314468546928 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18262] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18262/stat : 18262 (java) S 18240 18243 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5458960 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314467494624 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18263] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18263/stat : 18263 (java) S 18240 18243 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5458961 13586460672 54128 33554432000 4194304 4196468 140735058242896 140314466442160 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 13268028

[startup+3.10094 s]
/proc/loadavg: 1.87 1.62 1.50 10/281 18263
/proc/meminfo: memFree=29027524/32770624 swapFree=5940/269108
[pid=18243] ppid=18240 vsize=13268028 CPUtime=10.81 cores=1,3,5,7,9,11,13,15
/proc/18243/stat : 18243 (java) S 18240 18243 15364 0 -1 1077944320 31685 0 0 0 874 207 0 0 20 0 20 0 5458951 13586460672 233931 33554432000 4194304 4196468 140735058242896 140735058225440 140315012456183 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
/proc/18243/statm: 3317007 233931 3826 1 0 3304722 0
[pid=18243/tid=18244] ppid=18240 vsize=13268028 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18244/stat : 18244 (java) S 18240 18243 15364 0 -1 1077944384 11376 0 0 0 219 11 0 0 20 0 20 0 5458952 13586460672 233931 33554432000 4194304 4196468 140735058242896 140315016690048 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18245] ppid=18240 vsize=13268028 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18245/stat : 18245 (java) R 18240 18243 15364 0 -1 4202560 256 0 0 0 47 24 0 0 20 0 20 0 5458952 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314611895176 140315005084391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18246] ppid=18240 vsize=13268028 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18246/stat : 18246 (java) R 18240 18243 15364 0 -1 4202560 300 0 0 0 49 22 0 0 20 0 20 0 5458952 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314610842632 140315005555859 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18247] ppid=18240 vsize=13268028 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18247/stat : 18247 (java) R 18240 18243 15364 0 -1 4202560 249 0 0 0 47 24 0 0 20 0 20 0 5458953 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314609790088 140314997156827 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18249] ppid=18240 vsize=13268028 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18249/stat : 18249 (java) R 18240 18243 15364 0 -1 4202560 972 0 0 0 48 23 0 0 20 0 20 0 5458953 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314608737544 140314997156584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18250] ppid=18240 vsize=13268028 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18250/stat : 18250 (java) R 18240 18243 15364 0 -1 4202560 294 0 0 0 47 22 0 0 20 0 20 0 5458953 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314607683976 140314997156816 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18251] ppid=18240 vsize=13268028 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18251/stat : 18251 (java) R 18240 18243 15364 0 -1 4202560 377 0 0 0 47 24 0 0 20 0 20 0 5458953 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314606631432 140315005559162 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18252] ppid=18240 vsize=13268028 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18252/stat : 18252 (java) R 18240 18243 15364 0 -1 4202560 288 0 0 0 47 24 0 0 20 0 20 0 5458953 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314605578888 140314994066028 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18253] ppid=18240 vsize=13268028 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18253/stat : 18253 (java) R 18240 18243 15364 0 -1 4202560 251 0 0 0 48 24 0 0 20 0 20 0 5458953 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314604526344 140314997155944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18254] ppid=18240 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18254/stat : 18254 (java) S 18240 18243 15364 0 -1 1077944384 1784 0 0 0 2 0 0 0 20 0 20 0 5458955 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314475914304 140315012466389 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18255] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18255/stat : 18255 (java) S 18240 18243 15364 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5458956 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314474862048 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18256] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18256/stat : 18256 (java) S 18240 18243 15364 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 5458956 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314473809408 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18257] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18257/stat : 18257 (java) S 18240 18243 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5458960 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314472757968 140315012474779 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18258] ppid=18240 vsize=13268028 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18258/stat : 18258 (java) S 18240 18243 15364 0 -1 1077944384 2766 0 0 0 69 0 0 0 20 0 20 0 5458960 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314471704560 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18259] ppid=18240 vsize=13268028 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18259/stat : 18259 (java) S 18240 18243 15364 0 -1 1077944384 2161 0 0 0 58 0 0 0 20 0 20 0 5458960 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314470652016 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18260] ppid=18240 vsize=13268028 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18260/stat : 18260 (java) S 18240 18243 15364 0 -1 1077944384 2058 0 0 0 67 0 0 0 20 0 20 0 5458960 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314469599472 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18261] ppid=18240 vsize=13268028 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18261/stat : 18261 (java) S 18240 18243 15364 0 -1 1077944384 7117 0 0 0 73 1 0 0 20 0 20 0 5458960 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314468546928 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18262] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18262/stat : 18262 (java) S 18240 18243 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5458960 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314467494624 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18263] ppid=18240 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18263/stat : 18263 (java) S 18240 18243 15364 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 5458961 13586460672 233931 33554432000 4194304 4196468 140735058242896 140314466442160 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
Current children cumulated CPU time (s) 10.81
Current children cumulated vsize (KiB) 13268028

[startup+6.30233 s]
/proc/loadavg: 1.87 1.62 1.50 3/281 18263
/proc/meminfo: memFree=27734320/32770624 swapFree=5940/269120
[pid=18243] ppid=18240 vsize=13268028 CPUtime=21.96 cores=1,3,5,7,9,11,13,15
/proc/18243/stat : 18243 (java) S 18240 18243 15364 0 -1 1077944320 35718 0 0 0 1642 554 0 0 20 0 20 0 5458951 13586460672 534831 33554432000 4194304 4196468 140735058242896 140735058225440 140315012456183 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
/proc/18243/statm: 3317007 534831 3834 1 0 3304722 0
[pid=18243/tid=18244] ppid=18240 vsize=13268028 CPUtime=4.02 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18244/stat : 18244 (java) S 18240 18243 15364 0 -1 1077944384 11708 0 0 0 385 17 0 0 20 0 20 0 5458952 13586460672 534831 33554432000 4194304 4196468 140735058242896 140315016690528 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18245] ppid=18240 vsize=13268028 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18245/stat : 18245 (java) R 18240 18243 15364 0 -1 4202560 586 0 0 0 120 68 0 0 20 0 20 0 5458952 13586460672 534831 33554432000 4194304 4196468 140735058242896 140314611895256 140314997484057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18246] ppid=18240 vsize=13268028 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18246/stat : 18246 (java) R 18240 18243 15364 0 -1 4202560 683 0 0 0 123 64 0 0 20 0 20 0 5458952 13586460672 534831 33554432000 4194304 4196468 140735058242896 140314610842712 140314997484057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18247] ppid=18240 vsize=13268028 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18247/stat : 18247 (java) R 18240 18243 15364 0 -1 4202560 580 0 0 0 119 68 0 0 20 0 20 0 5458953 13586460672 534831 33554432000 4194304 4196468 140735058242896 140314609790168 140314997484057 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18249] ppid=18240 vsize=13268028 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18249/stat : 18249 (java) R 18240 18243 15364 0 -1 4202560 1296 0 0 0 121 66 0 0 20 0 20 0 5458953 13586460672 534831 33554432000 4194304 4196468 140735058242896 140314608737312 140315005553019 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18250] ppid=18240 vsize=13268028 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18250/stat : 18250 (java) R 18240 18243 15364 0 -1 4202560 606 0 0 0 121 65 0 0 20 0 20 0 5458953 13586460672 534831 33554432000 4194304 4196468 140735058242896 140314607684056 140315005556030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18251] ppid=18240 vsize=13268028 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18251/stat : 18251 (java) R 18240 18243 15364 0 -1 4202560 704 0 0 0 120 68 0 0 20 0 20 0 5458953 13586460672 534831 33554432000 4194304 4196468 140735058242896 140314606631512 140314997484057 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18252] ppid=18240 vsize=13268028 CPUtime=1.85 cores=1,3,5,7,9,11,13,15

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

[pid=18243/tid=18259] ppid=18240 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18259/stat : 18259 (java) S 18240 18243 15364 0 -1 1077944384 19427 0 0 0 205 3 0 0 20 0 20 0 5458960 13588557824 1334988 33554432000 4194304 4196468 140735058242896 140314470652016 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18260] ppid=18240 vsize=13270076 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18260/stat : 18260 (java) S 18240 18243 15364 0 -1 1077944384 18934 0 0 0 238 3 0 0 20 0 20 0 5458960 13588557824 1334988 33554432000 4194304 4196468 140735058242896 140314469599472 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18261] ppid=18240 vsize=13270076 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18261/stat : 18261 (java) S 18240 18243 15364 0 -1 1077944384 33293 0 0 0 123 5 0 0 20 0 20 0 5458960 13588557824 1334988 33554432000 4194304 4196468 140735058242896 140314468546928 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18262] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18262/stat : 18262 (java) S 18240 18243 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5458960 13588557824 1334988 33554432000 4194304 4196468 140735058242896 140314467494624 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18263] ppid=18240 vsize=13270076 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18263/stat : 18263 (java) S 18240 18243 15364 0 -1 1077944384 1800 0 0 0 54 61 0 0 20 0 20 0 5458961 13588557824 1334988 33554432000 4194304 4196468 140735058242896 140314466442160 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
Current children cumulated CPU time (s) 2243.79
Current children cumulated vsize (KiB) 13270076

[startup+2202.31 s]
/proc/loadavg: 1.60 1.67 1.64 3/281 18356
/proc/meminfo: memFree=24031324/32770624 swapFree=5940/271564
[pid=18243] ppid=18240 vsize=13270076 CPUtime=2304.85 cores=1,3,5,7,9,11,13,15
/proc/18243/stat : 18243 (java) S 18240 18243 15364 0 -1 1077944320 1014076 0 0 0 228487 1998 0 0 20 0 20 0 5458951 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140735058225440 140315012456183 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
/proc/18243/statm: 3317519 1334990 3865 1 0 3305234 0
[pid=18243/tid=18244] ppid=18240 vsize=13270076 CPUtime=2186.34 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18244/stat : 18244 (java) R 18240 18243 15364 0 -1 4202560 539599 0 0 0 218567 67 0 0 20 0 20 0 5458952 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140315016693856 140314659120303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18245] ppid=18240 vsize=13270076 CPUtime=13.55 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18245/stat : 18245 (java) S 18240 18243 15364 0 -1 1077944384 44685 0 0 0 1121 234 0 0 20 0 20 0 5458952 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314611895056 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18246] ppid=18240 vsize=13270076 CPUtime=13.64 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18246/stat : 18246 (java) S 18240 18243 15364 0 -1 1077944384 44689 0 0 0 1134 230 0 0 20 0 20 0 5458952 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314610842512 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18247] ppid=18240 vsize=13270076 CPUtime=13.6 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18247/stat : 18247 (java) S 18240 18243 15364 0 -1 1077944384 50571 0 0 0 1131 229 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314609789968 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18249] ppid=18240 vsize=13270076 CPUtime=13.64 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18249/stat : 18249 (java) S 18240 18243 15364 0 -1 1077944384 43262 0 0 0 1127 237 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314608737424 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18250] ppid=18240 vsize=13270076 CPUtime=13.51 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18250/stat : 18250 (java) S 18240 18243 15364 0 -1 1077944384 55401 0 0 0 1126 225 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314607683856 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18251] ppid=18240 vsize=13270076 CPUtime=13.52 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18251/stat : 18251 (java) S 18240 18243 15364 0 -1 1077944384 45342 0 0 0 1115 237 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314606631312 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18252] ppid=18240 vsize=13270076 CPUtime=13.4 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18252/stat : 18252 (java) S 18240 18243 15364 0 -1 1077944384 39642 0 0 0 1110 230 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314605578768 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18253] ppid=18240 vsize=13270076 CPUtime=13.48 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18253/stat : 18253 (java) S 18240 18243 15364 0 -1 1077944384 44057 0 0 0 1115 233 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314604526224 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18254] ppid=18240 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18254/stat : 18254 (java) S 18240 18243 15364 0 -1 1077944384 17018 0 0 0 68 7 0 0 20 0 20 0 5458955 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314475915760 140315012467330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18255] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18255/stat : 18255 (java) S 18240 18243 15364 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 5458956 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314474862048 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18256] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18256/stat : 18256 (java) S 18240 18243 15364 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 5458956 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314473809408 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18257] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18257/stat : 18257 (java) S 18240 18243 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314472757968 140315012474779 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18258] ppid=18240 vsize=13270076 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18258/stat : 18258 (java) S 18240 18243 15364 0 -1 1077944384 14866 0 0 0 229 2 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314471704560 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18259] ppid=18240 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18259/stat : 18259 (java) S 18240 18243 15364 0 -1 1077944384 19430 0 0 0 205 3 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314470652016 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18260] ppid=18240 vsize=13270076 CPUtime=2.41 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18260/stat : 18260 (java) S 18240 18243 15364 0 -1 1077944384 18941 0 0 0 238 3 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314469599472 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18261] ppid=18240 vsize=13270076 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18261/stat : 18261 (java) S 18240 18243 15364 0 -1 1077944384 33299 0 0 0 123 5 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314468546928 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18262] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18262/stat : 18262 (java) S 18240 18243 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314467494624 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18263] ppid=18240 vsize=13270076 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18263/stat : 18263 (java) S 18240 18243 15364 0 -1 1077944384 1827 0 0 0 56 63 0 0 20 0 20 0 5458961 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314466442160 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
Current children cumulated CPU time (s) 2304.85
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.56 1.65 1.63 3/281 18444
/proc/meminfo: memFree=22916560/32770624 swapFree=5940/271716
[pid=18243] ppid=18240 vsize=13270076 CPUtime=2365.78 cores=1,3,5,7,9,11,13,15
/proc/18243/stat : 18243 (java) S 18240 18243 15364 0 -1 1077944320 1036354 0 0 0 234576 2002 0 0 20 0 20 0 5458951 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140735058225440 140315012456183 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
/proc/18243/statm: 3317519 1334990 3865 1 0 3305234 0
[pid=18243/tid=18244] ppid=18240 vsize=13270076 CPUtime=2246.16 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18244/stat : 18244 (java) R 18240 18243 15364 0 -1 4202560 552894 0 0 0 224548 68 0 0 20 0 20 0 5458952 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140315016685056 140314654851672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18245] ppid=18240 vsize=13270076 CPUtime=13.68 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18245/stat : 18245 (java) S 18240 18243 15364 0 -1 1077944384 46242 0 0 0 1134 234 0 0 20 0 20 0 5458952 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314611895056 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18246] ppid=18240 vsize=13270076 CPUtime=13.78 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18246/stat : 18246 (java) S 18240 18243 15364 0 -1 1077944384 45916 0 0 0 1147 231 0 0 20 0 20 0 5458952 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314610842512 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18247] ppid=18240 vsize=13270076 CPUtime=13.72 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18247/stat : 18247 (java) S 18240 18243 15364 0 -1 1077944384 51985 0 0 0 1143 229 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314609789968 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18249] ppid=18240 vsize=13270076 CPUtime=13.78 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18249/stat : 18249 (java) S 18240 18243 15364 0 -1 1077944384 44008 0 0 0 1141 237 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314608737424 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18250] ppid=18240 vsize=13270076 CPUtime=13.64 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18250/stat : 18250 (java) S 18240 18243 15364 0 -1 1077944384 56553 0 0 0 1139 225 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314607683856 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18251] ppid=18240 vsize=13270076 CPUtime=13.65 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18251/stat : 18251 (java) S 18240 18243 15364 0 -1 1077944384 46195 0 0 0 1128 237 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314606631312 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18252] ppid=18240 vsize=13270076 CPUtime=13.53 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18252/stat : 18252 (java) S 18240 18243 15364 0 -1 1077944384 40633 0 0 0 1122 231 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314605578768 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18253] ppid=18240 vsize=13270076 CPUtime=13.62 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18253/stat : 18253 (java) S 18240 18243 15364 0 -1 1077944384 44808 0 0 0 1129 233 0 0 20 0 20 0 5458953 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314604526224 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18254] ppid=18240 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18254/stat : 18254 (java) S 18240 18243 15364 0 -1 1077944384 17256 0 0 0 68 7 0 0 20 0 20 0 5458955 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314475915760 140315012467330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18255] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18255/stat : 18255 (java) S 18240 18243 15364 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 5458956 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314474862048 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18256] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18256/stat : 18256 (java) S 18240 18243 15364 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 5458956 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314473809408 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18257] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18257/stat : 18257 (java) S 18240 18243 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314472757968 140315012474779 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18258] ppid=18240 vsize=13270076 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18258/stat : 18258 (java) S 18240 18243 15364 0 -1 1077944384 14871 0 0 0 229 2 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314471704560 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18259] ppid=18240 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18259/stat : 18259 (java) S 18240 18243 15364 0 -1 1077944384 19433 0 0 0 205 3 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314470652016 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18260] ppid=18240 vsize=13270076 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18260/stat : 18260 (java) S 18240 18243 15364 0 -1 1077944384 18948 0 0 0 239 3 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314469599472 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18261] ppid=18240 vsize=13270076 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18261/stat : 18261 (java) S 18240 18243 15364 0 -1 1077944384 33305 0 0 0 123 5 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314468546928 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18262] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18262/stat : 18262 (java) S 18240 18243 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5458960 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314467494624 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18263] ppid=18240 vsize=13270076 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18263/stat : 18263 (java) S 18240 18243 15364 0 -1 1077944384 1860 0 0 0 57 65 0 0 20 0 20 0 5458961 13588557824 1334990 33554432000 4194304 4196468 140735058242896 140314466442160 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
Current children cumulated CPU time (s) 2365.78
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2295.81 s]
/proc/loadavg: 1.63 1.65 1.64 3/281 18444
/proc/meminfo: memFree=22913208/32770624 swapFree=5940/271720
[pid=18243] ppid=18240 vsize=13270076 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/18243/stat : 18243 (java) S 18240 18243 15364 0 -1 1077944320 1060875 0 0 0 237996 2004 0 0 20 0 20 0 5458951 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140735058225440 140315012456183 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
/proc/18243/statm: 3317519 1334991 3865 1 0 3305234 0
[pid=18243/tid=18244] ppid=18240 vsize=13270076 CPUtime=2279.55 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18244/stat : 18244 (java) R 18240 18243 15364 0 -1 4202560 567354 0 0 0 227886 69 0 0 20 0 20 0 5458952 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140315016693856 140314659547404 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18245] ppid=18240 vsize=13270076 CPUtime=13.78 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18245/stat : 18245 (java) S 18240 18243 15364 0 -1 1077944384 47592 0 0 0 1144 234 0 0 20 0 20 0 5458952 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314611895056 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18246] ppid=18240 vsize=13270076 CPUtime=13.89 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18246/stat : 18246 (java) S 18240 18243 15364 0 -1 1077944384 46465 0 0 0 1158 231 0 0 20 0 20 0 5458952 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314610842512 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18247] ppid=18240 vsize=13270076 CPUtime=13.82 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18247/stat : 18247 (java) S 18240 18243 15364 0 -1 1077944384 52784 0 0 0 1153 229 0 0 20 0 20 0 5458953 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314609789968 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18249] ppid=18240 vsize=13270076 CPUtime=13.88 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18249/stat : 18249 (java) S 18240 18243 15364 0 -1 1077944384 45576 0 0 0 1151 237 0 0 20 0 20 0 5458953 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314608737424 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18250] ppid=18240 vsize=13270076 CPUtime=13.75 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18250/stat : 18250 (java) S 18240 18243 15364 0 -1 1077944384 57889 0 0 0 1150 225 0 0 20 0 20 0 5458953 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314607683856 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18251] ppid=18240 vsize=13270076 CPUtime=13.76 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18251/stat : 18251 (java) S 18240 18243 15364 0 -1 1077944384 48168 0 0 0 1138 238 0 0 20 0 20 0 5458953 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314606631312 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18252] ppid=18240 vsize=13270076 CPUtime=13.63 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18252/stat : 18252 (java) S 18240 18243 15364 0 -1 1077944384 41420 0 0 0 1132 231 0 0 20 0 20 0 5458953 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314605578768 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18253] ppid=18240 vsize=13270076 CPUtime=13.73 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18253/stat : 18253 (java) S 18240 18243 15364 0 -1 1077944384 45608 0 0 0 1139 234 0 0 20 0 20 0 5458953 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314604526224 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18254] ppid=18240 vsize=13270076 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18254/stat : 18254 (java) S 18240 18243 15364 0 -1 1077944384 17514 0 0 0 68 7 0 0 20 0 20 0 5458955 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314475915760 140315012467330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18255] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18255/stat : 18255 (java) S 18240 18243 15364 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 5458956 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314474862048 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18256] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18256/stat : 18256 (java) S 18240 18243 15364 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 5458956 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314473809408 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18257] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18257/stat : 18257 (java) S 18240 18243 15364 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5458960 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314472757968 140315012474779 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18258] ppid=18240 vsize=13270076 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18258/stat : 18258 (java) S 18240 18243 15364 0 -1 1077944384 14873 0 0 0 229 2 0 0 20 0 20 0 5458960 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314471704560 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18259] ppid=18240 vsize=13270076 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18259/stat : 18259 (java) S 18240 18243 15364 0 -1 1077944384 19435 0 0 0 206 3 0 0 20 0 20 0 5458960 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314470652016 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18260] ppid=18240 vsize=13270076 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18260/stat : 18260 (java) S 18240 18243 15364 0 -1 1077944384 18951 0 0 0 239 3 0 0 20 0 20 0 5458960 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314469599472 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18261] ppid=18240 vsize=13270076 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18261/stat : 18261 (java) S 18240 18243 15364 0 -1 1077944384 33911 0 0 0 123 5 0 0 20 0 20 0 5458960 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314468546928 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18262] ppid=18240 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18262/stat : 18262 (java) S 18240 18243 15364 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5458960 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314467494624 140315012466389 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
[pid=18243/tid=18263] ppid=18240 vsize=13270076 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/18243/task/18263/stat : 18263 (java) S 18240 18243 15364 0 -1 1077944384 1888 0 0 0 58 66 0 0 20 0 20 0 5458961 13588557824 1334991 33554432000 4194304 4196468 140735058242896 140314466442160 140315012467330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 48 0 0 6293624 6294260 38412288 140735058248848 140735058249028 140735058249028 140735058251727 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 13270076

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18243 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2295.87
CPU time (s): 2400.08
CPU user time (s): 2379.99
CPU system time (s): 20.0909
CPU usage (%): 104.539
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2379.99
system time used= 20.0909
maximum resident set size= 5340408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1062181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66912
involuntary context switches= 124822

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1418 second user time and 18.3764 second system time

The end

Launcher Data

Begin job on node151 at 2017-07-22 07:39:01
IDJOB=4245660
IDBENCH=123023
IDSOLVER=2627
FILE ID=node151/4245660-1500701941
RUNJOBID= node151-1500683233-16020
PBS_JOBID= 20623037
Free space on /tmp= 61984 MiB

SOLVER NAME= OscaR - ALNS 2017-06-30
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245660-1500701941/watcher-4245660-1500701941 -o /tmp/evaluation-result-4245660-1500701941/solver-4245660-1500701941 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1500683233-16020 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 390296333 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245660-1500701941.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250
RANDOM SEED=390296333

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

/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		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5342.81
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	: 8
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.49
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5342.81
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5342.81
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.49
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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	: 5342.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29546824 kB
MemAvailable:   29818940 kB
Buffers:          117792 kB
Cached:           435016 kB
SwapCached:            0 kB
Active:          2508972 kB
Inactive:         277360 kB
Active(anon):    2236492 kB
Inactive(anon):     8664 kB
Active(file):     272480 kB
Inactive(file):   268696 kB
Unevictable:        5940 kB
Mlocked:            5972 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42196 kB
Writeback:             0 kB
AnonPages:       2243448 kB
Mapped:            45424 kB
Shmem:              8848 kB
Slab:             126148 kB
SReclaimable:      93548 kB
SUnreclaim:        32600 kB
KernelStack:        4544 kB
PageTables:        10112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4315012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2103296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61944 MiB
End job on node151 at 2017-07-22 08:17:17