Trace number 4285060

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-08-22SAT (TO)2656 19933.199 2520.1799

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.30/0.25	c version: 2017-08-22
0.30/0.25	c seed: 1028341808
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 22000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
2.44/0.98	c Parsing done, starting search...
25.00/14.01	o 3162
25.00/14.07	o 3134
25.00/14.09	o 3112
25.00/14.11	o 3079
25.76/14.13	o 3071
25.76/14.14	o 3057
25.76/14.16	o 3043
25.76/14.18	o 3035
26.54/14.22	o 3020
26.54/14.26	o 3019
28.86/14.58	o 3013
29.64/14.61	o 3008
29.64/14.65	o 3001
29.64/14.68	o 2992
30.51/14.72	o 2987
30.51/14.75	o 2985
30.51/14.77	o 2984
30.51/14.78	o 2953
30.51/14.78	o 2949
31.25/14.84	o 2948
31.25/14.88	o 2944
34.41/15.26	o 2931
36.80/15.53	o 2929
36.80/15.55	o 2906
82.92/21.40	o 2903
90.09/22.26	o 2893
90.09/22.28	o 2891
110.02/24.71	o 2888
110.02/24.72	o 2886
110.02/24.74	o 2881
110.02/24.76	o 2878
110.02/24.77	o 2858
117.96/25.72	o 2846
133.10/27.60	o 2835
192.15/35.02	o 2825
197.66/35.78	o 2823
253.45/42.79	o 2820
259.82/43.54	o 2818
265.40/44.28	o 2813
265.40/44.29	o 2799
266.20/44.31	o 2797
266.20/44.32	o 2795
2850.01/368.60	o 2794
4784.57/612.29	o 2789
4786.09/612.47	o 2787
5332.44/681.28	o 2784
5334.81/681.56	o 2782
8020.53/1019.76	o 2777
8369.22/1063.68	o 2775
8875.36/1127.37	o 2742
8883.32/1128.36	o 2735
8883.32/1128.38	o 2714
8890.48/1129.26	o 2701
8890.48/1129.28	o 2689
8890.48/1129.29	o 2682
8893.66/1129.69	o 2678
8896.05/1129.93	o 2671
8899.23/1130.35	o 2670
8923.10/1133.33	o 2669
8934.27/1134.72	o 2668
15896.72/2012.00	o 2665
15903.95/2012.83	o 2659
15903.95/2012.86	o 2657
16250.31/2056.41	o 2656
19932.04/2520.11	s SATISFIABLE
19932.94/2520.14	v <instantiation>
19932.94/2520.14	v 	<list>
19932.94/2520.14	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]
19932.94/2520.15	v 	</list>
19932.94/2520.15	v 	<values>
19932.94/2520.15	v 		0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 27 77 37 100 100 100 48 54 22 100 74 100 65 100 30 97 35 84 49 28 78 26 60 76 42 39 69 35 61 33 27 28 85 63 48 25 51 53 25 41 45 51 22 47 61 76 100 60 31 84 41 100 83 58 64 100 74 40 64 75 67 42 43 74 100 
19932.94/2520.15	v 	</values>
19932.94/2520.15	v </instantiation>

Verifier Data 

OK	2656

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285060-1503427368/watcher-4285060-1503427368 -o /tmp/evaluation-result-4285060-1503427368/solver-4285060-1503427368 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503426507-17115 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1028341808 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285060-1503427368.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=17132, runsolver pid=17129
Current StackSize limit: 8192 KiB


[startup+0.100139 s]*
/proc/loadavg: 7.79 8.45 8.64 2/198 17152
/proc/meminfo: memFree=22105068/32770624 swapFree=67108860/67108860
[pid=17132] ppid=17129 vsize=26000852 memory=32792 CPUtime=0.12 cores=0-7
/proc/17132/stat : 17132 (java) S 17129 17132 17088 0 -1 1077944320 8602 0 0 0 10 2 0 0 20 0 20 0 175824766 26624872448 8198 33554432000 4194304 4196468 140736168146112 140736168128656 139869012086519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
/proc/17132/statm: 6500213 8198 3391 1 0 6487932 0
[pid=17132/tid=17134] ppid=17129 vsize=26000852 memory=7753960991564405658 CPUtime=0.08 cores=0-7
/proc/17132/task/17134/stat : 17134 (java) R 17129 17132 17088 0 -1 4202560 6547 0 0 0 7 1 0 0 20 0 20 0 175824766 26624872448 8198 33554432000 4194304 4196468 140736168146112 139869016274432 139868996167006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17135] ppid=17129 vsize=26000852 memory=732370133867916261 CPUtime=0 cores=0-7
/proc/17132/task/17135/stat : 17135 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 8198 33554432000 4194304 4196468 140736168146112 139868968639120 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17136] ppid=17129 vsize=26000852 memory=139995530462848 CPUtime=0 cores=0-7
/proc/17132/task/17136/stat : 17136 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 8198 33554432000 4194304 4196468 140736168146112 139868967586320 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17137] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17137/stat : 17137 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 8198 33554432000 4194304 4196468 140736168146112 139868966533520 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17138] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17138/stat : 17138 (java) S 17129 17132 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 8198 33554432000 4194304 4196468 140736168146112 139868567632144 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17139] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17139/stat : 17139 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 8198 33554432000 4194304 4196468 140736168146112 139868566580368 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17140] ppid=17129 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/17132/task/17140/stat : 17140 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 8198 33554432000 4194304 4196468 140736168146112 139868565527568 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17141] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17141/stat : 17141 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 8198 33554432000 4194304 4196468 140736168146112 139868564474768 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17142] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17142/stat : 17142 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 8198 33554432000 4194304 4196468 140736168146112 139868563421968 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17143] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17143/stat : 17143 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824768 26624872448 8198 33554432000 4194304 4196468 140736168146112 139867485878640 139869012097666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17144] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17144/stat : 17144 (java) S 17129 17132 17088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175824769 26624872448 8198 33554432000 4194304 4196468 140736168146112 139867484824608 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17145] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17145/stat : 17145 (java) S 17129 17132 17088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175824769 26624872448 8198 33554432000 4194304 4196468 140736168146112 139867483771760 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17146] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17146/stat : 17146 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824771 26624872448 8198 33554432000 4194304 4196468 140736168146112 139867482720080 139869012105115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17147] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17147/stat : 17147 (java) S 17129 17132 17088 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 175824771 26624872448 8198 33554432000 4194304 4196468 140736168146112 139867481668464 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17148] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17148/stat : 17148 (java) S 17129 17132 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175824771 26624872448 8198 33554432000 4194304 4196468 140736168146112 139867480615664 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17149] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17149/stat : 17149 (java) S 17129 17132 17088 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 20 0 175824771 26624872448 8198 33554432000 4194304 4196468 140736168146112 139867479562864 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17150] ppid=17129 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/17132/task/17150/stat : 17150 (java) S 17129 17132 17088 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 20 0 175824771 26624872448 8198 33554432000 4194304 4196468 140736168146112 139867478510064 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17151] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17151/stat : 17151 (java) S 17129 17132 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175824772 26624872448 8198 33554432000 4194304 4196468 140736168146112 139867477457504 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17152] ppid=17129 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/17132/task/17152/stat : 17152 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824772 26624872448 8198 33554432000 4194304 4196468 140736168146112 139867476404784 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32792 KiB

