Trace number 4407449

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-24 parallelSAT (TO)941 1941.24 252.122

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-4407449-1569347266.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407449-1569347266.xml, -tl, 2016s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
14.20/4.17	c solve instance...
20.56/5.07	o 238965 
20.56/5.10	o 223301 
21.13/5.15	o 222957 
21.13/5.17	o 208685 
22.37/5.34	o 208341 
22.37/5.36	o 208005 
23.13/5.55	o 195085 
23.98/5.82	o 194725 
23.98/5.84	o 194389 
23.98/5.86	o 194077 
23.98/5.89	o 182469 
24.32/5.94	o 182093 
24.32/5.96	o 181757 
24.32/5.98	o 181429 
24.32/6.00	o 181141 
24.60/6.03	o 170805 
24.60/6.07	o 170413 
24.97/6.12	o 170061 
24.97/6.16	o 169733 
25.19/6.20	o 169429 
25.19/6.24	o 169165 
25.19/6.26	o 160061 
25.19/6.28	o 151405 
25.86/6.47	o 150205 
28.81/8.91	o 149781 
28.81/8.94	o 149397 
28.81/8.98	o 149053 
28.81/9.00	o 148733 
29.29/9.08	o 148437 
29.29/9.10	o 148181 
29.93/9.13	o 147965 
29.93/9.15	o 2869 
31.17/9.31	o 2621 
31.90/9.41	o 2573 
33.41/9.68	o 2541 
34.11/9.72	o 2453 
34.11/9.75	o 2421 
106.28/18.85	o 2149 
136.48/22.60	o 2061 
153.61/24.85	o 1981 
155.94/25.16	o 1965 
155.94/25.19	o 1925 
160.40/25.75	o 1877 
173.57/28.96	o 1861 
176.32/29.32	o 1845 
177.05/29.42	o 1805 
177.05/29.44	o 1749 
177.65/29.53	o 1709 
177.65/29.54	o 1701 
177.65/29.55	o 1685 
179.10/29.73	o 1581 
194.18/31.63	o 1557 
285.74/44.39	o 1501 
321.75/48.93	o 1413 
329.59/49.93	o 1405 
335.85/50.73	o 1253 
356.49/53.39	o 1237 
415.35/60.70	o 1173 
415.35/60.76	o 1165 
430.32/62.61	o 1133 
533.11/75.57	o 1021 
580.83/81.51	o 973 
580.83/81.54	o 965 
611.69/85.47	o 941 
1940.59/252.07	s SATISFIABLE
1940.59/252.07	v <instantiation>
1940.59/252.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[0][87] y[0][88] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[1][86] y[1][87] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[2][85] y[2][86] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[3][84] y[3][85] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[4][83] y[4][84] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[5][83] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[83][0] y[83][1] y[83][2] y[83][3] y[83][4] y[83][5] y[84][0] y[84][1] y[84][2] y[84][3] y[84][4] y[85][0] y[85][1] y[85][2] y[85][3] y[86][0] y[86][1] y[86][2] y[87][0] y[87][1] y[88][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] </list>
1940.59/252.08	v 	<values>-1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 2 -3 0 3 -4 3 -4 -1 -2 3 -4 3 4 1 2 1 8 -3 -2 -3 0 -3 0 -1 0 1 0 -3 4 3 4 3 -8 -1 -4 3 -4 1 -4 -3 -2 1 2 -5 0 -3 0 -3 -2 -3 2 -5 -2 3 2 -1 -2 -1 -10 -3 2 -3 -2 3 -2 1 -6 -7 4 5 -2 5 0 1 2 -1 6 -1 0 3 -2 3 -6 3 -2 1 0 -1 1 4 9 0 9 16 9 16 1 4 9 16 9 16 1 4 1 64 9 4 9 0 9 0 1 0 1 0 9 16 9 16 9 64 1 16 9 16 1 16 9 4 1 4 25 0 9 0 9 4 9 4 25 4 9 4 1 4 1 100 9 4 9 4 9 4 1 36 49 16 25 4 25 0 1 4 1 36 1 0 9 4 9 36 9 4 1 0 1 </values>
1940.59/252.08	v </instantiation>
1940.59/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	941

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407449-1569347266/watcher-4407449-1569347266 -o /tmp/evaluation-result-4407449-1569347266/solver-4407449-1569347266 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1803610371 HOME/instance-4407449-1569347266.xml 

