Trace number 4254881

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
choco-solver 4.0.5 par (2017-07-26)SAT (TO)1840 1920.62 251.95

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n68-k9.xml
MD5SUMd46243a0c717d56f47be278be902a17a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1388
Best CPU time to get the best result obtained on this benchmark251.92799
Satisfiable
(Un)Satisfiability was proved
Number of variables4692
Number of constraints4623
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":68},{"size":2,"count":4556},{"size":101,"count":67}]
Minimum variable degree0
Maximum variable degree133
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":68},{"degree":2,"count":134},{"degree":4,"count":4422},{"degree":133,"count":67}]
Minimum constraint arity1
Maximum constraint arity67
Distribution of constraint arities[{"arity":1,"count":67},{"arity":3,"count":4422},{"arity":67,"count":134}]
Number of extensional constraints0
Number of intensional constraints67
Distribution of constraint types[{"type":"intension","count":67},{"type":"sum","count":4422},{"type":"count","count":134}]
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.00/0.08	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254881-1501684162.xml"  -tl '1920s' -p 8 -x 0
0.00/0.25	c [HOME/instance-4254881-1501684162.xml, -tl, 1920s, -p, 8, -x, 0]
0.00/0.31	c 8 solvers in parallel
0.00/0.38	c parse instance...
5.15/1.69	c solve instance...
6.74/1.97	o 7860 
7.49/2.01	o 7822 
7.49/2.03	o 7817 
7.49/2.04	o 7784 
7.49/2.05	o 7747 
7.49/2.07	o 4343 
23.21/4.04	o 4271 
28.73/4.80	o 4228 
32.25/5.22	o 4160 
37.86/6.00	o 3846 
38.20/6.06	o 3778 
48.25/7.31	o 3763 
49.83/7.57	o 3759 
51.13/7.78	o 3424 
51.13/7.80	o 3380 
51.42/7.88	o 3370 
52.09/7.94	o 3357 
52.31/8.07	o 3355 
82.68/11.96	o 3169 
82.68/11.96	o 3099 
377.90/49.08	o 3027 
378.11/49.12	o 3024 
378.11/49.17	o 3015 
566.86/72.85	o 2766 
652.21/83.50	o 2734 
679.28/86.94	o 2694 
679.28/86.96	o 2604 
720.33/92.21	o 2115 
724.14/94.95	o 1929 
727.18/97.19	o 1906 
729.62/98.70	o 1881 
733.22/101.58	o 1865 
736.37/103.54	o 1840 
1920.62/251.98	s SATISFIABLE
1920.62/251.98	v <instantiation>
1920.62/251.98	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[12][65] x[12][66] x[12][67] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[13][65] x[13][66] x[13][67] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[14][65] x[14][66] x[14][67] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[15][65] x[15][66] x[15][67] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[16][65] x[16][66] x[16][67] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[17][65] x[17][66] x[17][67] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[18][65] x[18][66] x[18][67] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[19][65] x[19][66] x[19][67] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[20][65] x[20][66] x[20][67] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[21][65] x[21][66] x[21][67] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[22][65] x[22][66] x[22][67] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[23][65] x[23][66] x[23][67] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[24][65] x[24][66] x[24][67] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[25][65] x[25][66] x[25][67] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[26][65] x[26][66] x[26][67] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[27][65] x[27][66] x[27][67] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[28][65] x[28][66] x[28][67] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[29][65] x[29][66] x[29][67] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[30][65] x[30][66] x[30][67] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[31][65] x[31][66] x[31][67] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[32][65] x[32][66] x[32][67] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[33][65] x[33][66] x[33][67] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[34][65] x[34][66] x[34][67] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[35][65] x[35][66] x[35][67] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[36][65] x[36][66] x[36][67] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[37][65] x[37][66] x[37][67] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[38][65] x[38][66] x[38][67] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[39][65] x[39][66] x[39][67] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[40][65] x[40][66] x[40][67] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[41][65] x[41][66] x[41][67] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[42][65] x[42][66] x[42][67] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[43][65] x[43][66] x[43][67] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[44][65] x[44][66] x[44][67] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[45][65] x[45][66] x[45][67] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[46][65] x[46][66] x[46][67] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[47][65] x[47][66] x[47][67] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[48][65] x[48][66] x[48][67] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[49][65] x[49][66] x[49][67] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[50][65] x[50][66] x[50][67] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[51][65] x[51][66] x[51][67] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[52][65] x[52][66] x[52][67] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[53][65] x[53][66] x[53][67] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[54][65] x[54][66] x[54][67] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[55][65] x[55][66] x[55][67] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[56][65] x[56][66] x[56][67] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[57][65] x[57][66] x[57][67] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[58][65] x[58][66] x[58][67] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[59][65] x[59][66] x[59][67] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[60][65] x[60][66] x[60][67] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[61][65] x[61][66] x[61][67] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[62][65] x[62][66] x[62][67] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[63][65] x[63][66] x[63][67] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] x[64][65] x[64][66] x[64][67] x[65][0] x[65][1] x[65][2] x[65][3] x[65][4] x[65][5] x[65][6] x[65][7] x[65][8] x[65][9] x[65][10] x[65][11] x[65][12] x[65][13] x[65][14] x[65][15] x[65][16] x[65][17] x[65][18] x[65][19] x[65][20] x[65][21] x[65][22] x[65][23] x[65][24] x[65][25] x[65][26] x[65][27] x[65][28] x[65][29] x[65][30] x[65][31] x[65][32] x[65][33] x[65][34] x[65][35] x[65][36] x[65][37] x[65][38] x[65][39] x[65][40] x[65][41] x[65][42] x[65][43] x[65][44] x[65][45] x[65][46] x[65][47] x[65][48] x[65][49] x[65][50] x[65][51] x[65][52] x[65][53] x[65][54] x[65][55] x[65][56] x[65][57] x[65][58] x[65][59] x[65][60] x[65][61] x[65][62] x[65][63] x[65][64] x[65][65] x[65][66] x[65][67] x[66][0] x[66][1] x[66][2] x[66][3] x[66][4] x[66][5] x[66][6] x[66][7] x[66][8] x[66][9] x[66][10] x[66][11] x[66][12] x[66][13] x[66][14] x[66][15] x[66][16] x[66][17] x[66][18] x[66][19] x[66][20] x[66][21] x[66][22] x[66][23] x[66][24] x[66][25] x[66][26] x[66][27] x[66][28] x[66][29] x[66][30] x[66][31] x[66][32] x[66][33] x[66][34] x[66][35] x[66][36] x[66][37] x[66][38] x[66][39] x[66][40] x[66][41] x[66][42] x[66][43] x[66][44] x[66][45] x[66][46] x[66][47] x[66][48] x[66][49] x[66][50] x[66][51] x[66][52] x[66][53] x[66][54] x[66][55] x[66][56] x[66][57] x[66][58] x[66][59] x[66][60] x[66][61] x[66][62] x[66][63] x[66][64] x[66][65] x[66][66] x[66][67] x[67][0] x[67][1] x[67][2] x[67][3] x[67][4] x[67][5] x[67][6] x[67][7] x[67][8] x[67][9] x[67][10] x[67][11] x[67][12] x[67][13] x[67][14] x[67][15] x[67][16] x[67][17] x[67][18] x[67][19] x[67][20] x[67][21] x[67][22] x[67][23] x[67][24] x[67][25] x[67][26] x[67][27] x[67][28] x[67][29] x[67][30] x[67][31] x[67][32] x[67][33] x[67][34] x[67][35] x[67][36] x[67][37] x[67][38] x[67][39] x[67][40] x[67][41] x[67][42] x[67][43] x[67][44] x[67][45] x[67][46] x[67][47] x[67][48] x[67][49] x[67][50] x[67][51] x[67][52] x[67][53] x[67][54] x[67][55] x[67][56] x[67][57] x[67][58] x[67][59] x[67][60] x[67][61] x[67][62] x[67][63] x[67][64] x[67][65] x[67][66] x[67][67] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] u[65] u[66] u[67] </list>
1920.62/251.98	v 	<values>0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 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 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 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 12 4 74 27 50 42 68 100 95 72 17 74 45 9 100 86 44 23 67 89 21 46 100 82 67 36 65 39 100 100 98 10 100 44 84 17 26 27 57 51 78 6 100 46 75 15 44 36 92 55 61 52 77 64 98 94 12 30 15 100 28 48 31 92 24 84 35 </values>
1920.62/251.98	v </instantiation>
1920.62/251.98	c Unexpected resolution interruption!