[startup+0.210352 s]*
/proc/loadavg: 7.79 8.45 8.64 3/198 17152
/proc/meminfo: memFree=22097188/32770624 swapFree=67108860/67108860
[pid=17132] ppid=17129 vsize=26000852 memory=41692 CPUtime=0.3 cores=0-7
/proc/17132/stat : 17132 (java) S 17129 17132 17088 0 -1 1077944320 9617 0 0 0 27 3 0 0 20 0 20 0 175824766 26624872448 10423 33554432000 4194304 4196468 140736168146112 140736168128656 139869012086519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
/proc/17132/statm: 6500213 10423 3599 1 0 6487932 0
[pid=17132/tid=17134] ppid=17129 vsize=26000852 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/17132/task/17134/stat : 17134 (java) R 17129 17132 17088 0 -1 4202560 7185 0 0 0 18 2 0 0 20 0 20 0 175824766 26624872448 10423 33554432000 4194304 4196468 140736168146112 139869016291824 139868995443208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17135] ppid=17129 vsize=26000852 memory=288230583233151328 CPUtime=0 cores=0-7
/proc/17132/task/17135/stat : 17135 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 10423 33554432000 4194304 4196468 140736168146112 139868968639120 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17136] ppid=17129 vsize=26000852 memory=288370371682174592 CPUtime=0 cores=0-7
/proc/17132/task/17136/stat : 17136 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 10423 33554432000 4194304 4196468 140736168146112 139868967586320 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17137] ppid=17129 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/17132/task/17137/stat : 17137 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 10423 33554432000 4194304 4196468 140736168146112 139868966533520 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17138] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17138/stat : 17138 (java) S 17129 17132 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 10423 33554432000 4194304 4196468 140736168146112 139868567632144 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17139] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17139/stat : 17139 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 10423 33554432000 4194304 4196468 140736168146112 139868566580368 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17140] ppid=17129 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/17132/task/17140/stat : 17140 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 10423 33554432000 4194304 4196468 140736168146112 139868565527568 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17141] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17141/stat : 17141 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 10423 33554432000 4194304 4196468 140736168146112 139868564474768 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17142] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17142/stat : 17142 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624872448 10423 33554432000 4194304 4196468 140736168146112 139868563421968 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17143] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17143/stat : 17143 (java) S 17129 17132 17088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175824768 26624872448 10423 33554432000 4194304 4196468 140736168146112 139867485878640 139869012097666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17144] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17144/stat : 17144 (java) S 17129 17132 17088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175824769 26624872448 10423 33554432000 4194304 4196468 140736168146112 139867484824608 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17145] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17145/stat : 17145 (java) S 17129 17132 17088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175824769 26624872448 10423 33554432000 4194304 4196468 140736168146112 139867483771760 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17146] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17146/stat : 17146 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824771 26624872448 10423 33554432000 4194304 4196468 140736168146112 139867482720080 139869012105115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17147] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17147/stat : 17147 (java) S 17129 17132 17088 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 175824771 26624872448 10423 33554432000 4194304 4196468 140736168146112 139867481668464 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17148] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17148/stat : 17148 (java) S 17129 17132 17088 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 20 0 175824771 26624872448 10423 33554432000 4194304 4196468 140736168146112 139867480615664 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17149] ppid=17129 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/17132/task/17149/stat : 17149 (java) S 17129 17132 17088 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 20 0 175824771 26624872448 10423 33554432000 4194304 4196468 140736168146112 139867479562864 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17150] ppid=17129 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/17132/task/17150/stat : 17150 (java) R 17129 17132 17088 0 -1 4202560 388 0 0 0 5 0 0 0 20 0 20 0 175824771 26624872448 10423 33554432000 4194304 4196468 140736168146112 139867478510064 139868991541254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17151] ppid=17129 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17151/stat : 17151 (java) S 17129 17132 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175824772 26624872448 10423 33554432000 4194304 4196468 140736168146112 139867477457504 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17152] ppid=17129 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/17132/task/17152/stat : 17152 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824772 26624872448 10423 33554432000 4194304 4196468 140736168146112 139867476404784 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41692 KiB

