Trace number 4275250

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)2643 19968.699 2520.1299

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n67-k10.xml
MD5SUM22a404b8d6219eda7de384223800de36
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1093
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables4556
Number of constraints4488
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":67},{"size":2,"count":4422},{"size":101,"count":66}]
Minimum variable degree0
Maximum variable degree131
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":67},{"degree":2,"count":132},{"degree":4,"count":4290},{"degree":131,"count":66}]
Minimum constraint arity1
Maximum constraint arity66
Distribution of constraint arities[{"arity":1,"count":66},{"arity":3,"count":4290},{"arity":66,"count":132}]
Number of extensional constraints0
Number of intensional constraints66
Distribution of constraint types[{"type":"intension","count":66},{"type":"sum","count":4290},{"type":"count","count":132}]
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.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 612131211
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 11000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
2.46/0.97	c Parsing done, starting search...
22.42/13.22	o 3791
23.99/13.46	o 3380
23.99/13.47	o 3326
23.99/13.50	o 3315
24.80/13.52	o 3162
24.80/13.55	o 3134
24.80/13.56	o 3112
24.80/13.58	o 3079
24.80/13.59	o 3071
25.46/13.60	o 3057
25.46/13.61	o 3043
25.46/13.63	o 3035
25.46/13.64	o 3020
25.46/13.66	o 3019
25.46/13.69	o 3013
26.26/13.73	o 3008
26.26/13.76	o 3001
26.26/13.80	o 2992
27.10/13.84	o 2987
27.10/13.88	o 2984
27.85/13.91	o 2964
27.85/13.92	o 2950
27.85/13.97	o 2948
28.65/14.02	o 2944
33.42/14.64	o 2937
33.42/14.66	o 2922
34.21/14.72	o 2920
34.21/14.73	o 2916
36.61/15.03	o 2912
40.71/15.58	o 2906
71.68/19.42	o 2892
71.68/19.46	o 2886
73.21/19.62	o 2870
73.21/19.68	o 2867
74.01/19.74	o 2854
74.01/19.75	o 2852
83.58/20.99	o 2840
83.58/21.00	o 2838
115.43/24.98	o 2836
116.22/25.00	o 2834
142.52/28.30	o 2824
142.52/28.32	o 2822
189.56/34.21	o 2818
191.16/34.43	o 2797
192.00/34.54	o 2795
4882.19/623.87	o 2794
5578.20/711.35	o 2785
5578.20/711.37	o 2778
5579.05/711.43	o 2769
5579.05/711.45	o 2768
5579.05/711.46	o 2762
5582.97/711.99	o 2760
5583.77/712.03	o 2757
5583.77/712.04	o 2755
5712.61/728.24	o 2753
5714.27/728.48	o 2752
5717.39/728.86	o 2748
5724.58/729.72	o 2744
5724.58/729.74	o 2742
5979.67/761.88	o 2737
5980.46/761.92	o 2723
5981.26/762.01	o 2718
5981.26/762.02	o 2703
5983.66/762.33	o 2701
5983.66/762.40	o 2697
6018.59/766.74	o 2693
6023.37/767.35	o 2684
6023.37/767.36	o 2679
6043.26/769.85	o 2671
6135.57/781.49	o 2670
6135.57/781.50	o 2669
6148.24/783.07	o 2666
6148.24/783.09	o 2658
6152.30/783.57	o 2652
6152.30/783.58	o 2651
6168.25/785.56	o 2649
7681.91/975.80	o 2645
7682.71/975.82	o 2643
19967.84/2520.10	s SATISFIABLE
19967.84/2520.11	v <instantiation>
19967.84/2520.11	v 	<list>
19967.84/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[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] 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[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] 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[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] 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[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] 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[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] 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[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] 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[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] 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[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] 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[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] 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[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] 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[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] 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[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] 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[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] 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[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] 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[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] 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[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] 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[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] 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[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] 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[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] 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[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] 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[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] 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[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] 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[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] 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[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] 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[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] 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[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] 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[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] 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[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] 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[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] 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[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] 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[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] 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[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] 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[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] 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[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] 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[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] 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[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] 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[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] 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[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] 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[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] 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[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] 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[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] 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[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] 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[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] 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[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] 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[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] 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[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] 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[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] 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[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] 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[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] 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[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] 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[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] 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[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] 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[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] 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[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] 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[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] 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[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] 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[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] 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[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] 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[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] 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] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] 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] u[60] u[61] u[62] u[63] u[64] u[65] u[66]
19967.84/2520.11	v 	</list>
19967.84/2520.11	v 	<values>
19967.84/2520.11	v 		0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 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 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 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 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 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 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 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 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 1 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 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 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 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 14 100 37 100 100 100 48 31 30 100 74 77 65 100 22 97 35 84 49 28 55 26 60 76 19 39 69 35 61 33 27 51 85 63 48 25 51 76 25 41 45 51 22 47 61 76 100 60 31 84 41 100 83 35 64 100 51 40 64 75 90 42 43 74 100 
19967.84/2520.11	v 	</values>
19967.84/2520.11	v </instantiation>

Verifier Data 