running on 8 cores: 0,2,4,6,1,3,5,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=28391, runsolver pid=28388
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 7.67 8.17 8.23 2/211 28412
/proc/meminfo: memFree=25422480/32770624 swapFree=66975640/67108860
[pid=28391] ppid=28388 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28391/stat : 28391 (xcsp3-exec) S 28388 28391 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510993414 115843072 363 33554432000 4194304 5098028 140721055987888 140721055985992 140683872825980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9449472 140721055994747 140721055994990 140721055994990 140721055997898 0
/proc/28391/statm: 28282 363 304 221 0 87 0
[pid=28393] ppid=28391 vsize=28227396 memory=30512 CPUtime=0.12 cores=0-7
/proc/28393/stat : 28393 (java) S 28391 28391 24466 0 -1 1077944320 5473 0 0 0 11 1 0 0 20 0 20 0 510993415 28904853504 7628 33554432000 4194304 4196468 140727689835296 140727689817840 140479289302775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
/proc/28393/statm: 7056849 7628 3164 1 0 7019032 0
[pid=28393/tid=28394] ppid=28391 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/28393/task/28394/stat : 28394 (java) R 28391 28391 24466 0 -1 4202560 3411 0 0 0 8 0 0 0 20 0 20 0 510993415 28904853504 7628 33554432000 4194304 4196468 140727689835296 140479293535376 140479289314710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28395] ppid=28391 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28393/task/28395/stat : 28395 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 7628 33554432000 4194304 4196468 140727689835296 140479254584336 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28396] ppid=28391 vsize=28227396 memory=140327440844416 CPUtime=0 cores=0-7
/proc/28393/task/28396/stat : 28396 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 7628 33554432000 4194304 4196468 140727689835296 140478840089744 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28397] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28397/stat : 28397 (java) S 28391 28391 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 7628 33554432000 4194304 4196468 140727689835296 140478839036688 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28398] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28398/stat : 28398 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 7628 33554432000 4194304 4196468 140727689835296 140478837984144 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28399] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28399/stat : 28399 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 7628 33554432000 4194304 4196468 140727689835296 140478836931088 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28400] ppid=28391 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28393/task/28400/stat : 28400 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 7628 33554432000 4194304 4196468 140727689835296 140478835878544 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28401] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28401/stat : 28401 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 7628 33554432000 4194304 4196468 140727689835296 140478834825488 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28402] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28402/stat : 28402 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 7628 33554432000 4194304 4196468 140727689835296 140478833772944 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28403] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28403/stat : 28403 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993417 28904853504 7628 33554432000 4194304 4196468 140727689835296 140477938678512 140479289313922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28404] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28404/stat : 28404 (java) S 28391 28391 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510993418 28904853504 7628 33554432000 4194304 4196468 140727689835296 140477937624736 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28405] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28405/stat : 28405 (java) S 28391 28391 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510993418 28904853504 7628 33554432000 4194304 4196468 140727689835296 140477936571632 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28406] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28406/stat : 28406 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510993420 28904853504 7628 33554432000 4194304 4196468 140727689835296 140477935520208 140479289321371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28407] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28407/stat : 28407 (java) S 28391 28391 24466 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 20 0 510993420 28904853504 7628 33554432000 4194304 4196468 140727689835296 140477934467312 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28408] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28408/stat : 28408 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993420 28904853504 7628 33554432000 4194304 4196468 140727689835296 140477933414768 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28409] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28409/stat : 28409 (java) S 28391 28391 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510993420 28904853504 7628 33554432000 4194304 4196468 140727689835296 140477932361712 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28410] ppid=28391 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28393/task/28410/stat : 28410 (java) S 28391 28391 24466 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 20 0 510993420 28904853504 7628 33554432000 4194304 4196468 140727689835296 140477931309168 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28411] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28411/stat : 28411 (java) S 28391 28391 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510993421 28904853504 7628 33554432000 4194304 4196468 140727689835296 140477930257376 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28412] ppid=28391 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28393/task/28412/stat : 28412 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510993421 28904853504 7628 33554432000 4194304 4196468 140727689835296 140477929204912 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31964 KiB