[startup+0.309848 s]*
/proc/loadavg: 7.79 8.45 8.64 2/198 17152
/proc/meminfo: memFree=22089620/32770624 swapFree=67108860/67108860
[pid=17132] ppid=17129 vsize=26000872 memory=49376 CPUtime=0.48 cores=0-7
/proc/17132/stat : 17132 (java) S 17129 17132 17088 0 -1 1077944320 10613 0 0 0 45 3 0 0 20 0 20 0 175824766 26624892928 12344 33554432000 4194304 4196468 140736168146112 140736168128656 139869012086519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
/proc/17132/statm: 6500218 12344 3723 1 0 6487932 0
[pid=17132/tid=17134] ppid=17129 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17132/task/17134/stat : 17134 (java) S 17129 17132 17088 0 -1 1077944384 7754 0 0 0 27 2 0 0 20 0 20 0 175824766 26624892928 12344 33554432000 4194304 4196468 140736168146112 139869016315968 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17135] ppid=17129 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17135/stat : 17135 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624892928 12344 33554432000 4194304 4196468 140736168146112 139868968639120 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17136] ppid=17129 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17136/stat : 17136 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26624892928 12344 33554432000 4194304 4196468 140736168146112 139868967586320 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17137] ppid=17129 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17137/stat : 17137 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26624892928 12344 33554432000 4194304 4196468 140736168146112 139868966533520 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17138] ppid=17129 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17138/stat : 17138 (java) S 17129 17132 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175824767 26624892928 12344 33554432000 4194304 4196468 140736168146112 139868567632144 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17139] ppid=17129 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/17132/task/17139/stat : 17139 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624892928 12344 33554432000 4194304 4196468 140736168146112 139868566580368 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17140] ppid=17129 vsize=26000872 memory=139995398632367 CPUtime=0 cores=0-7
/proc/17132/task/17140/stat : 17140 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26624892928 12344 33554432000 4194304 4196468 140736168146112 139868565527568 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17141] ppid=17129 vsize=26000872 memory=139995398634672 CPUtime=0 cores=0-7
/proc/17132/task/17141/stat : 17141 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624892928 12344 33554432000 4194304 4196468 140736168146112 139868564474768 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17142] ppid=17129 vsize=26000872 memory=139995398636976 CPUtime=0 cores=0-7
/proc/17132/task/17142/stat : 17142 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26624892928 12344 33554432000 4194304 4196468 140736168146112 139868563421968 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17143] ppid=17129 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17143/stat : 17143 (java) S 17129 17132 17088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175824768 26624892928 12344 33554432000 4194304 4196468 140736168146112 139867485878640 139869012097666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17144] ppid=17129 vsize=26000872 memory=279990797280912 CPUtime=0 cores=0-7
/proc/17132/task/17144/stat : 17144 (java) S 17129 17132 17088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175824769 26624892928 12344 33554432000 4194304 4196468 140736168146112 139867484824608 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17145] ppid=17129 vsize=26000872 memory=279990797287824 CPUtime=0 cores=0-7
/proc/17132/task/17145/stat : 17145 (java) S 17129 17132 17088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175824769 26624892928 12344 33554432000 4194304 4196468 140736168146112 139867483771760 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17146] ppid=17129 vsize=26000872 memory=279990797229104 CPUtime=0 cores=0-7
/proc/17132/task/17146/stat : 17146 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824771 26624892928 12344 33554432000 4194304 4196468 140736168146112 139867482720080 139869012105115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17147] ppid=17129 vsize=26000872 memory=279990797301648 CPUtime=0.03 cores=0-7
/proc/17132/task/17147/stat : 17147 (java) S 17129 17132 17088 0 -1 1077944384 196 0 0 0 3 0 0 0 20 0 20 0 175824771 26624892928 12344 33554432000 4194304 4196468 140736168146112 139867481668464 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17148] ppid=17129 vsize=26000872 memory=279990797308560 CPUtime=0.02 cores=0-7
/proc/17132/task/17148/stat : 17148 (java) S 17129 17132 17088 0 -1 1077944384 321 0 0 0 2 0 0 0 20 0 20 0 175824771 26624892928 12344 33554432000 4194304 4196468 140736168146112 139867480615664 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17149] ppid=17129 vsize=26000872 memory=279990797306256 CPUtime=0.04 cores=0-7
/proc/17132/task/17149/stat : 17149 (java) S 17129 17132 17088 0 -1 1077944384 528 0 0 0 4 0 0 0 20 0 20 0 175824771 26624892928 12344 33554432000 4194304 4196468 140736168146112 139867479562864 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17150] ppid=17129 vsize=26000872 memory=279990797322816 CPUtime=0.08 cores=0-7
/proc/17132/task/17150/stat : 17150 (java) R 17129 17132 17088 0 -1 4202560 428 0 0 0 8 0 0 0 20 0 20 0 175824771 26624892928 12344 33554432000 4194304 4196468 140736168146112 139867478505792 139869004323646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17151] ppid=17129 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17151/stat : 17151 (java) S 17129 17132 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175824772 26624892928 12344 33554432000 4194304 4196468 140736168146112 139867477457504 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17152] ppid=17129 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/17132/task/17152/stat : 17152 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824772 26624892928 12344 33554432000 4194304 4196468 140736168146112 139867476404784 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49376 KiB

