Trace number 4275243

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
OscaR - Parallel with EPS 2017-07-26SAT (TO)3113 19963.1 2520.1499

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n60-k9.xml
MD5SUM204525c81941dcb64589d695195e220f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1407
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables3660
Number of constraints3599
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":60},{"size":2,"count":3540},{"size":101,"count":59}]
Minimum variable degree0
Maximum variable degree117
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":60},{"degree":2,"count":118},{"degree":4,"count":3422},{"degree":117,"count":59}]
Minimum constraint arity1
Maximum constraint arity59
Distribution of constraint arities[{"arity":1,"count":59},{"arity":3,"count":3422},{"arity":59,"count":118}]
Number of extensional constraints0
Number of intensional constraints59
Distribution of constraint types[{"type":"intension","count":59},{"type":"sum","count":3422},{"type":"count","count":118}]
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.30/0.25	c version: 2017-07-26
0.30/0.25	c seed: 1585653535
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 11000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
2.41/0.93	c Parsing done, starting search...
20.21/11.27	o 3691
21.00/11.32	o 3624
21.00/11.36	o 3534
21.77/11.44	o 3533
21.77/11.46	o 3531
22.55/11.55	o 3529
23.34/11.69	o 3520
24.09/11.72	o 3511
24.09/11.74	o 3499
24.09/11.79	o 3496
24.91/11.89	o 3483
24.91/11.90	o 3479
25.73/11.94	o 3471
25.73/11.95	o 3467
25.73/11.98	o 3439
25.73/11.99	o 3411
26.61/12.02	o 3407
26.61/12.07	o 3404
26.61/12.08	o 3400
26.61/12.10	o 3394
27.47/12.14	o 3384
27.47/12.15	o 3380
27.47/12.16	o 3367
27.47/12.20	o 3353
28.07/12.21	o 3350
31.29/12.70	o 3326
32.86/12.82	o 3324
32.86/12.90	o 3316
33.71/12.91	o 3315
33.71/12.96	o 3313
47.16/14.62	o 3309
55.13/15.61	o 3307
55.93/15.73	o 3306
55.93/15.75	o 3283
716.04/98.60	o 3280
721.61/99.25	o 3275
781.40/106.77	o 3272
1132.86/150.86	o 3271
1192.40/158.33	o 3258
1192.40/158.35	o 3257
1192.40/158.37	o 3251
1192.40/158.37	o 3241
1198.84/159.17	o 3203
1201.15/159.47	o 3200
1852.36/241.27	o 3195
3303.65/423.63	o 3193
3303.65/423.64	o 3190
3310.80/424.53	o 3185
3313.19/424.89	o 3182
3572.65/457.46	o 3175
3682.58/471.20	o 3174
3689.02/472.03	o 3165
5106.42/650.08	o 3157
5109.47/650.45	o 3136
5109.47/650.45	o 3134
5110.27/650.56	o 3121
15384.10/1943.06	o 3120
15386.42/1943.32	o 3115
19625.36/2477.68	o 3113
19962.14/2520.09	s SATISFIABLE
19962.14/2520.11	v <instantiation>
19962.14/2520.11	v 	<list>
19962.14/2520.11	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59]
19962.14/2520.11	v 	</list>
19962.14/2520.11	v 	<values>
19962.14/2520.11	v 		0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 21 100 100 89 39 49 36 69 15 100 100 100 56 33 38 100 25 100 32 82 43 98 57 100 93 34 19 80 46 70 75 100 76 11 75 78 85 83 29 70 30 39 46 61 69 81 66 81 59 6 63 29 98 77 94 64 78 15 98 
19962.14/2520.11	v 	</values>
19962.14/2520.11	v </instantiation>

Verifier Data 