[startup+0.210659 s]*
/proc/loadavg: 7.67 8.17 8.23 2/211 28412
/proc/meminfo: memFree=25396476/32770624 swapFree=66975640/67108860
[pid=28391] ppid=28388 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28391/stat : 28391 (xcsp3-exec) S 28388 28391 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510993414 115843072 363 33554432000 4194304 5098028 140721055987888 140721055985992 140683872825980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9449472 140721055994747 140721055994990 140721055994990 140721055997898 0
/proc/28391/statm: 28282 363 304 221 0 87 0
[pid=28393] ppid=28391 vsize=28227396 memory=41676 CPUtime=0.34 cores=0-7
/proc/28393/stat : 28393 (java) S 28391 28391 24466 0 -1 1077944320 9115 0 0 0 31 3 0 0 20 0 20 0 510993415 28904853504 10419 33554432000 4194304 4196468 140727689835296 140727689817840 140479289302775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
/proc/28393/statm: 7056849 10419 3309 1 0 7019032 0
[pid=28393/tid=28394] ppid=28391 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28393/task/28394/stat : 28394 (java) R 28391 28391 24466 0 -1 4202560 6245 0 0 0 18 1 0 0 20 0 20 0 510993415 28904853504 10419 33554432000 4194304 4196468 140727689835296 140479293534688 140478926043472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28395] ppid=28391 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/28393/task/28395/stat : 28395 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 10419 33554432000 4194304 4196468 140727689835296 140479254584336 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28396] ppid=28391 vsize=28227396 memory=3906507453013395104 CPUtime=0 cores=0-7
/proc/28393/task/28396/stat : 28396 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 10419 33554432000 4194304 4196468 140727689835296 140478840089744 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28397] ppid=28391 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28393/task/28397/stat : 28397 (java) S 28391 28391 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 10419 33554432000 4194304 4196468 140727689835296 140478839036688 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28398] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28398/stat : 28398 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 10419 33554432000 4194304 4196468 140727689835296 140478837984144 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28399] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28399/stat : 28399 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 10419 33554432000 4194304 4196468 140727689835296 140478836931088 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28400] ppid=28391 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28393/task/28400/stat : 28400 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 10419 33554432000 4194304 4196468 140727689835296 140478835878544 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28401] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28401/stat : 28401 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 10419 33554432000 4194304 4196468 140727689835296 140478834825488 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28402] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28402/stat : 28402 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28904853504 10419 33554432000 4194304 4196468 140727689835296 140478833772944 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28403] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28403/stat : 28403 (java) S 28391 28391 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510993417 28904853504 10419 33554432000 4194304 4196468 140727689835296 140477938678512 140479289313922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28404] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28404/stat : 28404 (java) S 28391 28391 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510993418 28904853504 10419 33554432000 4194304 4196468 140727689835296 140477937624736 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28405] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28405/stat : 28405 (java) S 28391 28391 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510993418 28904853504 10419 33554432000 4194304 4196468 140727689835296 140477936571632 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28406] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28406/stat : 28406 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510993420 28904853504 10419 33554432000 4194304 4196468 140727689835296 140477935520208 140479289321371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28407] ppid=28391 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28393/task/28407/stat : 28407 (java) S 28391 28391 24466 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 20 0 510993420 28904853504 10419 33554432000 4194304 4196468 140727689835296 140477934467312 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28408] ppid=28391 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28393/task/28408/stat : 28408 (java) S 28391 28391 24466 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 510993420 28904853504 10419 33554432000 4194304 4196468 140727689835296 140477933414768 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28409] ppid=28391 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/28393/task/28409/stat : 28409 (java) S 28391 28391 24466 0 -1 1077944384 300 0 0 0 2 0 0 0 20 0 20 0 510993420 28904853504 10419 33554432000 4194304 4196468 140727689835296 140477932361712 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28410] ppid=28391 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/28393/task/28410/stat : 28410 (java) R 28391 28391 24466 0 -1 4202560 734 0 0 0 7 0 0 0 20 0 20 0 510993420 28904853504 10419 33554432000 4194304 4196468 140727689835296 140477931309168 140479289314710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28411] ppid=28391 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28411/stat : 28411 (java) S 28391 28391 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510993421 28904853504 10419 33554432000 4194304 4196468 140727689835296 140477930257376 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28412] ppid=28391 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28393/task/28412/stat : 28412 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993421 28904853504 10419 33554432000 4194304 4196468 140727689835296 140477929204912 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 43128 KiB

