Trace number 4399949

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16 parallelSAT (TO)941 19937.9 2520.13

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-090.xml
MD5SUMd92bd6a6dba83323313b355bf487e521
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark941
Best CPU time to get the best result obtained on this benchmark19937.9
Satisfiable
(Un)Satisfiability was proved
Number of variables8189
Number of constraints4183
Number of domains179
Minimum domain size2
Maximum domain size179
Distribution of domain sizes[{"size":2,"count":4096},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}]
Minimum variable degree0
Maximum variable degree89
Distribution of variable degrees[{"degree":0,"count":3916},{"degree":2,"count":4183},{"degree":89,"count":90}]
Minimum constraint arity2
Maximum constraint arity90
Distribution of constraint arities[{"arity":2,"count":90},{"arity":3,"count":4006},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}]
Number of extensional constraints0
Number of intensional constraints4094
Distribution of constraint types[{"type":"intension","count":4094},{"type":"sum","count":89}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399949-1568705707.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.19	c [HOME/instance-4399949-1568705707.xml, -tl, 20160s, -p, 8]
0.34/0.23	c 8 solvers in parallel
0.34/0.29	c parse instance...
14.78/4.27	c solve instance...
20.23/5.09	o 238965 
22.13/5.42	o 223301 
22.13/5.45	o 222957 
22.70/5.68	o 208685 
23.70/5.84	o 208341 
23.70/5.86	o 208005 
23.70/5.88	o 195085 
24.15/5.91	o 194725 
24.15/5.94	o 194389 
24.15/5.97	o 194077 
24.15/5.98	o 182469 
24.50/6.01	o 182093 
24.50/6.04	o 181757 
24.50/6.07	o 181429 
24.50/6.10	o 181141 
24.92/6.13	o 170805 
24.92/6.15	o 170413 
24.92/6.17	o 170061 
25.29/6.20	o 169733 
25.29/6.22	o 169429 
25.29/6.24	o 169165 
25.29/6.27	o 160061 
25.29/6.29	o 159653 
25.73/6.31	o 151405 
25.73/6.33	o 150205 
26.26/6.53	o 149781 
29.03/8.85	o 149397 
29.29/8.93	o 149053 
29.90/9.06	o 148733 
30.21/9.14	o 148437 
30.38/9.21	o 148181 
30.38/9.28	o 147965 
30.58/9.36	o 141205 
31.21/9.54	o 140765 
31.54/9.60	o 140365 
31.85/9.71	o 140005 
31.85/9.75	o 139685 
32.25/9.86	o 139373 
32.51/9.90	o 139101 
32.51/9.97	o 138869 
32.51/10.01	o 138677 
32.85/10.09	o 133029 
33.09/10.19	o 132573 
33.49/10.24	o 130645 
34.07/10.39	o 130221 
37.33/12.80	o 125645 
37.33/12.85	o 5237 
48.85/15.66	o 5229 
49.40/15.86	o 4989 
49.54/15.92	o 4773 
52.92/16.44	o 4693 
53.11/16.53	o 4381 
53.96/16.70	o 4301 
53.96/16.75	o 3989 
55.03/16.93	o 3805 
65.92/18.30	o 2877 
65.92/18.38	o 2749 
129.52/26.34	o 2725 
129.52/26.36	o 2565 
130.17/26.41	o 2453 
130.17/26.46	o 2445 
130.79/26.51	o 2429 
130.79/26.56	o 2389 
131.37/26.61	o 2269 
136.04/27.23	o 1973 
136.04/27.25	o 1925 
161.17/31.82	o 1845 
161.17/31.88	o 1821 
186.31/35.09	o 1781 
188.45/35.30	o 1693 
188.45/35.39	o 1461 
197.79/36.54	o 1421 
256.60/44.45	o 1349 
363.57/59.63	o 1341 
363.57/59.66	o 1293 
364.05/59.72	o 1237 
500.34/77.81	o 1165 
552.29/85.16	o 1117 
1748.25/235.11	o 1101 
1817.42/245.52	o 1053 
1867.48/251.82	o 1005 
6240.95/801.77	o 989 
7079.67/908.31	o 941 
19937.23/2520.07	s SATISFIABLE
19937.23/2520.07	v <instantiation>
19937.23/2520.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[0][83] y[0][84] y[0][85] y[0][86] y[0][87] y[0][88] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[1][83] y[1][84] y[1][85] y[1][86] y[1][87] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[2][83] y[2][84] y[2][85] y[2][86] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[3][83] y[3][84] y[3][85] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[4][83] y[4][84] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[5][83] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[83][0] y[83][1] y[83][2] y[83][3] y[83][4] y[83][5] y[84][0] y[84][1] y[84][2] y[84][3] y[84][4] y[85][0] y[85][1] y[85][2] y[85][3] y[86][0] y[86][1] y[86][2] y[87][0] y[87][1] y[88][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] </list>
19937.23/2520.07	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 3 0 1 4 -3 -6 -5 0 -3 -8 -3 0 1 4 -5 4 3 2 -3 -4 -1 -2 5 -6 5 6 -3 0 -1 -4 3 4 -1 0 -3 -2 -1 0 -3 -4 1 0 -1 -6 3 0 3 -2 9 -2 -3 -2 3 0 9 -2 -1 -2 3 2 -5 -2 1 0 1 0 1 0 -1 -2 -3 -4 -5 -2 -5 -2 -3 -2 -3 2 1 2 3 0 -3 -2 1 2 -1 9 0 1 16 9 36 25 0 9 64 9 0 1 16 25 16 9 4 9 16 1 4 25 36 25 36 9 0 1 16 9 16 1 0 9 4 1 0 9 16 1 0 1 36 9 0 9 4 81 4 9 4 9 0 81 4 1 4 9 4 25 4 1 0 1 0 1 0 1 4 9 16 25 4 25 4 9 4 9 4 1 4 9 0 9 4 1 4 1 </values>
19937.23/2520.07	v </instantiation>
19937.23/2520.07	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 (15342 MiB free)
  memory of node 1: 16384 MiB (15034 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100138 s]*
/proc/loadavg: 8.08 8.22 8.23 2/212 19180
/proc/meminfo: memFree=31091052/32770624 swapFree=66988788/67108860
[pid=19159] ppid=19156 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19159/stat : 19159 (xcsp3-exec) S 19156 19159 18314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446838492 115843072 363 33554432000 4194304 5098028 140727145001200 140727144999304 140093025284732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13185024 140727145010038 140727145010281 140727145010281 140727145013194 0
/proc/19159/statm: 28282 363 304 221 0 87 0
[pid=19161] ppid=19159 vsize=28227396 memory=29204 CPUtime=0.12 cores=0-7
/proc/19161/stat : 19161 (java) S 19159 19159 18314 0 -1 1077944320 5705 0 0 0 11 1 0 0 20 0 20 0 446838492 28904853504 7301 33554432000 4194304 4196468 140721822534448 140721822516992 140565063470839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
/proc/19161/statm: 7056849 7301 3151 1 0 7019032 0
[pid=19161/tid=19162] ppid=19159 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/19161/task/19162/stat : 19162 (java) R 19159 19159 18314 0 -1 4202560 3616 0 0 0 8 1 0 0 20 0 20 0 446838492 28904853504 7301 33554432000 4194304 4196468 140721822534448 140565067704112 140565063482774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19163] ppid=19159 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/19161/task/19163/stat : 19163 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 7301 33554432000 4194304 4196468 140721822534448 140565020023824 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19164] ppid=19159 vsize=28227396 memory=140246170551936 CPUtime=0 cores=0-7
/proc/19161/task/19164/stat : 19164 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 7301 33554432000 4194304 4196468 140721822534448 140564613946512 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19165] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19165/stat : 19165 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 7301 33554432000 4194304 4196468 140721822534448 140564612893456 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19166] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19166/stat : 19166 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 7301 33554432000 4194304 4196468 140721822534448 140564611840912 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19167] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19167/stat : 19167 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 7301 33554432000 4194304 4196468 140721822534448 140564610787856 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19168] ppid=19159 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19161/task/19168/stat : 19168 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 7301 33554432000 4194304 4196468 140721822534448 140564609735312 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19169] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19169/stat : 19169 (java) S 19159 19159 18314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 7301 33554432000 4194304 4196468 140721822534448 140564608682256 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19170] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19170/stat : 19170 (java) S 19159 19159 18314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 7301 33554432000 4194304 4196468 140721822534448 140564607629712 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19171] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19171/stat : 19171 (java) S 19159 19159 18314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446838495 28904853504 7301 33554432000 4194304 4196468 140721822534448 140563259001584 140565063481986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19172] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19172/stat : 19172 (java) S 19159 19159 18314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446838495 28904853504 7301 33554432000 4194304 4196468 140721822534448 140563257947808 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19173] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19173/stat : 19173 (java) S 19159 19159 18314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446838495 28904853504 7301 33554432000 4194304 4196468 140721822534448 140563256894704 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19174] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19174/stat : 19174 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838498 28904853504 7301 33554432000 4194304 4196468 140721822534448 140563255843280 140565063489435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19175] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19175/stat : 19175 (java) S 19159 19159 18314 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 20 0 446838498 28904853504 7301 33554432000 4194304 4196468 140721822534448 140563254790384 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19176] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19176/stat : 19176 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446838498 28904853504 7301 33554432000 4194304 4196468 140721822534448 140563253737840 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19177] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19177/stat : 19177 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838498 28904853504 7301 33554432000 4194304 4196468 140721822534448 140563252684784 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19178] ppid=19159 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19161/task/19178/stat : 19178 (java) R 19159 19159 18314 0 -1 4202560 356 0 0 0 1 0 0 0 20 0 20 0 446838498 28904853504 7301 33554432000 4194304 4196468 140721822534448 140563251632240 140565042175790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19179] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19179/stat : 19179 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446838498 28904853504 7301 33554432000 4194304 4196468 140721822534448 140563250580448 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19180] ppid=19159 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19161/task/19180/stat : 19180 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838498 28904853504 7301 33554432000 4194304 4196468 140721822534448 140563249527984 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30656 KiB