OK	3113

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12279 MiB free)
  memory of node 1: 16384 MiB (13536 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275243-1502712768/watcher-4275243-1502712768 -o /tmp/evaluation-result-4275243-1502712768/solver-4275243-1502712768 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502704343-5381 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1585653535 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275243-1502712768.xml 

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

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


[startup+0.100146 s]*
/proc/loadavg: 8.25 8.77 8.78 2/198 5977
/proc/meminfo: memFree=26414104/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=14325320 memory=35992 CPUtime=0.12 cores=0-7
/proc/5957/stat : 5957 (java) S 5954 5957 5354 0 -1 1077944320 8370 0 0 0 10 2 0 0 20 0 20 0 104348378 14669127680 8998 33554432000 4194304 4196468 140727354609760 140727354592304 139713444511479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
/proc/5957/statm: 3581330 8998 3409 1 0 3569050 0
[pid=5957/tid=5959] ppid=5954 vsize=14325320 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5957/task/5959/stat : 5959 (java) R 5954 5957 5354 0 -1 4202560 6325 0 0 0 7 1 0 0 20 0 20 0 104348379 14669127680 8998 33554432000 4194304 4196468 140727354609760 139713448728176 139713428555109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5960] ppid=5954 vsize=14325320 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5957/task/5960/stat : 5960 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 8998 33554432000 4194304 4196468 140727354609760 139713040280080 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5961] ppid=5954 vsize=14325320 memory=139984363386496 CPUtime=0 cores=0-7
/proc/5957/task/5961/stat : 5961 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 8998 33554432000 4194304 4196468 140727354609760 139713039227536 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5962] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5962/stat : 5962 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 8998 33554432000 4194304 4196468 140727354609760 139713038174480 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5963] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5963/stat : 5963 (java) S 5954 5957 5354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 8998 33554432000 4194304 4196468 140727354609760 139713037121936 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5964] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5964/stat : 5964 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 8998 33554432000 4194304 4196468 140727354609760 139713036069904 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5965] ppid=5954 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5957/task/5965/stat : 5965 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 8998 33554432000 4194304 4196468 140727354609760 139713035017360 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5966] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5966/stat : 5966 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 8998 33554432000 4194304 4196468 140727354609760 139713033964304 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5967] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5967/stat : 5967 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 8998 33554432000 4194304 4196468 140727354609760 139713032911760 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5968] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5968/stat : 5968 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348381 14669127680 8998 33554432000 4194304 4196468 140727354609760 139712542116080 139713444522626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5969] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5969/stat : 5969 (java) S 5954 5957 5354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104348381 14669127680 8998 33554432000 4194304 4196468 140727354609760 139712541062304 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5970] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5970/stat : 5970 (java) S 5954 5957 5354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104348381 14669127680 8998 33554432000 4194304 4196468 140727354609760 139712540009200 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5971] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5971/stat : 5971 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348384 14669127680 8998 33554432000 4194304 4196468 140727354609760 139712538957776 139713444530075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5972] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5972/stat : 5972 (java) S 5954 5957 5354 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 104348384 14669127680 8998 33554432000 4194304 4196468 140727354609760 139712537905904 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5973] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5973/stat : 5973 (java) S 5954 5957 5354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104348384 14669127680 8998 33554432000 4194304 4196468 140727354609760 139712536853360 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5974] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5974/stat : 5974 (java) S 5954 5957 5354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104348384 14669127680 8998 33554432000 4194304 4196468 140727354609760 139712535800304 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5975] ppid=5954 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/5957/task/5975/stat : 5975 (java) S 5954 5957 5354 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 104348384 14669127680 8998 33554432000 4194304 4196468 140727354609760 139712333343344 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5976] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104348384 14669127680 8998 33554432000 4194304 4196468 140727354609760 139712332290528 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5977] ppid=5954 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5957/task/5977/stat : 5977 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348384 14669127680 8998 33554432000 4194304 4196468 140727354609760 139712331238064 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 35992 KiB

[startup+0.210348 s]*
/proc/loadavg: 8.25 8.77 8.78 3/198 5977
/proc/meminfo: memFree=26404280/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=14325320 memory=44880 CPUtime=0.3 cores=0-7
/proc/5957/stat : 5957 (java) S 5954 5957 5354 0 -1 1077944320 9355 0 0 0 26 4 0 0 20 0 20 0 104348378 14669127680 11220 33554432000 4194304 4196468 140727354609760 140727354592304 139713444511479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
/proc/5957/statm: 3581330 11220 3598 1 0 3569050 0
[pid=5957/tid=5959] ppid=5954 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/5957/task/5959/stat : 5959 (java) R 5954 5957 5354 0 -1 4202560 6955 0 0 0 17 2 0 0 20 0 20 0 104348379 14669127680 11220 33554432000 4194304 4196468 140727354609760 139713448736560 139713444533405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5960] ppid=5954 vsize=14325320 memory=12833 CPUtime=0 cores=0-7
/proc/5957/task/5960/stat : 5960 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 11220 33554432000 4194304 4196468 140727354609760 139713040280080 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5961] ppid=5954 vsize=14325320 memory=139984363392633 CPUtime=0 cores=0-7
/proc/5957/task/5961/stat : 5961 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 11220 33554432000 4194304 4196468 140727354609760 139713039227536 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5962] ppid=5954 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5957/task/5962/stat : 5962 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 11220 33554432000 4194304 4196468 140727354609760 139713038174480 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5963] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5963/stat : 5963 (java) S 5954 5957 5354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 11220 33554432000 4194304 4196468 140727354609760 139713037121936 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5964] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5964/stat : 5964 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 11220 33554432000 4194304 4196468 140727354609760 139713036069904 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5965] ppid=5954 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5957/task/5965/stat : 5965 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 11220 33554432000 4194304 4196468 140727354609760 139713035017360 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5966] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5966/stat : 5966 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 11220 33554432000 4194304 4196468 140727354609760 139713033964304 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5967] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5967/stat : 5967 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14669127680 11220 33554432000 4194304 4196468 140727354609760 139713032911760 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5968] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5968/stat : 5968 (java) S 5954 5957 5354 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104348381 14669127680 11220 33554432000 4194304 4196468 140727354609760 139712542116080 139713444522626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5969] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5969/stat : 5969 (java) S 5954 5957 5354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104348381 14669127680 11220 33554432000 4194304 4196468 140727354609760 139712541062304 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5970] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5970/stat : 5970 (java) S 5954 5957 5354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104348381 14669127680 11220 33554432000 4194304 4196468 140727354609760 139712540009200 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5971] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5971/stat : 5971 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348384 14669127680 11220 33554432000 4194304 4196468 140727354609760 139712538957776 139713444530075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5972] ppid=5954 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/5957/task/5972/stat : 5972 (java) S 5954 5957 5354 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 20 0 104348384 14669127680 11220 33554432000 4194304 4196468 140727354609760 139712537905904 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5973] ppid=5954 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/5957/task/5973/stat : 5973 (java) S 5954 5957 5354 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 104348384 14669127680 11220 33554432000 4194304 4196468 140727354609760 139712536853360 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5974] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5974/stat : 5974 (java) S 5954 5957 5354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104348384 14669127680 11220 33554432000 4194304 4196468 140727354609760 139712535800304 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5975] ppid=5954 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/5957/task/5975/stat : 5975 (java) R 5954 5957 5354 0 -1 4202560 379 0 0 0 5 0 0 0 20 0 20 0 104348384 14669127680 11220 33554432000 4194304 4196468 140727354609760 139712333343344 139713444523414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5976] ppid=5954 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104348384 14669127680 11220 33554432000 4194304 4196468 140727354609760 139712332290528 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5977] ppid=5954 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/5957/task/5977/stat : 5977 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348384 14669127680 11220 33554432000 4194304 4196468 140727354609760 139712331238064 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 44880 KiB