[startup+0.310826 s]*
/proc/loadavg: 7.67 8.17 8.23 3/211 28412
/proc/meminfo: memFree=25393400/32770624 swapFree=66975640/67108860
[pid=28391] ppid=28388 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28391/stat : 28391 (xcsp3-exec) S 28388 28391 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510993414 115843072 363 33554432000 4194304 5098028 140721055987888 140721055985992 140683872825980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9449472 140721055994747 140721055994990 140721055994990 140721055997898 0
/proc/28391/statm: 28282 363 304 221 0 87 0
[pid=28393] ppid=28391 vsize=28231652 memory=50188 CPUtime=0.52 cores=0-7
/proc/28393/stat : 28393 (java) S 28391 28391 24466 0 -1 1077944320 10396 0 0 0 49 3 0 0 20 0 20 0 510993415 28909211648 12547 33554432000 4194304 4196468 140727689835296 140727689817840 140479289302775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
/proc/28393/statm: 7057913 12547 3343 1 0 7019032 0
[pid=28393/tid=28394] ppid=28391 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28393/task/28394/stat : 28394 (java) R 28391 28391 24466 0 -1 4202560 7329 0 0 0 27 2 0 0 20 0 20 0 510993415 28909211648 12547 33554432000 4194304 4196468 140727689835296 140479293533888 140479273383262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28395] ppid=28391 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28395/stat : 28395 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510993416 28909211648 12547 33554432000 4194304 4196468 140727689835296 140479254584336 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28396] ppid=28391 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28396/stat : 28396 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28909211648 12547 33554432000 4194304 4196468 140727689835296 140478840089744 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28397] ppid=28391 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28397/stat : 28397 (java) S 28391 28391 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510993416 28909211648 12547 33554432000 4194304 4196468 140727689835296 140478839036688 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28398] ppid=28391 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28398/stat : 28398 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510993416 28909211648 12547 33554432000 4194304 4196468 140727689835296 140478837984144 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28399] ppid=28391 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/28393/task/28399/stat : 28399 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28909211648 12547 33554432000 4194304 4196468 140727689835296 140478836931088 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28400] ppid=28391 vsize=28231652 memory=140327319073711 CPUtime=0 cores=0-7
/proc/28393/task/28400/stat : 28400 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28909211648 12547 33554432000 4194304 4196468 140727689835296 140478835878544 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28401] ppid=28391 vsize=28231652 memory=140327319076016 CPUtime=0 cores=0-7
/proc/28393/task/28401/stat : 28401 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28909211648 12547 33554432000 4194304 4196468 140727689835296 140478834825488 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28402] ppid=28391 vsize=28231652 memory=140327319078320 CPUtime=0 cores=0-7
/proc/28393/task/28402/stat : 28402 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28909211648 12547 33554432000 4194304 4196468 140727689835296 140478833772944 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28403] ppid=28391 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28403/stat : 28403 (java) S 28391 28391 24466 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510993417 28909211648 12547 33554432000 4194304 4196468 140727689835296 140477938678512 140479289313922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28404] ppid=28391 vsize=28231652 memory=280654638163600 CPUtime=0 cores=0-7
/proc/28393/task/28404/stat : 28404 (java) S 28391 28391 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510993418 28909211648 12547 33554432000 4194304 4196468 140727689835296 140477937624736 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28405] ppid=28391 vsize=28231652 memory=280654638170512 CPUtime=0 cores=0-7
/proc/28393/task/28405/stat : 28405 (java) S 28391 28391 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510993418 28909211648 12547 33554432000 4194304 4196468 140727689835296 140477936571632 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28406] ppid=28391 vsize=28231652 memory=280654638111792 CPUtime=0 cores=0-7
/proc/28393/task/28406/stat : 28406 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510993420 28909211648 12547 33554432000 4194304 4196468 140727689835296 140477935520208 140479289321371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28407] ppid=28391 vsize=28231652 memory=280654638184336 CPUtime=0.01 cores=0-7
/proc/28393/task/28407/stat : 28407 (java) S 28391 28391 24466 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 20 0 510993420 28909211648 12547 33554432000 4194304 4196468 140727689835296 140477934467312 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28408] ppid=28391 vsize=28231652 memory=280654638191248 CPUtime=0.02 cores=0-7
/proc/28393/task/28408/stat : 28408 (java) S 28391 28391 24466 0 -1 1077944384 62 0 0 0 2 0 0 0 20 0 20 0 510993420 28909211648 12547 33554432000 4194304 4196468 140727689835296 140477933414768 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28409] ppid=28391 vsize=28231652 memory=280654638188944 CPUtime=0.04 cores=0-7
/proc/28393/task/28409/stat : 28409 (java) R 28391 28391 24466 0 -1 4202560 386 0 0 0 4 0 0 0 20 0 20 0 510993420 28909211648 12547 33554432000 4194304 4196468 140727689835296 140477932352096 140479268549110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28410] ppid=28391 vsize=28231652 memory=280654638205104 CPUtime=0.12 cores=0-7
/proc/28393/task/28410/stat : 28410 (java) S 28391 28391 24466 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 20 0 510993420 28909211648 12547 33554432000 4194304 4196468 140727689835296 140477931309168 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28411] ppid=28391 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28411/stat : 28411 (java) S 28391 28391 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510993421 28909211648 12547 33554432000 4194304 4196468 140727689835296 140477930257376 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28412] ppid=28391 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/28393/task/28412/stat : 28412 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993421 28909211648 12547 33554432000 4194304 4196468 140727689835296 140477929204912 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51640 KiB

[startup+0.700924 s]
/proc/loadavg: 7.67 8.17 8.23 5/211 28412
/proc/meminfo: memFree=25370892/32770624 swapFree=66975640/67108860
[pid=28391] ppid=28388 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28391/stat : 28391 (xcsp3-exec) S 28388 28391 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510993414 115843072 363 33554432000 4194304 5098028 140721055987888 140721055985992 140683872825980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9449472 140721055994747 140721055994990 140721055994990 140721055997898 0
/proc/28391/statm: 28282 363 304 221 0 87 0
[pid=28393] ppid=28391 vsize=28233776 memory=116956 CPUtime=2.04 cores=0-7
/proc/28393/stat : 28393 (java) S 28391 28391 24466 0 -1 1077944320 15310 0 0 0 198 6 0 0 20 0 20 0 510993415 28911386624 29239 33554432000 4194304 4196468 140727689835296 140727689817840 140479289302775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
/proc/28393/statm: 7058444 29239 3453 1 0 7019544 0
[pid=28393/tid=28394] ppid=28391 vsize=28233776 memory=280654638562992 CPUtime=0.67 cores=0-7
/proc/28393/task/28394/stat : 28394 (java) R 28391 28391 24466 0 -1 4202560 7976 0 0 0 63 4 0 0 20 0 20 0 510993415 28911386624 29239 33554432000 4194304 4196468 140727689835296 140479293538160 140478930240071 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28395] ppid=28391 vsize=28233776 memory=140327319282544 CPUtime=0 cores=0-7
/proc/28393/task/28395/stat : 28395 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510993416 28911386624 29239 33554432000 4194304 4196468 140727689835296 140479254584336 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28396] ppid=28391 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/28393/task/28396/stat : 28396 (java) S 28391 28391 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510993416 28911386624 29239 33554432000 4194304 4196468 140727689835296 140478840089744 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28397] ppid=28391 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/28393/task/28397/stat : 28397 (java) S 28391 28391 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510993416 28911386624 29239 33554432000 4194304 4196468 140727689835296 140478839036688 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0

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

