Trace number 4407149

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 2019-09-24 parallelSAT (TO)941 20047.3 2520.12

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-090.xml
MD5SUMd92bd6a6dba83323313b355bf487e521
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark941
Best CPU time to get the best result obtained on this benchmark19937.9
Satisfiable
(Un)Satisfiability was proved
Number of variables8189
Number of constraints4183
Number of domains179
Minimum domain size2
Maximum domain size179
Distribution of domain sizes[{"size":2,"count":4096},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}]
Minimum variable degree0
Maximum variable degree89
Distribution of variable degrees[{"degree":0,"count":3916},{"degree":2,"count":4183},{"degree":89,"count":90}]
Minimum constraint arity2
Maximum constraint arity90
Distribution of constraint arities[{"arity":2,"count":90},{"arity":3,"count":4006},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}]
Number of extensional constraints0
Number of intensional constraints4094
Distribution of constraint types[{"type":"intension","count":4094},{"type":"sum","count":89}]
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.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407149-1569349858.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407149-1569349858.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
14.95/4.19	c solve instance...
22.26/5.22	o 238965 
22.26/5.25	o 223301 
22.75/5.33	o 222957 
22.75/5.37	o 208685 
23.97/5.52	o 208341 
23.97/5.55	o 208005 
23.97/5.56	o 195085 
23.97/5.59	o 194725 
24.37/5.64	o 194389 
24.37/5.65	o 194389 
24.37/5.68	o 194077 
24.86/5.86	o 182469 
27.60/8.26	o 182093 
27.60/8.29	o 181757 
27.83/8.31	o 181429 
27.83/8.33	o 181141 
27.83/8.34	o 170805 
27.83/8.37	o 170413 
28.28/8.40	o 170061 
28.28/8.44	o 169733 
28.28/8.48	o 169429 
28.58/8.52	o 169165 
28.58/8.56	o 160061 
28.89/8.61	o 159653 
28.89/8.63	o 159285 
28.89/8.65	o 158957 
28.89/8.67	o 158637 
28.89/8.69	o 2869 
30.88/8.95	o 2621 
31.71/9.08	o 2573 
34.69/9.44	o 2541 
34.69/9.50	o 2453 
35.32/9.54	o 2421 
122.34/20.51	o 2149 
157.13/26.59	o 2061 
173.89/28.72	o 1981 
176.21/29.03	o 1965 
176.21/29.05	o 1925 
180.76/29.69	o 1877 
191.07/30.92	o 1861 
193.38/31.26	o 1845 
194.05/31.35	o 1805 
194.05/31.37	o 1749 
194.72/31.48	o 1709 
194.72/31.50	o 1701 
195.35/31.51	o 1685 
196.88/31.70	o 1581 
211.18/33.59	o 1557 
311.64/46.17	o 1501 
348.15/50.77	o 1413 
356.79/51.89	o 1405 
363.88/52.70	o 1253 
386.16/55.58	o 1237 
456.97/64.40	o 1173 
456.97/64.48	o 1165 
473.55/66.50	o 1133 
590.72/81.29	o 1021 
638.50/87.26	o 973 
638.50/87.29	o 965 
675.72/91.95	o 941 
20046.57/2520.07	s SATISFIABLE
20046.57/2520.07	v <instantiation>
20046.57/2520.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[0][87] y[0][88] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[1][86] y[1][87] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[2][85] y[2][86] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[3][84] y[3][85] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[4][83] y[4][84] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[5][83] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[83][0] y[83][1] y[83][2] y[83][3] y[83][4] y[83][5] y[84][0] y[84][1] y[84][2] y[84][3] y[84][4] y[85][0] y[85][1] y[85][2] y[85][3] y[86][0] y[86][1] y[86][2] y[87][0] y[87][1] y[88][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] </list>
20046.57/2520.08	v 	<values>-1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 2 -3 0 3 -4 3 -4 -1 -2 3 -4 3 4 1 2 1 8 -3 -2 -3 0 -3 0 -1 0 1 0 -3 4 3 4 3 -8 -1 -4 3 -4 1 -4 -3 -2 1 2 -5 0 -3 0 -3 -2 -3 2 -5 -2 3 2 -1 -2 -1 -10 -3 2 -3 -2 3 -2 1 -6 -7 4 5 -2 5 0 1 2 -1 6 -1 0 3 -2 3 -6 3 -2 1 0 -1 1 4 9 0 9 16 9 16 1 4 9 16 9 16 1 4 1 64 9 4 9 0 9 0 1 0 1 0 9 16 9 16 9 64 1 16 9 16 1 16 9 4 1 4 25 0 9 0 9 4 9 4 25 4 9 4 1 4 1 100 9 4 9 4 9 4 1 36 49 16 25 4 25 0 1 4 1 36 1 0 9 4 9 36 9 4 1 0 1 </values>
20046.57/2520.08	v </instantiation>
20046.57/2520.08	c Unexpected resolution interruption!

Verifier Data 

OK	941

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407149-1569349858/watcher-4407149-1569349858 -o /var/tmp/evaluation-result-4407149-1569349858/solver-4407149-1569349858 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569349500-4304 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1812773463 HOME/instance-4407149-1569349858.xml 

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

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