Verifier Data 

OK	1840

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254881-1501684162/watcher-4254881-1501684162 -o /tmp/evaluation-result-4254881-1501684162/solver-4254881-1501684162 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 64009640 HOME/instance-4254881-1501684162.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.51 8.10 7.52 2/172 17595
/proc/meminfo: memFree=31804176/32770624 swapFree=0/302548
[pid=17595] ppid=17592 vsize=23672 CPUtime=0 cores=0-7
/proc/17595/stat : 17595 (runsolver) D 17592 17595 2334 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 2243270 24240128 106 18446744073709551615 4194304 4338465 140730792831904 140730792829544 140255330120407 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 36798464 140730792837207 140730792837701 140730792837701 140730792841162 0
/proc/17595/statm: 5918 106 53 36 0 2156 0

[startup+0.100135 s]
/proc/loadavg: 8.51 8.10 7.52 2/172 17595
/proc/meminfo: memFree=31804176/32770624 swapFree=0/302548
[pid=17595] ppid=17592 vsize=9512 CPUtime=0 cores=0-7
/proc/17595/stat : 17595 (xcsp3-exec) S 17592 17595 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2243270 9740288 344 18446744073709551615 4194304 5098028 140735277054928 140735277053032 140097201595004 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12636160 140735277060502 140735277060710 140735277060710 140735277064171 0
/proc/17595/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200388 s]
/proc/loadavg: 8.51 8.10 7.52 2/172 17595
/proc/meminfo: memFree=31804176/32770624 swapFree=0/302548
[pid=17595] ppid=17592 vsize=9512 CPUtime=0 cores=0-7
/proc/17595/stat : 17595 (xcsp3-exec) S 17592 17595 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2243270 9740288 344 18446744073709551615 4194304 5098028 140735277054928 140735277053032 140097201595004 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12636160 140735277060502 140735277060710 140735277060710 140735277064171 0
/proc/17595/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300338 s]
/proc/loadavg: 8.51 8.10 7.52 2/172 17595
/proc/meminfo: memFree=31804176/32770624 swapFree=0/302548
[pid=17595] ppid=17592 vsize=9512 CPUtime=0 cores=0-7
/proc/17595/stat : 17595 (xcsp3-exec) S 17592 17595 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2243270 9740288 344 18446744073709551615 4194304 5098028 140735277054928 140735277053032 140097201595004 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12636160 140735277060502 140735277060710 140735277060710 140735277064171 0
/proc/17595/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70031 s]
/proc/loadavg: 8.51 8.10 7.52 2/172 17595
/proc/meminfo: memFree=31804176/32770624 swapFree=0/302548
[pid=17595] ppid=17592 vsize=9512 CPUtime=0 cores=0-7
/proc/17595/stat : 17595 (xcsp3-exec) S 17592 17595 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2243270 9740288 344 18446744073709551615 4194304 5098028 140735277054928 140735277053032 140097201595004 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12636160 140735277060502 140735277060710 140735277060710 140735277064171 0
/proc/17595/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50103 s]
/proc/loadavg: 8.51 8.10 7.52 5/193 17616
/proc/meminfo: memFree=31615692/32770624 swapFree=0/302336
[pid=17595] ppid=17592 vsize=9512 CPUtime=0 cores=0-7
/proc/17595/stat : 17595 (xcsp3-exec) S 17592 17595 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2243270 9740288 344 18446744073709551615 4194304 5098028 140735277054928 140735277053032 140097201595004 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12636160 140735277060502 140735277060710 140735277060710 140735277064171 0
/proc/17595/statm: 2378 344 289 221 0 87 0
[pid=17597] ppid=17595 vsize=26001944 CPUtime=4.94 cores=0-7
/proc/17597/stat : 17597 (java) S 17595 17595 2334 0 -1 1077944320 18672 0 0 0 481 13 0 0 20 0 20 0 2243278 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140722019252048 140537108565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
/proc/17597/statm: 6500486 59084 3212 1 0 6488787 0
[pid=17597/tid=17598] ppid=17595 vsize=26001944 CPUtime=1.32 cores=0-7
/proc/17597/task/17598/stat : 17598 (java) R 17595 17595 2334 0 -1 4202560 8755 0 0 0 127 5 0 0 20 0 20 0 2243279 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140537112801328 140536719856291 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17599] ppid=17595 vsize=26001944 CPUtime=0.03 cores=0-7
/proc/17597/task/17599/stat : 17599 (java) S 17595 17595 2334 0 -1 1077944384 52 0 0 0 2 1 0 0 20 0 20 0 2243280 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140537035491856 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17600] ppid=17595 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/17597/task/17600/stat : 17600 (java) S 17595 17595 2334 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 20 0 2243280 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536670345872 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17601] ppid=17595 vsize=26001944 CPUtime=0 cores=0-7
/proc/17597/task/17601/stat : 17601 (java) S 17595 17595 2334 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 2243280 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536669292816 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17602] ppid=17595 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/17597/task/17602/stat : 17602 (java) S 17595 17595 2334 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 20 0 2243280 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536668240272 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17603] ppid=17595 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/17597/task/17603/stat : 17603 (java) S 17595 17595 2334 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 20 0 2243280 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536667188240 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17604] ppid=17595 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/17597/task/17604/stat : 17604 (java) S 17595 17595 2334 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 20 0 2243280 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536666135696 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17605] ppid=17595 vsize=26001944 CPUtime=0.01 cores=0-7
/proc/17597/task/17605/stat : 17605 (java) S 17595 17595 2334 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 2243280 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536665082640 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17606] ppid=17595 vsize=26001944 CPUtime=0.02 cores=0-7
/proc/17597/task/17606/stat : 17606 (java) S 17595 17595 2334 0 -1 1077944384 34 0 0 0 2 0 0 0 20 0 20 0 2243280 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536664030096 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17607] ppid=17595 vsize=26001944 CPUtime=0 cores=0-7
/proc/17597/task/17607/stat : 17607 (java) S 17595 17595 2334 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 2243281 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536374474992 140537108576898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17608] ppid=17595 vsize=26001944 CPUtime=0 cores=0-7
/proc/17597/task/17608/stat : 17608 (java) S 17595 17595 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2243281 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536373421280 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17609] ppid=17595 vsize=26001944 CPUtime=0 cores=0-7
/proc/17597/task/17609/stat : 17609 (java) S 17595 17595 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2243282 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536372368128 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17610] ppid=17595 vsize=26001944 CPUtime=0 cores=0-7
/proc/17597/task/17610/stat : 17610 (java) S 17595 17595 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2243284 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536371316688 140537108584347 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17611] ppid=17595 vsize=26001944 CPUtime=0.93 cores=0-7
/proc/17597/task/17611/stat : 17611 (java) R 17595 17595 2334 0 -1 4202560 2291 0 0 0 93 0 0 0 20 0 20 0 2243284 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536370250448 140537087755200 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17612] ppid=17595 vsize=26001944 CPUtime=0.99 cores=0-7
/proc/17597/task/17612/stat : 17612 (java) R 17595 17595 2334 0 -1 4202560 1709 0 0 0 99 0 0 0 20 0 20 0 2243284 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536369212272 140537093450167 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17613] ppid=17595 vsize=26001944 CPUtime=0.96 cores=0-7
/proc/17597/task/17613/stat : 17613 (java) R 17595 17595 2334 0 -1 4202560 2043 0 0 0 96 0 0 0 20 0 20 0 2243284 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536368144720 140537088277376 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17614] ppid=17595 vsize=26001944 CPUtime=0.49 cores=0-7
/proc/17597/task/17614/stat : 17614 (java) S 17595 17595 2334 0 -1 1077944384 2266 0 0 0 48 1 0 0 20 0 20 0 2243284 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536367106672 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17615] ppid=17595 vsize=26001944 CPUtime=0 cores=0-7
/proc/17597/task/17615/stat : 17615 (java) S 17595 17595 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2243284 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536366053856 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17616] ppid=17595 vsize=26001944 CPUtime=0 cores=0-7
/proc/17597/task/17616/stat : 17616 (java) S 17595 17595 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2243288 26625990656 59084 18446744073709551615 4194304 4196468 140722019269504 140536365001392 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
Current children cumulated CPU time (s) 4.94
Current children cumulated vsize (KiB) 26011456