[startup+0.700946 s]
/proc/loadavg: 7.79 8.45 8.64 4/198 17152
/proc/meminfo: memFree=22073924/32770624 swapFree=67108860/67108860
[pid=17132] ppid=17129 vsize=26002920 memory=107112 CPUtime=1.62 cores=0-7
/proc/17132/stat : 17132 (java) S 17129 17132 17088 0 -1 1077944320 14795 0 0 0 157 5 0 0 20 0 20 0 175824766 26626990080 26778 33554432000 4194304 4196468 140736168146112 140736168128656 139869012086519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
/proc/17132/statm: 6500730 26778 3779 1 0 6488444 0
[pid=17132/tid=17134] ppid=17129 vsize=26002920 memory=6081900604297663080 CPUtime=0.67 cores=0-7
/proc/17132/task/17134/stat : 17134 (java) R 17129 17132 17088 0 -1 4202560 8565 0 0 0 64 3 0 0 20 0 20 0 175824766 26626990080 26778 33554432000 4194304 4196468 140736168146112 139869016324016 139868996130149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17135] ppid=17129 vsize=26002920 memory=73662984127998 CPUtime=0 cores=0-7
/proc/17132/task/17135/stat : 17135 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26626990080 26778 33554432000 4194304 4196468 140736168146112 139868968639120 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17136] ppid=17129 vsize=26002920 memory=139995398651685 CPUtime=0 cores=0-7
/proc/17132/task/17136/stat : 17136 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26626990080 26778 33554432000 4194304 4196468 140736168146112 139868967586320 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17137] ppid=17129 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17137/stat : 17137 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26626990080 26778 33554432000 4194304 4196468 140736168146112 139868966533520 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17138] ppid=17129 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17138/stat : 17138 (java) S 17129 17132 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175824767 26626990080 26778 33554432000 4194304 4196468 140736168146112 139868567632144 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17139] ppid=17129 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17139/stat : 17139 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26626990080 26778 33554432000 4194304 4196468 140736168146112 139868566580368 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17140] ppid=17129 vsize=26002920 memory=2353 CPUtime=0 cores=0-7
/proc/17132/task/17140/stat : 17140 (java) S 17129 17132 17088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175824767 26626990080 26778 33554432000 4194304 4196468 140736168146112 139868565527568 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17141] ppid=17129 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/17132/task/17141/stat : 17141 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26626990080 26778 33554432000 4194304 4196468 140736168146112 139868564474768 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17142] ppid=17129 vsize=26002920 memory=1724 CPUtime=0 cores=0-7
/proc/17132/task/17142/stat : 17142 (java) S 17129 17132 17088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175824767 26626990080 26778 33554432000 4194304 4196468 140736168146112 139868563421968 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17143] ppid=17129 vsize=26002920 memory=1012 CPUtime=0 cores=0-7
/proc/17132/task/17143/stat : 17143 (java) S 17129 17132 17088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175824768 26626990080 26778 33554432000 4194304 4196468 140736168146112 139867485878640 139869012097666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0

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

