Trace number 4400249

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-16 parallelSAT (TO)1053 1821.88 252.144

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 benchmark1941.24
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-4400249-1568710771.xml"  -tl '2016s' -p 8
0.11/0.20	c Choco e747e1e
0.11/0.20	c [HOME/instance-4400249-1568710771.xml, -tl, 2016s, -p, 8]
0.34/0.24	c 8 solvers in parallel
0.34/0.31	c parse instance...
15.96/4.57	c solve instance...
22.97/5.55	o 238965 
22.97/5.59	o 223301 
23.67/5.61	o 222957 
23.67/5.64	o 208685 
24.30/5.80	o 208341 
24.96/5.82	o 208005 
24.96/5.84	o 195085 
24.96/5.86	o 194725 
24.96/5.87	o 194389 
24.96/5.89	o 194077 
25.33/5.91	o 182469 
25.33/5.93	o 182093 
25.33/5.94	o 181757 
25.33/5.96	o 181429 
25.33/5.98	o 181141 
25.33/6.00	o 170805 
25.85/6.03	o 170413 
25.85/6.06	o 170061 
25.85/6.09	o 169165 
26.25/6.12	o 160061 
26.72/6.33	o 159653 
29.96/8.96	o 159285 
30.20/9.01	o 158957 
30.20/9.05	o 158637 
30.20/9.10	o 158357 
30.55/9.14	o 158117 
30.55/9.16	o 150205 
30.85/9.20	o 149781 
31.48/9.31	o 149397 
31.48/9.36	o 149053 
31.87/9.44	o 148733 
32.10/9.53	o 148437 
32.26/9.61	o 148181 
32.26/9.69	o 147965 
32.45/9.79	o 141205 
32.69/9.83	o 140765 
32.69/9.87	o 140365 
33.32/10.05	o 140005 
33.54/10.11	o 139685 
33.54/10.15	o 139373 
33.81/10.26	o 139101 
33.99/10.30	o 138869 
34.17/10.41	o 138677 
34.37/10.58	o 133029 
34.57/10.67	o 131733 
35.46/10.87	o 130389 
38.89/13.58	o 130221 
38.89/13.59	o 5237 
49.84/16.84	o 5229 
50.25/16.94	o 4989 
50.25/16.98	o 4773 
53.93/17.51	o 4693 
53.93/17.53	o 4381 
54.50/17.69	o 4301 
54.92/17.71	o 3989 
55.62/17.85	o 3805 
69.72/19.64	o 2877 
70.41/19.74	o 2749 
138.88/28.46	o 2725 
141.55/31.07	o 2565 
141.85/31.14	o 2453 
141.85/31.17	o 2445 
142.31/31.21	o 2429 
142.31/31.28	o 2389 
142.93/31.32	o 2269 
147.60/31.92	o 1973 
147.60/31.93	o 1925 
172.35/36.64	o 1845 
172.35/36.69	o 1821 
201.38/41.77	o 1781 
203.27/42.03	o 1693 
203.90/42.11	o 1461 
213.35/43.37	o 1421 
285.91/54.51	o 1349 
405.05/70.87	o 1341 
405.39/71.06	o 1293 
408.19/73.55	o 1237 
549.65/91.31	o 1165 
608.57/98.75	o 1117 
1740.96/241.94	o 1101 
1803.63/249.89	o 1053 
1821.19/252.09	s SATISFIABLE
1821.19/252.09	v <instantiation>
1821.19/252.09	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>
1821.19/252.09	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 4 -1 -2 3 -2 3 -4 -3 -4 1 4 1 4 -1 0 -1 0 -5 -6 1 -4 -1 0 3 4 -1 -4 3 -4 11 4 -1 -4 -3 2 -5 0 -7 0 -3 4 3 -6 3 0 3 -6 5 2 1 2 7 0 5 -2 3 -2 -1 2 -1 2 -5 -2 -1 2 -1 -2 -7 -4 -5 -2 -1 2 -9 -2 -3 2 -3 2 -3 -2 -1 4 -1 0 -1 2 -1 1 16 1 4 9 4 9 16 9 16 1 16 1 16 1 0 1 0 25 36 1 16 1 0 9 16 1 16 9 16 121 16 1 16 9 4 25 0 49 0 9 16 9 36 9 0 9 36 25 4 1 4 49 0 25 4 9 4 1 4 1 4 25 4 1 4 1 4 49 16 25 4 1 4 81 4 9 4 9 4 9 4 1 16 1 0 1 4 1 </values>
1821.19/252.09	v </instantiation>
1821.19/252.09	c Unexpected resolution interruption!