OK	2643

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275250-1502712413/watcher-4275250-1502712413 -o /tmp/evaluation-result-4275250-1502712413/solver-4275250-1502712413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502703967-32554 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 612131211 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275250-1502712413.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=1372, runsolver pid=1369
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 12.00 13.24 13.21 2/199 1392
/proc/meminfo: memFree=28732392/32770624 swapFree=67108860/67108860
[pid=1372] ppid=1369 vsize=14325320 memory=35544 CPUtime=0.12 cores=0-7
/proc/1372/stat : 1372 (java) S 1369 1372 32527 0 -1 1077944320 8258 0 0 0 10 2 0 0 20 0 20 0 104322367 14669127680 8886 33554432000 4194304 4196468 140735886610960 140735886593504 140607238815479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
/proc/1372/statm: 3581330 8886 3410 1 0 3569050 0
[pid=1372/tid=1374] ppid=1369 vsize=14325320 memory=0 CPUtime=0.09 cores=0-7
/proc/1372/task/1374/stat : 1374 (java) R 1369 1372 32527 0 -1 4202560 6214 0 0 0 8 1 0 0 20 0 20 0 104322368 14669127680 8886 33554432000 4194304 4196468 140735886610960 140607243032160 140607238837405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1375] ppid=1369 vsize=14325320 memory=280634766440184 CPUtime=0 cores=0-7
/proc/1372/task/1375/stat : 1375 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 8886 33554432000 4194304 4196468 140735886610960 140607168903824 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1376] ppid=1369 vsize=14325320 memory=140317446682240 CPUtime=0 cores=0-7
/proc/1372/task/1376/stat : 1376 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 8886 33554432000 4194304 4196468 140735886610960 140607167851024 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1377] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1377/stat : 1377 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 8886 33554432000 4194304 4196468 140735886610960 140607166798224 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1378] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1378/stat : 1378 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 8886 33554432000 4194304 4196468 140735886610960 140607165745424 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1379] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1379/stat : 1379 (java) S 1369 1372 32527 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 8886 33554432000 4194304 4196468 140735886610960 140607164693648 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1380] ppid=1369 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/1372/task/1380/stat : 1380 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 8886 33554432000 4194304 4196468 140735886610960 140606829149200 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1381] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1381/stat : 1381 (java) S 1369 1372 32527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 8886 33554432000 4194304 4196468 140735886610960 140606828096400 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1382] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1382/stat : 1382 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 8886 33554432000 4194304 4196468 140735886610960 140606827043600 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1383] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1383/stat : 1383 (java) S 1369 1372 32527 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104322370 14669127680 8886 33554432000 4194304 4196468 140735886610960 140606764231024 140607238826626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1384] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1384/stat : 1384 (java) S 1369 1372 32527 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104322371 14669127680 8886 33554432000 4194304 4196468 140735886610960 140606763176992 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1385] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1385/stat : 1385 (java) S 1369 1372 32527 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104322371 14669127680 8886 33554432000 4194304 4196468 140735886610960 140606762124144 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1386] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1386/stat : 1386 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322373 14669127680 8886 33554432000 4194304 4196468 140735886610960 140605930071888 140607238834075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1387] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1387/stat : 1387 (java) S 1369 1372 32527 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 104322373 14669127680 8886 33554432000 4194304 4196468 140735886610960 140605929020272 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1388] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1388/stat : 1388 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322373 14669127680 8886 33554432000 4194304 4196468 140735886610960 140605927967472 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1389] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1389/stat : 1389 (java) S 1369 1372 32527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104322373 14669127680 8886 33554432000 4194304 4196468 140735886610960 140605926914672 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1390] ppid=1369 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/1372/task/1390/stat : 1390 (java) R 1369 1372 32527 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 20 0 104322373 14669127680 8886 33554432000 4194304 4196468 140735886610960 140605925861872 140607238836826 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1391] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1391/stat : 1391 (java) S 1369 1372 32527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104322373 14669127680 8886 33554432000 4194304 4196468 140735886610960 140605924809312 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1392] ppid=1369 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/1372/task/1392/stat : 1392 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322374 14669127680 8886 33554432000 4194304 4196468 140735886610960 140605923756592 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 35544 KiB

[startup+0.209834 s]*
/proc/loadavg: 12.00 13.24 13.21 3/199 1392
/proc/meminfo: memFree=28724056/32770624 swapFree=67108860/67108860
[pid=1372] ppid=1369 vsize=14325320 memory=44432 CPUtime=0.29 cores=0-7
/proc/1372/stat : 1372 (java) S 1369 1372 32527 0 -1 1077944320 9272 0 0 0 27 2 0 0 20 0 20 0 104322367 14669127680 11108 33554432000 4194304 4196468 140735886610960 140735886593504 140607238815479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
/proc/1372/statm: 3581330 11108 3612 1 0 3569050 0
[pid=1372/tid=1374] ppid=1369 vsize=14325320 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/1372/task/1374/stat : 1374 (java) R 1369 1372 32527 0 -1 4202560 6851 0 0 0 18 2 0 0 20 0 20 0 104322368 14669127680 11108 33554432000 4194304 4196468 140735886610960 140607243042736 140607238837405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1375] ppid=1369 vsize=14325320 memory=288230604674433361 CPUtime=0 cores=0-7
/proc/1372/task/1375/stat : 1375 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 11108 33554432000 4194304 4196468 140735886610960 140607168903824 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1376] ppid=1369 vsize=14325320 memory=140317446699883 CPUtime=0 cores=0-7
/proc/1372/task/1376/stat : 1376 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 11108 33554432000 4194304 4196468 140735886610960 140607167851024 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1377] ppid=1369 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/1372/task/1377/stat : 1377 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 11108 33554432000 4194304 4196468 140735886610960 140607166798224 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1378] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1378/stat : 1378 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 11108 33554432000 4194304 4196468 140735886610960 140607165745424 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1379] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1379/stat : 1379 (java) S 1369 1372 32527 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 11108 33554432000 4194304 4196468 140735886610960 140607164693648 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1380] ppid=1369 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/1372/task/1380/stat : 1380 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 11108 33554432000 4194304 4196468 140735886610960 140606829149200 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1381] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1381/stat : 1381 (java) S 1369 1372 32527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 11108 33554432000 4194304 4196468 140735886610960 140606828096400 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1382] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1382/stat : 1382 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669127680 11108 33554432000 4194304 4196468 140735886610960 140606827043600 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1383] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1383/stat : 1383 (java) S 1369 1372 32527 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104322370 14669127680 11108 33554432000 4194304 4196468 140735886610960 140606764231024 140607238826626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1384] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1384/stat : 1384 (java) S 1369 1372 32527 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104322371 14669127680 11108 33554432000 4194304 4196468 140735886610960 140606763176992 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1385] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1385/stat : 1385 (java) S 1369 1372 32527 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104322371 14669127680 11108 33554432000 4194304 4196468 140735886610960 140606762124144 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1386] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1386/stat : 1386 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322373 14669127680 11108 33554432000 4194304 4196468 140735886610960 140605930071888 140607238834075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1387] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1387/stat : 1387 (java) S 1369 1372 32527 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 20 0 104322373 14669127680 11108 33554432000 4194304 4196468 140735886610960 140605929020272 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1388] ppid=1369 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/1372/task/1388/stat : 1388 (java) S 1369 1372 32527 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 104322373 14669127680 11108 33554432000 4194304 4196468 140735886610960 140605927967472 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1389] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1389/stat : 1389 (java) S 1369 1372 32527 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 104322373 14669127680 11108 33554432000 4194304 4196468 140735886610960 140605926914672 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1390] ppid=1369 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/1372/task/1390/stat : 1390 (java) R 1369 1372 32527 0 -1 4202560 395 0 0 0 5 0 0 0 20 0 20 0 104322373 14669127680 11108 33554432000 4194304 4196468 140735886610960 140605925861872 140607238827414 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1391] ppid=1369 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1391/stat : 1391 (java) S 1369 1372 32527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104322373 14669127680 11108 33554432000 4194304 4196468 140735886610960 140605924809312 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1392] ppid=1369 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/1372/task/1392/stat : 1392 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322374 14669127680 11108 33554432000 4194304 4196468 140735886610960 140605923756592 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 44432 KiB

