Trace number 4273774

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 - Conflict Ordering 2017-07-26SAT (TO)2541 2520.1399 2503.04

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n61-k9.xml
MD5SUM4ab7546591ba88ff6acec2aa7538cbc2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1147
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables3782
Number of constraints3720
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":61},{"size":2,"count":3660},{"size":101,"count":60}]
Minimum variable degree0
Maximum variable degree119
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":61},{"degree":2,"count":120},{"degree":4,"count":3540},{"degree":119,"count":60}]
Minimum constraint arity1
Maximum constraint arity60
Distribution of constraint arities[{"arity":1,"count":60},{"arity":3,"count":3540},{"arity":60,"count":120}]
Number of extensional constraints0
Number of intensional constraints60
Distribution of constraint types[{"type":"intension","count":60},{"type":"sum","count":3540},{"type":"count","count":120}]
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.34/0.44	c version: 2017-07-26
0.34/0.44	c seed: 1234972081
0.34/0.44	c timeout: 2520
0.34/0.45	c memlimit: 11000
0.34/0.45	c nbcore: 4
0.34/0.47	c Parsing instance...
3.45/1.55	c Parsing done, starting search...
3.78/1.67	o 2936
4.12/1.72	o 2931
4.12/1.74	o 2905
4.12/1.76	o 2884
4.12/1.79	o 2877
4.44/1.82	o 2864
4.44/1.84	o 2858
4.76/1.95	o 2857
4.76/1.95	o 2853
4.76/1.95	o 2834
4.76/1.95	o 2806
4.76/1.96	o 2790
5.10/2.04	o 2787
5.10/2.06	o 2772
5.10/2.07	o 2747
5.40/2.16	o 2733
10.73/6.99	o 2732
11.38/7.50	o 2730
11.38/7.51	o 2714
11.38/7.52	o 2699
50.92/46.77	o 2691
50.92/46.79	o 2684
214.50/209.83	o 2669
225.98/221.21	o 2656
227.49/222.78	o 2650
380.86/375.26	o 2645
380.86/375.27	o 2639
823.14/815.30	o 2637
823.65/815.85	o 2633
823.65/815.86	o 2629
824.26/816.45	o 2625
848.10/840.16	o 2618
849.20/841.27	o 2614
855.45/847.49	o 2607
1024.84/1015.90	o 2604
1024.95/1016.10	o 2600
1029.27/1020.31	o 2596
1156.56/1146.92	o 2593
1158.28/1148.62	o 2589
1212.41/1202.44	o 2582
1231.33/1221.29	o 2581
1231.63/1221.51	o 2569
1232.25/1222.12	o 2562
1232.44/1222.33	o 2550
1251.36/1241.15	o 2546
2018.77/2004.47	o 2545
2018.87/2004.50	o 2541
2520.09/2503.01	s SATISFIABLE
2520.09/2503.02	v <instantiation>
2520.09/2503.02	v 	<list>
2520.09/2503.02	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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]
2520.09/2503.02	v 	</list>
2520.09/2503.02	v 	<values>
2520.09/2503.02	v 		0 1 0 0 1 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 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 23 67 82 11 84 100 85 27 91 80 85 49 39 81 100 51 61 100 97 61 82 100 26 70 47 31 100 79 43 100 38 45 13 57 35 49 79 100 45 41 73 90 30 98 28 3 12 100 59 52 81 68 72 34 41 32 61 62 50 100 
2520.09/2503.02	v 	</values>
2520.09/2503.02	v </instantiation>

Verifier Data 