[startup+0.210393 s]*
/proc/loadavg: 8.08 8.22 8.23 3/212 19180
/proc/meminfo: memFree=31076072/32770624 swapFree=66988788/67108860
[pid=19159] ppid=19156 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19159/stat : 19159 (xcsp3-exec) S 19156 19159 18314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446838492 115843072 363 33554432000 4194304 5098028 140727145001200 140727144999304 140093025284732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13185024 140727145010038 140727145010281 140727145010281 140727145013194 0
/proc/19159/statm: 28282 363 304 221 0 87 0
[pid=19161] ppid=19159 vsize=28227396 memory=40792 CPUtime=0.34 cores=0-7
/proc/19161/stat : 19161 (java) S 19159 19159 18314 0 -1 1077944320 9473 0 0 0 30 4 0 0 20 0 20 0 446838492 28904853504 10198 33554432000 4194304 4196468 140721822534448 140721822516992 140565063470839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
/proc/19161/statm: 7056849 10198 3258 1 0 7019032 0
[pid=19161/tid=19162] ppid=19159 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19161/task/19162/stat : 19162 (java) R 19159 19159 18314 0 -1 4202560 6619 0 0 0 17 3 0 0 20 0 20 0 446838492 28904853504 10198 33554432000 4194304 4196468 140721822534448 140565067702752 140565047551326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19163] ppid=19159 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/19161/task/19163/stat : 19163 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 10198 33554432000 4194304 4196468 140721822534448 140565020023824 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19164] ppid=19159 vsize=28227396 memory=140246170571108 CPUtime=0 cores=0-7
/proc/19161/task/19164/stat : 19164 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 10198 33554432000 4194304 4196468 140721822534448 140564613946512 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19165] ppid=19159 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19161/task/19165/stat : 19165 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 10198 33554432000 4194304 4196468 140721822534448 140564612893456 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19166] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19166/stat : 19166 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 10198 33554432000 4194304 4196468 140721822534448 140564611840912 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19167] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19167/stat : 19167 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 10198 33554432000 4194304 4196468 140721822534448 140564610787856 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19168] ppid=19159 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19161/task/19168/stat : 19168 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 10198 33554432000 4194304 4196468 140721822534448 140564609735312 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19169] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19169/stat : 19169 (java) S 19159 19159 18314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 10198 33554432000 4194304 4196468 140721822534448 140564608682256 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19170] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19170/stat : 19170 (java) S 19159 19159 18314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446838493 28904853504 10198 33554432000 4194304 4196468 140721822534448 140564607629712 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19171] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19171/stat : 19171 (java) S 19159 19159 18314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446838495 28904853504 10198 33554432000 4194304 4196468 140721822534448 140563259001584 140565063481986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19172] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19172/stat : 19172 (java) S 19159 19159 18314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446838495 28904853504 10198 33554432000 4194304 4196468 140721822534448 140563257947808 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19173] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19173/stat : 19173 (java) S 19159 19159 18314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446838495 28904853504 10198 33554432000 4194304 4196468 140721822534448 140563256894704 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19174] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19174/stat : 19174 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838498 28904853504 10198 33554432000 4194304 4196468 140721822534448 140563255843280 140565063489435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19175] ppid=19159 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/19161/task/19175/stat : 19175 (java) S 19159 19159 18314 0 -1 1077944384 655 0 0 0 2 0 0 0 20 0 20 0 446838498 28904853504 10198 33554432000 4194304 4196468 140721822534448 140563254790384 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19176] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19176/stat : 19176 (java) S 19159 19159 18314 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 446838498 28904853504 10198 33554432000 4194304 4196468 140721822534448 140563253737840 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19177] ppid=19159 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/19161/task/19177/stat : 19177 (java) S 19159 19159 18314 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 446838498 28904853504 10198 33554432000 4194304 4196468 140721822534448 140563252684784 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19178] ppid=19159 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/19161/task/19178/stat : 19178 (java) R 19159 19159 18314 0 -1 4202560 782 0 0 0 7 0 0 0 20 0 20 0 446838498 28904853504 10198 33554432000 4194304 4196468 140721822534448 140563251627280 140565042489356 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19179] ppid=19159 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19179/stat : 19179 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446838498 28904853504 10198 33554432000 4194304 4196468 140721822534448 140563250580448 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19180] ppid=19159 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19161/task/19180/stat : 19180 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838498 28904853504 10198 33554432000 4194304 4196468 140721822534448 140563249527984 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42244 KiB