[startup+0.310104 s]*
/proc/loadavg: 8.25 8.77 8.78 2/198 5977
/proc/meminfo: memFree=26397332/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=14325340 memory=52792 CPUtime=0.48 cores=0-7
/proc/5957/stat : 5957 (java) S 5954 5957 5354 0 -1 1077944320 10426 0 0 0 44 4 0 0 20 0 20 0 104348378 14669148160 13198 33554432000 4194304 4196468 140727354609760 140727354592304 139713444511479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
/proc/5957/statm: 3581335 13198 3696 1 0 3569050 0
[pid=5957/tid=5959] ppid=5954 vsize=14325340 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5957/task/5959/stat : 5959 (java) R 5954 5957 5354 0 -1 4202560 7531 0 0 0 26 3 0 0 20 0 20 0 104348379 14669148160 13198 33554432000 4194304 4196468 140727354609760 139713448733328 139713428555109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5960] ppid=5954 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5960/stat : 5960 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669148160 13198 33554432000 4194304 4196468 140727354609760 139713040280080 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5961] ppid=5954 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5961/stat : 5961 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14669148160 13198 33554432000 4194304 4196468 140727354609760 139713039227536 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5962] ppid=5954 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5962/stat : 5962 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669148160 13198 33554432000 4194304 4196468 140727354609760 139713038174480 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5963] ppid=5954 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5963/stat : 5963 (java) S 5954 5957 5354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104348379 14669148160 13198 33554432000 4194304 4196468 140727354609760 139713037121936 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5964] ppid=5954 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/5957/task/5964/stat : 5964 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669148160 13198 33554432000 4194304 4196468 140727354609760 139713036069904 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5965] ppid=5954 vsize=14325340 memory=139984258560943 CPUtime=0 cores=0-7
/proc/5957/task/5965/stat : 5965 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14669148160 13198 33554432000 4194304 4196468 140727354609760 139713035017360 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5966] ppid=5954 vsize=14325340 memory=139984258563248 CPUtime=0 cores=0-7
/proc/5957/task/5966/stat : 5966 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14669148160 13198 33554432000 4194304 4196468 140727354609760 139713033964304 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5967] ppid=5954 vsize=14325340 memory=139984258565552 CPUtime=0 cores=0-7
/proc/5957/task/5967/stat : 5967 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14669148160 13198 33554432000 4194304 4196468 140727354609760 139713032911760 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5968] ppid=5954 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5968/stat : 5968 (java) S 5954 5957 5354 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104348381 14669148160 13198 33554432000 4194304 4196468 140727354609760 139712542116080 139713444522626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5969] ppid=5954 vsize=14325340 memory=279968517138064 CPUtime=0 cores=0-7
/proc/5957/task/5969/stat : 5969 (java) S 5954 5957 5354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104348381 14669148160 13198 33554432000 4194304 4196468 140727354609760 139712541062304 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5970] ppid=5954 vsize=14325340 memory=279968517144976 CPUtime=0 cores=0-7
/proc/5957/task/5970/stat : 5970 (java) S 5954 5957 5354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104348381 14669148160 13198 33554432000 4194304 4196468 140727354609760 139712540009200 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5971] ppid=5954 vsize=14325340 memory=279968517086256 CPUtime=0 cores=0-7
/proc/5957/task/5971/stat : 5971 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348384 14669148160 13198 33554432000 4194304 4196468 140727354609760 139712538957776 139713444530075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5972] ppid=5954 vsize=14325340 memory=279968517158800 CPUtime=0.02 cores=0-7
/proc/5957/task/5972/stat : 5972 (java) S 5954 5957 5354 0 -1 1077944384 508 0 0 0 2 0 0 0 20 0 20 0 104348384 14669148160 13198 33554432000 4194304 4196468 140727354609760 139712537905904 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5973] ppid=5954 vsize=14325340 memory=279968517165712 CPUtime=0.02 cores=0-7
/proc/5957/task/5973/stat : 5973 (java) S 5954 5957 5354 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 20 0 104348384 14669148160 13198 33554432000 4194304 4196468 140727354609760 139712536853360 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5974] ppid=5954 vsize=14325340 memory=279968517163408 CPUtime=0.03 cores=0-7
/proc/5957/task/5974/stat : 5974 (java) S 5954 5957 5354 0 -1 1077944384 271 0 0 0 3 0 0 0 20 0 20 0 104348384 14669148160 13198 33554432000 4194304 4196468 140727354609760 139712535800304 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5975] ppid=5954 vsize=14325340 memory=279968517180016 CPUtime=0.08 cores=0-7
/proc/5957/task/5975/stat : 5975 (java) S 5954 5957 5354 0 -1 1077944384 511 0 0 0 8 0 0 0 20 0 20 0 104348384 14669148160 13198 33554432000 4194304 4196468 140727354609760 139712333343344 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5976] ppid=5954 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104348384 14669148160 13198 33554432000 4194304 4196468 140727354609760 139712332290528 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5977] ppid=5954 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/5957/task/5977/stat : 5977 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348384 14669148160 13198 33554432000 4194304 4196468 140727354609760 139712331238064 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 52792 KiB