[startup+0.309519 s]*
/proc/loadavg: 12.00 13.24 13.21 2/199 1392
/proc/meminfo: memFree=28716984/32770624 swapFree=67108860/67108860
[pid=1372] ppid=1369 vsize=14325340 memory=51876 CPUtime=0.46 cores=0-7
/proc/1372/stat : 1372 (java) S 1369 1372 32527 0 -1 1077944320 10277 0 0 0 43 3 0 0 20 0 20 0 104322367 14669148160 12969 33554432000 4194304 4196468 140735886610960 140735886593504 140607238815479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
/proc/1372/statm: 3581335 12969 3701 1 0 3569050 0
[pid=1372/tid=1374] ppid=1369 vsize=14325340 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/1372/task/1374/stat : 1374 (java) R 1369 1372 32527 0 -1 4202560 7594 0 0 0 27 2 0 0 20 0 20 0 104322368 14669148160 12969 33554432000 4194304 4196468 140735886610960 140607243041072 140607238827414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1375] ppid=1369 vsize=14325340 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/1372/task/1375/stat : 1375 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669148160 12969 33554432000 4194304 4196468 140735886610960 140607168903824 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1376] ppid=1369 vsize=14325340 memory=8584 CPUtime=0 cores=0-7
/proc/1372/task/1376/stat : 1376 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669148160 12969 33554432000 4194304 4196468 140735886610960 140607167851024 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1377] ppid=1369 vsize=14325340 memory=792 CPUtime=0 cores=0-7
/proc/1372/task/1377/stat : 1377 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669148160 12969 33554432000 4194304 4196468 140735886610960 140607166798224 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1378] ppid=1369 vsize=14325340 memory=1204 CPUtime=0 cores=0-7
/proc/1372/task/1378/stat : 1378 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669148160 12969 33554432000 4194304 4196468 140735886610960 140607165745424 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1379] ppid=1369 vsize=14325340 memory=1716 CPUtime=0 cores=0-7
/proc/1372/task/1379/stat : 1379 (java) S 1369 1372 32527 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104322369 14669148160 12969 33554432000 4194304 4196468 140735886610960 140607164693648 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1380] ppid=1369 vsize=14325340 memory=1440 CPUtime=0 cores=0-7
/proc/1372/task/1380/stat : 1380 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669148160 12969 33554432000 4194304 4196468 140735886610960 140606829149200 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1381] ppid=1369 vsize=14325340 memory=15876 CPUtime=0 cores=0-7
/proc/1372/task/1381/stat : 1381 (java) S 1369 1372 32527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104322369 14669148160 12969 33554432000 4194304 4196468 140735886610960 140606828096400 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1382] ppid=1369 vsize=14325340 memory=4104 CPUtime=0 cores=0-7
/proc/1372/task/1382/stat : 1382 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14669148160 12969 33554432000 4194304 4196468 140735886610960 140606827043600 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1383] ppid=1369 vsize=14325340 memory=16432 CPUtime=0 cores=0-7
/proc/1372/task/1383/stat : 1383 (java) S 1369 1372 32527 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104322370 14669148160 12969 33554432000 4194304 4196468 140735886610960 140606764231024 140607238826626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1384] ppid=1369 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1384/stat : 1384 (java) S 1369 1372 32527 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104322371 14669148160 12969 33554432000 4194304 4196468 140735886610960 140606763176992 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1385] ppid=1369 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1385/stat : 1385 (java) S 1369 1372 32527 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104322371 14669148160 12969 33554432000 4194304 4196468 140735886610960 140606762124144 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1386] ppid=1369 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1386/stat : 1386 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322373 14669148160 12969 33554432000 4194304 4196468 140735886610960 140605930071888 140607238834075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1387] ppid=1369 vsize=14325340 memory=0 CPUtime=0.02 cores=0-7
/proc/1372/task/1387/stat : 1387 (java) S 1369 1372 32527 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 104322373 14669148160 12969 33554432000 4194304 4196468 140735886610960 140605929020272 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1388] ppid=1369 vsize=14325340 memory=0 CPUtime=0.03 cores=0-7
/proc/1372/task/1388/stat : 1388 (java) S 1369 1372 32527 0 -1 1077944384 346 0 0 0 3 0 0 0 20 0 20 0 104322373 14669148160 12969 33554432000 4194304 4196468 140735886610960 140605927967472 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1389] ppid=1369 vsize=14325340 memory=140317319857615 CPUtime=0.01 cores=0-7
/proc/1372/task/1389/stat : 1389 (java) S 1369 1372 32527 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 20 0 104322373 14669148160 12969 33554432000 4194304 4196468 140735886610960 140605926914672 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1390] ppid=1369 vsize=14325340 memory=67 CPUtime=0.08 cores=0-7
/proc/1372/task/1390/stat : 1390 (java) R 1369 1372 32527 0 -1 4202560 454 0 0 0 8 0 0 0 20 0 20 0 104322373 14669148160 12969 33554432000 4194304 4196468 140735886610960 140605925861872 140607238827414 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1391] ppid=1369 vsize=14325340 memory=110297088 CPUtime=0 cores=0-7
/proc/1372/task/1391/stat : 1391 (java) S 1369 1372 32527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104322373 14669148160 12969 33554432000 4194304 4196468 140735886610960 140605924809312 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1392] ppid=1369 vsize=14325340 memory=14669127679 CPUtime=0 cores=0-7
/proc/1372/task/1392/stat : 1392 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322374 14669148160 12969 33554432000 4194304 4196468 140735886610960 140605923756592 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51876 KiB