[startup+0.309678 s]*
/proc/loadavg: 8.08 8.22 8.23 3/212 19180
/proc/meminfo: memFree=31071204/32770624 swapFree=66988788/67108860
[pid=19159] ppid=19156 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19159/stat : 19159 (xcsp3-exec) S 19156 19159 18314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446838492 115843072 363 33554432000 4194304 5098028 140727145001200 140727144999304 140093025284732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13185024 140727145010038 140727145010281 140727145010281 140727145013194 0
/proc/19159/statm: 28282 363 304 221 0 87 0
[pid=19161] ppid=19159 vsize=28231652 memory=49384 CPUtime=0.52 cores=0-7
/proc/19161/stat : 19161 (java) S 19159 19159 18314 0 -1 1077944320 10670 0 0 0 48 4 0 0 20 0 20 0 446838492 28909211648 12346 33554432000 4194304 4196468 140721822534448 140721822516992 140565063470839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
/proc/19161/statm: 7057913 12346 3343 1 0 7019032 0
[pid=19161/tid=19162] ppid=19159 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/19161/task/19162/stat : 19162 (java) R 19159 19159 18314 0 -1 4202560 7676 0 0 0 26 3 0 0 20 0 20 0 446838492 28909211648 12346 33554432000 4194304 4196468 140721822534448 140565067705936 140565047551326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19163] ppid=19159 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19163/stat : 19163 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28909211648 12346 33554432000 4194304 4196468 140721822534448 140565020023824 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19164] ppid=19159 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19164/stat : 19164 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446838493 28909211648 12346 33554432000 4194304 4196468 140721822534448 140564613946512 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19165] ppid=19159 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19165/stat : 19165 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28909211648 12346 33554432000 4194304 4196468 140721822534448 140564612893456 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19166] ppid=19159 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19166/stat : 19166 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28909211648 12346 33554432000 4194304 4196468 140721822534448 140564611840912 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19167] ppid=19159 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19167/stat : 19167 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28909211648 12346 33554432000 4194304 4196468 140721822534448 140564610787856 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19168] ppid=19159 vsize=28231652 memory=140246050237103 CPUtime=0 cores=0-7
/proc/19161/task/19168/stat : 19168 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446838493 28909211648 12346 33554432000 4194304 4196468 140721822534448 140564609735312 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19169] ppid=19159 vsize=28231652 memory=140246050239408 CPUtime=0 cores=0-7
/proc/19161/task/19169/stat : 19169 (java) S 19159 19159 18314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446838493 28909211648 12346 33554432000 4194304 4196468 140721822534448 140564608682256 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19170] ppid=19159 vsize=28231652 memory=140246050241712 CPUtime=0 cores=0-7
/proc/19161/task/19170/stat : 19170 (java) S 19159 19159 18314 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446838493 28909211648 12346 33554432000 4194304 4196468 140721822534448 140564607629712 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19171] ppid=19159 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19171/stat : 19171 (java) S 19159 19159 18314 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446838495 28909211648 12346 33554432000 4194304 4196468 140721822534448 140563259001584 140565063481986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19172] ppid=19159 vsize=28231652 memory=280492100497296 CPUtime=0 cores=0-7
/proc/19161/task/19172/stat : 19172 (java) S 19159 19159 18314 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446838495 28909211648 12346 33554432000 4194304 4196468 140721822534448 140563257947808 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19173] ppid=19159 vsize=28231652 memory=280492100494992 CPUtime=0 cores=0-7
/proc/19161/task/19173/stat : 19173 (java) S 19159 19159 18314 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446838495 28909211648 12346 33554432000 4194304 4196468 140721822534448 140563256894704 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19174] ppid=19159 vsize=28231652 memory=280492100501904 CPUtime=0 cores=0-7
/proc/19161/task/19174/stat : 19174 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838498 28909211648 12346 33554432000 4194304 4196468 140721822534448 140563255843280 140565063489435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19175] ppid=19159 vsize=28231652 memory=280492100443184 CPUtime=0.03 cores=0-7
/proc/19161/task/19175/stat : 19175 (java) S 19159 19159 18314 0 -1 1077944384 664 0 0 0 3 0 0 0 20 0 20 0 446838498 28909211648 12346 33554432000 4194304 4196468 140721822534448 140563254790384 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19176] ppid=19159 vsize=28231652 memory=280492100515728 CPUtime=0.02 cores=0-7
/proc/19161/task/19176/stat : 19176 (java) R 19159 19159 18314 0 -1 4202560 39 0 0 0 2 0 0 0 20 0 20 0 446838498 28909211648 12346 33554432000 4194304 4196468 140721822534448 140563253727952 140565048379136 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19177] ppid=19159 vsize=28231652 memory=280492100522640 CPUtime=0.02 cores=0-7
/proc/19161/task/19177/stat : 19177 (java) S 19159 19159 18314 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 20 0 446838498 28909211648 12346 33554432000 4194304 4196468 140721822534448 140563252684784 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19178] ppid=19159 vsize=28231652 memory=280492100520336 CPUtime=0.12 cores=0-7
/proc/19161/task/19178/stat : 19178 (java) S 19159 19159 18314 0 -1 1077944384 881 0 0 0 12 0 0 0 20 0 20 0 446838498 28909211648 12346 33554432000 4194304 4196468 140721822534448 140563251632240 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19179] ppid=19159 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19179/stat : 19179 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446838498 28909211648 12346 33554432000 4194304 4196468 140721822534448 140563250580448 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19180] ppid=19159 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/19161/task/19180/stat : 19180 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838498 28909211648 12346 33554432000 4194304 4196468 140721822534448 140563249527984 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50836 KiB