[startup+0.700958 s]
/proc/loadavg: 8.25 8.77 8.78 4/198 5977
/proc/meminfo: memFree=26381792/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=14327388 memory=107220 CPUtime=1.61 cores=0-7
/proc/5957/stat : 5957 (java) S 5954 5957 5354 0 -1 1077944320 14886 0 0 0 154 7 0 0 20 0 20 0 104348378 14671245312 26805 33554432000 4194304 4196468 140727354609760 140727354592304 139713444511479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
/proc/5957/statm: 3581847 26805 3777 1 0 3569562 0
[pid=5957/tid=5959] ppid=5954 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/5957/task/5959/stat : 5959 (java) R 5954 5957 5354 0 -1 4202560 8325 0 0 0 63 4 0 0 20 0 20 0 104348379 14671245312 26805 33554432000 4194304 4196468 140727354609760 139713448747504 139713426930913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5960] ppid=5954 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5960/stat : 5960 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14671245312 26805 33554432000 4194304 4196468 140727354609760 139713040280080 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5961] ppid=5954 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5961/stat : 5961 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14671245312 26805 33554432000 4194304 4196468 140727354609760 139713039227536 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5962] ppid=5954 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/5957/task/5962/stat : 5962 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14671245312 26805 33554432000 4194304 4196468 140727354609760 139713038174480 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5963] ppid=5954 vsize=14327388 memory=1928 CPUtime=0 cores=0-7
/proc/5957/task/5963/stat : 5963 (java) S 5954 5957 5354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104348379 14671245312 26805 33554432000 4194304 4196468 140727354609760 139713037121936 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5964] ppid=5954 vsize=14327388 memory=1428 CPUtime=0 cores=0-7
/proc/5957/task/5964/stat : 5964 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14671245312 26805 33554432000 4194304 4196468 140727354609760 139713036069904 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5965] ppid=5954 vsize=14327388 memory=1196 CPUtime=0 cores=0-7
/proc/5957/task/5965/stat : 5965 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14671245312 26805 33554432000 4194304 4196468 140727354609760 139713035017360 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5966] ppid=5954 vsize=14327388 memory=10644 CPUtime=0 cores=0-7
/proc/5957/task/5966/stat : 5966 (java) S 5954 5957 5354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104348379 14671245312 26805 33554432000 4194304 4196468 140727354609760 139713033964304 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5967] ppid=5954 vsize=14327388 memory=15876 CPUtime=0 cores=0-7
/proc/5957/task/5967/stat : 5967 (java) S 5954 5957 5354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104348379 14671245312 26805 33554432000 4194304 4196468 140727354609760 139713032911760 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5968] ppid=5954 vsize=14327388 memory=16596 CPUtime=0 cores=0-7
/proc/5957/task/5968/stat : 5968 (java) S 5954 5957 5354 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104348381 14671245312 26805 33554432000 4194304 4196468 140727354609760 139712542116080 139713444522626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0

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