[startup+0.700813 s]
/proc/loadavg: 12.00 13.24 13.21 5/199 1392
/proc/meminfo: memFree=28700916/32770624 swapFree=67108860/67108860
[pid=1372] ppid=1369 vsize=14327388 memory=110544 CPUtime=1.64 cores=0-7
/proc/1372/stat : 1372 (java) S 1369 1372 32527 0 -1 1077944320 14650 0 0 0 159 5 0 0 20 0 20 0 104322367 14671245312 27636 33554432000 4194304 4196468 140735886610960 140735886593504 140607238815479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
/proc/1372/statm: 3581847 27636 3777 1 0 3569562 0
[pid=1372/tid=1374] ppid=1369 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/1372/task/1374/stat : 1374 (java) R 1369 1372 32527 0 -1 4202560 8345 0 0 0 64 3 0 0 20 0 20 0 104322368 14671245312 27636 33554432000 4194304 4196468 140735886610960 140607243051008 140607238827414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1375] ppid=1369 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1375/stat : 1375 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14671245312 27636 33554432000 4194304 4196468 140735886610960 140607168903824 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1376] ppid=1369 vsize=14327388 memory=2353 CPUtime=0 cores=0-7
/proc/1372/task/1376/stat : 1376 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14671245312 27636 33554432000 4194304 4196468 140735886610960 140607167851024 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1377] ppid=1369 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/1372/task/1377/stat : 1377 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14671245312 27636 33554432000 4194304 4196468 140735886610960 140607166798224 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1378] ppid=1369 vsize=14327388 memory=1292 CPUtime=0 cores=0-7
/proc/1372/task/1378/stat : 1378 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14671245312 27636 33554432000 4194304 4196468 140735886610960 140607165745424 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1379] ppid=1369 vsize=14327388 memory=1728 CPUtime=0 cores=0-7
/proc/1372/task/1379/stat : 1379 (java) S 1369 1372 32527 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104322369 14671245312 27636 33554432000 4194304 4196468 140735886610960 140607164693648 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1380] ppid=1369 vsize=14327388 memory=12064 CPUtime=0 cores=0-7
/proc/1372/task/1380/stat : 1380 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14671245312 27636 33554432000 4194304 4196468 140735886610960 140606829149200 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1381] ppid=1369 vsize=14327388 memory=1004 CPUtime=0 cores=0-7
/proc/1372/task/1381/stat : 1381 (java) S 1369 1372 32527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104322369 14671245312 27636 33554432000 4194304 4196468 140735886610960 140606828096400 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1382] ppid=1369 vsize=14327388 memory=1228 CPUtime=0 cores=0-7
/proc/1372/task/1382/stat : 1382 (java) S 1369 1372 32527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104322369 14671245312 27636 33554432000 4194304 4196468 140735886610960 140606827043600 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1383] ppid=1369 vsize=14327388 memory=1952 CPUtime=0 cores=0-7
/proc/1372/task/1383/stat : 1383 (java) S 1369 1372 32527 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104322370 14671245312 27636 33554432000 4194304 4196468 140735886610960 140606764231024 140607238826626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0

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