[startup+0.700974 s]
/proc/loadavg: 8.08 8.22 8.23 6/212 19180
/proc/meminfo: memFree=31040636/32770624 swapFree=66988788/67108860
[pid=19159] ppid=19156 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19159/stat : 19159 (xcsp3-exec) S 19156 19159 18314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446838492 115843072 363 33554432000 4194304 5098028 140727145001200 140727144999304 140093025284732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13185024 140727145010038 140727145010281 140727145010281 140727145013194 0
/proc/19159/statm: 28282 363 304 221 0 87 0
[pid=19161] ppid=19159 vsize=28233776 memory=114648 CPUtime=2.11 cores=0-7
/proc/19161/stat : 19161 (java) S 19159 19159 18314 0 -1 1077944320 15714 0 0 0 205 6 0 0 20 0 20 0 446838492 28911386624 28662 33554432000 4194304 4196468 140721822534448 140721822516992 140565063470839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
/proc/19161/statm: 7058444 28662 3451 1 0 7019544 0
[pid=19161/tid=19162] ppid=19159 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/19161/task/19162/stat : 19162 (java) R 19159 19159 18314 0 -1 4202560 8415 0 0 0 64 4 0 0 20 0 20 0 446838492 28911386624 28662 33554432000 4194304 4196468 140721822534448 140565067706384 140565063482774 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19163] ppid=19159 vsize=28233776 memory=140246050448240 CPUtime=0 cores=0-7
/proc/19161/task/19163/stat : 19163 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28911386624 28662 33554432000 4194304 4196468 140721822534448 140565020023824 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19164] ppid=19159 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19164/stat : 19164 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446838493 28911386624 28662 33554432000 4194304 4196468 140721822534448 140564613946512 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19165] ppid=19159 vsize=28233776 memory=772 CPUtime=0 cores=0-7
/proc/19161/task/19165/stat : 19165 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446838493 28911386624 28662 33554432000 4194304 4196468 140721822534448 140564612893456 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0

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