/proc/5957/task/5972/stat : 5972 (java) S 5954 5957 5354 0 -1 1077944384 9357 0 0 0 273 2 0 0 20 0 42 0 104348384 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712537905904 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5973] ppid=5954 vsize=15802072 memory=2240 CPUtime=2.13 cores=0-7
/proc/5957/task/5973/stat : 5973 (java) S 5954 5957 5354 0 -1 1077944384 8475 0 0 0 211 2 0 0 20 0 42 0 104348384 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712536853360 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5974] ppid=5954 vsize=15802072 memory=8112282956445269571 CPUtime=2.08 cores=0-7
/proc/5957/task/5974/stat : 5974 (java) S 5954 5957 5354 0 -1 1077944384 5489 0 0 0 207 1 0 0 20 0 42 0 104348384 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712535800304 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5975] ppid=5954 vsize=15802072 memory=301741420686082359 CPUtime=1.15 cores=0-7
/proc/5957/task/5975/stat : 5975 (java) S 5954 5957 5354 0 -1 1077944384 22933 0 0 0 111 4 0 0 20 0 42 0 104348384 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712333343344 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5976] ppid=5954 vsize=15802072 memory=13565981461055745 CPUtime=0 cores=0-7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 104348384 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712332290528 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5977] ppid=5954 vsize=15802072 memory=0 CPUtime=1.06 cores=0-7
/proc/5957/task/5977/stat : 5977 (java) S 5954 5957 5354 0 -1 1077944384 8042 0 0 0 49 57 0 0 20 0 42 0 104348384 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712331238064 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5978] ppid=5954 vsize=15802072 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/5957/task/5978/stat : 5978 (java) S 5954 5957 5354 0 -1 1077944384 848 0 0 0 0 0 0 0 20 0 42 0 104349424 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712320950816 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5979] ppid=5954 vsize=15802072 memory=6944656592455359580 CPUtime=5.36 cores=0-7
/proc/5957/task/5979/stat : 5979 (java) R 5954 5957 5354 0 -1 1077944384 18865 0 0 0 251 285 0 0 20 0 42 0 104349436 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712317801376 139713444522626 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5980] ppid=5954 vsize=15802072 memory=6944656592455360604 CPUtime=2475.34 cores=0-7
/proc/5957/task/5980/stat : 5980 (java) R 5954 5957 5354 0 -1 4202560 74104 0 0 0 247440 94 0 0 20 0 42 0 104349446 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712314645624 139713086342787 0 4 0 16800975 0 0 0 -1 2 0 0 36 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5981] ppid=5954 vsize=15802072 memory=6944656592455359580 CPUtime=2472.99 cores=0-7
/proc/5957/task/5981/stat : 5981 (java) R 5954 5957 5354 0 -1 4202560 62726 0 0 0 247222 77 0 0 20 0 42 0 104349446 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712313593080 139713085652279 0 4 0 16800975 0 0 0 -1 7 0 0 45 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5982] ppid=5954 vsize=15802072 memory=6944656592455360604 CPUtime=2475.51 cores=0-7
/proc/5957/task/5982/stat : 5982 (java) R 5954 5957 5354 0 -1 4202560 70662 0 0 0 247467 84 0 0 20 0 42 0 104349447 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712312540648 139713090727936 0 4 0 16800975 0 0 0 -1 4 0 0 38 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5983] ppid=5954 vsize=15802072 memory=6944656592455359580 CPUtime=0.07 cores=0-7
/proc/5957/task/5983/stat : 5983 (java) S 5954 5957 5354 0 -1 1077944384 78 0 0 0 7 0 0 0 20 0 42 0 104349449 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712311494032 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5984] ppid=5954 vsize=15802072 memory=12032 CPUtime=2470.94 cores=0-7
/proc/5957/task/5984/stat : 5984 (java) R 5954 5957 5354 0 -1 4202560 75373 0 0 0 247012 82 0 0 20 0 42 0 104349449 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712310434576 139713088258565 0 4 0 16800975 0 0 0 -1 1 0 0 37 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5985] ppid=5954 vsize=15802072 memory=1708 CPUtime=2474.09 cores=0-7
/proc/5957/task/5985/stat : 5985 (java) R 5954 5957 5354 0 -1 4202560 66131 0 0 0 247338 71 0 0 20 0 42 0 104349449 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712309384528 139713091195327 0 4 0 16800975 0 0 0 -1 0 0 0 47 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5986] ppid=5954 vsize=15802072 memory=1012 CPUtime=2471.38 cores=0-7
/proc/5957/task/5986/stat : 5986 (java) R 5954 5957 5354 0 -1 4202560 75311 0 0 0 247046 92 0 0 20 0 42 0 104349449 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712308328688 139713091195516 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5987] ppid=5954 vsize=15802072 memory=796 CPUtime=0.11 cores=0-7
/proc/5957/task/5987/stat : 5987 (java) S 5954 5957 5354 0 -1 1077944384 574 0 0 0 11 0 0 0 20 0 42 0 104349449 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712307282960 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5988] ppid=5954 vsize=15802072 memory=15876 CPUtime=2473.71 cores=0-7
/proc/5957/task/5988/stat : 5988 (java) R 5954 5957 5354 0 -1 4202560 70104 0 0 0 247294 77 0 0 20 0 42 0 104349449 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712306224648 139713084479848 0 4 0 16800975 0 0 0 -1 5 0 0 45 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5989] ppid=5954 vsize=15802072 memory=16640 CPUtime=0.07 cores=0-7
/proc/5957/task/5989/stat : 5989 (java) S 5954 5957 5354 0 -1 1077944384 205 0 0 0 7 0 0 0 20 0 42 0 104349449 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712305178384 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5990] ppid=5954 vsize=15802072 memory=16432 CPUtime=0 cores=0-7
/proc/5957/task/5990/stat : 5990 (java) S 5954 5957 5354 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 42 0 104349449 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712304125200 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5991] ppid=5954 vsize=15802072 memory=4040 CPUtime=2469.85 cores=0-7
/proc/5957/task/5991/stat : 5991 (java) R 5954 5957 5354 0 -1 4202560 68974 0 0 0 246907 78 0 0 20 0 42 0 104349467 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712303066104 139713082897763 0 4 0 16800975 0 0 0 -1 6 0 0 45 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5992] ppid=5954 vsize=15802072 memory=1792 CPUtime=0 cores=0-7
/proc/5957/task/5992/stat : 5992 (java) S 5954 5957 5354 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 42 0 104349467 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712302019728 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5993] ppid=5954 vsize=15802072 memory=1236 CPUtime=0 cores=0-7
/proc/5957/task/5993/stat : 5993 (java) S 5954 5957 5354 0 -1 1077944384 598 0 0 0 0 0 0 0 20 0 42 0 104349467 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712300967184 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5994] ppid=5954 vsize=15802072 memory=2344 CPUtime=0 cores=0-7
/proc/5957/task/5994/stat : 5994 (java) S 5954 5957 5354 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 42 0 104349506 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712297780112 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5995] ppid=5954 vsize=15802072 memory=1576 CPUtime=0 cores=0-7
/proc/5957/task/5995/stat : 5995 (java) S 5954 5957 5354 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 42 0 104349507 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712296727568 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5996] ppid=5954 vsize=15802072 memory=928 CPUtime=0 cores=0-7
/proc/5957/task/5996/stat : 5996 (java) S 5954 5957 5354 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 42 0 104349507 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712295675536 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5997] ppid=5954 vsize=15802072 memory=2240 CPUtime=0 cores=0-7
/proc/5957/task/5997/stat : 5997 (java) S 5954 5957 5354 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 42 0 104349507 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712294622992 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5998] ppid=5954 vsize=15802072 memory=4128 CPUtime=0 cores=0-7
/proc/5957/task/5998/stat : 5998 (java) S 5954 5957 5354 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 42 0 104349573 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712293569936 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5999] ppid=5954 vsize=15802072 memory=2200 CPUtime=0 cores=0-7
/proc/5957/task/5999/stat : 5999 (java) S 5954 5957 5354 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 42 0 104349575 16181321728 445507 33554432000 4194304 4196468 140727354609760 139712292517392 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
Current children cumulated CPU time: 19962.1 s
Current children cumulated vsize: 15802072 KiB
Current children cumulated memory: 1782028 KiB

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