solver pid=4437, runsolver pid=4434

[startup+0.100161 s]*
/proc/loadavg: 4.22 4.92 6.76 2/213 4458
/proc/meminfo: memFree=24731636/32770624 swapFree=66997036/67108860
[pid=4437] ppid=4434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4437/stat : 4437 (xcsp3-exec) S 4434 4437 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511253548 115843072 363 33554432000 4194304 5098028 140725253010720 140725253008824 139767832527484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7561216 140725253014353 140725253014613 140725253014613 140725253017542 0
/proc/4437/statm: 28282 363 304 221 0 87 0
[pid=4439] ppid=4437 vsize=28227396 memory=30056 CPUtime=0.12 cores=0-7
/proc/4439/stat : 4439 (java) S 4437 4437 4277 0 -1 1077944320 5987 0 0 0 11 1 0 0 20 0 20 0 511253549 28904853504 7514 33554432000 4194304 4196468 140724157623280 140724157605824 140027349774071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
/proc/4439/statm: 7056849 7514 3124 1 0 7019032 0
[pid=4439/tid=4440] ppid=4437 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/4439/task/4440/stat : 4440 (java) R 4437 4437 4277 0 -1 4202560 3903 0 0 0 8 1 0 0 20 0 20 0 511253549 28904853504 7514 33554432000 4194304 4196468 140724157623280 140027354010416 140027331169277 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4441] ppid=4437 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4439/task/4441/stat : 4441 (java) S 4437 4437 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 7514 33554432000 4194304 4196468 140724157623280 140027302394128 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4442] ppid=4437 vsize=28227396 memory=139938493679232 CPUtime=0 cores=0-7
/proc/4439/task/4442/stat : 4442 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 7514 33554432000 4194304 4196468 140724157623280 140027301341584 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4443] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4443/stat : 4443 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 7514 33554432000 4194304 4196468 140724157623280 140027300289040 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4444] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4444/stat : 4444 (java) S 4437 4437 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 7514 33554432000 4194304 4196468 140724157623280 140027299236496 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4445] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4445/stat : 4445 (java) S 4437 4437 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 7514 33554432000 4194304 4196468 140724157623280 140027298183952 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4446] ppid=4437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4439/task/4446/stat : 4446 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 7514 33554432000 4194304 4196468 140724157623280 140027297131408 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4447] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4447/stat : 4447 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 7514 33554432000 4194304 4196468 140724157623280 140027296078864 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4448] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4448/stat : 4448 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 7514 33554432000 4194304 4196468 140724157623280 140027295026320 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4449] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4449/stat : 4449 (java) S 4437 4437 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511253551 28904853504 7514 33554432000 4194304 4196468 140724157623280 140025545074672 140027349785218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4450] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4450/stat : 4450 (java) S 4437 4437 4277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511253552 28904853504 7514 33554432000 4194304 4196468 140724157623280 140025544020896 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4451] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4451/stat : 4451 (java) S 4437 4437 4277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511253552 28904853504 7514 33554432000 4194304 4196468 140724157623280 140025542968304 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4452] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4452/stat : 4452 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253554 28904853504 7514 33554432000 4194304 4196468 140724157623280 140025541916880 140027349792667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4453] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4453/stat : 4453 (java) S 4437 4437 4277 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 511253554 28904853504 7514 33554432000 4194304 4196468 140724157623280 140025540864496 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4454] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4454/stat : 4454 (java) S 4437 4437 4277 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511253554 28904853504 7514 33554432000 4194304 4196468 140724157623280 140025539811952 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4455] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4455/stat : 4455 (java) S 4437 4437 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511253555 28904853504 7514 33554432000 4194304 4196468 140724157623280 140025538759408 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4456] ppid=4437 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4439/task/4456/stat : 4456 (java) R 4437 4437 4277 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 20 0 511253555 28904853504 7514 33554432000 4194304 4196468 140724157623280 140025537706864 140027349785218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4457] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4457/stat : 4457 (java) S 4437 4437 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511253555 28904853504 7514 33554432000 4194304 4196468 140724157623280 140025536653536 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4458] ppid=4437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4439/task/4458/stat : 4458 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253555 28904853504 7514 33554432000 4194304 4196468 140724157623280 140025535601072 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31508 KiB