[pid=19161/tid=19916] ppid=19159 vsize=28768336 memory=1452 CPUtime=1533.51 cores=0-7
/proc/19161/task/19916/stat : 19916 (java) R 19159 19159 18314 0 -1 4202560 10111 0 0 0 153332 19 0 0 20 0 28 0 446929324 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563231896408 140564704011065 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
Current children cumulated CPU time: 19317.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5846952 KiB

[startup+2502.3 s]
/proc/loadavg: 8.09 8.39 8.33 9/219 20064
/proc/meminfo: memFree=25258928/32770624 swapFree=66988844/67108860
[pid=19159] ppid=19156 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19159/stat : 19159 (xcsp3-exec) S 19156 19159 18314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446838492 115843072 363 33554432000 4194304 5098028 140727145001200 140727144999304 140093025284732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13185024 140727145010038 140727145010281 140727145010281 140727145013194 0
/proc/19159/statm: 28282 363 304 221 0 87 0
[pid=19161] ppid=19159 vsize=28768336 memory=5845500 CPUtime=19795.9 cores=0-7
/proc/19161/stat : 19161 (java) S 19159 19159 18314 0 -1 1077944320 459149 0 0 0 1978957 638 0 0 20 0 28 0 446838492 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140721822516992 140565063470839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
/proc/19161/statm: 7192084 1461375 3569 1 0 7153184 0
[pid=19161/tid=19162] ppid=19159 vsize=28768336 memory=5845500 CPUtime=4.16 cores=0-7
/proc/19161/task/19162/stat : 19162 (java) S 19159 19159 18314 0 -1 1077944384 16679 0 0 0 402 14 0 0 20 0 28 0 446838492 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140565067711616 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19163] ppid=19159 vsize=28768336 memory=1452 CPUtime=1.01 cores=0-7
/proc/19161/task/19163/stat : 19163 (java) S 19159 19159 18314 0 -1 1077944384 1815 0 0 0 77 24 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140565020023824 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19164] ppid=19159 vsize=28768336 memory=5845500 CPUtime=0.97 cores=0-7
/proc/19161/task/19164/stat : 19164 (java) S 19159 19159 18314 0 -1 1077944384 1675 0 0 0 76 21 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564613946512 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19165] ppid=19159 vsize=28768336 memory=5845500 CPUtime=0.96 cores=0-7
/proc/19161/task/19165/stat : 19165 (java) S 19159 19159 18314 0 -1 1077944384 1703 0 0 0 75 21 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564612893456 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19166] ppid=19159 vsize=28768336 memory=5845500 CPUtime=0.96 cores=0-7
/proc/19161/task/19166/stat : 19166 (java) S 19159 19159 18314 0 -1 1077944384 1512 0 0 0 75 21 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564611840912 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19167] ppid=19159 vsize=28768336 memory=1452 CPUtime=0.94 cores=0-7
/proc/19161/task/19167/stat : 19167 (java) S 19159 19159 18314 0 -1 1077944384 1435 0 0 0 75 19 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564610787856 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19168] ppid=19159 vsize=28768336 memory=5845500 CPUtime=1 cores=0-7
/proc/19161/task/19168/stat : 19168 (java) S 19159 19159 18314 0 -1 1077944384 1043 0 0 0 78 22 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564609735312 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19169] ppid=19159 vsize=28768336 memory=5845500 CPUtime=0.94 cores=0-7
/proc/19161/task/19169/stat : 19169 (java) S 19159 19159 18314 0 -1 1077944384 3175 0 0 0 72 22 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564608682256 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19170] ppid=19159 vsize=28768336 memory=1452 CPUtime=0.94 cores=0-7
/proc/19161/task/19170/stat : 19170 (java) S 19159 19159 18314 0 -1 1077944384 1619 0 0 0 74 20 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564607629712 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19171] ppid=19159 vsize=28768336 memory=5845500 CPUtime=0.21 cores=0-7
/proc/19161/task/19171/stat : 19171 (java) S 19159 19159 18314 0 -1 1077944384 12503 0 0 0 17 4 0 0 20 0 28 0 446838495 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563259001584 140565063481986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19172] ppid=19159 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/19161/task/19172/stat : 19172 (java) S 19159 19159 18314 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 446838495 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563257947872 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19173] ppid=19159 vsize=28768336 memory=5845500 CPUtime=0 cores=0-7
/proc/19161/task/19173/stat : 19173 (java) S 19159 19159 18314 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 446838495 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563256894720 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19174] ppid=19159 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/19161/task/19174/stat : 19174 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563255843280 140565063489435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19175] ppid=19159 vsize=28768336 memory=5845500 CPUtime=4.71 cores=0-7
/proc/19161/task/19175/stat : 19175 (java) S 19159 19159 18314 0 -1 1077944384 35946 0 0 0 466 5 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563254790384 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19176] ppid=19159 vsize=28768336 memory=1452 CPUtime=4.76 cores=0-7
/proc/19161/task/19176/stat : 19176 (java) S 19159 19159 18314 0 -1 1077944384 37494 0 0 0 469 7 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563253737840 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19177] ppid=19159 vsize=28768336 memory=5845500 CPUtime=5.5 cores=0-7
/proc/19161/task/19177/stat : 19177 (java) S 19159 19159 18314 0 -1 1077944384 38737 0 0 0 544 6 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563252684784 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19178] ppid=19159 vsize=28768336 memory=5845500 CPUtime=1.49 cores=0-7
/proc/19161/task/19178/stat : 19178 (java) S 19159 19159 18314 0 -1 1077944384 34095 0 0 0 140 9 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563251632240 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19179] ppid=19159 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/19161/task/19179/stat : 19179 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563250580448 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19180] ppid=19159 vsize=28768336 memory=1452 CPUtime=1.01 cores=0-7
/proc/19161/task/19180/stat : 19180 (java) S 19159 19159 18314 0 -1 1077944384 5646 0 0 0 47 54 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563249527984 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19908] ppid=19159 vsize=28768336 memory=1452 CPUtime=1593.54 cores=0-7
/proc/19161/task/19908/stat : 19908 (java) R 19159 19159 18314 0 -1 4202560 9271 0 0 0 159342 12 0 0 20 0 28 0 446929323 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563230841800 140564711058624 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19909] ppid=19159 vsize=28768336 memory=9520 CPUtime=1585.39 cores=0-7
/proc/19161/task/19909/stat : 19909 (java) R 19159 19159 18314 0 -1 4202560 3670 0 0 0 158537 2 0 0 20 0 28 0 446929323 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563235054008 140564703791759 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19910] ppid=19159 vsize=28768336 memory=4028 CPUtime=1593.57 cores=0-7
/proc/19161/task/19910/stat : 19910 (java) R 19159 19159 18314 0 -1 4202560 5479 0 0 0 159352 5 0 0 20 0 28 0 446929323 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563237159656 140564703792248 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19912] ppid=19159 vsize=28768336 memory=1452 CPUtime=1589.55 cores=0-7
/proc/19161/task/19912/stat : 19912 (java) R 19159 19159 18314 0 -1 4202560 41948 0 0 0 158907 48 0 0 20 0 28 0 446929323 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563236106472 140564705387958 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19913] ppid=19159 vsize=28768336 memory=5845500 CPUtime=1585.58 cores=0-7
/proc/19161/task/19913/stat : 19913 (java) R 19159 19159 18314 0 -1 4202560 4592 0 0 0 158553 5 0 0 20 0 28 0 446929323 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563238211592 140564705387698 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19914] ppid=19159 vsize=28768336 memory=3620 CPUtime=1593.68 cores=0-7
/proc/19161/task/19914/stat : 19914 (java) R 19159 19159 18314 0 -1 4202560 10859 0 0 0 159354 14 0 0 20 0 28 0 446929324 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563232950448 140564703946176 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19915] ppid=19159 vsize=28768336 memory=5845500 CPUtime=1580.17 cores=0-7
/proc/19161/task/19915/stat : 19915 (java) R 19159 19159 18314 0 -1 4202560 5425 0 0 0 158014 3 0 0 20 0 28 0 446929324 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563234001400 140564708616403 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19916] ppid=19159 vsize=28768336 memory=5845500 CPUtime=1593.49 cores=0-7
/proc/19161/task/19916/stat : 19916 (java) R 19159 19159 18314 0 -1 4202560 10446 0 0 0 159329 20 0 0 20 0 28 0 446929324 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563231896408 140564706839317 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
Current children cumulated CPU time: 19796 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5846952 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.07 8.36 8.33 9/219 20064
/proc/meminfo: memFree=25259288/32770624 swapFree=66988844/67108860
[pid=19159] ppid=19156 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19159/stat : 19159 (xcsp3-exec) S 19156 19159 18314 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446838492 115843072 363 33554432000 4194304 5098028 140727145001200 140727144999304 140093025284732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13185024 140727145010038 140727145010281 140727145010281 140727145013194 0
/proc/19159/statm: 28282 363 304 221 0 87 0
[pid=19161] ppid=19159 vsize=28768336 memory=5845500 CPUtime=19937.2 cores=0-7
/proc/19161/stat : 19161 (java) S 19159 19159 18314 0 -1 1077944320 459625 0 0 0 1993082 641 0 0 20 0 28 0 446838492 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140721822516992 140565063470839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
/proc/19161/statm: 7192084 1461375 3569 1 0 7153184 0
[pid=19161/tid=19162] ppid=19159 vsize=28768336 memory=6032 CPUtime=4.16 cores=0-7
/proc/19161/task/19162/stat : 19162 (java) S 19159 19159 18314 0 -1 1077944384 16679 0 0 0 402 14 0 0 20 0 28 0 446838492 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140565067711616 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19163] ppid=19159 vsize=28768336 memory=772 CPUtime=1.01 cores=0-7
/proc/19161/task/19163/stat : 19163 (java) S 19159 19159 18314 0 -1 1077944384 1815 0 0 0 77 24 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140565020023824 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19164] ppid=19159 vsize=28768336 memory=4126316290023845779 CPUtime=0.97 cores=0-7
/proc/19161/task/19164/stat : 19164 (java) S 19159 19159 18314 0 -1 1077944384 1675 0 0 0 76 21 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564613946512 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19165] ppid=19159 vsize=28768336 memory=4126316290023845779 CPUtime=0.96 cores=0-7
/proc/19161/task/19165/stat : 19165 (java) S 19159 19159 18314 0 -1 1077944384 1703 0 0 0 75 21 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564612893456 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19166] ppid=19159 vsize=28768336 memory=21180 CPUtime=0.96 cores=0-7
/proc/19161/task/19166/stat : 19166 (java) S 19159 19159 18314 0 -1 1077944384 1512 0 0 0 75 21 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564611840912 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19167] ppid=19159 vsize=28768336 memory=2116 CPUtime=0.94 cores=0-7
/proc/19161/task/19167/stat : 19167 (java) S 19159 19159 18314 0 -1 1077944384 1435 0 0 0 75 19 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564610787856 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19168] ppid=19159 vsize=28768336 memory=12028 CPUtime=1 cores=0-7
/proc/19161/task/19168/stat : 19168 (java) S 19159 19159 18314 0 -1 1077944384 1043 0 0 0 78 22 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564609735312 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19169] ppid=19159 vsize=28768336 memory=496 CPUtime=0.94 cores=0-7
/proc/19161/task/19169/stat : 19169 (java) S 19159 19159 18314 0 -1 1077944384 3175 0 0 0 72 22 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564608682256 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19170] ppid=19159 vsize=28768336 memory=1564 CPUtime=0.94 cores=0-7
/proc/19161/task/19170/stat : 19170 (java) S 19159 19159 18314 0 -1 1077944384 1619 0 0 0 74 20 0 0 20 0 28 0 446838493 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140564607629712 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19171] ppid=19159 vsize=28768336 memory=928 CPUtime=0.21 cores=0-7
/proc/19161/task/19171/stat : 19171 (java) S 19159 19159 18314 0 -1 1077944384 12503 0 0 0 17 4 0 0 20 0 28 0 446838495 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563259001584 140565063481986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19172] ppid=19159 vsize=28768336 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/19161/task/19172/stat : 19172 (java) S 19159 19159 18314 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 446838495 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563257947872 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19173] ppid=19159 vsize=28768336 memory=288230583166042425 CPUtime=0 cores=0-7
/proc/19161/task/19173/stat : 19173 (java) S 19159 19159 18314 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 446838495 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563256894720 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19174] ppid=19159 vsize=28768336 memory=16099282004477816 CPUtime=0 cores=0-7
/proc/19161/task/19174/stat : 19174 (java) S 19159 19159 18314 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563255843280 140565063489435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19175] ppid=19159 vsize=28768336 memory=0 CPUtime=4.71 cores=0-7
/proc/19161/task/19175/stat : 19175 (java) S 19159 19159 18314 0 -1 1077944384 35946 0 0 0 466 5 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563254790384 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19176] ppid=19159 vsize=28768336 memory=4160255 CPUtime=4.76 cores=0-7
/proc/19161/task/19176/stat : 19176 (java) S 19159 19159 18314 0 -1 1077944384 37494 0 0 0 469 7 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563253737840 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19177] ppid=19159 vsize=28768336 memory=0 CPUtime=5.5 cores=0-7
/proc/19161/task/19177/stat : 19177 (java) S 19159 19159 18314 0 -1 1077944384 38737 0 0 0 544 6 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563252684784 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19178] ppid=19159 vsize=28768336 memory=0 CPUtime=1.49 cores=0-7
/proc/19161/task/19178/stat : 19178 (java) S 19159 19159 18314 0 -1 1077944384 34095 0 0 0 140 9 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563251632240 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19179] ppid=19159 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/19161/task/19179/stat : 19179 (java) S 19159 19159 18314 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563250580448 140565063481045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19180] ppid=19159 vsize=28768336 memory=1440 CPUtime=1.01 cores=0-7
/proc/19161/task/19180/stat : 19180 (java) S 19159 19159 18314 0 -1 1077944384 5648 0 0 0 47 54 0 0 20 0 28 0 446838498 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563249527984 140565063481986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19908] ppid=19159 vsize=28768336 memory=800 CPUtime=1611.24 cores=0-7
/proc/19161/task/19908/stat : 19908 (java) R 19159 19159 18314 0 -1 4202560 9284 0 0 0 161112 12 0 0 20 0 28 0 446929323 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563230841800 140564711061893 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19909] ppid=19159 vsize=28768336 memory=1764 CPUtime=1603.09 cores=0-7
/proc/19161/task/19909/stat : 19909 (java) R 19159 19159 18314 0 -1 4202560 3671 0 0 0 160307 2 0 0 20 0 28 0 446929323 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563235054008 140564703792136 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19910] ppid=19159 vsize=28768336 memory=111628 CPUtime=1611.28 cores=0-7
/proc/19161/task/19910/stat : 19910 (java) R 19159 19159 18314 0 -1 4202560 5480 0 0 0 161123 5 0 0 20 0 28 0 446929323 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563237159656 140564712799859 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19912] ppid=19159 vsize=28768336 memory=804 CPUtime=1607.25 cores=0-7
/proc/19161/task/19912/stat : 19912 (java) R 19159 19159 18314 0 -1 4202560 42279 0 0 0 160676 49 0 0 20 0 28 0 446929323 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563236106472 140564703699788 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19913] ppid=19159 vsize=28768336 memory=1808 CPUtime=1603.28 cores=0-7
/proc/19161/task/19913/stat : 19913 (java) R 19159 19159 18314 0 -1 4202560 4599 0 0 0 160323 5 0 0 20 0 28 0 446929323 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563238211592 140564705387298 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19914] ppid=19159 vsize=28768336 memory=924 CPUtime=1611.39 cores=0-7
/proc/19161/task/19914/stat : 19914 (java) R 19159 19159 18314 0 -1 4202560 10866 0 0 0 161125 14 0 0 20 0 28 0 446929324 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563232950448 140564712799859 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19915] ppid=19159 vsize=28768336 memory=4136 CPUtime=1597.5 cores=0-7
/proc/19161/task/19915/stat : 19915 (java) R 19159 19159 18314 0 -1 4202560 5475 0 0 0 159747 3 0 0 20 0 28 0 446929324 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563234001400 140564712587505 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
[pid=19161/tid=19916] ppid=19159 vsize=28768336 memory=4104 CPUtime=1611.2 cores=0-7
/proc/19161/task/19916/stat : 19916 (java) R 19159 19159 18314 0 -1 4202560 10510 0 0 0 161098 22 0 0 20 0 28 0 446929324 29458776064 1461375 33554432000 4194304 4196468 140721822534448 140563231896408 140564706839328 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 37089280 140721822536682 140721822536854 140721822536854 140721822539727 0
Current children cumulated CPU time: 19937.2 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5846952 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.13
CPU time (s): 19937.9
CPU user time (s): 19931.5
CPU system time (s): 6.45158
CPU usage (%): 791.147
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 5852596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19931.5
system time used= 6.45158
maximum resident set size= 5852948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70130
involuntary context switches= 220247