[startup+2520.15 s]
# the end of solver process 5957 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19952.6 s, system=10.5121 s

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

[startup+2520.13 s]
/proc/loadavg: 8.38 8.62 8.71 10/220 6065
/proc/meminfo: memFree=24658112/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=15935200 memory=1781640 CPUtime=19963.1 cores=0-7
/proc/5957/stat : 5957 (java) S 5954 5957 5354 0 -1 1077944320 1284161 0 0 0 1995255 1050 0 0 20 0 42 0 104348378 16317644800 445410 33554432000 4194304 4196468 140727354609760 140727354592304 139713444511479 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
/proc/5957/statm: 3983800 445410 3868 1 0 3970994 0
[pid=5957/tid=5959] ppid=5954 vsize=15935200 memory=1782028 CPUtime=10.51 cores=0-7
/proc/5957/task/5959/stat : 5959 (java) S 5954 5957 5354 0 -1 1077944384 15104 0 0 0 1038 13 0 0 20 0 42 0 104348379 16317644800 445410 33554432000 4194304 4196468 140727354609760 139713448749184 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5960] ppid=5954 vsize=15935200 memory=1782544 CPUtime=18.54 cores=0-7
/proc/5957/task/5960/stat : 5960 (java) S 5954 5957 5354 0 -1 1077944384 62842 0 0 0 1820 34 0 0 20 0 42 0 104348379 16317644800 445410 33554432000 4194304 4196468 140727354609760 139713040280080 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5961] ppid=5954 vsize=15935200 memory=1784080 CPUtime=18.62 cores=0-7
/proc/5957/task/5961/stat : 5961 (java) S 5954 5957 5354 0 -1 1077944384 74356 0 0 0 1826 36 0 0 20 0 42 0 104348379 16317644800 445410 33554432000 4194304 4196468 140727354609760 139713039227536 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5962] ppid=5954 vsize=15935200 memory=1785108 CPUtime=18.55 cores=0-7
/proc/5957/task/5962/stat : 5962 (java) S 5954 5957 5354 0 -1 1077944384 67197 0 0 0 1817 38 0 0 20 0 42 0 104348379 16317644800 445410 33554432000 4194304 4196468 140727354609760 139713038174480 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5963] ppid=5954 vsize=15935200 memory=1788184 CPUtime=18.63 cores=0-7
/proc/5957/task/5963/stat : 5963 (java) S 5954 5957 5354 0 -1 1077944384 62698 0 0 0 1827 36 0 0 20 0 42 0 104348379 16317644800 445410 33554432000 4194304 4196468 140727354609760 139713037121936 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5964] ppid=5954 vsize=15935200 memory=1783056 CPUtime=18.6 cores=0-7
/proc/5957/task/5964/stat : 5964 (java) S 5954 5957 5354 0 -1 1077944384 65327 0 0 0 1825 35 0 0 20 0 42 0 104348379 16317644800 445410 33554432000 4194304 4196468 140727354609760 139713036069904 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5965] ppid=5954 vsize=15935200 memory=1782028 CPUtime=18.63 cores=0-7
/proc/5957/task/5965/stat : 5965 (java) S 5954 5957 5354 0 -1 1077944384 67961 0 0 0 1825 38 0 0 20 0 42 0 104348379 16317644800 445410 33554432000 4194304 4196468 140727354609760 139713035017360 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5966] ppid=5954 vsize=15935200 memory=56 CPUtime=18.6 cores=0-7
/proc/5957/task/5966/stat : 5966 (java) S 5954 5957 5354 0 -1 1077944384 56871 0 0 0 1825 35 0 0 20 0 42 0 104348379 16317644800 445410 33554432000 4194304 4196468 140727354609760 139713033964304 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5967] ppid=5954 vsize=15935200 memory=1782544 CPUtime=18.65 cores=0-7
/proc/5957/task/5967/stat : 5967 (java) S 5954 5957 5354 0 -1 1077944384 66931 0 0 0 1829 36 0 0 20 0 42 0 104348379 16317644800 445410 33554432000 4194304 4196468 140727354609760 139713032911760 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5968] ppid=5954 vsize=15935200 memory=1708 CPUtime=3.97 cores=0-7
/proc/5957/task/5968/stat : 5968 (java) R 5954 5957 5354 0 -1 4202560 102196 0 0 0 309 88 0 0 20 0 42 0 104348381 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712542116080 139713437228631 0 0 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5969] ppid=5954 vsize=15935200 memory=1012 CPUtime=0 cores=0-7
/proc/5957/task/5969/stat : 5969 (java) S 5954 5957 5354 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 42 0 104348381 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712541062368 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5970] ppid=5954 vsize=15935200 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/5957/task/5970/stat : 5970 (java) S 5954 5957 5354 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 42 0 104348381 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712540009216 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5971] ppid=5954 vsize=15935200 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/5957/task/5971/stat : 5971 (java) S 5954 5957 5354 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 42 0 104348384 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712538957424 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5972] ppid=5954 vsize=15935200 memory=8112282956445269571 CPUtime=2.75 cores=0-7
/proc/5957/task/5972/stat : 5972 (java) R 5954 5957 5354 0 -1 4202560 9538 0 0 0 273 2 0 0 20 0 42 0 104348384 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712537905904 139713422626705 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5973] ppid=5954 vsize=15935200 memory=1156 CPUtime=2.13 cores=0-7
/proc/5957/task/5973/stat : 5973 (java) R 5954 5957 5354 0 -1 4202560 8494 0 0 0 211 2 0 0 20 0 42 0 104348384 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712536853360 139713424165345 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5974] ppid=5954 vsize=15935200 memory=1012 CPUtime=2.08 cores=0-7
/proc/5957/task/5974/stat : 5974 (java) S 5954 5957 5354 0 -1 1077944384 5489 0 0 0 207 1 0 0 20 0 42 0 104348384 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712535800064 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5975] ppid=5954 vsize=15935200 memory=796 CPUtime=1.15 cores=0-7
/proc/5957/task/5975/stat : 5975 (java) S 5954 5957 5354 0 -1 1077944384 23150 0 0 0 111 4 0 0 20 0 42 0 104348384 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712333343344 139713444522626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5976] ppid=5954 vsize=15935200 memory=6508 CPUtime=0 cores=0-7
/proc/5957/task/5976/stat : 5976 (java) S 5954 5957 5354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 104348384 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712332290528 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5978] ppid=5954 vsize=15935200 memory=51273319591584 CPUtime=0 cores=0-7
/proc/5957/task/5978/stat : 5978 (java) S 5954 5957 5354 0 -1 1077944384 848 0 0 0 0 0 0 0 20 0 42 0 104349424 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712320950816 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5979] ppid=5954 vsize=15935200 memory=3472592183380883200 CPUtime=5.36 cores=0-7
/proc/5957/task/5979/stat : 5979 (java) S 5954 5957 5354 0 -1 1077944384 18866 0 0 0 251 285 0 0 20 0 42 0 104349436 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712317801072 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5980] ppid=5954 vsize=15935200 memory=279968521174432 CPUtime=2475.44 cores=0-7
/proc/5957/task/5980/stat : 5980 (java) S 5954 5957 5354 0 -1 1077944384 74104 0 0 0 247450 94 0 0 20 0 42 0 104349446 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712314645488 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5981] ppid=5954 vsize=15935200 memory=6944656575208382560 CPUtime=2473.1 cores=0-7
/proc/5957/task/5981/stat : 5981 (java) S 5954 5957 5354 0 -1 1077944384 62727 0 0 0 247233 77 0 0 20 0 42 0 104349446 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712313593568 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5982] ppid=5954 vsize=15935200 memory=279968521182832 CPUtime=2475.62 cores=0-7
/proc/5957/task/5982/stat : 5982 (java) S 5954 5957 5354 0 -1 1077944384 70663 0 0 0 247478 84 0 0 20 0 42 0 104349447 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712312540288 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5983] ppid=5954 vsize=15935200 memory=0 CPUtime=0.07 cores=0-7
/proc/5957/task/5983/stat : 5983 (java) S 5954 5957 5354 0 -1 1077944384 78 0 0 0 7 0 0 0 20 0 42 0 104349449 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712311494032 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5984] ppid=5954 vsize=15935200 memory=7518026630507423078 CPUtime=2471.05 cores=0-7
/proc/5957/task/5984/stat : 5984 (java) S 5954 5957 5354 0 -1 1077944384 75373 0 0 0 247023 82 0 0 20 0 42 0 104349449 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712310434288 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5985] ppid=5954 vsize=15935200 memory=6945507666079274341 CPUtime=2474.18 cores=0-7
/proc/5957/task/5985/stat : 5985 (java) S 5954 5957 5354 0 -1 1077944384 66131 0 0 0 247347 71 0 0 20 0 42 0 104349449 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712309382640 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 47 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5986] ppid=5954 vsize=15935200 memory=4012 CPUtime=2471.49 cores=0-7
/proc/5957/task/5986/stat : 5986 (java) S 5954 5957 5354 0 -1 1077944384 75311 0 0 0 247057 92 0 0 20 0 42 0 104349449 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712308328688 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5987] ppid=5954 vsize=15935200 memory=29800 CPUtime=0.11 cores=0-7
/proc/5957/task/5987/stat : 5987 (java) S 5954 5957 5354 0 -1 1077944384 574 0 0 0 11 0 0 0 20 0 42 0 104349449 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712307282960 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5988] ppid=5954 vsize=15935200 memory=1296 CPUtime=2473.82 cores=0-7
/proc/5957/task/5988/stat : 5988 (java) R 5954 5957 5354 0 -1 4202560 70104 0 0 0 247305 77 0 0 20 0 42 0 104349449 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712306224872 139713084477145 0 4 0 16800975 0 0 0 -1 7 0 0 45 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5989] ppid=5954 vsize=15935200 memory=0 CPUtime=0.07 cores=0-7
/proc/5957/task/5989/stat : 5989 (java) S 5954 5957 5354 0 -1 1077944384 205 0 0 0 7 0 0 0 20 0 42 0 104349449 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712305178384 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5990] ppid=5954 vsize=15935200 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/5957/task/5990/stat : 5990 (java) S 5954 5957 5354 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 42 0 104349449 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712304125200 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5991] ppid=5954 vsize=15935200 memory=6944656592387989600 CPUtime=2469.96 cores=0-7
/proc/5957/task/5991/stat : 5991 (java) S 5954 5957 5354 0 -1 1077944384 68974 0 0 0 246918 78 0 0 20 0 42 0 104349467 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712303065968 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5992] ppid=5954 vsize=15935200 memory=1793828 CPUtime=0 cores=0-7
/proc/5957/task/5992/stat : 5992 (java) S 5954 5957 5354 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 42 0 104349467 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712302019728 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5993] ppid=5954 vsize=15935200 memory=1793828 CPUtime=0 cores=0-7
/proc/5957/task/5993/stat : 5993 (java) S 5954 5957 5354 0 -1 1077944384 598 0 0 0 0 0 0 0 20 0 42 0 104349467 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712300967184 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5994] ppid=5954 vsize=15935200 memory=1782544 CPUtime=0 cores=0-7
/proc/5957/task/5994/stat : 5994 (java) S 5954 5957 5354 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 42 0 104349506 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712297780112 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5995] ppid=5954 vsize=15935200 memory=4012 CPUtime=0 cores=0-7
/proc/5957/task/5995/stat : 5995 (java) S 5954 5957 5354 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 42 0 104349507 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712296727568 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5996] ppid=5954 vsize=15935200 memory=1784596 CPUtime=0 cores=0-7
/proc/5957/task/5996/stat : 5996 (java) S 5954 5957 5354 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 42 0 104349507 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712295675536 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5997] ppid=5954 vsize=15935200 memory=290763896594366775 CPUtime=0 cores=0-7
/proc/5957/task/5997/stat : 5997 (java) S 5954 5957 5354 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 42 0 104349507 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712294622992 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5998] ppid=5954 vsize=15935200 memory=1783568 CPUtime=0 cores=0-7
/proc/5957/task/5998/stat : 5998 (java) S 5954 5957 5354 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 42 0 104349573 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712293569936 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
[pid=5957/tid=5999] ppid=5954 vsize=15935200 memory=4616 CPUtime=0 cores=0-7
/proc/5957/task/5999/stat : 5999 (java) S 5954 5957 5354 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 42 0 104349575 16317644800 445410 33554432000 4194304 4196468 140727354609760 139712292517392 139713444521685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34803712 140727354610785 140727354610971 140727354610971 140727354613711 0
Current children cumulated CPU time: 19963.1 s
Current children cumulated vsize: 15935200 KiB
Current children cumulated memory: 1781640 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19963.1
CPU user time (s): 19952.6
CPU system time (s): 10.5121
CPU usage (%): 792.138
Max. virtual memory (cumulated for all children) (KiB): 15935200
Max. memory (cumulated for all children) (KiB): 3841304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19952.6
system time used= 10.5121
maximum resident set size= 3841788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1284197
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 498755
involuntary context switches= 419385