OK	2541

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273774-1502757422/watcher-4273774-1502757422 -o /tmp/evaluation-result-4273774-1502757422/solver-4273774-1502757422 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1234972081 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273774-1502757422.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100188 s]*
/proc/loadavg: 1.46 1.34 1.32 3/187 9323
/proc/meminfo: memFree=31620432/32770624 swapFree=67108860/67108860
[pid=9316] ppid=9313 vsize=13440536 memory=15724 CPUtime=0.01 cores=0,2,4,6
/proc/9316/stat : 9316 (java) S 9313 9316 2357 0 -1 1077944320 3774 0 0 0 1 0 0 0 20 0 7 0 3357340 13763108864 3931 18446744073709551615 4194304 4196468 140724830663504 140724830646048 140301222543095 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
/proc/9316/statm: 3360134 3931 2011 1 0 3349631 0
[pid=9316/tid=9319] ppid=9313 vsize=13440536 memory=7078076838863583850 CPUtime=0.01 cores=0,2,4,6
/proc/9316/task/9319/stat : 9319 (java) R 9313 9316 2357 0 -1 4202560 2456 0 0 0 1 0 0 0 20 0 7 0 3357348 13763108864 3931 18446744073709551615 4194304 4196468 140724830663504 140301226785552 140301222565021 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9320] ppid=9313 vsize=13440536 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9320/stat : 9320 (java) S 9313 9316 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 3357349 13763108864 3931 18446744073709551615 4194304 4196468 140724830663504 140301156977296 140301222553301 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9321] ppid=9313 vsize=13440536 memory=140501304854144 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9321/stat : 9321 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 3357349 13763108864 3931 18446744073709551615 4194304 4196468 140724830663504 140301155924496 140301222553301 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9322] ppid=9313 vsize=13440536 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9322/stat : 9322 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 3357349 13763108864 3931 18446744073709551615 4194304 4196468 140724830663504 140301154871696 140301222553301 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9323] ppid=9313 vsize=13440536 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9323/stat : 9323 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 3357349 13763108864 3931 18446744073709551615 4194304 4196468 140724830663504 140301153818896 140301222553301 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9324] ppid=9313 vsize=13440536 memory=140501304854144 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9324/stat : 9324 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 3357350 13763108864 3931 18446744073709551615 4194304 4196468 140724830663504 140300700314480 140301222554242 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 15724 KiB

[startup+0.209783 s]*
/proc/loadavg: 1.46 1.34 1.32 1/192 9334
/proc/meminfo: memFree=31637900/32770624 swapFree=67108860/67108860
[pid=9316] ppid=9313 vsize=13906484 memory=22176 CPUtime=0.06 cores=0,2,4,6
/proc/9316/stat : 9316 (java) S 9313 9316 2357 0 -1 1077944320 5007 0 0 0 5 1 0 0 20 0 14 0 3357340 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140724830646048 140301222543095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
/proc/9316/statm: 3476621 5544 2575 1 0 3466118 0
[pid=9316/tid=9319] ppid=9313 vsize=13906484 memory=7680170660397595203 CPUtime=0.04 cores=0,2,4,6
/proc/9316/task/9319/stat : 9319 (java) D 9313 9316 2357 0 -1 4202560 3115 0 0 0 4 0 0 0 20 0 14 0 3357348 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140301226780576 140301222565117 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9320] ppid=9313 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9320/stat : 9320 (java) S 9313 9316 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 3357349 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140301156977296 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9321] ppid=9313 vsize=13906484 memory=140501304854144 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9321/stat : 9321 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 3357349 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140301155924496 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9322] ppid=9313 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9322/stat : 9322 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 3357349 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140301154871696 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9323] ppid=9313 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9323/stat : 9323 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 3357349 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140301153818896 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9324] ppid=9313 vsize=13906484 memory=140501304854144 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9324/stat : 9324 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 3357350 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140300700314480 140301222554242 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9325] ppid=9313 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9325/stat : 9325 (java) S 9313 9316 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 3357351 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140300699260448 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9326] ppid=9313 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9326/stat : 9326 (java) S 9313 9316 2357 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 14 0 3357351 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140300698207600 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9327] ppid=9313 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9327/stat : 9327 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 3357354 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140300697155920 140301222561691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9328] ppid=9313 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9328/stat : 9328 (java) S 9313 9316 2357 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 14 0 3357354 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140300696103280 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9329] ppid=9313 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9329/stat : 9329 (java) S 9313 9316 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 3357354 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140300695050480 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9330] ppid=9313 vsize=13906484 memory=140501304854144 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9330/stat : 9330 (java) S 9313 9316 2357 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 14 0 3357354 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140300693997680 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9331] ppid=9313 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9331/stat : 9331 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 3357354 14240239616 5544 18446744073709551615 4194304 4196468 140724830663504 140300692945120 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 22176 KiB