[startup+0.210505 s]*
/proc/loadavg: 4.22 4.92 6.76 2/213 4458
/proc/meminfo: memFree=24718728/32770624 swapFree=66997036/67108860
[pid=4437] ppid=4434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4437/stat : 4437 (xcsp3-exec) S 4434 4437 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511253548 115843072 363 33554432000 4194304 5098028 140725253010720 140725253008824 139767832527484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7561216 140725253014353 140725253014613 140725253014613 140725253017542 0
/proc/4437/statm: 28282 363 304 221 0 87 0
[pid=4439] ppid=4437 vsize=28227396 memory=41132 CPUtime=0.33 cores=0-7
/proc/4439/stat : 4439 (java) S 4437 4437 4277 0 -1 1077944320 9543 0 0 0 30 3 0 0 20 0 20 0 511253549 28904853504 10283 33554432000 4194304 4196468 140724157623280 140724157605824 140027349774071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
/proc/4439/statm: 7056849 10283 3269 1 0 7019032 0
[pid=4439/tid=4440] ppid=4437 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4439/task/4440/stat : 4440 (java) R 4437 4437 4277 0 -1 4202560 6712 0 0 0 17 3 0 0 20 0 20 0 511253549 28904853504 10283 33554432000 4194304 4196468 140724157623280 140027354007248 140027333854558 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4441] ppid=4437 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/4439/task/4441/stat : 4441 (java) S 4437 4437 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 10283 33554432000 4194304 4196468 140724157623280 140027302394128 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4442] ppid=4437 vsize=28227396 memory=139938493689918 CPUtime=0 cores=0-7
/proc/4439/task/4442/stat : 4442 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 10283 33554432000 4194304 4196468 140724157623280 140027301341584 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4443] ppid=4437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4439/task/4443/stat : 4443 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 10283 33554432000 4194304 4196468 140724157623280 140027300289040 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4444] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4444/stat : 4444 (java) S 4437 4437 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 10283 33554432000 4194304 4196468 140724157623280 140027299236496 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4445] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4445/stat : 4445 (java) S 4437 4437 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 10283 33554432000 4194304 4196468 140724157623280 140027298183952 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4446] ppid=4437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4439/task/4446/stat : 4446 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 10283 33554432000 4194304 4196468 140724157623280 140027297131408 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4447] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4447/stat : 4447 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 10283 33554432000 4194304 4196468 140724157623280 140027296078864 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4448] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4448/stat : 4448 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28904853504 10283 33554432000 4194304 4196468 140724157623280 140027295026320 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4449] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4449/stat : 4449 (java) S 4437 4437 4277 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511253551 28904853504 10283 33554432000 4194304 4196468 140724157623280 140025545074672 140027349785218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4450] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4450/stat : 4450 (java) S 4437 4437 4277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511253552 28904853504 10283 33554432000 4194304 4196468 140724157623280 140025544020896 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4451] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4451/stat : 4451 (java) S 4437 4437 4277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511253552 28904853504 10283 33554432000 4194304 4196468 140724157623280 140025542968304 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4452] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4452/stat : 4452 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253554 28904853504 10283 33554432000 4194304 4196468 140724157623280 140025541916880 140027349792667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4453] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4453/stat : 4453 (java) S 4437 4437 4277 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 511253554 28904853504 10283 33554432000 4194304 4196468 140724157623280 140025540864496 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4454] ppid=4437 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4439/task/4454/stat : 4454 (java) S 4437 4437 4277 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 20 0 511253554 28904853504 10283 33554432000 4194304 4196468 140724157623280 140025539811952 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4455] ppid=4437 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/4439/task/4455/stat : 4455 (java) S 4437 4437 4277 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 20 0 511253555 28904853504 10283 33554432000 4194304 4196468 140724157623280 140025538759408 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4456] ppid=4437 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/4439/task/4456/stat : 4456 (java) R 4437 4437 4277 0 -1 4202560 738 0 0 0 8 0 0 0 20 0 20 0 511253555 28904853504 10283 33554432000 4194304 4196468 140724157623280 140025537706672 140027329254225 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4457] ppid=4437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4457/stat : 4457 (java) S 4437 4437 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511253555 28904853504 10283 33554432000 4194304 4196468 140724157623280 140025536653536 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4458] ppid=4437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4439/task/4458/stat : 4458 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253555 28904853504 10283 33554432000 4194304 4196468 140724157623280 140025535601072 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42584 KiB