# summary of solver processes directly reported to runsolver:
#   pid: 5957
#   total CPU time (s): 19963.1
#   total CPU user time (s): 19952.6
#   total CPU system time (s): 10.5121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.2158 second user time and 31.9509 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-14 13:58:29
IDJOB=4275243
IDBENCH=124430
IDSOLVER=2668
FILE ID=node105/4275243-1502712768
RUNJOBID= node105-1502704343-5381
PBS_JOBID= 20629016
Free space on /tmp= 60664 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n60-k9.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275243-1502712768/watcher-4275243-1502712768 -o /tmp/evaluation-result-4275243-1502712768/solver-4275243-1502712768 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1502704343-5381 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1585653535 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275243-1502712768.xml

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

MD5SUM BENCH= 204525c81941dcb64589d695195e220f
RANDOM SEED=1585653535

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26435712 kB
MemAvailable:   31973004 kB
Buffers:          206660 kB
Cached:          5604304 kB
SwapCached:            0 kB
Active:           768700 kB
Inactive:        5094964 kB
Active(anon):      55556 kB
Inactive(anon):    25060 kB
Active(file):     713144 kB
Inactive(file):  5069904 kB
Unevictable:        6248 kB
Mlocked:            6248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42440 kB
Writeback:             0 kB
AnonPages:         58940 kB
Mapped:            44572 kB
Shmem:             25228 kB
Slab:             165968 kB
SReclaimable:     140156 kB
SUnreclaim:        25812 kB
KernelStack:        3152 kB
PageTables:         4428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60620 MiB
End job on node105 at 2017-08-14 14:40:29