/proc/1372/task/1395/stat : 1395 (java) R 1369 1372 32527 0 -1 4202560 55261 0 0 0 247566 79 0 0 20 0 46 0 104323631 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605907164616 140606853980284 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1396] ppid=1369 vsize=16068328 memory=1236 CPUtime=2472.35 cores=0-7
/proc/1372/task/1396/stat : 1396 (java) R 1369 1372 32527 0 -1 4202560 64940 0 0 0 247137 98 0 0 20 0 46 0 104323631 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605906111704 140606849316732 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1397] ppid=1369 vsize=16068328 memory=960 CPUtime=2473.6 cores=0-7
/proc/1372/task/1397/stat : 1397 (java) R 1369 1372 32527 0 -1 4202560 54840 0 0 0 247273 87 0 0 20 0 46 0 104323632 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605905059496 140606853948577 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1398] ppid=1369 vsize=16068328 memory=1152 CPUtime=2471.18 cores=0-7
/proc/1372/task/1398/stat : 1398 (java) R 1369 1372 32527 0 -1 4202560 66152 0 0 0 247022 96 0 0 20 0 46 0 104323634 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605904006728 140606849566152 0 4 0 16800975 0 0 0 -1 5 0 0 38 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1399] ppid=1369 vsize=16068328 memory=4548 CPUtime=0.15 cores=0-7
/proc/1372/task/1399/stat : 1399 (java) S 1369 1372 32527 0 -1 1077944384 59 0 0 0 15 0 0 0 20 0 46 0 104323634 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605902959664 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1400] ppid=1369 vsize=16068328 memory=1771044 CPUtime=2469.51 cores=0-7
/proc/1372/task/1400/stat : 1400 (java) R 1369 1372 32527 0 -1 4202560 58377 0 0 0 246861 90 0 0 20 0 46 0 104323634 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605901901224 140606852542127 0 4 0 16800975 0 0 0 -1 6 0 0 34 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1401] ppid=1369 vsize=16068328 memory=4104 CPUtime=2472.87 cores=0-7
/proc/1372/task/1401/stat : 1401 (java) R 1369 1372 32527 0 -1 4202560 63841 0 0 0 247200 87 0 0 20 0 46 0 104323634 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605900847704 140606850786520 0 4 0 16800975 0 0 0 -1 7 0 0 34 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1402] ppid=1369 vsize=16068328 memory=2240 CPUtime=2472.16 cores=0-7
/proc/1372/task/1402/stat : 1402 (java) R 1369 1372 32527 0 -1 4202560 63622 0 0 0 247123 93 0 0 20 0 46 0 104323634 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605899797552 140606849316862 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1403] ppid=1369 vsize=16068328 memory=2340 CPUtime=0 cores=0-7
/proc/1372/task/1403/stat : 1403 (java) S 1369 1372 32527 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 46 0 104323634 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605898749488 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1404] ppid=1369 vsize=16068328 memory=4080 CPUtime=0 cores=0-7
/proc/1372/task/1404/stat : 1404 (java) S 1369 1372 32527 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 46 0 104323635 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605897696912 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1405] ppid=1369 vsize=16068328 memory=932 CPUtime=0 cores=0-7
/proc/1372/task/1405/stat : 1405 (java) S 1369 1372 32527 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 104323658 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605896643888 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1406] ppid=1369 vsize=16068328 memory=1584 CPUtime=0 cores=0-7
/proc/1372/task/1406/stat : 1406 (java) S 1369 1372 32527 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 104323659 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605895591088 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1407] ppid=1369 vsize=16068328 memory=2196 CPUtime=2472.25 cores=0-7
/proc/1372/task/1407/stat : 1407 (java) R 1369 1372 32527 0 -1 4202560 53709 0 0 0 247140 85 0 0 20 0 46 0 104323659 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605894531928 140606853948862 0 4 0 16800975 0 0 0 -1 3 0 0 32 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1408] ppid=1369 vsize=16068328 memory=6508 CPUtime=0 cores=0-7
/proc/1372/task/1408/stat : 1408 (java) S 1369 1372 32527 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 46 0 104323659 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605893485712 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1409] ppid=1369 vsize=16068328 memory=840 CPUtime=0 cores=0-7
/proc/1372/task/1409/stat : 1409 (java) S 1369 1372 32527 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 104323659 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605892432688 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1410] ppid=1369 vsize=16068328 memory=1692 CPUtime=0 cores=0-7
/proc/1372/task/1410/stat : 1410 (java) S 1369 1372 32527 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 46 0 104323659 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605891380112 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1411] ppid=1369 vsize=16068328 memory=916 CPUtime=0 cores=0-7
/proc/1372/task/1411/stat : 1411 (java) S 1369 1372 32527 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 46 0 104323659 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605890328112 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1412] ppid=1369 vsize=16068328 memory=4124 CPUtime=0 cores=0-7
/proc/1372/task/1412/stat : 1412 (java) S 1369 1372 32527 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 46 0 104323690 16453967872 442761 33554432000 4194304 4196468 140735886610960 140605889275536 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1413] ppid=1369 vsize=16068328 memory=6935054825532540783 CPUtime=0 cores=0-7
/proc/1372/task/1413/stat : 1413 (java) S 1369 1372 32527 0 -1 1077944384 510 0 0 0 0 0 0 0 20 0 46 0 104323724 16453967872 442761 33554432000 4194304 4196468 140735886610960 140603939575312 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1414] ppid=1369 vsize=16068328 memory=30416 CPUtime=0 cores=0-7
/proc/1372/task/1414/stat : 1414 (java) S 1369 1372 32527 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 46 0 104323726 16453967872 442761 33554432000 4194304 4196468 140735886610960 140603938522512 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1415] ppid=1369 vsize=16068328 memory=37700 CPUtime=0 cores=0-7
/proc/1372/task/1415/stat : 1415 (java) S 1369 1372 32527 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 46 0 104323730 16453967872 442761 33554432000 4194304 4196468 140735886610960 140603937469712 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1416] ppid=1369 vsize=16068328 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/1372/task/1416/stat : 1416 (java) S 1369 1372 32527 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 46 0 104323732 16453967872 442761 33554432000 4194304 4196468 140735886610960 140603936416912 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1417] ppid=1369 vsize=16068328 memory=636 CPUtime=0 cores=0-7
/proc/1372/task/1417/stat : 1417 (java) S 1369 1372 32527 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 46 0 104323737 16453967872 442761 33554432000 4194304 4196468 140735886610960 140603935364112 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1418] ppid=1369 vsize=16068328 memory=1236 CPUtime=0 cores=0-7
/proc/1372/task/1418/stat : 1418 (java) S 1369 1372 32527 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 46 0 104323738 16453967872 442761 33554432000 4194304 4196468 140735886610960 140603934311312 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
Current children cumulated CPU time: 19967.8 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 1771044 KiB

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