[startup+3.102 s]
/proc/loadavg: 8.39 8.08 7.52 13/201 17672
/proc/meminfo: memFree=31416352/32770624 swapFree=0/302336
[pid=17595] ppid=17592 vsize=9512 CPUtime=0 cores=0-7
/proc/17595/stat : 17595 (xcsp3-exec) S 17592 17595 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2243270 9740288 344 18446744073709551615 4194304 5098028 140735277054928 140735277053032 140097201595004 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12636160 140735277060502 140735277060710 140735277060710 140735277064171 0
/proc/17595/statm: 2378 344 289 221 0 87 0
[pid=17597] ppid=17595 vsize=26534456 CPUtime=16.06 cores=0-7
/proc/17597/stat : 17597 (java) S 17595 17595 2334 0 -1 1077944320 25089 0 0 0 1578 28 0 0 20 0 28 0 2243278 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140722019252048 140537108565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
/proc/17597/statm: 6633614 101489 3241 1 0 6621915 0
[pid=17597/tid=17598] ppid=17595 vsize=26534456 CPUtime=1.56 cores=0-7
/proc/17597/task/17598/stat : 17598 (java) S 17595 17595 2334 0 -1 1077944384 8880 0 0 0 150 6 0 0 20 0 28 0 2243279 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140537112806528 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17599] ppid=17595 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/17597/task/17599/stat : 17599 (java) S 17595 17595 2334 0 -1 1077944384 73 0 0 0 5 1 0 0 20 0 28 0 2243280 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140537035491856 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17600] ppid=17595 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/17597/task/17600/stat : 17600 (java) S 17595 17595 2334 0 -1 1077944384 44 0 0 0 4 2 0 0 20 0 28 0 2243280 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536670345872 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17601] ppid=17595 vsize=26534456 CPUtime=0.04 cores=0-7
/proc/17597/task/17601/stat : 17601 (java) S 17595 17595 2334 0 -1 1077944384 49 0 0 0 3 1 0 0 20 0 28 0 2243280 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536669292816 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17602] ppid=17595 vsize=26534456 CPUtime=0.04 cores=0-7
/proc/17597/task/17602/stat : 17602 (java) S 17595 17595 2334 0 -1 1077944384 44 0 0 0 3 1 0 0 20 0 28 0 2243280 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536668240272 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17603] ppid=17595 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/17597/task/17603/stat : 17603 (java) S 17595 17595 2334 0 -1 1077944384 52 0 0 0 4 1 0 0 20 0 28 0 2243280 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536667188240 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17604] ppid=17595 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/17597/task/17604/stat : 17604 (java) S 17595 17595 2334 0 -1 1077944384 56 0 0 0 4 1 0 0 20 0 28 0 2243280 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536666135696 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17605] ppid=17595 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/17597/task/17605/stat : 17605 (java) S 17595 17595 2334 0 -1 1077944384 50 0 0 0 4 1 0 0 20 0 28 0 2243280 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536665082640 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17606] ppid=17595 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/17597/task/17606/stat : 17606 (java) S 17595 17595 2334 0 -1 1077944384 64 0 0 0 5 1 0 0 20 0 28 0 2243280 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536664030096 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17607] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17607/stat : 17607 (java) S 17595 17595 2334 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 2243281 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536374474992 140537108576898 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17608] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17608/stat : 17608 (java) S 17595 17595 2334 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 2243281 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536373421280 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17609] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17609/stat : 17609 (java) S 17595 17595 2334 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 2243282 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536372368128 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17610] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17610/stat : 17610 (java) S 17595 17595 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2243284 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536371316688 140537108584347 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17611] ppid=17595 vsize=26534456 CPUtime=1.85 cores=0-7
/proc/17597/task/17611/stat : 17611 (java) S 17595 17595 2334 0 -1 1077944384 4245 0 0 0 184 1 0 0 20 0 28 0 2243284 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536370264816 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17612] ppid=17595 vsize=26534456 CPUtime=2.19 cores=0-7
/proc/17597/task/17612/stat : 17612 (java) R 17595 17595 2334 0 -1 4202560 3485 0 0 0 219 0 0 0 20 0 28 0 2243284 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536369212568 140537093488952 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17613] ppid=17595 vsize=26534456 CPUtime=1.87 cores=0-7
/proc/17597/task/17613/stat : 17613 (java) R 17595 17595 2334 0 -1 4202560 2279 0 0 0 186 1 0 0 20 0 28 0 2243284 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536368159216 140537092089082 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17614] ppid=17595 vsize=26534456 CPUtime=0.81 cores=0-7
/proc/17597/task/17614/stat : 17614 (java) S 17595 17595 2334 0 -1 1077944384 2927 0 0 0 80 1 0 0 20 0 28 0 2243284 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536367106672 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17615] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17615/stat : 17615 (java) S 17595 17595 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2243284 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536366053856 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17616] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17616/stat : 17616 (java) R 17595 17595 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2243288 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536365001392 140537108576898 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17665] ppid=17595 vsize=26534456 CPUtime=0.81 cores=0-7
/proc/17597/task/17665/stat : 17665 (java) R 17595 17595 2334 0 -1 4202560 22 0 0 0 81 0 0 0 20 0 28 0 2243479 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536285301336 140536723096873 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17666] ppid=17595 vsize=26534456 CPUtime=0.58 cores=0-7
/proc/17597/task/17666/stat : 17666 (java) R 17595 17595 2334 0 -1 4202560 52 0 0 0 58 0 0 0 20 0 28 0 2243479 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536282144288 140536723096932 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17667] ppid=17595 vsize=26534456 CPUtime=0.62 cores=0-7
/proc/17597/task/17667/stat : 17667 (java) R 17595 17595 2334 0 -1 4202560 44 0 0 0 62 0 0 0 20 0 28 0 2243479 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536287408824 140536715536137 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17668] ppid=17595 vsize=26534456 CPUtime=0.58 cores=0-7
/proc/17597/task/17668/stat : 17668 (java) R 17595 17595 2334 0 -1 4202560 42 0 0 0 58 0 0 0 20 0 28 0 2243479 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536289515976 140536723940865 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17669] ppid=17595 vsize=26534456 CPUtime=0.86 cores=0-7
/proc/17597/task/17669/stat : 17669 (java) R 17595 17595 2334 0 -1 4202560 47 0 0 0 86 0 0 0 20 0 28 0 2243479 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536284251560 140536723623792 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17670] ppid=17595 vsize=26534456 CPUtime=0.72 cores=0-7
/proc/17597/task/17670/stat : 17670 (java) R 17595 17595 2334 0 -1 4202560 22 0 0 0 72 0 0 0 20 0 28 0 2243479 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536286355216 140536723426032 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17671] ppid=17595 vsize=26534456 CPUtime=0.83 cores=0-7
/proc/17597/task/17671/stat : 17671 (java) R 17595 17595 2334 0 -1 4202560 37 0 0 0 83 0 0 0 20 0 28 0 2243479 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536283196528 140536719853686 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17672] ppid=17595 vsize=26534456 CPUtime=0.72 cores=0-7
/proc/17597/task/17672/stat : 17672 (java) R 17595 17595 2334 0 -1 4202560 21 0 0 0 72 0 0 0 20 0 28 0 2243480 27171282944 101489 18446744073709551615 4194304 4196468 140722019269504 140536288464744 140536724523627 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
Current children cumulated CPU time (s) 16.06
Current children cumulated vsize (KiB) 26543968