/proc/17132/task/17156/stat : 17156 (java) S 17129 17132 17088 0 -1 1077944384 123 0 0 0 7 0 0 0 20 0 46 0 175826081 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867458762384 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17157] ppid=17129 vsize=27743860 memory=4128 CPUtime=0.09 cores=0-7
/proc/17132/task/17157/stat : 17157 (java) S 17129 17132 17088 0 -1 1077944384 274 0 0 0 9 0 0 0 20 0 46 0 175826081 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867457709360 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17158] ppid=17129 vsize=27743860 memory=2204 CPUtime=2472.88 cores=0-7
/proc/17132/task/17158/stat : 17158 (java) R 17129 17132 17088 0 -1 4202560 71733 0 0 0 247206 82 0 0 20 0 46 0 175826081 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867456650264 139868653036608 0 4 0 16800975 0 0 0 -1 0 0 0 38 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17159] ppid=17129 vsize=27743860 memory=7788 CPUtime=2470.38 cores=0-7
/proc/17132/task/17159/stat : 17159 (java) R 17129 17132 17088 0 -1 4202560 57797 0 0 0 246967 71 0 0 20 0 46 0 175826081 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867455597328 139868655918069 0 4 0 16800975 0 0 0 -1 3 0 0 49 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17160] ppid=17129 vsize=27743860 memory=792 CPUtime=2466.61 cores=0-7
/proc/17132/task/17160/stat : 17160 (java) R 17129 17132 17088 0 -1 4202560 68604 0 0 0 246587 74 0 0 20 0 46 0 175826084 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867454544888 139868652864121 0 4 0 16800975 0 0 0 -1 5 0 0 41 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17161] ppid=17129 vsize=27743860 memory=1420 CPUtime=2469.48 cores=0-7
/proc/17132/task/17161/stat : 17161 (java) R 17129 17132 17088 0 -1 4202560 68422 0 0 0 246865 83 0 0 20 0 46 0 175826086 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867453492088 139868652866309 0 4 0 16800975 0 0 0 -1 1 0 0 46 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17162] ppid=17129 vsize=27743860 memory=13144 CPUtime=0.08 cores=0-7
/proc/17132/task/17162/stat : 17162 (java) S 17129 17132 17088 0 -1 1077944384 41 0 0 0 8 0 0 0 20 0 46 0 175826087 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867452445488 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17163] ppid=17129 vsize=27743860 memory=1944 CPUtime=0 cores=0-7
/proc/17132/task/17163/stat : 17163 (java) S 17129 17132 17088 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 46 0 175826087 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867451393792 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17164] ppid=17129 vsize=27743860 memory=1196 CPUtime=2467.89 cores=0-7
/proc/17132/task/17164/stat : 17164 (java) R 17129 17132 17088 0 -1 4202560 65415 0 0 0 246718 71 0 0 20 0 46 0 175826087 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867450334488 139868649426147 0 4 0 16800975 0 0 0 -1 7 0 0 54 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17165] ppid=17129 vsize=27743860 memory=8748 CPUtime=0 cores=0-7
/proc/17132/task/17165/stat : 17165 (java) S 17129 17132 17088 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 46 0 175826103 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867449288000 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17166] ppid=17129 vsize=27743860 memory=1228 CPUtime=2470.06 cores=0-7
/proc/17132/task/17166/stat : 17166 (java) R 17129 17132 17088 0 -1 4202560 76173 0 0 0 246918 88 0 0 20 0 46 0 175826103 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867448229112 139868652864611 0 4 0 16800975 0 0 0 -1 6 0 0 46 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17167] ppid=17129 vsize=27743860 memory=15880 CPUtime=2471.23 cores=0-7
/proc/17132/task/17167/stat : 17167 (java) R 17129 17132 17088 0 -1 4202560 73067 0 0 0 247042 81 0 0 20 0 46 0 175826103 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867447178736 139868652035655 0 4 0 16800975 0 0 0 -1 2 0 0 53 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17168] ppid=17129 vsize=27743860 memory=18280 CPUtime=0 cores=0-7
/proc/17132/task/17168/stat : 17168 (java) S 17129 17132 17088 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 46 0 175826103 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867446129792 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17169] ppid=17129 vsize=27743860 memory=27016 CPUtime=0 cores=0-7
/proc/17132/task/17169/stat : 17169 (java) S 17129 17132 17088 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 175826167 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867442942768 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17170] ppid=17129 vsize=27743860 memory=4040 CPUtime=0 cores=0-7
/proc/17132/task/17170/stat : 17170 (java) S 17129 17132 17088 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 46 0 175826167 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867441889984 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17171] ppid=17129 vsize=27743860 memory=1236 CPUtime=0 cores=0-7
/proc/17132/task/17171/stat : 17171 (java) S 17129 17132 17088 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 46 0 175826167 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867440838208 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17172] ppid=17129 vsize=27743860 memory=644 CPUtime=0 cores=0-7
/proc/17132/task/17172/stat : 17172 (java) S 17129 17132 17088 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 46 0 175826167 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867439785616 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17173] ppid=17129 vsize=27743860 memory=1788 CPUtime=0 cores=0-7
/proc/17132/task/17173/stat : 17173 (java) S 17129 17132 17088 0 -1 1077944384 537 0 0 0 0 0 0 0 20 0 46 0 175826243 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867438732608 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17174] ppid=17129 vsize=27743860 memory=2886852 CPUtime=0 cores=0-7
/proc/17132/task/17174/stat : 17174 (java) S 17129 17132 17088 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 46 0 175826245 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867437680016 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17175] ppid=17129 vsize=27743860 memory=1196 CPUtime=0 cores=0-7
/proc/17132/task/17175/stat : 17175 (java) S 17129 17132 17088 0 -1 1077944384 640 0 0 0 0 0 0 0 20 0 46 0 175826247 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867436627200 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17176] ppid=17129 vsize=27743860 memory=8748 CPUtime=0 cores=0-7
/proc/17132/task/17176/stat : 17176 (java) S 17129 17132 17088 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 46 0 175826249 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867435574208 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17177] ppid=17129 vsize=27743860 memory=1228 CPUtime=0 cores=0-7
/proc/17132/task/17177/stat : 17177 (java) S 17129 17132 17088 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 46 0 175826250 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867434521616 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17178] ppid=17129 vsize=27743860 memory=15880 CPUtime=0 cores=0-7
/proc/17132/task/17178/stat : 17178 (java) S 17129 17132 17088 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 46 0 175826250 28409712640 721584 33554432000 4194304 4196468 140736168146112 139867433468816 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
Current children cumulated CPU time: 19932 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 2886336 KiB

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

[startup+2520.18 s]
# the end of solver process 17132 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19922.4 s, system=10.8246 s

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