Verifier Data 

OK	1053

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400249-1568710771/watcher-4400249-1568710771 -o /tmp/evaluation-result-4400249-1568710771/solver-4400249-1568710771 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 557275604 HOME/instance-4400249-1568710771.xml 

running on 8 cores: 0-7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26168, runsolver pid=26165
Current StackSize limit: 8192 KiB


[startup+0.10014 s]*
/proc/loadavg: 5.92 7.58 8.01 2/211 26189
/proc/meminfo: memFree=30562500/32770688 swapFree=66961212/67108860
[pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0
/proc/26168/statm: 28282 362 304 221 0 87 0
[pid=26170] ppid=26168 vsize=28227396 memory=28828 CPUtime=0.11 cores=0-7
/proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 5664 0 0 0 10 1 0 0 20 0 20 0 447018780 28904853504 7207 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
/proc/26170/statm: 7056849 7207 3122 1 0 7019032 0
[pid=26170/tid=26171] ppid=26168 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/26170/task/26171/stat : 26171 (java) R 26168 26168 18670 0 -1 4202560 3587 0 0 0 8 0 0 0 20 0 20 0 447018781 28904853504 7207 33554432000 4194304 4196468 140732783507328 140646103459840 140646099238294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26172] ppid=26168 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26173] ppid=26168 vsize=28227396 memory=140607756232320 CPUtime=0 cores=0-7
/proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26174] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26175] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26175/stat : 26175 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645647887376 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26176] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26176/stat : 26176 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645646834064 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26177] ppid=26168 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26170/task/26177/stat : 26177 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645645781264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26178] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26178/stat : 26178 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645644728976 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26179] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26179/stat : 26179 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 7207 33554432000 4194304 4196468 140732783507328 140645643676176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26180] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26180/stat : 26180 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018783 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644813822576 140646099237506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26181] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26181/stat : 26181 (java) S 26168 26168 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447018784 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644812768544 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26182] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26182/stat : 26182 (java) S 26168 26168 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447018784 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644560529008 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26183] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26183/stat : 26183 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644559477328 140646099244955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26184] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26184/stat : 26184 (java) S 26168 26168 18670 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644558424176 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26185] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26185/stat : 26185 (java) S 26168 26168 18670 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644557371376 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26186] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26186/stat : 26186 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644556319088 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26187] ppid=26168 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/26170/task/26187/stat : 26187 (java) R 26168 26168 18670 0 -1 4202560 356 0 0 0 1 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644555266288 140646099238294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26188] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26188/stat : 26188 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644554214240 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26189] ppid=26168 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26170/task/26189/stat : 26189 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 7207 33554432000 4194304 4196468 140732783507328 140644553161520 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30276 KiB