[startup+0.309736 s]*
/proc/loadavg: 1.46 1.34 1.32 4/192 9335
/proc/meminfo: memFree=31621128/32770624 swapFree=67108860/67108860
[pid=9316] ppid=9313 vsize=13975920 memory=36932 CPUtime=0.17 cores=0,2,4,6
/proc/9316/stat : 9316 (java) S 9313 9316 2357 0 -1 1077944320 9847 0 0 0 14 3 0 0 20 0 15 0 3357340 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140724830646048 140301222543095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
/proc/9316/statm: 3493980 9233 3514 1 0 3482759 0
[pid=9316/tid=9319] ppid=9313 vsize=13975920 memory=7078086954470226784 CPUtime=0.12 cores=0,2,4,6
/proc/9316/task/9319/stat : 9319 (java) R 9313 9316 2357 0 -1 4202560 7626 0 0 0 10 2 0 0 20 0 15 0 3357348 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140301226763872 140301222565021 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9320] ppid=9313 vsize=13975920 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9320/stat : 9320 (java) S 9313 9316 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3357349 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140301156977296 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9321] ppid=9313 vsize=13975920 memory=7100839852926015589 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9321/stat : 9321 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3357349 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140301155924496 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9322] ppid=9313 vsize=13975920 memory=-6949179150270506172 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9322/stat : 9322 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3357349 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140301154871696 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9323] ppid=9313 vsize=13975920 memory=1404226546285716876 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9323/stat : 9323 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3357349 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140301153818896 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9324] ppid=9313 vsize=13975920 memory=7077796292270897506 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9324/stat : 9324 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3357350 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140300700314480 140301222554242 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9325] ppid=9313 vsize=13975920 memory=140501304854144 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9325/stat : 9325 (java) S 9313 9316 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3357351 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140300699260448 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9326] ppid=9313 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9326/stat : 9326 (java) S 9313 9316 2357 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3357351 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140300698207600 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9327] ppid=9313 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9327/stat : 9327 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140300697155920 140301222561691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9328] ppid=9313 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9328/stat : 9328 (java) S 9313 9316 2357 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 3357354 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140300696103280 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9329] ppid=9313 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9329/stat : 9329 (java) S 9313 9316 2357 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 3357354 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140300695050480 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9330] ppid=9313 vsize=13975920 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9316/task/9330/stat : 9330 (java) R 9313 9316 2357 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 3357354 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140300693997680 140301206724798 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9331] ppid=9313 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9331/stat : 9331 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140300692945120 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9335] ppid=9313 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9335/stat : 9335 (java) S 9313 9316 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3357364 14311342080 9233 18446744073709551615 4194304 4196468 140724830663504 140300691893424 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 36932 KiB

[startup+0.700714 s]
/proc/loadavg: 1.46 1.34 1.32 3/192 9344
/proc/meminfo: memFree=31613992/32770624 swapFree=67108860/67108860
[pid=9316] ppid=9313 vsize=13977988 memory=65316 CPUtime=0.91 cores=0,2,4,6
/proc/9316/stat : 9316 (java) S 9313 9316 2357 0 -1 1077944320 13538 0 0 0 87 4 0 0 20 0 15 0 3357340 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140724830646048 140301222543095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
/proc/9316/statm: 3494497 16329 3718 1 0 3483271 0
[pid=9316/tid=9319] ppid=9313 vsize=13977988 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/9316/task/9319/stat : 9319 (java) R 9313 9316 2357 0 -1 4202560 10256 0 0 0 46 3 0 0 20 0 15 0 3357348 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140301226779024 140300827904723 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9320] ppid=9313 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9320/stat : 9320 (java) S 9313 9316 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3357349 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140301156977296 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9321] ppid=9313 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9321/stat : 9321 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3357349 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140301155924496 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9322] ppid=9313 vsize=13977988 memory=8320808402719684661 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9322/stat : 9322 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3357349 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140301154871696 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9323] ppid=9313 vsize=13977988 memory=148 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9323/stat : 9323 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3357349 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140301153818896 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9324] ppid=9313 vsize=13977988 memory=288230604624101684 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9324/stat : 9324 (java) S 9313 9316 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3357350 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140300700314480 140301222554242 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9325] ppid=9313 vsize=13977988 memory=288285571732997556 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9325/stat : 9325 (java) S 9313 9316 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3357351 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140300699260448 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9326] ppid=9313 vsize=13977988 memory=792 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9326/stat : 9326 (java) S 9313 9316 2357 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3357351 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140300698207600 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9327] ppid=9313 vsize=13977988 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9327/stat : 9327 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140300697155920 140301222561691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9328] ppid=9313 vsize=13977988 memory=2008 CPUtime=0.12 cores=0,2,4,6
/proc/9316/task/9328/stat : 9328 (java) S 9313 9316 2357 0 -1 1077944384 764 0 0 0 12 0 0 0 20 0 15 0 3357354 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140300696103280 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9329] ppid=9313 vsize=13977988 memory=8676 CPUtime=0.09 cores=0,2,4,6
/proc/9316/task/9329/stat : 9329 (java) S 9313 9316 2357 0 -1 1077944384 409 0 0 0 9 0 0 0 20 0 15 0 3357354 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140300695050480 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9330] ppid=9313 vsize=13977988 memory=1200 CPUtime=0.18 cores=0,2,4,6
/proc/9316/task/9330/stat : 9330 (java) R 9313 9316 2357 0 -1 4202560 725 0 0 0 18 0 0 0 20 0 15 0 3357354 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140300693994616 140301222556959 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9331] ppid=9313 vsize=13977988 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9331/stat : 9331 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140300692945120 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9335] ppid=9313 vsize=13977988 memory=4016 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9335/stat : 9335 (java) S 9313 9316 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3357364 14313459712 16329 18446744073709551615 4194304 4196468 140724830663504 140300691893424 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 65316 KiB