[startup+6.30099 s]
/proc/loadavg: 8.39 8.08 7.52 9/201 17696
/proc/meminfo: memFree=31129876/32770624 swapFree=0/302336
[pid=17595] ppid=17592 vsize=9512 CPUtime=0 cores=0-7
/proc/17595/stat : 17595 (xcsp3-exec) S 17592 17595 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2243270 9740288 344 18446744073709551615 4194304 5098028 140735277054928 140735277053032 140097201595004 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12636160 140735277060502 140735277060710 140735277060710 140735277064171 0
/proc/17595/statm: 2378 344 289 221 0 87 0
[pid=17597] ppid=17595 vsize=26534456 CPUtime=40.28 cores=0-7
/proc/17597/stat : 17597 (java) S 17595 17595 2334 0 -1 1077944320 39080 0 0 0 3970 58 0 0 20 0 28 0 2243278 27171282944 178276 18446744073709551615 4194304 4196468 140722019269504 140722019252048 140537108565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
/proc/17597/statm: 6633614 178276 3253 1 0 6621915 0
[pid=17597/tid=17598] ppid=17595 vsize=26534456 CPUtime=1.59 cores=0-7
/proc/17597/task/17598/stat : 17598 (java) S 17595 17595 2334 0 -1 1077944384 9073 0 0 0 152 7 0 0 20 0 28 0 2243279 27171282944 178276 18446744073709551615 4194304 4196468 140722019269504 140537112806528 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17599] ppid=17595 vsize=26534456 CPUtime=0.13 cores=0-7
/proc/17597/task/17599/stat : 17599 (java) S 17595 17595 2334 0 -1 1077944384 158 0 0 0 9 4 0 0 20 0 28 0 2243280 27171282944 178276 18446744073709551615 4194304 4196468 140722019269504 140537035491856 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17600] ppid=17595 vsize=26534456 CPUtime=0.12 cores=0-7
/proc/17597/task/17600/stat : 17600 (java) S 17595 17595 2334 0 -1 1077944384 112 0 0 0 8 4 0 0 20 0 28 0 2243280 27171282944 178276 18446744073709551615 4194304 4196468 140722019269504 140536670345872 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17601] ppid=17595 vsize=26534456 CPUtime=0.12 cores=0-7
/proc/17597/task/17601/stat : 17601 (java) S 17595 17595 2334 0 -1 1077944384 111 0 0 0 8 4 0 0 20 0 28 0 2243280 27171282944 178276 18446744073709551615 4194304 4196468 140722019269504 140536669292816 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17602] ppid=17595 vsize=26534456 CPUtime=0.12 cores=0-7
/proc/17597/task/17602/stat : 17602 (java) S 17595 17595 2334 0 -1 1077944384 123 0 0 0 8 4 0 0 20 0 28 0 2243280 27171282944 178276 18446744073709551615 4194304 4196468 140722019269504 140536668240272 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0

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