[startup+0.211351 s]*
/proc/loadavg: 5.92 7.58 8.01 3/211 26189
/proc/meminfo: memFree=30549508/32770688 swapFree=66961212/67108860
[pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0
/proc/26168/statm: 28282 362 304 221 0 87 0
[pid=26170] ppid=26168 vsize=28227396 memory=41096 CPUtime=0.34 cores=0-7
/proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 9483 0 0 0 30 4 0 0 20 0 20 0 447018780 28904853504 10274 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
/proc/26170/statm: 7056849 10274 3312 1 0 7019032 0
[pid=26170/tid=26171] ppid=26168 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/26170/task/26171/stat : 26171 (java) R 26168 26168 18670 0 -1 4202560 6586 0 0 0 18 2 0 0 20 0 20 0 447018781 28904853504 10274 33554432000 4194304 4196468 140732783507328 140646103455664 140646083306846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26172] ppid=26168 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26173] ppid=26168 vsize=28227396 memory=140607759534588 CPUtime=0 cores=0-7
/proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26174] ppid=26168 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26175] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26175/stat : 26175 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645647887376 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26176] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26176/stat : 26176 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645646834064 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26177] ppid=26168 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26170/task/26177/stat : 26177 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645645781264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26178] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26178/stat : 26178 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645644728976 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26179] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26179/stat : 26179 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28904853504 10274 33554432000 4194304 4196468 140732783507328 140645643676176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26180] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26180/stat : 26180 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018783 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644813822576 140646099237506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26181] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26181/stat : 26181 (java) S 26168 26168 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447018784 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644812768544 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26182] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26182/stat : 26182 (java) S 26168 26168 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447018784 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644560529008 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26183] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26183/stat : 26183 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644559477328 140646099244955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26184] ppid=26168 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/26170/task/26184/stat : 26184 (java) S 26168 26168 18670 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644558424176 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26185] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26185/stat : 26185 (java) S 26168 26168 18670 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644557371376 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26186] ppid=26168 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/26170/task/26186/stat : 26186 (java) S 26168 26168 18670 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644556319088 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26187] ppid=26168 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/26170/task/26187/stat : 26187 (java) R 26168 26168 18670 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644555266288 140646077910464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26188] ppid=26168 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26188/stat : 26188 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644554214240 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26189] ppid=26168 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26170/task/26189/stat : 26189 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28904853504 10274 33554432000 4194304 4196468 140732783507328 140644553161520 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42544 KiB

[startup+0.310764 s]*
/proc/loadavg: 5.92 7.58 8.01 3/211 26189
/proc/meminfo: memFree=30544524/32770688 swapFree=66961212/67108860
[pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0
/proc/26168/statm: 28282 362 304 221 0 87 0
[pid=26170] ppid=26168 vsize=28231652 memory=47092 CPUtime=0.52 cores=0-7
/proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 10586 0 0 0 47 5 0 0 20 0 20 0 447018780 28909211648 11773 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
/proc/26170/statm: 7057913 11773 3334 1 0 7019032 0
[pid=26170/tid=26171] ppid=26168 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/26170/task/26171/stat : 26171 (java) R 26168 26168 18670 0 -1 4202560 7576 0 0 0 26 3 0 0 20 0 20 0 447018781 28909211648 11773 33554432000 4194304 4196468 140732783507328 140646103447872 140646083306846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26172] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26173] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26174] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26175] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26175/stat : 26175 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645647887376 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26176] ppid=26168 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/26170/task/26176/stat : 26176 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645646834064 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26177] ppid=26168 vsize=28231652 memory=140607632798639 CPUtime=0 cores=0-7
/proc/26170/task/26177/stat : 26177 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645645781264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26178] ppid=26168 vsize=28231652 memory=140607632800944 CPUtime=0 cores=0-7
/proc/26170/task/26178/stat : 26178 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645644728976 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26179] ppid=26168 vsize=28231652 memory=140607632803248 CPUtime=0 cores=0-7
/proc/26170/task/26179/stat : 26179 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28909211648 11773 33554432000 4194304 4196468 140732783507328 140645643676176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26180] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26180/stat : 26180 (java) S 26168 26168 18670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447018783 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644813822576 140646099237506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26181] ppid=26168 vsize=28231652 memory=281215265613456 CPUtime=0 cores=0-7
/proc/26170/task/26181/stat : 26181 (java) S 26168 26168 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447018784 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644812768544 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26182] ppid=26168 vsize=28231652 memory=281215265620368 CPUtime=0 cores=0-7
/proc/26170/task/26182/stat : 26182 (java) S 26168 26168 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447018784 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644560529008 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26183] ppid=26168 vsize=28231652 memory=281215265561616 CPUtime=0 cores=0-7
/proc/26170/task/26183/stat : 26183 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644559477328 140646099244955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26184] ppid=26168 vsize=28231652 memory=281215265634192 CPUtime=0.02 cores=0-7
/proc/26170/task/26184/stat : 26184 (java) S 26168 26168 18670 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644558424176 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26185] ppid=26168 vsize=28231652 memory=281215265641104 CPUtime=0.01 cores=0-7
/proc/26170/task/26185/stat : 26185 (java) S 26168 26168 18670 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644557371376 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26186] ppid=26168 vsize=28231652 memory=281215265638800 CPUtime=0.03 cores=0-7
/proc/26170/task/26186/stat : 26186 (java) S 26168 26168 18670 0 -1 1077944384 149 0 0 0 3 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644556319088 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26187] ppid=26168 vsize=28231652 memory=281215265654960 CPUtime=0.12 cores=0-7
/proc/26170/task/26187/stat : 26187 (java) S 26168 26168 18670 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644555266288 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26188] ppid=26168 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26188/stat : 26188 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644554214240 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26189] ppid=26168 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/26170/task/26189/stat : 26189 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018787 28909211648 11773 33554432000 4194304 4196468 140732783507328 140644553161520 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48540 KiB