[startup+1.50066 s]
/proc/loadavg: 1.46 1.34 1.32 5/192 9347
/proc/meminfo: memFree=31552940/32770624 swapFree=67108860/67108860
[pid=9316] ppid=9313 vsize=13980036 memory=180904 CPUtime=3.45 cores=0,2,4,6
/proc/9316/stat : 9316 (java) S 9313 9316 2357 0 -1 1077944320 27979 0 0 0 335 10 0 0 20 0 15 0 3357340 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140724830646048 140301222543095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
/proc/9316/statm: 3495009 45226 3768 1 0 3483783 0
[pid=9316/tid=9319] ppid=9313 vsize=13980036 memory=281002396407792 CPUtime=1.29 cores=0,2,4,6
/proc/9316/task/9319/stat : 9319 (java) R 9313 9316 2357 0 -1 4202560 15343 0 0 0 122 7 0 0 20 0 15 0 3357348 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140301226773824 140300827831578 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9320] ppid=9313 vsize=13980036 memory=80101140089048 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9320/stat : 9320 (java) S 9313 9316 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3357349 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140301156977296 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9321] ppid=9313 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9321/stat : 9321 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3357349 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140301155924496 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9322] ppid=9313 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9322/stat : 9322 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3357349 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140301154871696 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9323] ppid=9313 vsize=13980036 memory=6459630814404 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9323/stat : 9323 (java) S 9313 9316 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3357349 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140301153818896 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9324] ppid=9313 vsize=13980036 memory=288230604624101684 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9324/stat : 9324 (java) S 9313 9316 2357 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 3357350 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140300700314480 140301222554242 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9325] ppid=9313 vsize=13980036 memory=288285571732997556 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9325/stat : 9325 (java) S 9313 9316 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3357351 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140300699260448 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9326] ppid=9313 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9326/stat : 9326 (java) S 9313 9316 2357 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3357351 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140300698207600 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9327] ppid=9313 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9327/stat : 9327 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140300697155920 140301222561691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9328] ppid=9313 vsize=13980036 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/9316/task/9328/stat : 9328 (java) R 9313 9316 2357 0 -1 4202560 3925 0 0 0 79 0 0 0 20 0 15 0 3357354 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140300696102176 140301215642942 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9329] ppid=9313 vsize=13980036 memory=7680170660397595203 CPUtime=0.73 cores=0,2,4,6
/proc/9316/task/9329/stat : 9329 (java) S 9313 9316 2357 0 -1 1077944384 3337 0 0 0 73 0 0 0 20 0 15 0 3357354 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140300695050480 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9330] ppid=9313 vsize=13980036 memory=3841 CPUtime=0.6 cores=0,2,4,6
/proc/9316/task/9330/stat : 9330 (java) R 9313 9316 2357 0 -1 4202560 3975 0 0 0 60 0 0 0 20 0 15 0 3357354 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140300693993624 140301201499433 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9331] ppid=9313 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9331/stat : 9331 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140300692945120 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9335] ppid=9313 vsize=13980036 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9335/stat : 9335 (java) S 9313 9316 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3357364 14315556864 45226 18446744073709551615 4194304 4196468 140724830663504 140300691893424 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 13980036 KiB

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