[pid=28393/tid=28937] ppid=28391 vsize=28768336 memory=1452 CPUtime=76.6 cores=0-7
/proc/28393/task/28937/stat : 28937 (java) R 28391 28391 24466 0 -1 4202560 748 0 0 0 7660 0 0 0 20 0 28 0 511001962 29458776064 1229307 33554432000 4194304 4196468 140727689835296 140477913678456 140478933012277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
Current children cumulated CPU time: 1224.99 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 4918680 KiB

[startup+222.302 s]
/proc/loadavg: 7.97 7.90 8.09 9/221 28955
/proc/meminfo: memFree=20284248/32770624 swapFree=66975640/67108860
[pid=28391] ppid=28388 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28391/stat : 28391 (xcsp3-exec) S 28388 28391 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510993414 115843072 363 33554432000 4194304 5098028 140721055987888 140721055985992 140683872825980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9449472 140721055994747 140721055994990 140721055994990 140721055997898 0
/proc/28391/statm: 28282 363 304 221 0 87 0
[pid=28393] ppid=28391 vsize=28768336 memory=5165040 CPUtime=1703.58 cores=0-7
/proc/28393/stat : 28393 (java) S 28391 28391 24466 0 -1 1077944320 225909 0 0 0 169888 470 0 0 20 0 28 0 510993415 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140727689817840 140479289302775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
/proc/28393/statm: 7192084 1291260 3568 1 0 7153184 0
[pid=28393/tid=28394] ppid=28391 vsize=28768336 memory=1452 CPUtime=4.06 cores=0-7
/proc/28393/task/28394/stat : 28394 (java) S 28391 28391 24466 0 -1 1077944384 14248 0 0 0 392 14 0 0 20 0 28 0 510993415 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140479293543552 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28395] ppid=28391 vsize=28768336 memory=5156848 CPUtime=0.9 cores=0-7
/proc/28393/task/28395/stat : 28395 (java) S 28391 28391 24466 0 -1 1077944384 1522 0 0 0 70 20 0 0 20 0 28 0 510993416 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140479254584336 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28396] ppid=28391 vsize=28768336 memory=5162992 CPUtime=0.96 cores=0-7
/proc/28393/task/28396/stat : 28396 (java) S 28391 28391 24466 0 -1 1077944384 1511 0 0 0 75 21 0 0 20 0 28 0 510993416 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140478840089744 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28397] ppid=28391 vsize=28768336 memory=91 CPUtime=0.93 cores=0-7
/proc/28393/task/28397/stat : 28397 (java) S 28391 28391 24466 0 -1 1077944384 1480 0 0 0 73 20 0 0 20 0 28 0 510993416 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140478839036688 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28398] ppid=28391 vsize=28768336 memory=92 CPUtime=0.88 cores=0-7
/proc/28393/task/28398/stat : 28398 (java) S 28391 28391 24466 0 -1 1077944384 1033 0 0 0 69 19 0 0 20 0 28 0 510993416 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140478837984144 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28399] ppid=28391 vsize=28768336 memory=1452 CPUtime=0.93 cores=0-7
/proc/28393/task/28399/stat : 28399 (java) S 28391 28391 24466 0 -1 1077944384 1165 0 0 0 74 19 0 0 20 0 28 0 510993416 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140478836931088 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28400] ppid=28391 vsize=28768336 memory=1452 CPUtime=0.94 cores=0-7
/proc/28393/task/28400/stat : 28400 (java) S 28391 28391 24466 0 -1 1077944384 1197 0 0 0 74 20 0 0 20 0 28 0 510993416 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140478835878544 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28401] ppid=28391 vsize=28768336 memory=3620 CPUtime=0.91 cores=0-7
/proc/28393/task/28401/stat : 28401 (java) S 28391 28391 24466 0 -1 1077944384 1248 0 0 0 72 19 0 0 20 0 28 0 510993416 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140478834825488 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28402] ppid=28391 vsize=28768336 memory=63860 CPUtime=0.92 cores=0-7
/proc/28393/task/28402/stat : 28402 (java) S 28391 28391 24466 0 -1 1077944384 1765 0 0 0 71 21 0 0 20 0 28 0 510993416 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140478833772944 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28403] ppid=28391 vsize=28768336 memory=4917220 CPUtime=0.11 cores=0-7
/proc/28393/task/28403/stat : 28403 (java) S 28391 28391 24466 0 -1 1077944384 9304 0 0 0 9 2 0 0 20 0 28 0 510993417 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477938678512 140479289313922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28404] ppid=28391 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/28393/task/28404/stat : 28404 (java) S 28391 28391 24466 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 510993418 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477937624800 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28405] ppid=28391 vsize=28768336 memory=280654639213248 CPUtime=0 cores=0-7
/proc/28393/task/28405/stat : 28405 (java) S 28391 28391 24466 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 510993418 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477936571648 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28406] ppid=28391 vsize=28768336 memory=6371869351618047082 CPUtime=0 cores=0-7
/proc/28393/task/28406/stat : 28406 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510993420 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477935520208 140479289321371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28407] ppid=28391 vsize=28768336 memory=10604 CPUtime=4.95 cores=0-7
/proc/28393/task/28407/stat : 28407 (java) S 28391 28391 24466 0 -1 1077944384 26269 0 0 0 489 6 0 0 20 0 28 0 510993420 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477934467312 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28408] ppid=28391 vsize=28768336 memory=716 CPUtime=4.97 cores=0-7
/proc/28393/task/28408/stat : 28408 (java) S 28391 28391 24466 0 -1 1077944384 26458 0 0 0 492 5 0 0 20 0 28 0 510993420 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477933414768 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28409] ppid=28391 vsize=28768336 memory=1452 CPUtime=4.87 cores=0-7
/proc/28393/task/28409/stat : 28409 (java) S 28391 28391 24466 0 -1 1077944384 26663 0 0 0 483 4 0 0 20 0 28 0 510993420 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477932361712 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28410] ppid=28391 vsize=28768336 memory=5027824 CPUtime=1.31 cores=0-7
/proc/28393/task/28410/stat : 28410 (java) S 28391 28391 24466 0 -1 1077944384 19115 0 0 0 126 5 0 0 20 0 28 0 510993420 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477931309168 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28411] ppid=28391 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/28393/task/28411/stat : 28411 (java) S 28391 28391 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510993421 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477930257376 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28412] ppid=28391 vsize=28768336 memory=3620 CPUtime=0.1 cores=0-7
/proc/28393/task/28412/stat : 28412 (java) S 28391 28391 24466 0 -1 1077944384 2650 0 0 0 0 10 0 0 20 0 28 0 510993421 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477929204912 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28930] ppid=28391 vsize=28768336 memory=3620 CPUtime=136.71 cores=0-7
/proc/28393/task/28930/stat : 28930 (java) R 28391 28391 24466 0 -1 4202560 1633 0 0 0 13671 0 0 0 20 0 28 0 511001962 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477858884824 140478931041169 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28931] ppid=28391 vsize=28768336 memory=63868 CPUtime=136.67 cores=0-7
/proc/28393/task/28931/stat : 28931 (java) R 28391 28391 24466 0 -1 4202560 1030 0 0 0 13667 0 0 0 20 0 28 0 511001962 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477859938696 140478934273997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28932] ppid=28391 vsize=28768336 memory=5113840 CPUtime=134.68 cores=0-7
/proc/28393/task/28932/stat : 28932 (java) R 28391 28391 24466 0 -1 4202560 1781 0 0 0 13468 0 0 0 20 0 28 0 511001962 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477916835768 140478937940480 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28933] ppid=28391 vsize=28768336 memory=1452 CPUtime=136.68 cores=0-7
/proc/28393/task/28933/stat : 28933 (java) R 28391 28391 24466 0 -1 4202560 14959 0 0 0 13620 48 0 0 20 0 28 0 511001962 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477860991240 140478931041130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28934] ppid=28391 vsize=28768336 memory=5109744 CPUtime=136.57 cores=0-7
/proc/28393/task/28934/stat : 28934 (java) R 28391 28391 24466 0 -1 4202560 1538 0 0 0 13656 1 0 0 20 0 28 0 511001962 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477915782816 140478929319625 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28935] ppid=28391 vsize=28768336 memory=1452 CPUtime=135.75 cores=0-7
/proc/28393/task/28935/stat : 28935 (java) R 28391 28391 24466 0 -1 4202560 2266 0 0 0 13574 1 0 0 20 0 28 0 511001962 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477914730520 140478930006414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28936] ppid=28391 vsize=28768336 memory=5156848 CPUtime=136.71 cores=0-7
/proc/28393/task/28936/stat : 28936 (java) R 28391 28391 24466 0 -1 4202560 2999 0 0 0 13670 1 0 0 20 0 28 0 511001962 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477917889080 140478934273939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28937] ppid=28391 vsize=28768336 memory=1764 CPUtime=136.59 cores=0-7
/proc/28393/task/28937/stat : 28937 (java) R 28391 28391 24466 0 -1 4202560 1145 0 0 0 13659 0 0 0 20 0 28 0 511001962 29458776064 1291260 33554432000 4194304 4196468 140727689835296 140477913678616 140478934273943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
Current children cumulated CPU time: 1703.58 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5166492 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 7.98 7.91 8.09 10/221 28957
/proc/meminfo: memFree=20096088/32770624 swapFree=66975640/67108860
[pid=28391] ppid=28388 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28391/stat : 28391 (xcsp3-exec) S 28388 28391 24466 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510993414 115843072 363 33554432000 4194304 5098028 140721055987888 140721055985992 140683872825980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9449472 140721055994747 140721055994990 140721055994990 140721055997898 0
/proc/28391/statm: 28282 363 304 221 0 87 0
[pid=28393] ppid=28391 vsize=28768336 memory=5351460 CPUtime=1940.59 cores=0-7
/proc/28393/stat : 28393 (java) S 28391 28391 24466 0 -1 1077944320 229988 0 0 0 193584 475 0 0 20 0 28 0 510993415 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140727689817840 140479289302775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
/proc/28393/statm: 7192084 1337865 3568 1 0 7153184 0
[pid=28393/tid=28394] ppid=28391 vsize=28768336 memory=6791534058613427641 CPUtime=4.06 cores=0-7
/proc/28393/task/28394/stat : 28394 (java) S 28391 28391 24466 0 -1 1077944384 14248 0 0 0 392 14 0 0 20 0 28 0 510993415 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140479293543552 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28395] ppid=28391 vsize=28768336 memory=4872558044660077418 CPUtime=0.9 cores=0-7
/proc/28393/task/28395/stat : 28395 (java) S 28391 28391 24466 0 -1 1077944384 1522 0 0 0 70 20 0 0 20 0 28 0 510993416 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140479254584336 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28396] ppid=28391 vsize=28768336 memory=500 CPUtime=0.96 cores=0-7
/proc/28393/task/28396/stat : 28396 (java) S 28391 28391 24466 0 -1 1077944384 1511 0 0 0 75 21 0 0 20 0 28 0 510993416 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140478840089744 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28397] ppid=28391 vsize=28768336 memory=1556 CPUtime=0.93 cores=0-7
/proc/28393/task/28397/stat : 28397 (java) S 28391 28391 24466 0 -1 1077944384 1480 0 0 0 73 20 0 0 20 0 28 0 510993416 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140478839036688 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28398] ppid=28391 vsize=28768336 memory=5267440 CPUtime=0.88 cores=0-7
/proc/28393/task/28398/stat : 28398 (java) S 28391 28391 24466 0 -1 1077944384 1033 0 0 0 69 19 0 0 20 0 28 0 510993416 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140478837984144 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28399] ppid=28391 vsize=28768336 memory=6791534058613427641 CPUtime=0.93 cores=0-7
/proc/28393/task/28399/stat : 28399 (java) S 28391 28391 24466 0 -1 1077944384 1165 0 0 0 74 19 0 0 20 0 28 0 510993416 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140478836931088 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28400] ppid=28391 vsize=28768336 memory=780 CPUtime=0.94 cores=0-7
/proc/28393/task/28400/stat : 28400 (java) S 28391 28391 24466 0 -1 1077944384 1197 0 0 0 74 20 0 0 20 0 28 0 510993416 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140478835878544 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28401] ppid=28391 vsize=28768336 memory=1552 CPUtime=0.91 cores=0-7
/proc/28393/task/28401/stat : 28401 (java) S 28391 28391 24466 0 -1 1077944384 1248 0 0 0 72 19 0 0 20 0 28 0 510993416 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140478834825488 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28402] ppid=28391 vsize=28768336 memory=1452 CPUtime=0.92 cores=0-7
/proc/28393/task/28402/stat : 28402 (java) S 28391 28391 24466 0 -1 1077944384 1765 0 0 0 71 21 0 0 20 0 28 0 510993416 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140478833772944 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28403] ppid=28391 vsize=28768336 memory=6791534058613427641 CPUtime=0.11 cores=0-7
/proc/28393/task/28403/stat : 28403 (java) S 28391 28391 24466 0 -1 1077944384 9312 0 0 0 9 2 0 0 20 0 28 0 510993417 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477938678512 140479289313922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28404] ppid=28391 vsize=28768336 memory=3620 CPUtime=0 cores=0-7
/proc/28393/task/28404/stat : 28404 (java) S 28391 28391 24466 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 510993418 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477937624800 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28405] ppid=28391 vsize=28768336 memory=63868 CPUtime=0 cores=0-7
/proc/28393/task/28405/stat : 28405 (java) S 28391 28391 24466 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 510993418 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477936571648 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28406] ppid=28391 vsize=28768336 memory=984 CPUtime=0 cores=0-7
/proc/28393/task/28406/stat : 28406 (java) S 28391 28391 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510993420 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477935520208 140479289321371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28407] ppid=28391 vsize=28768336 memory=2004 CPUtime=4.97 cores=0-7
/proc/28393/task/28407/stat : 28407 (java) S 28391 28391 24466 0 -1 1077944384 27154 0 0 0 491 6 0 0 20 0 28 0 510993420 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477934467312 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28408] ppid=28391 vsize=28768336 memory=1452 CPUtime=4.99 cores=0-7
/proc/28393/task/28408/stat : 28408 (java) S 28391 28391 24466 0 -1 1077944384 27670 0 0 0 494 5 0 0 20 0 28 0 510993420 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477933414768 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28409] ppid=28391 vsize=28768336 memory=5320740 CPUtime=4.9 cores=0-7
/proc/28393/task/28409/stat : 28409 (java) S 28391 28391 24466 0 -1 1077944384 27552 0 0 0 485 5 0 0 20 0 28 0 510993420 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477932361712 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28410] ppid=28391 vsize=28768336 memory=3636 CPUtime=1.32 cores=0-7
/proc/28393/task/28410/stat : 28410 (java) S 28391 28391 24466 0 -1 1077944384 19768 0 0 0 127 5 0 0 20 0 28 0 510993420 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477931309168 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28411] ppid=28391 vsize=28768336 memory=1724 CPUtime=0 cores=0-7
/proc/28393/task/28411/stat : 28411 (java) S 28391 28391 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510993421 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477930257376 140479289312981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28412] ppid=28391 vsize=28768336 memory=6140 CPUtime=0.11 cores=0-7
/proc/28393/task/28412/stat : 28412 (java) S 28391 28391 24466 0 -1 1077944384 2665 0 0 0 0 11 0 0 20 0 28 0 510993421 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477929204912 140479289313922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28930] ppid=28391 vsize=28768336 memory=1452 CPUtime=166.4 cores=0-7
/proc/28393/task/28930/stat : 28930 (java) R 28391 28391 24466 0 -1 4202560 1661 0 0 0 16640 0 0 0 20 0 28 0 511001962 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477858884648 140478931041130 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28931] ppid=28391 vsize=28768336 memory=5279780 CPUtime=166.34 cores=0-7
/proc/28393/task/28931/stat : 28931 (java) R 28391 28391 24466 0 -1 4202560 1032 0 0 0 16634 0 0 0 20 0 28 0 511001962 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477859938696 140478931041130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28932] ppid=28391 vsize=28768336 memory=15816690369829955 CPUtime=163.73 cores=0-7
/proc/28393/task/28932/stat : 28932 (java) R 28391 28391 24466 0 -1 4202560 1784 0 0 0 16373 0 0 0 20 0 28 0 511001962 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477916835992 140478937026553 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28933] ppid=28391 vsize=28768336 memory=1552 CPUtime=166.37 cores=0-7
/proc/28393/task/28933/stat : 28933 (java) R 28391 28391 24466 0 -1 4202560 15178 0 0 0 16585 52 0 0 20 0 28 0 511001962 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477860991496 140478937817563 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28934] ppid=28391 vsize=28768336 memory=2832 CPUtime=166.27 cores=0-7
/proc/28393/task/28934/stat : 28934 (java) R 28391 28391 24466 0 -1 4202560 1567 0 0 0 16626 1 0 0 20 0 28 0 511001962 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477915782920 140478929319566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28935] ppid=28391 vsize=28768336 memory=6791534058613427641 CPUtime=165.45 cores=0-7
/proc/28393/task/28935/stat : 28935 (java) R 28391 28391 24466 0 -1 4202560 2316 0 0 0 16544 1 0 0 20 0 28 0 511001962 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477914730232 140478931782164 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28936] ppid=28391 vsize=28768336 memory=4427205132082312746 CPUtime=166.41 cores=0-7
/proc/28393/task/28936/stat : 28936 (java) R 28391 28391 24466 0 -1 4202560 3057 0 0 0 16640 1 0 0 20 0 28 0 511001962 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477917888392 140478931041130 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
[pid=28393/tid=28937] ppid=28391 vsize=28768336 memory=-8486080722631693414 CPUtime=166.3 cores=0-7
/proc/28393/task/28937/stat : 28937 (java) R 28391 28391 24466 0 -1 4202560 1173 0 0 0 16630 0 0 0 20 0 28 0 511001962 29458776064 1337865 33554432000 4194304 4196468 140727689835296 140477913678144 140478930006311 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26472448 140727689843696 140727689843867 140727689843867 140727689846735 0
Current children cumulated CPU time: 1940.59 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5352912 KiB

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

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

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

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