[startup+0.701037 s]
/proc/loadavg: 5.92 7.58 8.01 6/211 26189
/proc/meminfo: memFree=30516336/32770688 swapFree=66961212/67108860
[pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0
/proc/26168/statm: 28282 362 304 221 0 87 0
[pid=26170] ppid=26168 vsize=28233776 memory=110684 CPUtime=2.04 cores=0-7
/proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 15754 0 0 0 197 7 0 0 20 0 20 0 447018780 28911386624 27671 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
/proc/26170/statm: 7058444 27671 3450 1 0 7019544 0
[pid=26170/tid=26171] ppid=26168 vsize=28233776 memory=281215266012848 CPUtime=0.67 cores=0-7
/proc/26170/task/26171/stat : 26171 (java) R 26168 26168 18670 0 -1 4202560 8444 0 0 0 63 4 0 0 20 0 20 0 447018781 28911386624 27671 33554432000 4194304 4196468 140732783507328 140646103462928 140645700287557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26172] ppid=26168 vsize=28233776 memory=140607633007472 CPUtime=0 cores=0-7
/proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28911386624 27671 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26173] ppid=26168 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447018782 28911386624 27671 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26174] ppid=26168 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447018782 28911386624 27671 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0

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

/proc/meminfo: memFree=25481400/32770688 swapFree=66961212/67108860
[pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0
/proc/26168/statm: 28282 362 304 221 0 87 0
[pid=26170] ppid=26168 vsize=28768336 memory=5102780 CPUtime=1594.09 cores=0-7
/proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 273996 0 0 0 158949 460 0 0 20 0 28 0 447018780 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
/proc/26170/statm: 7192084 1275695 3568 1 0 7153184 0
[pid=26170/tid=26171] ppid=26168 vsize=28768336 memory=5102780 CPUtime=4.49 cores=0-7
/proc/26170/task/26171/stat : 26171 (java) S 26168 26168 18670 0 -1 1077944384 16179 0 0 0 434 15 0 0 20 0 28 0 447018781 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140646103467136 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26172] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0.88 cores=0-7
/proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1338 0 0 0 69 19 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26173] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0.92 cores=0-7
/proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 1235 0 0 0 74 18 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26174] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0.91 cores=0-7
/proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1211 0 0 0 72 19 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26175] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0.9 cores=0-7
/proc/26170/task/26175/stat : 26175 (java) S 26168 26168 18670 0 -1 1077944384 2893 0 0 0 71 19 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645647887376 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26176] ppid=26168 vsize=28768336 memory=1448 CPUtime=0.89 cores=0-7
/proc/26170/task/26176/stat : 26176 (java) S 26168 26168 18670 0 -1 1077944384 866 0 0 0 71 18 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645646834064 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26177] ppid=26168 vsize=28768336 memory=7596555962989241961 CPUtime=0.94 cores=0-7
/proc/26170/task/26177/stat : 26177 (java) S 26168 26168 18670 0 -1 1077944384 1120 0 0 0 74 20 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645645781264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26178] ppid=26168 vsize=28768336 memory=1448 CPUtime=0.92 cores=0-7
/proc/26170/task/26178/stat : 26178 (java) S 26168 26168 18670 0 -1 1077944384 1355 0 0 0 72 20 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645644728976 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26179] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0.91 cores=0-7
/proc/26170/task/26179/stat : 26179 (java) S 26168 26168 18670 0 -1 1077944384 1157 0 0 0 69 22 0 0 20 0 28 0 447018782 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140645643676176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26180] ppid=26168 vsize=28768336 memory=164 CPUtime=0.13 cores=0-7
/proc/26170/task/26180/stat : 26180 (java) S 26168 26168 18670 0 -1 1077944384 10525 0 0 0 10 3 0 0 20 0 28 0 447018783 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644813822576 140646099237506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26181] ppid=26168 vsize=28768336 memory=8238879570240492391 CPUtime=0 cores=0-7
/proc/26170/task/26181/stat : 26181 (java) S 26168 26168 18670 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 447018784 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644812768608 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26182] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0 cores=0-7
/proc/26170/task/26182/stat : 26182 (java) S 26168 26168 18670 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 447018784 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644560529024 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26183] ppid=26168 vsize=28768336 memory=2044 CPUtime=0 cores=0-7
/proc/26170/task/26183/stat : 26183 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644559477328 140646099244955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26184] ppid=26168 vsize=28768336 memory=5102256 CPUtime=6.3 cores=0-7
/proc/26170/task/26184/stat : 26184 (java) S 26168 26168 18670 0 -1 1077944384 40536 0 0 0 622 8 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644558424176 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26185] ppid=26168 vsize=28768336 memory=1448 CPUtime=5.02 cores=0-7
/proc/26170/task/26185/stat : 26185 (java) S 26168 26168 18670 0 -1 1077944384 31945 0 0 0 495 7 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644557371376 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26186] ppid=26168 vsize=28768336 memory=5102780 CPUtime=5.65 cores=0-7
/proc/26170/task/26186/stat : 26186 (java) S 26168 26168 18670 0 -1 1077944384 32531 0 0 0 559 6 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644556319088 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26187] ppid=26168 vsize=28768336 memory=1448 CPUtime=1.43 cores=0-7
/proc/26170/task/26187/stat : 26187 (java) S 26168 26168 18670 0 -1 1077944384 23445 0 0 0 138 5 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644555266288 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26188] ppid=26168 vsize=28768336 memory=5102780 CPUtime=0 cores=0-7
/proc/26170/task/26188/stat : 26188 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644554214240 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26189] ppid=26168 vsize=28768336 memory=1448 CPUtime=0.07 cores=0-7
/proc/26170/task/26189/stat : 26189 (java) S 26168 26168 18670 0 -1 1077944384 3685 0 0 0 5 2 0 0 20 0 28 0 447018787 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644553161520 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26835] ppid=26168 vsize=28768336 memory=5102780 CPUtime=123.37 cores=0-7
/proc/26170/task/26835/stat : 26835 (java) R 26168 26168 18670 0 -1 4202560 3208 0 0 0 12336 1 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643896471096 140645705303104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26836] ppid=26168 vsize=28768336 memory=1448 CPUtime=123.3 cores=0-7
/proc/26170/task/26836/stat : 26836 (java) R 26168 26168 18670 0 -1 4202560 843 0 0 0 12330 0 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643891208792 140645711288160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26837] ppid=26168 vsize=28768336 memory=1448 CPUtime=123.34 cores=0-7
/proc/26170/task/26837/stat : 26837 (java) R 26168 26168 18670 0 -1 4202560 1243 0 0 0 12333 1 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643897524184 140645707319718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26838] ppid=26168 vsize=28768336 memory=5102780 CPUtime=122.61 cores=0-7
/proc/26170/task/26838/stat : 26838 (java) R 26168 26168 18670 0 -1 4202560 15955 0 0 0 12181 80 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643894368248 140645711696527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26839] ppid=26168 vsize=28768336 memory=1448 CPUtime=123.33 cores=0-7
/proc/26170/task/26839/stat : 26839 (java) R 26168 26168 18670 0 -1 4202560 1173 0 0 0 12333 0 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140644544180600 140645707319701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26840] ppid=26168 vsize=28768336 memory=3612 CPUtime=122.07 cores=0-7
/proc/26170/task/26840/stat : 26840 (java) R 26168 26168 18670 0 -1 4202560 2309 0 0 0 12207 0 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643892261000 140645709635234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26841] ppid=26168 vsize=28768336 memory=47088 CPUtime=123.32 cores=0-7
/proc/26170/task/26841/stat : 26841 (java) R 26168 26168 18670 0 -1 4202560 1090 0 0 0 12332 0 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643895421480 140645712811952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26842] ppid=26168 vsize=28768336 memory=984 CPUtime=122.65 cores=0-7
/proc/26170/task/26842/stat : 26842 (java) R 26168 26168 18670 0 -1 4202560 1423 0 0 0 12264 1 0 0 20 0 28 0 447028656 29458776064 1275695 33554432000 4194304 4196468 140732783507328 140643893313608 140645707246599 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
Current children cumulated CPU time: 1594.09 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5104228 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.38 7.28 7.75 9/220 26891
/proc/meminfo: memFree=25481880/32770688 swapFree=66961212/67108860
[pid=26168] ppid=26165 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/26168/stat : 26168 (xcsp3-exec) S 26165 26168 18670 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 447018780 115843072 362 33554432000 4194304 5098028 140731180297952 140731180296056 140183255900796 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 35291136 140731180299132 140731180299374 140731180299374 140731180302282 0
/proc/26168/statm: 28282 362 304 221 0 87 0
[pid=26170] ppid=26168 vsize=28768336 memory=5102388 CPUtime=1821.19 cores=0-7
/proc/26170/stat : 26170 (java) S 26168 26168 18670 0 -1 1077944320 281626 0 0 0 181653 466 0 0 20 0 28 0 447018780 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140732783489872 140646099226359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
/proc/26170/statm: 7192084 1275597 3568 1 0 7153184 0
[pid=26170/tid=26171] ppid=26168 vsize=28768336 memory=6791534058613427641 CPUtime=4.49 cores=0-7
/proc/26170/task/26171/stat : 26171 (java) S 26168 26168 18670 0 -1 1077944384 16698 0 0 0 434 15 0 0 20 0 28 0 447018781 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140646103467136 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26172] ppid=26168 vsize=28768336 memory=4872558044660077418 CPUtime=0.88 cores=0-7
/proc/26170/task/26172/stat : 26172 (java) S 26168 26168 18670 0 -1 1077944384 1338 0 0 0 69 19 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645651045264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26173] ppid=26168 vsize=28768336 memory=2120 CPUtime=0.92 cores=0-7
/proc/26170/task/26173/stat : 26173 (java) S 26168 26168 18670 0 -1 1077944384 1235 0 0 0 74 18 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645649992464 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26174] ppid=26168 vsize=28768336 memory=496 CPUtime=0.91 cores=0-7
/proc/26170/task/26174/stat : 26174 (java) S 26168 26168 18670 0 -1 1077944384 1211 0 0 0 72 19 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645648940176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26175] ppid=26168 vsize=28768336 memory=1556 CPUtime=0.9 cores=0-7
/proc/26170/task/26175/stat : 26175 (java) S 26168 26168 18670 0 -1 1077944384 2893 0 0 0 71 19 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645647887376 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26176] ppid=26168 vsize=28768336 memory=0 CPUtime=0.89 cores=0-7
/proc/26170/task/26176/stat : 26176 (java) S 26168 26168 18670 0 -1 1077944384 866 0 0 0 71 18 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645646834064 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26177] ppid=26168 vsize=28768336 memory=-7816663703405220396 CPUtime=0.94 cores=0-7
/proc/26170/task/26177/stat : 26177 (java) S 26168 26168 18670 0 -1 1077944384 1120 0 0 0 74 20 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645645781264 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26178] ppid=26168 vsize=28768336 memory=33 CPUtime=0.92 cores=0-7
/proc/26170/task/26178/stat : 26178 (java) S 26168 26168 18670 0 -1 1077944384 1355 0 0 0 72 20 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645644728976 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26179] ppid=26168 vsize=28768336 memory=6656426216303648864 CPUtime=0.91 cores=0-7
/proc/26170/task/26179/stat : 26179 (java) S 26168 26168 18670 0 -1 1077944384 1157 0 0 0 69 22 0 0 20 0 28 0 447018782 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140645643676176 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26180] ppid=26168 vsize=28768336 memory=7380109406876493632 CPUtime=0.13 cores=0-7
/proc/26170/task/26180/stat : 26180 (java) S 26168 26168 18670 0 -1 1077944384 10547 0 0 0 10 3 0 0 20 0 28 0 447018783 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644813822576 140646099237506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26181] ppid=26168 vsize=28768336 memory=5793436075404846183 CPUtime=0 cores=0-7
/proc/26170/task/26181/stat : 26181 (java) S 26168 26168 18670 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 447018784 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644812768608 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26182] ppid=26168 vsize=28768336 memory=7380109406876493632 CPUtime=0 cores=0-7
/proc/26170/task/26182/stat : 26182 (java) S 26168 26168 18670 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 447018784 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644560529024 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26183] ppid=26168 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/26170/task/26183/stat : 26183 (java) S 26168 26168 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644559477328 140646099244955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26184] ppid=26168 vsize=28768336 memory=1412 CPUtime=6.3 cores=0-7
/proc/26170/task/26184/stat : 26184 (java) S 26168 26168 18670 0 -1 1077944384 40554 0 0 0 622 8 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644558424176 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26185] ppid=26168 vsize=28768336 memory=4020 CPUtime=5.02 cores=0-7
/proc/26170/task/26185/stat : 26185 (java) S 26168 26168 18670 0 -1 1077944384 31951 0 0 0 495 7 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644557371376 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26186] ppid=26168 vsize=28768336 memory=1448 CPUtime=5.65 cores=0-7
/proc/26170/task/26186/stat : 26186 (java) S 26168 26168 18670 0 -1 1077944384 32537 0 0 0 559 6 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644556319088 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26187] ppid=26168 vsize=28768336 memory=5102508 CPUtime=1.43 cores=0-7
/proc/26170/task/26187/stat : 26187 (java) S 26168 26168 18670 0 -1 1077944384 24647 0 0 0 138 5 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644555266288 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26188] ppid=26168 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/26170/task/26188/stat : 26188 (java) S 26168 26168 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644554214240 140646099236565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26189] ppid=26168 vsize=28768336 memory=4872558044660077418 CPUtime=0.09 cores=0-7
/proc/26170/task/26189/stat : 26189 (java) S 26168 26168 18670 0 -1 1077944384 3786 0 0 0 6 3 0 0 20 0 28 0 447018787 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644553161520 140646099237506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26884] ppid=26168 vsize=28768336 memory=1984 CPUtime=2.1 cores=0-7
/proc/26170/task/26884/stat : 26884 (java) R 26168 26168 18670 0 -1 4202560 142 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643892264840 140645703977367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26885] ppid=26168 vsize=28768336 memory=2424 CPUtime=2.04 cores=0-7
/proc/26170/task/26885/stat : 26885 (java) R 26168 26168 18670 0 -1 4202560 54 0 0 0 204 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643895423864 140645707319544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26886] ppid=26168 vsize=28768336 memory=1760 CPUtime=2.1 cores=0-7
/proc/26170/task/26886/stat : 26886 (java) R 26168 26168 18670 0 -1 4202560 93 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643893318376 140645707319701 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26887] ppid=26168 vsize=28768336 memory=111636 CPUtime=2.1 cores=0-7
/proc/26170/task/26887/stat : 26887 (java) R 26168 26168 18670 0 -1 4202560 136 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643894373064 140645711288004 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26888] ppid=26168 vsize=28768336 memory=800 CPUtime=2.1 cores=0-7
/proc/26170/task/26888/stat : 26888 (java) R 26168 26168 18670 0 -1 4202560 71 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140644544187464 140645711920815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26889] ppid=26168 vsize=28768336 memory=1808 CPUtime=2.1 cores=0-7
/proc/26170/task/26889/stat : 26889 (java) R 26168 26168 18670 0 -1 4202560 188 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643897531336 140645703360030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26890] ppid=26168 vsize=28768336 memory=5102212 CPUtime=2.1 cores=0-7
/proc/26170/task/26890/stat : 26890 (java) R 26168 26168 18670 0 -1 4202560 85 0 0 0 210 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643891215688 140645707319681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
[pid=26170/tid=26891] ppid=26168 vsize=28768336 memory=2832 CPUtime=2.09 cores=0-7
/proc/26170/task/26891/stat : 26891 (java) R 26168 26168 18670 0 -1 4202560 96 0 0 0 209 0 0 0 20 0 28 0 447043770 29458776064 1275597 33554432000 4194304 4196468 140732783507328 140643896478920 140645712767345 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12738560 140732783510512 140732783510683 140732783510683 140732783513551 0
Current children cumulated CPU time: 1821.19 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5103836 KiB

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