/proc/9316/task/9319/stat : 9319 (java) R 9313 9316 2357 0 -1 4202560 40176 0 0 0 237285 23 0 0 20 0 15 0 3357348 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140301226781648 140301207784369 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9320] ppid=9313 vsize=13982084 memory=772080 CPUtime=4.34 cores=0,2,4,6
/proc/9316/task/9320/stat : 9320 (java) S 9313 9316 2357 0 -1 1077944384 3965 0 0 0 408 26 0 0 20 0 15 0 3357349 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140301156977296 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9321] ppid=9313 vsize=13982084 memory=772080 CPUtime=4.36 cores=0,2,4,6
/proc/9316/task/9321/stat : 9321 (java) S 9313 9316 2357 0 -1 1077944384 6836 0 0 0 412 24 0 0 20 0 15 0 3357349 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140301155924496 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9322] ppid=9313 vsize=13982084 memory=772080 CPUtime=4.36 cores=0,2,4,6
/proc/9316/task/9322/stat : 9322 (java) S 9313 9316 2357 0 -1 1077944384 7118 0 0 0 411 25 0 0 20 0 15 0 3357349 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140301154871696 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9323] ppid=9313 vsize=13982084 memory=772080 CPUtime=4.34 cores=0,2,4,6
/proc/9316/task/9323/stat : 9323 (java) S 9313 9316 2357 0 -1 1077944384 8131 0 0 0 410 24 0 0 20 0 15 0 3357349 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140301153818896 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9324] ppid=9313 vsize=13982084 memory=772080 CPUtime=2.7 cores=0,2,4,6
/proc/9316/task/9324/stat : 9324 (java) S 9313 9316 2357 0 -1 1077944384 8976 0 0 0 253 17 0 0 20 0 15 0 3357350 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140300700314480 140301222554242 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9325] ppid=9313 vsize=13982084 memory=772080 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9325/stat : 9325 (java) S 9313 9316 2357 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3357351 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140300699260512 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9326] ppid=9313 vsize=13982084 memory=772080 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9326/stat : 9326 (java) S 9313 9316 2357 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3357351 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140300698207616 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9327] ppid=9313 vsize=13982084 memory=772080 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9327/stat : 9327 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140300697155920 140301222561691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9328] ppid=9313 vsize=13982084 memory=772080 CPUtime=1.75 cores=0,2,4,6
/proc/9316/task/9328/stat : 9328 (java) S 9313 9316 2357 0 -1 1077944384 7869 0 0 0 173 2 0 0 20 0 15 0 3357354 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140300696103280 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9329] ppid=9313 vsize=13982084 memory=772080 CPUtime=1.47 cores=0,2,4,6
/proc/9316/task/9329/stat : 9329 (java) S 9313 9316 2357 0 -1 1077944384 6104 0 0 0 145 2 0 0 20 0 15 0 3357354 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140300695050480 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9330] ppid=9313 vsize=13982084 memory=4104 CPUtime=0.82 cores=0,2,4,6
/proc/9316/task/9330/stat : 9330 (java) S 9313 9316 2357 0 -1 1077944384 6981 0 0 0 81 1 0 0 20 0 15 0 3357354 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140300693997680 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9331] ppid=9313 vsize=13982084 memory=7036 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9331/stat : 9331 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140300692945120 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9335] ppid=9313 vsize=13982084 memory=772080 CPUtime=1.35 cores=0,2,4,6
/proc/9316/task/9335/stat : 9335 (java) S 9313 9316 2357 0 -1 1077944384 971 0 0 0 64 71 0 0 20 0 15 0 3357364 14317654016 193020 18446744073709551615 4194304 4196468 140724830663504 140300691893424 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
Current children cumulated CPU time: 2398.69 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 772080 KiB