[startup+2520.13 s]
# the end of solver process 1372 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19958.2 s, system=10.5151 s

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

[startup+2520.11 s]
/proc/loadavg: 9.29 8.96 9.12 9/225 1476
/proc/meminfo: memFree=26988920/32770624 swapFree=67108860/67108860
[pid=1372] ppid=1369 vsize=16201456 memory=1771236 CPUtime=19968.7 cores=0-7
/proc/1372/stat : 1372 (java) S 1369 1372 32527 0 -1 1077944320 1197408 0 0 0 1995822 1050 0 0 20 0 46 0 104322367 16590290944 442809 33554432000 4194304 4196468 140735886610960 140735886593504 140607238815479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
/proc/1372/statm: 4050364 442809 3870 1 0 4037558 0
[pid=1372/tid=1374] ppid=1369 vsize=16201456 memory=1771044 CPUtime=12.39 cores=0-7
/proc/1372/task/1374/stat : 1374 (java) S 1369 1372 32527 0 -1 1077944384 17176 0 0 0 1226 13 0 0 20 0 46 0 104322368 16590290944 442809 33554432000 4194304 4196468 140735886610960 140607243053184 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1375] ppid=1369 vsize=16201456 memory=1772068 CPUtime=19.7 cores=0-7
/proc/1372/task/1375/stat : 1375 (java) S 1369 1372 32527 0 -1 1077944384 59268 0 0 0 1940 30 0 0 20 0 46 0 104322369 16590290944 442809 33554432000 4194304 4196468 140735886610960 140607168903824 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1376] ppid=1369 vsize=16201456 memory=1777712 CPUtime=19.74 cores=0-7
/proc/1372/task/1376/stat : 1376 (java) S 1369 1372 32527 0 -1 1077944384 59592 0 0 0 1940 34 0 0 20 0 46 0 104322369 16590290944 442809 33554432000 4194304 4196468 140735886610960 140607167851024 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1377] ppid=1369 vsize=16201456 memory=1771044 CPUtime=19.71 cores=0-7
/proc/1372/task/1377/stat : 1377 (java) S 1369 1372 32527 0 -1 1077944384 50592 0 0 0 1941 30 0 0 20 0 46 0 104322369 16590290944 442809 33554432000 4194304 4196468 140735886610960 140607166798224 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1378] ppid=1369 vsize=16201456 memory=705 CPUtime=19.77 cores=0-7
/proc/1372/task/1378/stat : 1378 (java) S 1369 1372 32527 0 -1 1077944384 56758 0 0 0 1944 33 0 0 20 0 46 0 104322369 16590290944 442809 33554432000 4194304 4196468 140735886610960 140607165745424 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1379] ppid=1369 vsize=16201456 memory=1844400 CPUtime=19.77 cores=0-7
/proc/1372/task/1379/stat : 1379 (java) S 1369 1372 32527 0 -1 1077944384 62330 0 0 0 1943 34 0 0 20 0 46 0 104322369 16590290944 442809 33554432000 4194304 4196468 140735886610960 140607164693648 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1380] ppid=1369 vsize=16201456 memory=1837216 CPUtime=19.76 cores=0-7
/proc/1372/task/1380/stat : 1380 (java) S 1369 1372 32527 0 -1 1077944384 66848 0 0 0 1943 33 0 0 20 0 46 0 104322369 16590290944 442809 33554432000 4194304 4196468 140735886610960 140606829149200 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1381] ppid=1369 vsize=16201456 memory=4096 CPUtime=19.74 cores=0-7
/proc/1372/task/1381/stat : 1381 (java) S 1369 1372 32527 0 -1 1077944384 65386 0 0 0 1938 36 0 0 20 0 46 0 104322369 16590290944 442809 33554432000 4194304 4196468 140735886610960 140606828096400 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1382] ppid=1369 vsize=16201456 memory=1805928 CPUtime=19.75 cores=0-7
/proc/1372/task/1382/stat : 1382 (java) S 1369 1372 32527 0 -1 1077944384 65284 0 0 0 1944 31 0 0 20 0 46 0 104322369 16590290944 442809 33554432000 4194304 4196468 140735886610960 140606827043600 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1383] ppid=1369 vsize=16201456 memory=1805928 CPUtime=2.75 cores=0-7
/proc/1372/task/1383/stat : 1383 (java) R 1369 1372 32527 0 -1 4202560 128354 0 0 0 230 45 0 0 20 0 46 0 104322370 16590290944 442809 33554432000 4194304 4196468 140735886610960 140606764231160 140607231532631 0 0 0 16800975 0 0 0 -1 4 0 0 48 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1384] ppid=1369 vsize=16201456 memory=-6876588461455810464 CPUtime=0 cores=0-7
/proc/1372/task/1384/stat : 1384 (java) S 1369 1372 32527 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 46 0 104322371 16590290944 442809 33554432000 4194304 4196468 140735886610960 140606763177056 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1385] ppid=1369 vsize=16201456 memory=-3123010188551861097 CPUtime=0 cores=0-7
/proc/1372/task/1385/stat : 1385 (java) S 1369 1372 32527 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 46 0 104322371 16590290944 442809 33554432000 4194304 4196468 140735886610960 140606762124160 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1386] ppid=1369 vsize=16201456 memory=6508 CPUtime=0 cores=0-7
/proc/1372/task/1386/stat : 1386 (java) S 1369 1372 32527 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 46 0 104322373 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605930071536 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1387] ppid=1369 vsize=16201456 memory=840 CPUtime=2.1 cores=0-7
/proc/1372/task/1387/stat : 1387 (java) S 1369 1372 32527 0 -1 1077944384 12269 0 0 0 207 3 0 0 20 0 46 0 104322373 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605929011552 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1388] ppid=1369 vsize=16201456 memory=140317321569920 CPUtime=2.26 cores=0-7
/proc/1372/task/1388/stat : 1388 (java) S 1369 1372 32527 0 -1 1077944384 10944 0 0 0 225 1 0 0 20 0 46 0 104322373 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605927967472 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1389] ppid=1369 vsize=16201456 memory=6944656592452807320 CPUtime=2.43 cores=0-7
/proc/1372/task/1389/stat : 1389 (java) S 1369 1372 32527 0 -1 1077944384 7519 0 0 0 242 1 0 0 20 0 46 0 104322373 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605926914672 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1390] ppid=1369 vsize=16201456 memory=2428 CPUtime=1.21 cores=0-7
/proc/1372/task/1390/stat : 1390 (java) S 1369 1372 32527 0 -1 1077944384 25816 0 0 0 117 4 0 0 20 0 46 0 104322373 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605925861632 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1391] ppid=1369 vsize=16201456 memory=1292 CPUtime=0 cores=0-7
/proc/1372/task/1391/stat : 1391 (java) S 1369 1372 32527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 104322373 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605924809312 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1393] ppid=1369 vsize=16201456 memory=288292194505458595 CPUtime=0 cores=0-7
/proc/1372/task/1393/stat : 1393 (java) S 1369 1372 32527 0 -1 1077944384 941 0 0 0 0 0 0 0 20 0 46 0 104323607 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605913469600 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1394] ppid=1369 vsize=16201456 memory=3617410647286572240 CPUtime=4.95 cores=0-7
/proc/1372/task/1394/stat : 1394 (java) S 1369 1372 32527 0 -1 1077944384 16553 0 0 0 205 290 0 0 20 0 46 0 104323618 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605910319904 140607238826626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1395] ppid=1369 vsize=16201456 memory=6944652177228980320 CPUtime=2476.54 cores=0-7
/proc/1372/task/1395/stat : 1395 (java) S 1369 1372 32527 0 -1 1077944384 55261 0 0 0 247575 79 0 0 20 0 46 0 104323631 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605907164992 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1396] ppid=1369 vsize=16201456 memory=6944652177228980320 CPUtime=2472.46 cores=0-7
/proc/1372/task/1396/stat : 1396 (java) S 1369 1372 32527 0 -1 1077944384 64940 0 0 0 247148 98 0 0 20 0 46 0 104323631 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605906112080 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1397] ppid=1369 vsize=16201456 memory=6008707064606519402 CPUtime=2473.71 cores=0-7
/proc/1372/task/1397/stat : 1397 (java) S 1369 1372 32527 0 -1 1077944384 54840 0 0 0 247284 87 0 0 20 0 46 0 104323632 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605905059392 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1398] ppid=1369 vsize=16201456 memory=241159 CPUtime=2471.29 cores=0-7
/proc/1372/task/1398/stat : 1398 (java) S 1369 1372 32527 0 -1 1077944384 66153 0 0 0 247033 96 0 0 20 0 46 0 104323634 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605904006480 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1399] ppid=1369 vsize=16201456 memory=241049 CPUtime=0.15 cores=0-7
/proc/1372/task/1399/stat : 1399 (java) S 1369 1372 32527 0 -1 1077944384 59 0 0 0 15 0 0 0 20 0 46 0 104323634 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605902959664 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1400] ppid=1369 vsize=16201456 memory=0 CPUtime=2469.62 cores=0-7
/proc/1372/task/1400/stat : 1400 (java) S 1369 1372 32527 0 -1 1077944384 58377 0 0 0 246872 90 0 0 20 0 46 0 104323634 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605901900368 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1401] ppid=1369 vsize=16201456 memory=1775660 CPUtime=2472.98 cores=0-7
/proc/1372/task/1401/stat : 1401 (java) R 1369 1372 32527 0 -1 4202560 63841 0 0 0 247210 88 0 0 20 0 46 0 104323634 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605900847704 140606853977487 0 4 0 16800975 0 0 0 -1 7 0 0 34 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1402] ppid=1369 vsize=16201456 memory=2428 CPUtime=2472.27 cores=0-7
/proc/1372/task/1402/stat : 1402 (java) S 1369 1372 32527 0 -1 1077944384 63622 0 0 0 247134 93 0 0 20 0 46 0 104323634 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605899795280 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1403] ppid=1369 vsize=16201456 memory=1292 CPUtime=0 cores=0-7
/proc/1372/task/1403/stat : 1403 (java) S 1369 1372 32527 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 46 0 104323634 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605898749488 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1404] ppid=1369 vsize=16201456 memory=280634642974400 CPUtime=0 cores=0-7
/proc/1372/task/1404/stat : 1404 (java) S 1369 1372 32527 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 46 0 104323635 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605897696912 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1405] ppid=1369 vsize=16201456 memory=1332 CPUtime=0 cores=0-7
/proc/1372/task/1405/stat : 1405 (java) S 1369 1372 32527 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 104323658 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605896643888 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1406] ppid=1369 vsize=16201456 memory=7233736994252652628 CPUtime=0 cores=0-7
/proc/1372/task/1406/stat : 1406 (java) S 1369 1372 32527 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 104323659 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605895591088 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1407] ppid=1369 vsize=16201456 memory=301741373374332954 CPUtime=2472.36 cores=0-7
/proc/1372/task/1407/stat : 1407 (java) S 1369 1372 32527 0 -1 1077944384 53710 0 0 0 247151 85 0 0 20 0 46 0 104323659 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605894532592 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1408] ppid=1369 vsize=16201456 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/1372/task/1408/stat : 1408 (java) S 1369 1372 32527 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 46 0 104323659 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605893485712 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1409] ppid=1369 vsize=16201456 memory=13563795305924209 CPUtime=0 cores=0-7
/proc/1372/task/1409/stat : 1409 (java) S 1369 1372 32527 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 104323659 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605892432688 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1410] ppid=1369 vsize=16201456 memory=2340 CPUtime=0 cores=0-7
/proc/1372/task/1410/stat : 1410 (java) S 1369 1372 32527 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 46 0 104323659 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605891380112 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1411] ppid=1369 vsize=16201456 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/1372/task/1411/stat : 1411 (java) S 1369 1372 32527 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 46 0 104323659 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605890328112 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1412] ppid=1369 vsize=16201456 memory=1805928 CPUtime=0 cores=0-7
/proc/1372/task/1412/stat : 1412 (java) S 1369 1372 32527 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 46 0 104323690 16590290944 442809 33554432000 4194304 4196468 140735886610960 140605889275536 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1413] ppid=1369 vsize=16201456 memory=1777712 CPUtime=0 cores=0-7
/proc/1372/task/1413/stat : 1413 (java) S 1369 1372 32527 0 -1 1077944384 510 0 0 0 0 0 0 0 20 0 46 0 104323724 16590290944 442809 33554432000 4194304 4196468 140735886610960 140603939575312 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1414] ppid=1369 vsize=16201456 memory=4096 CPUtime=0 cores=0-7
/proc/1372/task/1414/stat : 1414 (java) S 1369 1372 32527 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 46 0 104323726 16590290944 442809 33554432000 4194304 4196468 140735886610960 140603938522512 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1415] ppid=1369 vsize=16201456 memory=1776688 CPUtime=0 cores=0-7
/proc/1372/task/1415/stat : 1415 (java) S 1369 1372 32527 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 46 0 104323730 16590290944 442809 33554432000 4194304 4196468 140735886610960 140603937469712 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1416] ppid=1369 vsize=16201456 memory=1776688 CPUtime=0 cores=0-7
/proc/1372/task/1416/stat : 1416 (java) S 1369 1372 32527 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 46 0 104323732 16590290944 442809 33554432000 4194304 4196468 140735886610960 140603936416912 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1417] ppid=1369 vsize=16201456 memory=4548 CPUtime=0 cores=0-7
/proc/1372/task/1417/stat : 1417 (java) S 1369 1372 32527 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 46 0 104323737 16590290944 442809 33554432000 4194304 4196468 140735886610960 140603935364112 140607238825685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
[pid=1372/tid=1418] ppid=1369 vsize=16201456 memory=1779764 CPUtime=0 cores=0-7
/proc/1372/task/1418/stat : 1418 (java) S 1369 1372 32527 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 46 0 104323738 16590290944 442812 33554432000 4194304 4196468 140735886610960 140603934311312 140607238825685 256 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 34979840 140735886619746 140735886619931 140735886619931 140735886622671 0
Current children cumulated CPU time: 19968.7 s
Current children cumulated vsize: 16201456 KiB
Current children cumulated memory: 1771236 KiB