[startup+0.309926 s]*
/proc/loadavg: 4.22 4.92 6.76 3/213 4458
/proc/meminfo: memFree=24713288/32770624 swapFree=66997036/67108860
[pid=4437] ppid=4434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4437/stat : 4437 (xcsp3-exec) S 4434 4437 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511253548 115843072 363 33554432000 4194304 5098028 140725253010720 140725253008824 139767832527484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7561216 140725253014353 140725253014613 140725253014613 140725253017542 0
/proc/4437/statm: 28282 363 304 221 0 87 0
[pid=4439] ppid=4437 vsize=28231652 memory=49660 CPUtime=0.52 cores=0-7
/proc/4439/stat : 4439 (java) S 4437 4437 4277 0 -1 1077944320 10813 0 0 0 48 4 0 0 20 0 20 0 511253549 28909211648 12415 33554432000 4194304 4196468 140724157623280 140724157605824 140027349774071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
/proc/4439/statm: 7057913 12415 3319 1 0 7019032 0
[pid=4439/tid=4440] ppid=4437 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/4439/task/4440/stat : 4440 (java) R 4437 4437 4277 0 -1 4202560 7779 0 0 0 26 3 0 0 20 0 20 0 511253549 28909211648 12415 33554432000 4194304 4196468 140724157623280 140027354007856 140026956632431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4441] ppid=4437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4441/stat : 4441 (java) S 4437 4437 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511253550 28909211648 12415 33554432000 4194304 4196468 140724157623280 140027302394128 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4442] ppid=4437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4442/stat : 4442 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28909211648 12415 33554432000 4194304 4196468 140724157623280 140027301341584 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4443] ppid=4437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4443/stat : 4443 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28909211648 12415 33554432000 4194304 4196468 140724157623280 140027300289040 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4444] ppid=4437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4444/stat : 4444 (java) S 4437 4437 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511253550 28909211648 12415 33554432000 4194304 4196468 140724157623280 140027299236496 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4445] ppid=4437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4445/stat : 4445 (java) S 4437 4437 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511253550 28909211648 12415 33554432000 4194304 4196468 140724157623280 140027298183952 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4446] ppid=4437 vsize=28231652 memory=139938356095663 CPUtime=0 cores=0-7
/proc/4439/task/4446/stat : 4446 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28909211648 12415 33554432000 4194304 4196468 140724157623280 140027297131408 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4447] ppid=4437 vsize=28231652 memory=139938356097968 CPUtime=0 cores=0-7
/proc/4439/task/4447/stat : 4447 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28909211648 12415 33554432000 4194304 4196468 140724157623280 140027296078864 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4448] ppid=4437 vsize=28231652 memory=139938356100272 CPUtime=0 cores=0-7
/proc/4439/task/4448/stat : 4448 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28909211648 12415 33554432000 4194304 4196468 140724157623280 140027295026320 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4449] ppid=4437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4449/stat : 4449 (java) S 4437 4437 4277 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511253551 28909211648 12415 33554432000 4194304 4196468 140724157623280 140025545074672 140027349785218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4450] ppid=4437 vsize=28231652 memory=279876712214416 CPUtime=0 cores=0-7
/proc/4439/task/4450/stat : 4450 (java) S 4437 4437 4277 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511253552 28909211648 12415 33554432000 4194304 4196468 140724157623280 140025544020896 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4451] ppid=4437 vsize=28231652 memory=279876712212112 CPUtime=0 cores=0-7
/proc/4439/task/4451/stat : 4451 (java) S 4437 4437 4277 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511253552 28909211648 12415 33554432000 4194304 4196468 140724157623280 140025542968304 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4452] ppid=4437 vsize=28231652 memory=279876712219024 CPUtime=0 cores=0-7
/proc/4439/task/4452/stat : 4452 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253554 28909211648 12415 33554432000 4194304 4196468 140724157623280 140025541916880 140027349792667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4453] ppid=4437 vsize=28231652 memory=279876712160304 CPUtime=0.01 cores=0-7
/proc/4439/task/4453/stat : 4453 (java) S 4437 4437 4277 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 511253554 28909211648 12415 33554432000 4194304 4196468 140724157623280 140025540864496 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4454] ppid=4437 vsize=28231652 memory=279876712232848 CPUtime=0.03 cores=0-7
/proc/4439/task/4454/stat : 4454 (java) S 4437 4437 4277 0 -1 1077944384 387 0 0 0 3 0 0 0 20 0 20 0 511253554 28909211648 12415 33554432000 4194304 4196468 140724157623280 140025539811952 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4455] ppid=4437 vsize=28231652 memory=279876712239760 CPUtime=0.03 cores=0-7
/proc/4439/task/4455/stat : 4455 (java) R 4437 4437 4277 0 -1 4202560 186 0 0 0 3 0 0 0 20 0 20 0 511253555 28909211648 12415 33554432000 4194304 4196468 140724157623280 140025538749792 140027327425936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4456] ppid=4437 vsize=28231652 memory=279876712237456 CPUtime=0.12 cores=0-7
/proc/4439/task/4456/stat : 4456 (java) S 4437 4437 4277 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 20 0 511253555 28909211648 12415 33554432000 4194304 4196468 140724157623280 140025537706864 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4457] ppid=4437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4457/stat : 4457 (java) S 4437 4437 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511253555 28909211648 12415 33554432000 4194304 4196468 140724157623280 140025536653536 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4458] ppid=4437 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/4439/task/4458/stat : 4458 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253555 28909211648 12415 33554432000 4194304 4196468 140724157623280 140025535601072 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51112 KiB