[startup+2442.3 s]
/proc/loadavg: 1.46 1.42 1.37 3/210 9546
/proc/meminfo: memFree=30675168/32770624 swapFree=67108860/67108860
[pid=9316] ppid=9313 vsize=13982084 memory=774128 CPUtime=2459.04 cores=0,2,4,6
/proc/9316/stat : 9316 (java) S 9313 9316 2357 0 -1 1077944320 99521 0 0 0 245713 191 0 0 20 0 15 0 3357340 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140724830646048 140301222543095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
/proc/9316/statm: 3495521 193532 3806 1 0 3484295 0
[pid=9316/tid=9319] ppid=9313 vsize=13982084 memory=774128 CPUtime=2432.83 cores=0,2,4,6
/proc/9316/task/9319/stat : 9319 (java) R 9313 9316 2357 0 -1 4202560 40618 0 0 0 243260 23 0 0 20 0 15 0 3357348 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140301226781648 140300828878307 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9320] ppid=9313 vsize=13982084 memory=7680170660397595203 CPUtime=4.47 cores=0,2,4,6
/proc/9316/task/9320/stat : 9320 (java) S 9313 9316 2357 0 -1 1077944384 4039 0 0 0 420 27 0 0 20 0 15 0 3357349 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140301156977296 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9321] ppid=9313 vsize=13982084 memory=774128 CPUtime=4.49 cores=0,2,4,6
/proc/9316/task/9321/stat : 9321 (java) S 9313 9316 2357 0 -1 1077944384 6965 0 0 0 424 25 0 0 20 0 15 0 3357349 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140301155924496 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9322] ppid=9313 vsize=13982084 memory=774128 CPUtime=4.49 cores=0,2,4,6
/proc/9316/task/9322/stat : 9322 (java) S 9313 9316 2357 0 -1 1077944384 7161 0 0 0 423 26 0 0 20 0 15 0 3357349 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140301154871696 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9323] ppid=9313 vsize=13982084 memory=774128 CPUtime=4.46 cores=0,2,4,6
/proc/9316/task/9323/stat : 9323 (java) S 9313 9316 2357 0 -1 1077944384 8210 0 0 0 421 25 0 0 20 0 15 0 3357349 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140301153818896 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9324] ppid=9313 vsize=13982084 memory=774128 CPUtime=2.78 cores=0,2,4,6
/proc/9316/task/9324/stat : 9324 (java) S 9313 9316 2357 0 -1 1077944384 9155 0 0 0 260 18 0 0 20 0 15 0 3357350 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140300700314480 140301222554242 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9325] ppid=9313 vsize=13982084 memory=774128 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9325/stat : 9325 (java) S 9313 9316 2357 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3357351 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140300699260512 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9326] ppid=9313 vsize=13982084 memory=774128 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9326/stat : 9326 (java) S 9313 9316 2357 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3357351 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140300698207616 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9327] ppid=9313 vsize=13982084 memory=774128 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9327/stat : 9327 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140300697155920 140301222561691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9328] ppid=9313 vsize=13982084 memory=774128 CPUtime=1.75 cores=0,2,4,6
/proc/9316/task/9328/stat : 9328 (java) S 9313 9316 2357 0 -1 1077944384 7871 0 0 0 173 2 0 0 20 0 15 0 3357354 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140300696103280 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9329] ppid=9313 vsize=13982084 memory=774128 CPUtime=1.47 cores=0,2,4,6
/proc/9316/task/9329/stat : 9329 (java) S 9313 9316 2357 0 -1 1077944384 6106 0 0 0 145 2 0 0 20 0 15 0 3357354 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140300695050480 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9330] ppid=9313 vsize=13982084 memory=774128 CPUtime=0.82 cores=0,2,4,6
/proc/9316/task/9330/stat : 9330 (java) S 9313 9316 2357 0 -1 1077944384 6984 0 0 0 81 1 0 0 20 0 15 0 3357354 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140300693997680 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9331] ppid=9313 vsize=13982084 memory=774128 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9331/stat : 9331 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140300692945120 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9335] ppid=9313 vsize=13982084 memory=774128 CPUtime=1.39 cores=0,2,4,6
/proc/9316/task/9335/stat : 9335 (java) S 9313 9316 2357 0 -1 1077944384 989 0 0 0 66 73 0 0 20 0 15 0 3357364 14317654016 193532 18446744073709551615 4194304 4196468 140724830663504 140300691893424 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
Current children cumulated CPU time: 2459.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 774128 KiB