/proc/17597/task/17889/stat : 17889 (java) R 17595 17595 2334 0 -1 4202560 2594 0 0 0 11860 4 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536282144296 140536724351120 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17890] ppid=17595 vsize=26534456 CPUtime=118.61 cores=0-7
/proc/17597/task/17890/stat : 17890 (java) R 17595 17595 2334 0 -1 4202560 8563 0 0 0 11815 46 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536288463728 140536726458614 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
Current children cumulated CPU time (s) 1684.3
Current children cumulated vsize (KiB) 26543968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+251.902 s]
/proc/loadavg: 8.35 8.06 7.63 9/201 17892
/proc/meminfo: memFree=28282096/32770624 swapFree=0/302428
[pid=17595] ppid=17592 vsize=9512 CPUtime=0 cores=0-7
/proc/17595/stat : 17595 (xcsp3-exec) S 17592 17595 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2243270 9740288 344 18446744073709551615 4194304 5098028 140735277054928 140735277053032 140097201595004 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12636160 140735277060502 140735277060710 140735277060710 140735277064171 0
/proc/17595/statm: 2378 344 289 221 0 87 0
[pid=17597] ppid=17595 vsize=26534456 CPUtime=1920.62 cores=0-7
/proc/17597/stat : 17597 (java) S 17595 17595 2334 0 -1 1077944320 163272 0 0 0 191743 319 0 0 20 0 28 0 2243278 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140722019252048 140537108565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
/proc/17597/statm: 6633614 882586 3253 1 0 6621915 0
[pid=17597/tid=17598] ppid=17595 vsize=26534456 CPUtime=1.63 cores=0-7
/proc/17597/task/17598/stat : 17598 (java) S 17595 17595 2334 0 -1 1077944384 11217 0 0 0 156 7 0 0 20 0 28 0 2243279 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140537112806528 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17599] ppid=17595 vsize=26534456 CPUtime=0.22 cores=0-7
/proc/17597/task/17599/stat : 17599 (java) S 17595 17595 2334 0 -1 1077944384 1157 0 0 0 15 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140537035491856 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17600] ppid=17595 vsize=26534456 CPUtime=0.21 cores=0-7
/proc/17597/task/17600/stat : 17600 (java) S 17595 17595 2334 0 -1 1077944384 865 0 0 0 13 8 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536670345872 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17601] ppid=17595 vsize=26534456 CPUtime=0.2 cores=0-7
/proc/17597/task/17601/stat : 17601 (java) S 17595 17595 2334 0 -1 1077944384 902 0 0 0 13 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536669292816 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17602] ppid=17595 vsize=26534456 CPUtime=0.19 cores=0-7
/proc/17597/task/17602/stat : 17602 (java) S 17595 17595 2334 0 -1 1077944384 1250 0 0 0 12 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536668240272 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17603] ppid=17595 vsize=26534456 CPUtime=0.2 cores=0-7
/proc/17597/task/17603/stat : 17603 (java) S 17595 17595 2334 0 -1 1077944384 1374 0 0 0 13 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536667188240 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17604] ppid=17595 vsize=26534456 CPUtime=0.21 cores=0-7
/proc/17597/task/17604/stat : 17604 (java) S 17595 17595 2334 0 -1 1077944384 1430 0 0 0 14 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536666135696 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17605] ppid=17595 vsize=26534456 CPUtime=0.2 cores=0-7
/proc/17597/task/17605/stat : 17605 (java) S 17595 17595 2334 0 -1 1077944384 491 0 0 0 13 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536665082640 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17606] ppid=17595 vsize=26534456 CPUtime=0.21 cores=0-7
/proc/17597/task/17606/stat : 17606 (java) S 17595 17595 2334 0 -1 1077944384 864 0 0 0 14 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536664030096 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17607] ppid=17595 vsize=26534456 CPUtime=0.15 cores=0-7
/proc/17597/task/17607/stat : 17607 (java) S 17595 17595 2334 0 -1 1077944384 5972 0 0 0 8 7 0 0 20 0 28 0 2243281 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536374474992 140537108576898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17608] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17608/stat : 17608 (java) S 17595 17595 2334 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 2243281 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536373421280 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17609] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17609/stat : 17609 (java) S 17595 17595 2334 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 2243282 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536372368128 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17610] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17610/stat : 17610 (java) S 17595 17595 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536371316688 140537108584347 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17611] ppid=17595 vsize=26534456 CPUtime=3 cores=0-7
/proc/17597/task/17611/stat : 17611 (java) S 17595 17595 2334 0 -1 1077944384 17382 0 0 0 297 3 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536370264816 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17612] ppid=17595 vsize=26534456 CPUtime=3.73 cores=0-7
/proc/17597/task/17612/stat : 17612 (java) S 17595 17595 2334 0 -1 1077944384 16850 0 0 0 370 3 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536369212272 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17613] ppid=17595 vsize=26534456 CPUtime=2.92 cores=0-7
/proc/17597/task/17613/stat : 17613 (java) S 17595 17595 2334 0 -1 1077944384 17432 0 0 0 289 3 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536368159216 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17614] ppid=17595 vsize=26534456 CPUtime=1.04 cores=0-7
/proc/17597/task/17614/stat : 17614 (java) S 17595 17595 2334 0 -1 1077944384 15623 0 0 0 100 4 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536367106672 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17615] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17615/stat : 17615 (java) S 17595 17595 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536366053856 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17616] ppid=17595 vsize=26534456 CPUtime=0.09 cores=0-7
/proc/17597/task/17616/stat : 17616 (java) S 17595 17595 2334 0 -1 1077944384 1917 0 0 0 4 5 0 0 20 0 28 0 2243288 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536365001392 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17883] ppid=17595 vsize=26534456 CPUtime=148.25 cores=0-7
/proc/17597/task/17883/stat : 17883 (java) R 17595 17595 2334 0 -1 4202560 1213 0 0 0 14825 0 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536285305960 140536724199345 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17884] ppid=17595 vsize=26534456 CPUtime=147.92 cores=0-7
/proc/17597/task/17884/stat : 17884 (java) R 17595 17595 2334 0 -1 4202560 896 0 0 0 14792 0 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536289513224 140536726458614 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17885] ppid=17595 vsize=26534456 CPUtime=147.99 cores=0-7
/proc/17597/task/17885/stat : 17885 (java) R 17595 17595 2334 0 -1 4202560 3417 0 0 0 14797 2 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536286355592 140536725064128 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17886] ppid=17595 vsize=26534456 CPUtime=148.04 cores=0-7
/proc/17597/task/17886/stat : 17886 (java) R 17595 17595 2334 0 -1 4202560 921 0 0 0 14804 0 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536284255208 140536723228237 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17887] ppid=17595 vsize=26534456 CPUtime=146.87 cores=0-7
/proc/17597/task/17887/stat : 17887 (java) R 17595 17595 2334 0 -1 4202560 3216 0 0 0 14680 7 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536287408456 140536718052511 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17888] ppid=17595 vsize=26534456 CPUtime=148.24 cores=0-7
/proc/17597/task/17888/stat : 17888 (java) R 17595 17595 2334 0 -1 4202560 1167 0 0 0 14823 1 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536283201712 140536724245378 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17889] ppid=17595 vsize=26534456 CPUtime=148.24 cores=0-7
/proc/17597/task/17889/stat : 17889 (java) R 17595 17595 2334 0 -1 4202560 2865 0 0 0 14819 5 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536282149224 140536724650017 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17890] ppid=17595 vsize=26534456 CPUtime=148.2 cores=0-7
/proc/17597/task/17890/stat : 17890 (java) R 17595 17595 2334 0 -1 4202560 9110 0 0 0 14772 48 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536288460752 140536724246230 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
Current children cumulated CPU time (s) 1920.62
Current children cumulated vsize (KiB) 26543968

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

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