[startup+0.701058 s]
/proc/loadavg: 4.22 4.92 6.76 6/213 4458
/proc/meminfo: memFree=24683204/32770624 swapFree=66997036/67108860
[pid=4437] ppid=4434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4437/stat : 4437 (xcsp3-exec) S 4434 4437 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511253548 115843072 363 33554432000 4194304 5098028 140725253010720 140725253008824 139767832527484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7561216 140725253014353 140725253014613 140725253014613 140725253017542 0
/proc/4437/statm: 28282 363 304 221 0 87 0
[pid=4439] ppid=4437 vsize=28233776 memory=117924 CPUtime=2.11 cores=0-7
/proc/4439/stat : 4439 (java) S 4437 4437 4277 0 -1 1077944320 16046 0 0 0 204 7 0 0 20 0 20 0 511253549 28911386624 29481 33554432000 4194304 4196468 140724157623280 140724157605824 140027349774071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
/proc/4439/statm: 7058444 29481 3456 1 0 7019544 0
[pid=4439/tid=4440] ppid=4437 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/4439/task/4440/stat : 4440 (java) R 4437 4437 4277 0 -1 4202560 8484 0 0 0 63 4 0 0 20 0 20 0 511253549 28911386624 29481 33554432000 4194304 4196468 140724157623280 140027354009968 140026956631036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4441] ppid=4437 vsize=28233776 memory=139938356306800 CPUtime=0 cores=0-7
/proc/4439/task/4441/stat : 4441 (java) S 4437 4437 4277 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511253550 28911386624 29481 33554432000 4194304 4196468 140724157623280 140027302394128 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4442] ppid=4437 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/4439/task/4442/stat : 4442 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28911386624 29481 33554432000 4194304 4196468 140724157623280 140027301341584 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4443] ppid=4437 vsize=28233776 memory=772 CPUtime=0 cores=0-7
/proc/4439/task/4443/stat : 4443 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511253550 28911386624 29481 33554432000 4194304 4196468 140724157623280 140027300289040 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0

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

[pid=4439/tid=4952] ppid=4437 vsize=28768336 memory=56572 CPUtime=2334.69 cores=0-7
/proc/4439/task/4952/stat : 4952 (java) R 4437 4437 4277 0 -1 4202560 6982 0 0 0 233462 7 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025077136800 140026963406016 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
Current children cumulated CPU time: 19426.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5897532 KiB