[startup+2502.3 s]
/proc/loadavg: 1.24 1.36 1.35 3/210 9548
/proc/meminfo: memFree=30673192/32770624 swapFree=67108860/67108860
[pid=9316] ppid=9313 vsize=13982084 memory=776176 CPUtime=2519.37 cores=0,2,4,6
/proc/9316/stat : 9316 (java) S 9313 9316 2357 0 -1 1077944320 100538 0 0 0 251742 195 0 0 20 0 15 0 3357340 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140724830646048 140301222543095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
/proc/9316/statm: 3495521 194044 3806 1 0 3484295 0
[pid=9316/tid=9319] ppid=9313 vsize=13982084 memory=776176 CPUtime=2492.58 cores=0,2,4,6
/proc/9316/task/9319/stat : 9319 (java) R 9313 9316 2357 0 -1 4202560 41066 0 0 0 249234 24 0 0 20 0 15 0 3357348 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140301226781664 140300836594663 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9320] ppid=9313 vsize=13982084 memory=776176 CPUtime=4.58 cores=0,2,4,6
/proc/9316/task/9320/stat : 9320 (java) S 9313 9316 2357 0 -1 1077944384 4086 0 0 0 431 27 0 0 20 0 15 0 3357349 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140301156977296 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9321] ppid=9313 vsize=13982084 memory=774128 CPUtime=4.61 cores=0,2,4,6
/proc/9316/task/9321/stat : 9321 (java) S 9313 9316 2357 0 -1 1077944384 7031 0 0 0 436 25 0 0 20 0 15 0 3357349 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140301155924496 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9322] ppid=9313 vsize=13982084 memory=776176 CPUtime=4.6 cores=0,2,4,6
/proc/9316/task/9322/stat : 9322 (java) S 9313 9316 2357 0 -1 1077944384 7301 0 0 0 434 26 0 0 20 0 15 0 3357349 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140301154871696 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9323] ppid=9313 vsize=13982084 memory=776176 CPUtime=4.58 cores=0,2,4,6
/proc/9316/task/9323/stat : 9323 (java) S 9313 9316 2357 0 -1 1077944384 8330 0 0 0 432 26 0 0 20 0 15 0 3357349 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140301153818896 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9324] ppid=9313 vsize=13982084 memory=776176 CPUtime=2.86 cores=0,2,4,6
/proc/9316/task/9324/stat : 9324 (java) S 9313 9316 2357 0 -1 1077944384 9330 0 0 0 267 19 0 0 20 0 15 0 3357350 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300700314480 140301222554242 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9325] ppid=9313 vsize=13982084 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9325/stat : 9325 (java) S 9313 9316 2357 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3357351 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300699260512 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9326] ppid=9313 vsize=13982084 memory=164 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9326/stat : 9326 (java) S 9313 9316 2357 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3357351 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300698207616 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9327] ppid=9313 vsize=13982084 memory=776176 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9327/stat : 9327 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300697155920 140301222561691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9328] ppid=9313 vsize=13982084 memory=776176 CPUtime=1.75 cores=0,2,4,6
/proc/9316/task/9328/stat : 9328 (java) S 9313 9316 2357 0 -1 1077944384 7873 0 0 0 173 2 0 0 20 0 15 0 3357354 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300696103280 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9329] ppid=9313 vsize=13982084 memory=776176 CPUtime=1.47 cores=0,2,4,6
/proc/9316/task/9329/stat : 9329 (java) S 9313 9316 2357 0 -1 1077944384 6108 0 0 0 145 2 0 0 20 0 15 0 3357354 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300695050480 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9330] ppid=9313 vsize=13982084 memory=4104 CPUtime=0.82 cores=0,2,4,6
/proc/9316/task/9330/stat : 9330 (java) S 9313 9316 2357 0 -1 1077944384 6986 0 0 0 81 1 0 0 20 0 15 0 3357354 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300693997680 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9331] ppid=9313 vsize=13982084 memory=7036 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9331/stat : 9331 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300692945120 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9335] ppid=9313 vsize=13982084 memory=776176 CPUtime=1.42 cores=0,2,4,6
/proc/9316/task/9335/stat : 9335 (java) S 9313 9316 2357 0 -1 1077944384 1004 0 0 0 68 74 0 0 20 0 15 0 3357364 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300691893424 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
Current children cumulated CPU time: 2519.37 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 776176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2503 s]*
/proc/loadavg: 1.24 1.36 1.35 3/210 9548
/proc/meminfo: memFree=30673316/32770624 swapFree=67108860/67108860
[pid=9316] ppid=9313 vsize=13982084 memory=776176 CPUtime=2520.09 cores=0,2,4,6
/proc/9316/stat : 9316 (java) S 9313 9316 2357 0 -1 1077944320 100539 0 0 0 251814 195 0 0 20 0 15 0 3357340 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140724830646048 140301222543095 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
/proc/9316/statm: 3495521 194044 3806 1 0 3484295 0
[pid=9316/tid=9319] ppid=9313 vsize=13982084 memory=7668954370464627011 CPUtime=2493.29 cores=0,2,4,6
/proc/9316/task/9319/stat : 9319 (java) R 9313 9316 2357 0 -1 4202560 41067 0 0 0 249305 24 0 0 20 0 15 0 3357348 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140301226781536 140300836501321 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9320] ppid=9313 vsize=13982084 memory=1592 CPUtime=4.59 cores=0,2,4,6
/proc/9316/task/9320/stat : 9320 (java) S 9313 9316 2357 0 -1 1077944384 4086 0 0 0 432 27 0 0 20 0 15 0 3357349 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140301156977296 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9321] ppid=9313 vsize=13982084 memory=932 CPUtime=4.61 cores=0,2,4,6
/proc/9316/task/9321/stat : 9321 (java) S 9313 9316 2357 0 -1 1077944384 7031 0 0 0 436 25 0 0 20 0 15 0 3357349 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140301155924496 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9322] ppid=9313 vsize=13982084 memory=2164 CPUtime=4.6 cores=0,2,4,6
/proc/9316/task/9322/stat : 9322 (java) S 9313 9316 2357 0 -1 1077944384 7301 0 0 0 434 26 0 0 20 0 15 0 3357349 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140301154871696 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9323] ppid=9313 vsize=13982084 memory=7668954370464627011 CPUtime=4.58 cores=0,2,4,6
/proc/9316/task/9323/stat : 9323 (java) S 9313 9316 2357 0 -1 1077944384 8330 0 0 0 432 26 0 0 20 0 15 0 3357349 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140301153818896 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9324] ppid=9313 vsize=13982084 memory=3900 CPUtime=2.86 cores=0,2,4,6
/proc/9316/task/9324/stat : 9324 (java) S 9313 9316 2357 0 -1 1077944384 9330 0 0 0 267 19 0 0 20 0 15 0 3357350 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300700314480 140301222554242 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9325] ppid=9313 vsize=13982084 memory=2760 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9325/stat : 9325 (java) S 9313 9316 2357 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 3357351 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300699260512 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9326] ppid=9313 vsize=13982084 memory=2760 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9326/stat : 9326 (java) S 9313 9316 2357 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3357351 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300698207616 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9327] ppid=9313 vsize=13982084 memory=4072 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9327/stat : 9327 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300697155920 140301222561691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9328] ppid=9313 vsize=13982084 memory=1152 CPUtime=1.75 cores=0,2,4,6
/proc/9316/task/9328/stat : 9328 (java) S 9313 9316 2357 0 -1 1077944384 7873 0 0 0 173 2 0 0 20 0 15 0 3357354 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300696103280 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9329] ppid=9313 vsize=13982084 memory=3128 CPUtime=1.47 cores=0,2,4,6
/proc/9316/task/9329/stat : 9329 (java) S 9313 9316 2357 0 -1 1077944384 6108 0 0 0 145 2 0 0 20 0 15 0 3357354 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300695050480 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9330] ppid=9313 vsize=13982084 memory=776176 CPUtime=0.82 cores=0,2,4,6
/proc/9316/task/9330/stat : 9330 (java) S 9313 9316 2357 0 -1 1077944384 6986 0 0 0 81 1 0 0 20 0 15 0 3357354 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300693997680 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9331] ppid=9313 vsize=13982084 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/9316/task/9331/stat : 9331 (java) S 9313 9316 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3357354 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300692945120 140301222553301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
[pid=9316/tid=9335] ppid=9313 vsize=13982084 memory=3064 CPUtime=1.42 cores=0,2,4,6
/proc/9316/task/9335/stat : 9335 (java) S 9313 9316 2357 0 -1 1077944384 1004 0 0 0 68 74 0 0 20 0 15 0 3357364 14317654016 194044 18446744073709551615 4194304 4196468 140724830663504 140300691893424 140301222554242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11665408 140724830671217 140724830671404 140724830671404 140724830674895 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 776176 KiB

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