[startup+252.04 s]
# the end of solver process 26168 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001299 s, system=0.001299 s

[startup+252.144 s]
# the end of solver process 26170 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1817.17 s, system=4.71451 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

[startup+252.133 s]*
/proc/loadavg: 7.38 7.28 7.75 2/193 26893
/proc/meminfo: memFree=30502932/32770688 swapFree=66961212/67108860
Current cumulated CPU time of completed processes: 0.002598 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.144
CPU time (s): 1821.88
CPU user time (s): 1817.17
CPU system time (s): 4.71451
CPU usage (%): 722.558
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 5104228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1817.17
system time used= 4.71451
maximum resident set size= 5102780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19273
involuntary context switches= 21151


# summary of solver processes directly reported to runsolver:
#   pid: 26168,26170
#   total CPU time (s): 1821.88
#   total CPU user time (s): 1817.17
#   total CPU system time (s): 4.71451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04525 second user time and 3.51795 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-17 10:58:50
IDJOB=4400249
IDBENCH=126995
IDSOLVER=2855
FILE ID=node116/4400249-1568710771
RUNJOBID= node116-1568700981-18697
PBS_JOBID= 21703912
Free space on /tmp= 61232 MiB

SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4400249-1568710771/watcher-4400249-1568710771 -o /tmp/evaluation-result-4400249-1568710771/solver-4400249-1568710771 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 557275604 HOME/instance-4400249-1568710771.xml

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

MD5SUM BENCH= d92bd6a6dba83323313b355bf487e521
RANDOM SEED=557275604

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        30579644 kB
MemAvailable:   31845852 kB
Buffers:          153144 kB
Cached:          1407576 kB
SwapCached:        46584 kB
Active:          1026452 kB
Inactive:         583888 kB
Active(anon):       3572 kB
Inactive(anon):    94964 kB
Active(file):    1022880 kB
Inactive(file):   488924 kB
Unevictable:      110568 kB
Mlocked:          110568 kB
SwapTotal:      67108860 kB
SwapFree:       66961212 kB
Dirty:             26820 kB
Writeback:             0 kB
AnonPages:        112464 kB
Mapped:            48020 kB
Shmem:             40296 kB
Slab:             169424 kB
SReclaimable:     140476 kB
SUnreclaim:        28948 kB
KernelStack:        3392 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     506428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 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:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61208 MiB
End job on node116 at 2019-09-17 11:03:02