Child status: 143
Real time (s): 252.122
CPU time (s): 1941.24
CPU user time (s): 1936.46
CPU system time (s): 4.78761
CPU usage (%): 769.961
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 5352912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1936.46
system time used= 4.78761
maximum resident set size= 5357960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18069
involuntary context switches= 22734


# summary of solver processes directly reported to runsolver:
#   pid: 28391,28393
#   total CPU time (s): 1941.24
#   total CPU user time (s): 1936.46
#   total CPU system time (s): 4.78761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.06331 second user time and 3.11354 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-24 19:47:03
IDJOB=4407449
IDBENCH=126995
IDSOLVER=2872
FILE ID=node125/4407449-1569347266
RUNJOBID= node125-1569335936-24493
PBS_JOBID= 21705060
Free space on /tmp= 4252 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-090.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407449-1569347266/watcher-4407449-1569347266 -o /tmp/evaluation-result-4407449-1569347266/solver-4407449-1569347266 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1803610371 HOME/instance-4407449-1569347266.xml

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

MD5SUM BENCH= d92bd6a6dba83323313b355bf487e521
RANDOM SEED=1803610371

node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25440376 kB
MemAvailable:   31814364 kB
Buffers:          120892 kB
Cached:          6315072 kB
SwapCached:        29856 kB
Active:          3204856 kB
Inactive:        3265940 kB
Active(anon):       4560 kB
Inactive(anon):    86620 kB
Active(file):    3200296 kB
Inactive(file):  3179320 kB
Unevictable:      107156 kB
Mlocked:          107156 kB
SwapTotal:      67108860 kB
SwapFree:       66975640 kB
Dirty:             26336 kB
Writeback:             0 kB
AnonPages:        158548 kB
Mapped:            57256 kB
Shmem:             47476 kB
Slab:             452524 kB
SReclaimable:     422832 kB
SUnreclaim:        29692 kB
KernelStack:        3824 kB
PageTables:         5880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 4228 MiB
End job on node125 at 2019-09-24 19:51:16