[startup+2502.3 s]
/proc/loadavg: 8.53 8.33 8.24 9/221 5155
/proc/meminfo: memFree=18855968/32770624 swapFree=66997044/67108860
[pid=4437] ppid=4434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4437/stat : 4437 (xcsp3-exec) S 4434 4437 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511253548 115843072 363 33554432000 4194304 5098028 140725253010720 140725253008824 139767832527484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7561216 140725253014353 140725253014613 140725253014613 140725253017542 0
/proc/4437/statm: 28282 363 304 221 0 87 0
[pid=4439] ppid=4437 vsize=28768336 memory=5896080 CPUtime=19905.3 cores=0-7
/proc/4439/stat : 4439 (java) S 4437 4437 4277 0 -1 1077944320 393896 0 0 0 1989901 629 0 0 20 0 28 0 511253549 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140724157605824 140027349774071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
/proc/4439/statm: 7192084 1474020 3569 1 0 7153184 0
[pid=4439/tid=4440] ppid=4437 vsize=28768336 memory=5896080 CPUtime=4.07 cores=0-7
/proc/4439/task/4440/stat : 4440 (java) S 4437 4437 4277 0 -1 1077944384 15539 0 0 0 394 13 0 0 20 0 28 0 511253549 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027354014848 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4441] ppid=4437 vsize=28768336 memory=5896080 CPUtime=0.9 cores=0-7
/proc/4439/task/4441/stat : 4441 (java) S 4437 4437 4277 0 -1 1077944384 1153 0 0 0 71 19 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027302394128 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4442] ppid=4437 vsize=28768336 memory=5896080 CPUtime=0.89 cores=0-7
/proc/4439/task/4442/stat : 4442 (java) S 4437 4437 4277 0 -1 1077944384 1786 0 0 0 68 21 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027301341584 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4443] ppid=4437 vsize=28768336 memory=5896080 CPUtime=0.93 cores=0-7
/proc/4439/task/4443/stat : 4443 (java) S 4437 4437 4277 0 -1 1077944384 1638 0 0 0 72 21 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027300289040 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4444] ppid=4437 vsize=28768336 memory=1452 CPUtime=0.92 cores=0-7
/proc/4439/task/4444/stat : 4444 (java) S 4437 4437 4277 0 -1 1077944384 2373 0 0 0 72 20 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027299236496 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4445] ppid=4437 vsize=28768336 memory=1452 CPUtime=0.91 cores=0-7
/proc/4439/task/4445/stat : 4445 (java) S 4437 4437 4277 0 -1 1077944384 1624 0 0 0 72 19 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027298183952 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4446] ppid=4437 vsize=28768336 memory=1452 CPUtime=0.91 cores=0-7
/proc/4439/task/4446/stat : 4446 (java) S 4437 4437 4277 0 -1 1077944384 1599 0 0 0 71 20 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027297131408 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4447] ppid=4437 vsize=28768336 memory=1452 CPUtime=0.91 cores=0-7
/proc/4439/task/4447/stat : 4447 (java) S 4437 4437 4277 0 -1 1077944384 1508 0 0 0 69 22 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027296078864 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4448] ppid=4437 vsize=28768336 memory=5896080 CPUtime=0.88 cores=0-7
/proc/4439/task/4448/stat : 4448 (java) S 4437 4437 4277 0 -1 1077944384 1600 0 0 0 68 20 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027295026320 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4449] ppid=4437 vsize=28768336 memory=1452 CPUtime=0.19 cores=0-7
/proc/4439/task/4449/stat : 4449 (java) S 4437 4437 4277 0 -1 1077944384 12613 0 0 0 16 3 0 0 20 0 28 0 511253551 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025545074672 140027349785218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4450] ppid=4437 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/4439/task/4450/stat : 4450 (java) S 4437 4437 4277 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 511253552 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025544020960 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4451] ppid=4437 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/4439/task/4451/stat : 4451 (java) S 4437 4437 4277 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 511253552 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025542968320 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4452] ppid=4437 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/4439/task/4452/stat : 4452 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511253554 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025541916880 140027349792667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4453] ppid=4437 vsize=28768336 memory=2116 CPUtime=5.62 cores=0-7
/proc/4439/task/4453/stat : 4453 (java) S 4437 4437 4277 0 -1 1077944384 39743 0 0 0 554 8 0 0 20 0 28 0 511253554 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025540864496 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4454] ppid=4437 vsize=28768336 memory=5896080 CPUtime=5.16 cores=0-7
/proc/4439/task/4454/stat : 4454 (java) S 4437 4437 4277 0 -1 1077944384 33960 0 0 0 509 7 0 0 20 0 28 0 511253554 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025539811952 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4455] ppid=4437 vsize=28768336 memory=1452 CPUtime=5.39 cores=0-7
/proc/4439/task/4455/stat : 4455 (java) S 4437 4437 4277 0 -1 1077944384 37610 0 0 0 530 9 0 0 20 0 28 0 511253555 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025538759408 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4456] ppid=4437 vsize=28768336 memory=1452 CPUtime=1.41 cores=0-7
/proc/4439/task/4456/stat : 4456 (java) S 4437 4437 4277 0 -1 1077944384 31257 0 0 0 136 5 0 0 20 0 28 0 511253555 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025537706864 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4457] ppid=4437 vsize=28768336 memory=5896080 CPUtime=0 cores=0-7
/proc/4439/task/4457/stat : 4457 (java) S 4437 4437 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511253555 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025536653536 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4458] ppid=4437 vsize=28768336 memory=5896080 CPUtime=1 cores=0-7
/proc/4439/task/4458/stat : 4458 (java) S 4437 4437 4277 0 -1 1077944384 5260 0 0 0 0 100 0 0 20 0 28 0 511253555 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025535601072 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4945] ppid=4437 vsize=28768336 memory=1452 CPUtime=2398.94 cores=0-7
/proc/4439/task/4945/stat : 4945 (java) R 4437 4437 4277 0 -1 4202560 9807 0 0 0 239887 7 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025080294472 140026960455557 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4946] ppid=4437 vsize=28768336 memory=2004 CPUtime=2409.71 cores=0-7
/proc/4439/task/4946/stat : 4946 (java) R 4437 4437 4277 0 -1 4202560 5347 0 0 0 240967 4 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025078190280 140026964437288 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4947] ppid=4437 vsize=28768336 memory=1428 CPUtime=2409.59 cores=0-7
/proc/4439/task/4947/stat : 4947 (java) R 4437 4437 4277 0 -1 4202560 7175 0 0 0 240954 5 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025082401096 140026960461920 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4948] ppid=4437 vsize=28768336 memory=1452 CPUtime=2399.52 cores=0-7
/proc/4439/task/4948/stat : 4948 (java) R 4437 4437 4277 0 -1 4202560 6889 0 0 0 239943 9 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025079243208 140026960461775 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4949] ppid=4437 vsize=28768336 memory=5896080 CPUtime=2395.44 cores=0-7
/proc/4439/task/4949/stat : 4949 (java) R 4437 4437 4277 0 -1 4202560 14519 0 0 0 239518 26 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025076085240 140026962638621 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4950] ppid=4437 vsize=28768336 memory=3620 CPUtime=2408.99 cores=0-7
/proc/4439/task/4950/stat : 4950 (java) R 4437 4437 4277 0 -1 4202560 62914 0 0 0 240722 177 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025075032776 140026964436763 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4951] ppid=4437 vsize=28768336 memory=56572 CPUtime=2409.48 cores=0-7
/proc/4439/task/4951/stat : 4951 (java) R 4437 4437 4277 0 -1 4202560 22955 0 0 0 240941 7 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025081347256 140026962329951 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4952] ppid=4437 vsize=28768336 memory=2004 CPUtime=2394.67 cores=0-7
/proc/4439/task/4952/stat : 4952 (java) R 4437 4437 4277 0 -1 4202560 7143 0 0 0 239459 8 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025077136800 140026960461673 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
Current children cumulated CPU time: 19905.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5897532 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.58 8.36 8.25 9/221 5155
/proc/meminfo: memFree=18856652/32770624 swapFree=66997044/67108860
[pid=4437] ppid=4434 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/4437/stat : 4437 (xcsp3-exec) S 4434 4437 4277 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511253548 115843072 363 33554432000 4194304 5098028 140725253010720 140725253008824 139767832527484 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7561216 140725253014353 140725253014613 140725253014613 140725253017542 0
/proc/4437/statm: 28282 363 304 221 0 87 0
[pid=4439] ppid=4437 vsize=28768336 memory=5896080 CPUtime=20046.6 cores=0-7
/proc/4439/stat : 4439 (java) S 4437 4437 4277 0 -1 1077944320 394355 0 0 0 2004026 631 0 0 20 0 28 0 511253549 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140724157605824 140027349774071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
/proc/4439/statm: 7192084 1474020 3569 1 0 7153184 0
[pid=4439/tid=4440] ppid=4437 vsize=28768336 memory=1804 CPUtime=4.07 cores=0-7
/proc/4439/task/4440/stat : 4440 (java) S 4437 4437 4277 0 -1 1077944384 15539 0 0 0 394 13 0 0 20 0 28 0 511253549 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027354014848 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4441] ppid=4437 vsize=28768336 memory=920 CPUtime=0.9 cores=0-7
/proc/4439/task/4441/stat : 4441 (java) S 4437 4437 4277 0 -1 1077944384 1153 0 0 0 71 19 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027302394128 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4442] ppid=4437 vsize=28768336 memory=4126316290023845779 CPUtime=0.89 cores=0-7
/proc/4439/task/4442/stat : 4442 (java) S 4437 4437 4277 0 -1 1077944384 1786 0 0 0 68 21 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027301341584 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4443] ppid=4437 vsize=28768336 memory=2836 CPUtime=0.93 cores=0-7
/proc/4439/task/4443/stat : 4443 (java) S 4437 4437 4277 0 -1 1077944384 1638 0 0 0 72 21 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027300289040 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4444] ppid=4437 vsize=28768336 memory=1540 CPUtime=0.92 cores=0-7
/proc/4439/task/4444/stat : 4444 (java) S 4437 4437 4277 0 -1 1077944384 2373 0 0 0 72 20 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027299236496 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4445] ppid=4437 vsize=28768336 memory=1732 CPUtime=0.91 cores=0-7
/proc/4439/task/4445/stat : 4445 (java) S 4437 4437 4277 0 -1 1077944384 1624 0 0 0 72 19 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027298183952 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4446] ppid=4437 vsize=28768336 memory=6128 CPUtime=0.91 cores=0-7
/proc/4439/task/4446/stat : 4446 (java) S 4437 4437 4277 0 -1 1077944384 1599 0 0 0 71 20 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027297131408 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4447] ppid=4437 vsize=28768336 memory=772 CPUtime=0.91 cores=0-7
/proc/4439/task/4447/stat : 4447 (java) S 4437 4437 4277 0 -1 1077944384 1508 0 0 0 69 22 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027296078864 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4448] ppid=4437 vsize=28768336 memory=952 CPUtime=0.88 cores=0-7
/proc/4439/task/4448/stat : 4448 (java) S 4437 4437 4277 0 -1 1077944384 1600 0 0 0 68 20 0 0 20 0 28 0 511253550 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140027295026320 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4449] ppid=4437 vsize=28768336 memory=14008 CPUtime=0.19 cores=0-7
/proc/4439/task/4449/stat : 4449 (java) S 4437 4437 4277 0 -1 1077944384 12613 0 0 0 16 3 0 0 20 0 28 0 511253551 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025545074672 140027349785218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4450] ppid=4437 vsize=28768336 memory=29484 CPUtime=0 cores=0-7
/proc/4439/task/4450/stat : 4450 (java) S 4437 4437 4277 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 511253552 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025544020960 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4451] ppid=4437 vsize=28768336 memory=2116 CPUtime=0 cores=0-7
/proc/4439/task/4451/stat : 4451 (java) S 4437 4437 4277 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 511253552 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025542968320 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4452] ppid=4437 vsize=28768336 memory=12028 CPUtime=0 cores=0-7
/proc/4439/task/4452/stat : 4452 (java) S 4437 4437 4277 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511253554 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025541916880 140027349792667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4453] ppid=4437 vsize=28768336 memory=496 CPUtime=5.62 cores=0-7
/proc/4439/task/4453/stat : 4453 (java) S 4437 4437 4277 0 -1 1077944384 39743 0 0 0 554 8 0 0 20 0 28 0 511253554 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025540864496 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4454] ppid=4437 vsize=28768336 memory=1564 CPUtime=5.16 cores=0-7
/proc/4439/task/4454/stat : 4454 (java) S 4437 4437 4277 0 -1 1077944384 33960 0 0 0 509 7 0 0 20 0 28 0 511253554 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025539811952 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4455] ppid=4437 vsize=28768336 memory=928 CPUtime=5.39 cores=0-7
/proc/4439/task/4455/stat : 4455 (java) S 4437 4437 4277 0 -1 1077944384 37610 0 0 0 530 9 0 0 20 0 28 0 511253555 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025538759408 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4456] ppid=4437 vsize=28768336 memory=1428 CPUtime=1.41 cores=0-7
/proc/4439/task/4456/stat : 4456 (java) S 4437 4437 4277 0 -1 1077944384 31257 0 0 0 136 5 0 0 20 0 28 0 511253555 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025537706864 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4457] ppid=4437 vsize=28768336 memory=1060 CPUtime=0 cores=0-7
/proc/4439/task/4457/stat : 4457 (java) S 4437 4437 4277 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511253555 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025536653536 140027349784277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4458] ppid=4437 vsize=28768336 memory=740 CPUtime=1 cores=0-7
/proc/4439/task/4458/stat : 4458 (java) S 4437 4437 4277 0 -1 1077944384 5260 0 0 0 0 100 0 0 20 0 28 0 511253555 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025535601072 140027349785218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4945] ppid=4437 vsize=28768336 memory=1228 CPUtime=2416.65 cores=0-7
/proc/4439/task/4945/stat : 4945 (java) R 4437 4437 4277 0 -1 4202560 9844 0 0 0 241658 7 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025080294472 140026961764560 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4946] ppid=4437 vsize=28768336 memory=9564 CPUtime=2427.42 cores=0-7
/proc/4439/task/4946/stat : 4946 (java) R 4437 4437 4277 0 -1 4202560 5348 0 0 0 242738 4 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025078190280 140026956817472 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4947] ppid=4437 vsize=28768336 memory=784 CPUtime=2427.3 cores=0-7
/proc/4439/task/4947/stat : 4947 (java) R 4437 4437 4277 0 -1 4202560 7194 0 0 0 242725 5 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025082401096 140026960455527 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4948] ppid=4437 vsize=28768336 memory=8112282956445269571 CPUtime=2416.86 cores=0-7
/proc/4439/task/4948/stat : 4948 (java) R 4437 4437 4277 0 -1 4202560 6893 0 0 0 241677 9 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025079243208 140026963074659 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4949] ppid=4437 vsize=28768336 memory=111628 CPUtime=2413.15 cores=0-7
/proc/4439/task/4949/stat : 4949 (java) R 4437 4437 4277 0 -1 4202560 14565 0 0 0 241288 27 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025076085240 140026966689526 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4950] ppid=4437 vsize=28768336 memory=1452 CPUtime=2426.7 cores=0-7
/proc/4439/task/4950/stat : 4950 (java) R 4437 4437 4277 0 -1 4202560 63232 0 0 0 242490 180 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025075032776 140026967806259 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4951] ppid=4437 vsize=28768336 memory=5896080 CPUtime=2427.18 cores=0-7
/proc/4439/task/4951/stat : 4951 (java) R 4437 4437 4277 0 -1 4202560 22974 0 0 0 242711 7 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025081347256 140026961764560 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
[pid=4439/tid=4952] ppid=4437 vsize=28768336 memory=984 CPUtime=2412.38 cores=0-7
/proc/4439/task/4952/stat : 4952 (java) R 4437 4437 4277 0 -1 4202560 7158 0 0 0 241230 8 0 0 20 0 28 0 511262744 29458776064 1474020 33554432000 4194304 4196468 140724157623280 140025077136800 140026961259188 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29798400 140724157629398 140724157629574 140724157629574 140724157632463 0
Current children cumulated CPU time: 20046.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5897532 KiB

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