# summary of solver processes directly reported to runsolver:
#   pid: 19159,19161
#   total CPU time (s): 19937.9
#   total CPU user time (s): 19931.5
#   total CPU system time (s): 6.45158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3912 second user time and 30.4431 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-17 09:34:29
IDJOB=4399949
IDBENCH=126995
IDSOLVER=2854
FILE ID=node126/4399949-1568705707
RUNJOBID= node126-1568700445-18341
PBS_JOBID= 21703895
Free space on /tmp= 55708 MiB

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

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

MD5SUM BENCH= d92bd6a6dba83323313b355bf487e521
RANDOM SEED=180690631

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31106064 kB
MemAvailable:   31888860 kB
Buffers:           72896 kB
Cached:           976084 kB
SwapCached:         8300 kB
Active:           628600 kB
Inactive:         432440 kB
Active(anon):      22328 kB
Inactive(anon):    23604 kB
Active(file):     606272 kB
Inactive(file):   408836 kB
Unevictable:      107788 kB
Mlocked:          107788 kB
SwapTotal:      67108860 kB
SwapFree:       66988788 kB
Dirty:             26076 kB
Writeback:             0 kB
AnonPages:        112108 kB
Mapped:            42788 kB
Shmem:             25152 kB
Slab:             196644 kB
SReclaimable:     167048 kB
SUnreclaim:        29596 kB
KernelStack:        3424 kB
PageTables:         5248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55680 MiB
End job on node126 at 2019-09-17 10:16:29