[startup+2520.12 s]
/proc/loadavg: 9.17 8.85 8.79 10/226 17245
/proc/meminfo: memFree=19238816/32770624 swapFree=67108860/67108860
[pid=17132] ppid=17129 vsize=27876988 memory=2886504 CPUtime=19932.9 cores=0-7
/proc/17132/stat : 17132 (java) S 17129 17132 17088 0 -1 1077944320 1561481 0 0 0 1992214 1080 0 0 20 0 48 0 175824766 28546035712 721626 33554432000 4194304 4196468 140736168146112 140736168128656 139869012086519 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
/proc/17132/statm: 6969247 721626 3870 1 0 6956440 0
[pid=17132/tid=17134] ppid=17129 vsize=27876988 memory=2886852 CPUtime=12.74 cores=0-7
/proc/17132/task/17134/stat : 17134 (java) S 17129 17132 17088 0 -1 1077944384 16176 0 0 0 1264 10 0 0 20 0 48 0 175824766 28546035712 721626 33554432000 4194304 4196468 140736168146112 139869016324224 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17135] ppid=17129 vsize=27876988 memory=2887364 CPUtime=17.41 cores=0-7
/proc/17132/task/17135/stat : 17135 (java) S 17129 17132 17088 0 -1 1077944384 85874 0 0 0 1700 41 0 0 20 0 48 0 175824767 28546035712 721626 33554432000 4194304 4196468 140736168146112 139868968639120 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17136] ppid=17129 vsize=27876988 memory=2888904 CPUtime=17.35 cores=0-7
/proc/17132/task/17136/stat : 17136 (java) S 17129 17132 17088 0 -1 1077944384 81710 0 0 0 1695 40 0 0 20 0 48 0 175824767 28546035712 721626 33554432000 4194304 4196468 140736168146112 139868967586320 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17137] ppid=17129 vsize=27876988 memory=2890440 CPUtime=17.42 cores=0-7
/proc/17132/task/17137/stat : 17137 (java) S 17129 17132 17088 0 -1 1077944384 82402 0 0 0 1700 42 0 0 20 0 48 0 175824767 28546035712 721626 33554432000 4194304 4196468 140736168146112 139868966533520 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17138] ppid=17129 vsize=27876988 memory=2893520 CPUtime=17.43 cores=0-7
/proc/17132/task/17138/stat : 17138 (java) S 17129 17132 17088 0 -1 1077944384 90209 0 0 0 1697 46 0 0 20 0 48 0 175824767 28546035712 721626 33554432000 4194304 4196468 140736168146112 139868567632144 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17139] ppid=17129 vsize=27876988 memory=2888388 CPUtime=17.4 cores=0-7
/proc/17132/task/17139/stat : 17139 (java) S 17129 17132 17088 0 -1 1077944384 85410 0 0 0 1697 43 0 0 20 0 48 0 175824767 28546035712 721626 33554432000 4194304 4196468 140736168146112 139868566580368 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17140] ppid=17129 vsize=27876988 memory=2886336 CPUtime=17.43 cores=0-7
/proc/17132/task/17140/stat : 17140 (java) S 17129 17132 17088 0 -1 1077944384 97880 0 0 0 1699 44 0 0 20 0 48 0 175824767 28546035712 721626 33554432000 4194304 4196468 140736168146112 139868565527568 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17141] ppid=17129 vsize=27876988 memory=147368917894662 CPUtime=17.5 cores=0-7
/proc/17132/task/17141/stat : 17141 (java) S 17129 17132 17088 0 -1 1077944384 85809 0 0 0 1706 44 0 0 20 0 48 0 175824767 28546035712 721626 33554432000 4194304 4196468 140736168146112 139868564474768 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17142] ppid=17129 vsize=27876988 memory=2900188 CPUtime=17.41 cores=0-7
/proc/17132/task/17142/stat : 17142 (java) S 17129 17132 17088 0 -1 1077944384 85728 0 0 0 1701 40 0 0 20 0 48 0 175824767 28546035712 721626 33554432000 4194304 4196468 140736168146112 139868563421968 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17143] ppid=17129 vsize=27876988 memory=6791534058613427641 CPUtime=4.82 cores=0-7
/proc/17132/task/17143/stat : 17143 (java) S 17129 17132 17088 0 -1 1077944384 192753 0 0 0 409 73 0 0 20 0 48 0 175824768 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867485878640 139869012097666 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17144] ppid=17129 vsize=27876988 memory=2336 CPUtime=0 cores=0-7
/proc/17132/task/17144/stat : 17144 (java) S 17129 17132 17088 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 48 0 175824769 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867484824672 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17145] ppid=17129 vsize=27876988 memory=2240 CPUtime=0 cores=0-7
/proc/17132/task/17145/stat : 17145 (java) S 17129 17132 17088 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 48 0 175824769 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867483771776 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17146] ppid=17129 vsize=27876988 memory=4128 CPUtime=0 cores=0-7
/proc/17132/task/17146/stat : 17146 (java) S 17129 17132 17088 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 48 0 175824771 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867482720080 139869012105115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17147] ppid=17129 vsize=27876988 memory=644 CPUtime=2.63 cores=0-7
/proc/17132/task/17147/stat : 17147 (java) R 17129 17132 17088 0 -1 4202560 9773 0 0 0 261 2 0 0 20 0 48 0 175824771 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867481668464 139868997212455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17148] ppid=17129 vsize=27876988 memory=1788 CPUtime=2.35 cores=0-7
/proc/17132/task/17148/stat : 17148 (java) S 17129 17132 17088 0 -1 1077944384 10433 0 0 0 234 1 0 0 20 0 48 0 175824771 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867480615664 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17149] ppid=17129 vsize=27876988 memory=6791534058613427641 CPUtime=2.21 cores=0-7
/proc/17132/task/17149/stat : 17149 (java) R 17129 17132 17088 0 -1 1077944384 10545 0 0 0 219 2 0 0 20 0 48 0 175824771 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867479562864 139869012097666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17150] ppid=17129 vsize=27876988 memory=2962588 CPUtime=1.16 cores=0-7
/proc/17132/task/17150/stat : 17150 (java) R 17129 17132 17088 0 -1 1077944384 28441 0 0 0 112 4 0 0 20 0 48 0 175824771 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867478509712 139869012107709 0 4 0 16800975 0 0 0 -1 7 0 0 35 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17151] ppid=17129 vsize=27876988 memory=1296 CPUtime=0 cores=0-7
/proc/17132/task/17151/stat : 17151 (java) S 17129 17132 17088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 175824772 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867477457504 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17152] ppid=17129 vsize=27876988 memory=2336 CPUtime=1.09 cores=0-7
/proc/17132/task/17152/stat : 17152 (java) S 17129 17132 17088 0 -1 1077944384 8703 0 0 0 57 52 0 0 20 0 48 0 175824772 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867476404784 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17153] ppid=17129 vsize=27876988 memory=1724 CPUtime=0 cores=0-7
/proc/17132/task/17153/stat : 17153 (java) S 17129 17132 17088 0 -1 1077944384 1079 0 0 0 0 0 0 0 20 0 48 0 175826058 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867466113696 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17154] ppid=17129 vsize=27876988 memory=0 CPUtime=5.55 cores=0-7
/proc/17132/task/17154/stat : 17154 (java) S 17129 17132 17088 0 -1 1077944384 18111 0 0 0 280 275 0 0 20 0 48 0 175826070 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867462964000 139869012097666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17155] ppid=17129 vsize=27876988 memory=0 CPUtime=2471.17 cores=0-7
/proc/17132/task/17155/stat : 17155 (java) R 17129 17132 17088 0 -1 4202560 83573 0 0 0 247024 93 0 0 20 0 48 0 175826080 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867459809176 139868653036690 0 4 0 16800975 0 0 0 -1 4 0 0 48 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17156] ppid=17129 vsize=27876988 memory=0 CPUtime=0.07 cores=0-7
/proc/17132/task/17156/stat : 17156 (java) S 17129 17132 17088 0 -1 1077944384 123 0 0 0 7 0 0 0 20 0 48 0 175826081 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867458762384 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17157] ppid=17129 vsize=27876988 memory=2891980 CPUtime=0.09 cores=0-7
/proc/17132/task/17157/stat : 17157 (java) S 17129 17132 17088 0 -1 1077944384 274 0 0 0 9 0 0 0 20 0 48 0 175826081 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867457709360 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17158] ppid=17129 vsize=27876988 memory=2892492 CPUtime=2472.98 cores=0-7
/proc/17132/task/17158/stat : 17158 (java) R 17129 17132 17088 0 -1 4202560 71734 0 0 0 247216 82 0 0 20 0 48 0 175826081 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867456650264 139868652864611 0 4 0 16800975 0 0 0 -1 0 0 0 38 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17159] ppid=17129 vsize=27876988 memory=2894544 CPUtime=2470.49 cores=0-7
/proc/17132/task/17159/stat : 17159 (java) R 17129 17132 17088 0 -1 4202560 57798 0 0 0 246978 71 0 0 20 0 48 0 175826081 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867455597216 139868652866749 0 4 0 16800975 0 0 0 -1 3 0 0 49 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17160] ppid=17129 vsize=27876988 memory=2888904 CPUtime=2466.72 cores=0-7
/proc/17132/task/17160/stat : 17160 (java) R 17129 17132 17088 0 -1 4202560 68605 0 0 0 246598 74 0 0 20 0 48 0 175826084 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867454544888 139868991823815 0 4 0 16800975 0 0 0 -1 5 0 0 41 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17161] ppid=17129 vsize=27876988 memory=6791534058613427641 CPUtime=2469.6 cores=0-7
/proc/17132/task/17161/stat : 17161 (java) R 17129 17132 17088 0 -1 4202560 68422 0 0 0 246877 83 0 0 20 0 48 0 175826086 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867453492088 139868653036216 0 4 0 16800975 0 0 0 -1 1 0 0 46 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17162] ppid=17129 vsize=27876988 memory=928 CPUtime=0.08 cores=0-7
/proc/17132/task/17162/stat : 17162 (java) S 17129 17132 17088 0 -1 1077944384 41 0 0 0 8 0 0 0 20 0 48 0 175826087 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867452445488 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17163] ppid=17129 vsize=27876988 memory=2893008 CPUtime=0 cores=0-7
/proc/17132/task/17163/stat : 17163 (java) S 17129 17132 17088 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 48 0 175826087 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867451393792 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17164] ppid=17129 vsize=27876988 memory=2240 CPUtime=2467.99 cores=0-7
/proc/17132/task/17164/stat : 17164 (java) R 17129 17132 17088 0 -1 4202560 65415 0 0 0 246728 71 0 0 20 0 48 0 175826087 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867450334488 139868652864611 0 4 0 16800975 0 0 0 -1 7 0 0 54 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17165] ppid=17129 vsize=27876988 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/17132/task/17165/stat : 17165 (java) S 17129 17132 17088 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 48 0 175826103 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867449288000 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17166] ppid=17129 vsize=27876988 memory=2899676 CPUtime=2470.17 cores=0-7
/proc/17132/task/17166/stat : 17166 (java) R 17129 17132 17088 0 -1 4202560 76173 0 0 0 246929 88 0 0 20 0 48 0 175826103 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867448229112 139868656835256 0 4 0 16800975 0 0 0 -1 6 0 0 46 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17167] ppid=17129 vsize=27876988 memory=2896084 CPUtime=2471.35 cores=0-7
/proc/17132/task/17167/stat : 17167 (java) R 17129 17132 17088 0 -1 4202560 73067 0 0 0 247054 81 0 0 20 0 48 0 175826103 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867447178736 139868656468696 0 4 0 16800975 0 0 0 -1 2 0 0 53 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17168] ppid=17129 vsize=27876988 memory=4140 CPUtime=0 cores=0-7
/proc/17132/task/17168/stat : 17168 (java) S 17129 17132 17088 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 48 0 175826103 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867446129792 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17169] ppid=17129 vsize=27876988 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/17132/task/17169/stat : 17169 (java) S 17129 17132 17088 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 48 0 175826167 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867442942768 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17170] ppid=17129 vsize=27876988 memory=5792 CPUtime=0 cores=0-7
/proc/17132/task/17170/stat : 17170 (java) S 17129 17132 17088 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 48 0 175826167 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867441889984 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17171] ppid=17129 vsize=27876988 memory=4616 CPUtime=0 cores=0-7
/proc/17132/task/17171/stat : 17171 (java) S 17129 17132 17088 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 48 0 175826167 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867440838208 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17172] ppid=17129 vsize=27876988 memory=2896084 CPUtime=0 cores=0-7
/proc/17132/task/17172/stat : 17172 (java) S 17129 17132 17088 0 -1 1077944384 463 0 0 0 0 0 0 0 20 0 48 0 175826167 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867439785616 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17173] ppid=17129 vsize=27876988 memory=15880 CPUtime=0 cores=0-7
/proc/17132/task/17173/stat : 17173 (java) S 17129 17132 17088 0 -1 1077944384 537 0 0 0 0 0 0 0 20 0 48 0 175826243 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867438732608 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17174] ppid=17129 vsize=27876988 memory=4616 CPUtime=0 cores=0-7
/proc/17132/task/17174/stat : 17174 (java) S 17129 17132 17088 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 48 0 175826245 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867437680016 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17175] ppid=17129 vsize=27876988 memory=792 CPUtime=0 cores=0-7
/proc/17132/task/17175/stat : 17175 (java) S 17129 17132 17088 0 -1 1077944384 640 0 0 0 0 0 0 0 20 0 48 0 175826247 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867436627200 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17176] ppid=17129 vsize=27876988 memory=1420 CPUtime=0 cores=0-7
/proc/17132/task/17176/stat : 17176 (java) S 17129 17132 17088 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 48 0 175826249 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867435574208 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17177] ppid=17129 vsize=27876988 memory=13144 CPUtime=0 cores=0-7
/proc/17132/task/17177/stat : 17177 (java) S 17129 17132 17088 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 48 0 175826250 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867434521616 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
[pid=17132/tid=17178] ppid=17129 vsize=27876988 memory=1944 CPUtime=0 cores=0-7
/proc/17132/task/17178/stat : 17178 (java) S 17129 17132 17088 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 48 0 175826250 28546035712 721626 33554432000 4194304 4196468 140736168146112 139867433468816 139869012096725 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32989184 140736168150113 140736168150299 140736168150299 140736168153039 0
Current children cumulated CPU time: 19932.9 s
Current children cumulated vsize: 27876988 KiB
Current children cumulated memory: 2886504 KiB