[startup+2503.04 s]
# the end of solver process 9316 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.18 s, system=1.96217 s

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

Child status: 143
Real time (s): 2503.04
CPU time (s): 2520.14
CPU user time (s): 2518.18
CPU system time (s): 1.96217
CPU usage (%): 100.683
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 776176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.18
system time used= 1.96217
maximum resident set size= 776760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131007
involuntary context switches= 6410


# summary of solver processes directly reported to runsolver:
#   pid: 9316
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2518.18
#   total CPU system time (s): 1.96217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5823 second user time and 22.6133 second system time

The end

Launcher Data 

Begin job on node129 at 2017-08-15 02:23:07
IDJOB=4273774
IDBENCH=124394
IDSOLVER=2666
FILE ID=node129/4273774-1502757422
RUNJOBID= node129-1502746532-7259
PBS_JOBID= 
Free space on /tmp= 61972 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n61-k9.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273774-1502757422/watcher-4273774-1502757422 -o /tmp/evaluation-result-4273774-1502757422/solver-4273774-1502757422 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1234972081 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273774-1502757422.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4ab7546591ba88ff6acec2aa7538cbc2
RANDOM SEED=1234972081

node129.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.61
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.61
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.61
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.61
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:        31638484 kB
MemAvailable:   32019688 kB
Buffers:          106492 kB
Cached:           556048 kB
SwapCached:            0 kB
Active:           394252 kB
Inactive:         333808 kB
Active(anon):      66084 kB
Inactive(anon):     8552 kB
Active(file):     328168 kB
Inactive(file):   325256 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42344 kB
Writeback:             0 kB
AnonPages:         61376 kB
Mapped:            38368 kB
Shmem:              8868 kB
Slab:             111132 kB
SReclaimable:      87232 kB
SUnreclaim:        23900 kB
KernelStack:        3216 kB
PageTables:         4868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1229772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61932 MiB
End job on node129 at 2017-08-15 03:04:50