[startup+251.902 s]
/proc/loadavg: 8.35 8.06 7.63 9/201 17892
/proc/meminfo: memFree=28282096/32770624 swapFree=0/302428
[pid=17595] ppid=17592 vsize=9512 CPUtime=0 cores=0-7
/proc/17595/stat : 17595 (xcsp3-exec) S 17592 17595 2334 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 2243270 9740288 344 18446744073709551615 4194304 5098028 140735277054928 140735277053032 140097201595004 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 12636160 140735277060502 140735277060710 140735277060710 140735277064171 0
/proc/17595/statm: 2378 344 289 221 0 87 0
[pid=17597] ppid=17595 vsize=26534456 CPUtime=1920.62 cores=0-7
/proc/17597/stat : 17597 (java) S 17595 17595 2334 0 -1 1077944320 163272 0 0 0 191743 319 0 0 20 0 28 0 2243278 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140722019252048 140537108565751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
/proc/17597/statm: 6633614 882586 3253 1 0 6621915 0
[pid=17597/tid=17598] ppid=17595 vsize=26534456 CPUtime=1.63 cores=0-7
/proc/17597/task/17598/stat : 17598 (java) S 17595 17595 2334 0 -1 1077944384 11217 0 0 0 156 7 0 0 20 0 28 0 2243279 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140537112806528 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17599] ppid=17595 vsize=26534456 CPUtime=0.22 cores=0-7
/proc/17597/task/17599/stat : 17599 (java) S 17595 17595 2334 0 -1 1077944384 1157 0 0 0 15 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140537035491856 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17600] ppid=17595 vsize=26534456 CPUtime=0.21 cores=0-7
/proc/17597/task/17600/stat : 17600 (java) S 17595 17595 2334 0 -1 1077944384 865 0 0 0 13 8 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536670345872 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17601] ppid=17595 vsize=26534456 CPUtime=0.2 cores=0-7
/proc/17597/task/17601/stat : 17601 (java) S 17595 17595 2334 0 -1 1077944384 902 0 0 0 13 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536669292816 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17602] ppid=17595 vsize=26534456 CPUtime=0.19 cores=0-7
/proc/17597/task/17602/stat : 17602 (java) S 17595 17595 2334 0 -1 1077944384 1250 0 0 0 12 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536668240272 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17603] ppid=17595 vsize=26534456 CPUtime=0.2 cores=0-7
/proc/17597/task/17603/stat : 17603 (java) S 17595 17595 2334 0 -1 1077944384 1374 0 0 0 13 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536667188240 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17604] ppid=17595 vsize=26534456 CPUtime=0.21 cores=0-7
/proc/17597/task/17604/stat : 17604 (java) S 17595 17595 2334 0 -1 1077944384 1430 0 0 0 14 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536666135696 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17605] ppid=17595 vsize=26534456 CPUtime=0.2 cores=0-7
/proc/17597/task/17605/stat : 17605 (java) S 17595 17595 2334 0 -1 1077944384 491 0 0 0 13 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536665082640 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17606] ppid=17595 vsize=26534456 CPUtime=0.21 cores=0-7
/proc/17597/task/17606/stat : 17606 (java) S 17595 17595 2334 0 -1 1077944384 864 0 0 0 14 7 0 0 20 0 28 0 2243280 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536664030096 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17607] ppid=17595 vsize=26534456 CPUtime=0.15 cores=0-7
/proc/17597/task/17607/stat : 17607 (java) S 17595 17595 2334 0 -1 1077944384 5972 0 0 0 8 7 0 0 20 0 28 0 2243281 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536374474992 140537108576898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17608] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17608/stat : 17608 (java) S 17595 17595 2334 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 2243281 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536373421280 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17609] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17609/stat : 17609 (java) S 17595 17595 2334 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 2243282 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536372368128 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17610] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17610/stat : 17610 (java) S 17595 17595 2334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536371316688 140537108584347 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17611] ppid=17595 vsize=26534456 CPUtime=3 cores=0-7
/proc/17597/task/17611/stat : 17611 (java) S 17595 17595 2334 0 -1 1077944384 17382 0 0 0 297 3 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536370264816 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17612] ppid=17595 vsize=26534456 CPUtime=3.73 cores=0-7
/proc/17597/task/17612/stat : 17612 (java) S 17595 17595 2334 0 -1 1077944384 16850 0 0 0 370 3 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536369212272 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17613] ppid=17595 vsize=26534456 CPUtime=2.92 cores=0-7
/proc/17597/task/17613/stat : 17613 (java) S 17595 17595 2334 0 -1 1077944384 17432 0 0 0 289 3 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536368159216 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17614] ppid=17595 vsize=26534456 CPUtime=1.04 cores=0-7
/proc/17597/task/17614/stat : 17614 (java) S 17595 17595 2334 0 -1 1077944384 15623 0 0 0 100 4 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536367106672 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17615] ppid=17595 vsize=26534456 CPUtime=0 cores=0-7
/proc/17597/task/17615/stat : 17615 (java) S 17595 17595 2334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 2243284 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536366053856 140537108575957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17616] ppid=17595 vsize=26534456 CPUtime=0.09 cores=0-7
/proc/17597/task/17616/stat : 17616 (java) S 17595 17595 2334 0 -1 1077944384 1917 0 0 0 4 5 0 0 20 0 28 0 2243288 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536365001392 140537108576898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17883] ppid=17595 vsize=26534456 CPUtime=148.25 cores=0-7
/proc/17597/task/17883/stat : 17883 (java) R 17595 17595 2334 0 -1 4202560 1213 0 0 0 14825 0 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536285305960 140536724199345 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17884] ppid=17595 vsize=26534456 CPUtime=147.92 cores=0-7
/proc/17597/task/17884/stat : 17884 (java) R 17595 17595 2334 0 -1 4202560 896 0 0 0 14792 0 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536289513224 140536726458614 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17885] ppid=17595 vsize=26534456 CPUtime=147.99 cores=0-7
/proc/17597/task/17885/stat : 17885 (java) R 17595 17595 2334 0 -1 4202560 3417 0 0 0 14797 2 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536286355592 140536725064128 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17886] ppid=17595 vsize=26534456 CPUtime=148.04 cores=0-7
/proc/17597/task/17886/stat : 17886 (java) R 17595 17595 2334 0 -1 4202560 921 0 0 0 14804 0 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536284255208 140536723228237 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17887] ppid=17595 vsize=26534456 CPUtime=146.87 cores=0-7
/proc/17597/task/17887/stat : 17887 (java) R 17595 17595 2334 0 -1 4202560 3216 0 0 0 14680 7 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536287408456 140536718052511 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17888] ppid=17595 vsize=26534456 CPUtime=148.24 cores=0-7
/proc/17597/task/17888/stat : 17888 (java) R 17595 17595 2334 0 -1 4202560 1167 0 0 0 14823 1 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536283201712 140536724245378 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17889] ppid=17595 vsize=26534456 CPUtime=148.24 cores=0-7
/proc/17597/task/17889/stat : 17889 (java) R 17595 17595 2334 0 -1 4202560 2865 0 0 0 14819 5 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536282149224 140536724650017 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
[pid=17597/tid=17890] ppid=17595 vsize=26534456 CPUtime=148.2 cores=0-7
/proc/17597/task/17890/stat : 17890 (java) R 17595 17595 2334 0 -1 4202560 9110 0 0 0 14772 48 0 0 20 0 28 0 2253625 27171282944 882586 18446744073709551615 4194304 4196468 140722019269504 140536288460752 140536724246230 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34222080 140722019271122 140722019271298 140722019271298 140722019274703 0
Current children cumulated CPU time (s) 1920.62
Current children cumulated vsize (KiB) 26543968

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17595 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1956
# CPU time returned by wait4() is 0.001956
# while last known CPU time is 1920.62
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 251.95
CPU time (s): 1920.62
CPU user time (s): 1917.43
CPU system time (s): 3.19
CPU usage (%): 762.302
Max. virtual memory (cumulated for all children) (KiB): 26543968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001956
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.87156 second user time and 1.82634 second system time