[startup+2520.04 s]
# the end of solver process 4437 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002335 s, system=0 s

[startup+2520.12 s]
# the end of solver process 4439 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20040.9 s, system=6.35617 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.12
CPU time (s): 20047.3
CPU user time (s): 20040.9
CPU system time (s): 6.35617
CPU usage (%): 795.487
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 5897532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20040.9
system time used= 6.35617
maximum resident set size= 5898904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68642
involuntary context switches= 220551


# summary of solver processes directly reported to runsolver:
#   pid: 4437,4439
#   total CPU time (s): 20047.3
#   total CPU user time (s): 20040.9
#   total CPU system time (s): 6.35617

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7871 second user time and 29.5958 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-24 20:30:20
IDJOB=4407149
IDBENCH=126995
IDSOLVER=2871
FILE ID=node126/4407149-1569349858
RUNJOBID= node126-1569349500-4304
PBS_JOBID= 21705090
Free space on /var/tmp= 13508 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-090.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407149-1569349858/watcher-4407149-1569349858 -o /var/tmp/evaluation-result-4407149-1569349858/solver-4407149-1569349858 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569349500-4304 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1812773463 HOME/instance-4407149-1569349858.xml

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

MD5SUM BENCH= d92bd6a6dba83323313b355bf487e521
RANDOM SEED=1812773463

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24747320 kB
MemAvailable:   31842020 kB
Buffers:           94640 kB
Cached:          7230648 kB
SwapCached:         7624 kB
Active:          3625620 kB
Inactive:        3710608 kB
Active(anon):       2320 kB
Inactive(anon):    59104 kB
Active(file):    3623300 kB
Inactive(file):  3651504 kB
Unevictable:      109440 kB
Mlocked:          109440 kB
SwapTotal:      67108860 kB
SwapFree:       66997036 kB
Dirty:             26832 kB
Writeback:             0 kB
AnonPages:        113952 kB
Mapped:            54812 kB
Shmem:             41616 kB
Slab:             276432 kB
SReclaimable:     248356 kB
SUnreclaim:        28076 kB
KernelStack:        3792 kB
PageTables:         6208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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 /var/tmp at the end= 13484 MiB
End job on node126 at 2019-09-24 21:12:20