Child status: 143
Real time (s): 2520.18
CPU time (s): 19933.2
CPU user time (s): 19922.4
CPU system time (s): 10.8246
CPU usage (%): 790.946
Max. virtual memory (cumulated for all children) (KiB): 27876988
Max. memory (cumulated for all children) (KiB): 5074104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19922.4
system time used= 10.8246
maximum resident set size= 5076380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1561741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 513306
involuntary context switches= 419409


# summary of solver processes directly reported to runsolver:
#   pid: 17132
#   total CPU time (s): 19933.2
#   total CPU user time (s): 19922.4
#   total CPU system time (s): 10.8246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.1931 second user time and 38.8842 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-22 20:28:27
IDJOB=4285060
IDBENCH=124400
IDSOLVER=2681
FILE ID=node103/4285060-1503427368
RUNJOBID= node103-1503426507-17115
PBS_JOBID= 20632139
Free space on /tmp= 60764 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n67-k10.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285060-1503427368/watcher-4285060-1503427368 -o /tmp/evaluation-result-4285060-1503427368/solver-4285060-1503427368 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503426507-17115 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1028341808 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285060-1503427368.xml

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

MD5SUM BENCH= 22a404b8d6219eda7de384223800de36
RANDOM SEED=1028341808

node103.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.56
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.56
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.56
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.56
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:        22123504 kB
MemAvailable:   31946632 kB
Buffers:          237172 kB
Cached:          9870840 kB
SwapCached:            0 kB
Active:          2639772 kB
Inactive:        7522016 kB
Active(anon):       3500 kB
Inactive(anon):    95032 kB
Active(file):    2636272 kB
Inactive(file):  7426984 kB
Unevictable:        7472 kB
Mlocked:            7472 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42468 kB
Writeback:             0 kB
AnonPages:         61708 kB
Mapped:            54176 kB
Shmem:             41612 kB
Slab:             177900 kB
SReclaimable:     151412 kB
SUnreclaim:        26488 kB
KernelStack:        3088 kB
PageTables:         5244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     340688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 60720 MiB
End job on node103 at 2017-08-22 21:10:27