Child status: 143
Real time (s): 2520.13
CPU time (s): 19968.7
CPU user time (s): 19958.2
CPU system time (s): 10.5151
CPU usage (%): 792.371
Max. virtual memory (cumulated for all children) (KiB): 16201456
Max. memory (cumulated for all children) (KiB): 3888484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19958.2
system time used= 10.5151
maximum resident set size= 3894324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1197453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 411160
involuntary context switches= 417108


# summary of solver processes directly reported to runsolver:
#   pid: 1372
#   total CPU time (s): 19968.7
#   total CPU user time (s): 19958.2
#   total CPU system time (s): 10.5151

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 29.0723 second user time and 34.9303 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-14 13:52:35
IDJOB=4275250
IDBENCH=124400
IDSOLVER=2668
FILE ID=node148/4275250-1502712413
RUNJOBID= node148-1502703967-32554
PBS_JOBID= 20629014
Free space on /tmp= 61616 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n67-k10.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-4275250-1502712413/watcher-4275250-1502712413 -o /tmp/evaluation-result-4275250-1502712413/solver-4275250-1502712413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502703967-32554 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 612131211 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275250-1502712413.xml

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

MD5SUM BENCH= 22a404b8d6219eda7de384223800de36
RANDOM SEED=612131211

node148.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.19
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.19
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.19
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.19
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:        28754796 kB
MemAvailable:   31987904 kB
Buffers:          233732 kB
Cached:          3287216 kB
SwapCached:            0 kB
Active:           848804 kB
Inactive:        2724480 kB
Active(anon):       3524 kB
Inactive(anon):    76664 kB
Active(file):     845280 kB
Inactive(file):  2647816 kB
Unevictable:        6208 kB
Mlocked:            6208 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42052 kB
Writeback:             4 kB
AnonPages:         58876 kB
Mapped:            44820 kB
Shmem:             25224 kB
Slab:             137644 kB
SReclaimable:     111696 kB
SUnreclaim:        25948 kB
KernelStack:        3360 kB
PageTables:         4848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61576 MiB
End job on node148 at 2017-08-14 14:34:35