The end

Launcher Data 

Begin job on node130 at 2017-08-02 16:15:28
IDJOB=4254881
IDBENCH=124439
IDSOLVER=2636
FILE ID=node130/4254881-1501684162
RUNJOBID= node130-1501661057-2426
PBS_JOBID= 
Free space on /tmp= 61864 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n68-k9.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4254881-1501684162/watcher-4254881-1501684162 -o /tmp/evaluation-result-4254881-1501684162/solver-4254881-1501684162 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node130-1501661057-2426 --watchdog 324  ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 64009640 HOME/instance-4254881-1501684162.xml

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

MD5SUM BENCH= d46243a0c717d56f47be278be902a17a
RANDOM SEED=64009640

node130.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.79
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.79
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.79
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.79
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:        31804044 kB
MemAvailable:   32021044 kB
Buffers:          104368 kB
Cached:           393272 kB
SwapCached:            0 kB
Active:           247116 kB
Inactive:         311104 kB
Active(anon):      60980 kB
Inactive(anon):     8556 kB
Active(file):     186136 kB
Inactive(file):   302548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8140 kB
Writeback:             0 kB
AnonPages:        127640 kB
Mapped:            27692 kB
Shmem:              8868 kB
Slab:             112376 kB
SReclaimable:      88304 kB
SUnreclaim:        24072 kB
KernelStack:        3424 kB
PageTables:         4032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     281548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61856 MiB
End job on node130 at 2017-08-02 16:19:40