Trace number 4280654

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)1013 19933.4 2520.1299

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-P-n65-k10.xml
MD5SUMfc97d46ca528b4486ab3fb446b9d6166
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark809
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables4290
Number of constraints4224
Number of domains3
Minimum domain size1
Maximum domain size131
Distribution of domain sizes[{"size":1,"count":65},{"size":2,"count":4160},{"size":131,"count":64}]
Minimum variable degree0
Maximum variable degree127
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":65},{"degree":2,"count":128},{"degree":4,"count":4032},{"degree":127,"count":64}]
Minimum constraint arity1
Maximum constraint arity64
Distribution of constraint arities[{"arity":1,"count":64},{"arity":3,"count":4032},{"arity":64,"count":128}]
Number of extensional constraints0
Number of intensional constraints64
Distribution of constraint types[{"type":"intension","count":64},{"type":"sum","count":4032},{"type":"count","count":128}]
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280654-1503133969.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280654-1503133969.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
5.22/1.52	c solve instance...
6.46/1.71	o 3096 
6.46/1.76	o 3056 
6.46/1.78	o 2148 
15.67/2.93	o 2123 
20.38/3.58	o 2109 
28.94/4.69	o 2105 
32.16/5.01	o 2075 
40.08/6.09	o 2044 
46.25/6.88	o 2027 
48.81/7.27	o 2004 
51.16/7.56	o 1969 
90.11/12.48	o 1967 
92.48/12.74	o 1957 
93.27/12.82	o 1942 
96.39/13.29	o 1905 
102.82/14.09	o 1899 
126.72/17.03	o 1875 
133.81/17.90	o 1851 
134.65/18.10	o 1847 
143.40/19.15	o 1845 
145.65/19.46	o 1839 
157.61/20.92	o 1834 
159.23/21.13	o 1819 
165.52/21.91	o 1788 
166.36/22.05	o 1779 
182.29/24.06	o 1773 
186.94/24.62	o 1757 
190.94/25.16	o 1728 
207.54/27.24	o 1726 
213.10/27.97	o 1724 
219.46/28.72	o 1696 
237.83/31.06	o 1690 
318.24/41.16	o 1679 
353.98/45.69	o 1656 
363.52/46.89	o 1653 
396.17/50.98	o 1651 
404.99/52.08	o 1649 
412.09/52.99	o 1636 
412.91/53.07	o 1625 
414.34/53.27	o 1614 
438.27/56.22	o 1594 
451.00/57.82	o 1572 
465.30/59.64	o 1571 
475.59/60.90	o 1568 
509.14/65.17	o 1566 
512.22/65.57	o 1565 
515.38/66.00	o 1541 
530.39/67.86	o 1536 
533.55/68.25	o 1512 
559.83/71.58	o 1498 
574.17/73.38	o 1495 
583.37/74.60	o 1485 
603.36/77.09	o 1472 
608.02/77.67	o 1467 
612.79/78.23	o 1462 
692.56/88.27	o 1437 
706.97/90.06	o 1428 
744.30/94.75	o 1426 
762.27/97.01	o 1407 
814.82/103.68	o 1393 
829.10/105.50	o 1386 
848.80/108.03	o 1351 
863.70/110.00	o 1336 
879.95/112.10	o 1333 
880.51/112.18	o 1320 
921.00/117.28	o 1316 
954.14/121.41	o 1308 
968.34/123.25	o 1305 
1007.79/128.28	o 1300 
1022.21/130.03	o 1294 
1053.23/133.92	o 1289 
1183.24/150.24	o 1279 
1245.46/158.02	o 1277 
1246.96/158.24	o 1268 
1262.65/160.53	o 1262 
1328.61/168.80	o 1236 
1390.76/176.62	o 1219 
1462.21/185.62	o 1216 
1495.01/190.02	o 1211 
1595.59/202.87	o 1209 
1640.54/208.50	o 1198 
1821.18/231.32	o 1197 
2015.55/255.79	o 1196 
2063.01/261.84	o 1191 
2140.84/271.99	o 1189 
2201.80/280.50	o 1187 
2214.75/282.14	o 1179 
2250.67/287.38	o 1168 
2285.05/292.46	o 1165 
2314.21/296.13	o 1159 
2320.47/296.96	o 1158 
2640.20/337.10	o 1155 
2727.09/348.01	o 1149 
2868.22/365.74	o 1147 
3100.95/394.92	o 1146 
3309.90/421.74	o 1145 
3398.10/433.59	o 1143 
3458.57/441.57	o 1137 
3537.79/451.54	o 1135 
3713.87/473.99	o 1127 
3767.64/481.83	o 1119 
4360.16/556.17	o 1116 
4412.82/565.23	o 1112 
4476.38/573.26	o 1103 
4737.27/608.32	o 1100 
4791.15/617.22	o 1089 
4863.92/626.42	o 1077 
5079.55/654.65	o 1076 
5083.53/655.97	o 1064 
5142.47/665.12	o 1061 
8713.80/1112.86	o 1060 
10572.41/1345.83	o 1059 
11326.38/1440.38	o 1057 
11474.72/1459.00	o 1043 
12069.90/1533.50	o 1040 
15248.60/1931.98	o 1039 
16207.13/2052.18	o 1038 
16399.22/2076.23	o 1025 
16509.98/2090.19	o 1020 
16686.31/2112.32	o 1019 
17294.51/2188.61	o 1015 
17369.50/2198.01	o 1013 
19932.58/2520.10	s SATISFIABLE
19932.58/2520.10	v <instantiation>
19932.58/2520.10	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] x[12][57] x[12][58] x[12][59] x[12][60] x[12][61] x[12][62] x[12][63] x[12][64] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] x[13][57] x[13][58] x[13][59] x[13][60] x[13][61] x[13][62] x[13][63] x[13][64] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] x[14][57] x[14][58] x[14][59] x[14][60] x[14][61] x[14][62] x[14][63] x[14][64] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] x[15][57] x[15][58] x[15][59] x[15][60] x[15][61] x[15][62] x[15][63] x[15][64] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] x[16][57] x[16][58] x[16][59] x[16][60] x[16][61] x[16][62] x[16][63] x[16][64] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] x[17][57] x[17][58] x[17][59] x[17][60] x[17][61] x[17][62] x[17][63] x[17][64] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] x[18][57] x[18][58] x[18][59] x[18][60] x[18][61] x[18][62] x[18][63] x[18][64] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] x[19][57] x[19][58] x[19][59] x[19][60] x[19][61] x[19][62] x[19][63] x[19][64] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] x[20][57] x[20][58] x[20][59] x[20][60] x[20][61] x[20][62] x[20][63] x[20][64] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] x[21][57] x[21][58] x[21][59] x[21][60] x[21][61] x[21][62] x[21][63] x[21][64] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] x[22][57] x[22][58] x[22][59] x[22][60] x[22][61] x[22][62] x[22][63] x[22][64] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] x[23][57] x[23][58] x[23][59] x[23][60] x[23][61] x[23][62] x[23][63] x[23][64] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] x[24][57] x[24][58] x[24][59] x[24][60] x[24][61] x[24][62] x[24][63] x[24][64] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] x[25][57] x[25][58] x[25][59] x[25][60] x[25][61] x[25][62] x[25][63] x[25][64] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] x[26][57] x[26][58] x[26][59] x[26][60] x[26][61] x[26][62] x[26][63] x[26][64] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] x[27][57] x[27][58] x[27][59] x[27][60] x[27][61] x[27][62] x[27][63] x[27][64] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] x[28][57] x[28][58] x[28][59] x[28][60] x[28][61] x[28][62] x[28][63] x[28][64] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] x[29][57] x[29][58] x[29][59] x[29][60] x[29][61] x[29][62] x[29][63] x[29][64] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] x[30][57] x[30][58] x[30][59] x[30][60] x[30][61] x[30][62] x[30][63] x[30][64] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] x[31][57] x[31][58] x[31][59] x[31][60] x[31][61] x[31][62] x[31][63] x[31][64] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] x[32][57] x[32][58] x[32][59] x[32][60] x[32][61] x[32][62] x[32][63] x[32][64] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] x[33][57] x[33][58] x[33][59] x[33][60] x[33][61] x[33][62] x[33][63] x[33][64] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] x[34][57] x[34][58] x[34][59] x[34][60] x[34][61] x[34][62] x[34][63] x[34][64] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] x[35][57] x[35][58] x[35][59] x[35][60] x[35][61] x[35][62] x[35][63] x[35][64] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] x[36][57] x[36][58] x[36][59] x[36][60] x[36][61] x[36][62] x[36][63] x[36][64] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] x[37][57] x[37][58] x[37][59] x[37][60] x[37][61] x[37][62] x[37][63] x[37][64] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] x[38][57] x[38][58] x[38][59] x[38][60] x[38][61] x[38][62] x[38][63] x[38][64] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] x[39][57] x[39][58] x[39][59] x[39][60] x[39][61] x[39][62] x[39][63] x[39][64] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] x[40][57] x[40][58] x[40][59] x[40][60] x[40][61] x[40][62] x[40][63] x[40][64] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] x[41][57] x[41][58] x[41][59] x[41][60] x[41][61] x[41][62] x[41][63] x[41][64] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] x[42][57] x[42][58] x[42][59] x[42][60] x[42][61] x[42][62] x[42][63] x[42][64] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] x[43][57] x[43][58] x[43][59] x[43][60] x[43][61] x[43][62] x[43][63] x[43][64] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] x[44][57] x[44][58] x[44][59] x[44][60] x[44][61] x[44][62] x[44][63] x[44][64] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] x[45][57] x[45][58] x[45][59] x[45][60] x[45][61] x[45][62] x[45][63] x[45][64] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] x[46][57] x[46][58] x[46][59] x[46][60] x[46][61] x[46][62] x[46][63] x[46][64] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] x[47][57] x[47][58] x[47][59] x[47][60] x[47][61] x[47][62] x[47][63] x[47][64] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] x[48][57] x[48][58] x[48][59] x[48][60] x[48][61] x[48][62] x[48][63] x[48][64] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] x[49][57] x[49][58] x[49][59] x[49][60] x[49][61] x[49][62] x[49][63] x[49][64] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][57] x[50][58] x[50][59] x[50][60] x[50][61] x[50][62] x[50][63] x[50][64] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][57] x[51][58] x[51][59] x[51][60] x[51][61] x[51][62] x[51][63] x[51][64] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][57] x[52][58] x[52][59] x[52][60] x[52][61] x[52][62] x[52][63] x[52][64] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][57] x[53][58] x[53][59] x[53][60] x[53][61] x[53][62] x[53][63] x[53][64] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][57] x[54][58] x[54][59] x[54][60] x[54][61] x[54][62] x[54][63] x[54][64] x[55][0] x[55][1] x[55][2] x[55][3] x[55][4] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][57] x[55][58] x[55][59] x[55][60] x[55][61] x[55][62] x[55][63] x[55][64] x[56][0] x[56][1] x[56][2] x[56][3] x[56][4] x[56][5] x[56][6] x[56][7] x[56][8] x[56][9] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][57] x[56][58] x[56][59] x[56][60] x[56][61] x[56][62] x[56][63] x[56][64] x[57][0] x[57][1] x[57][2] x[57][3] x[57][4] x[57][5] x[57][6] x[57][7] x[57][8] x[57][9] x[57][10] x[57][11] x[57][12] x[57][13] x[57][14] x[57][15] x[57][16] x[57][17] x[57][18] x[57][19] x[57][20] x[57][21] x[57][22] x[57][23] x[57][24] x[57][25] x[57][26] x[57][27] x[57][28] x[57][29] x[57][30] x[57][31] x[57][32] x[57][33] x[57][34] x[57][35] x[57][36] x[57][37] x[57][38] x[57][39] x[57][40] x[57][41] x[57][42] x[57][43] x[57][44] x[57][45] x[57][46] x[57][47] x[57][48] x[57][49] x[57][50] x[57][51] x[57][52] x[57][53] x[57][54] x[57][55] x[57][56] x[57][57] x[57][58] x[57][59] x[57][60] x[57][61] x[57][62] x[57][63] x[57][64] x[58][0] x[58][1] x[58][2] x[58][3] x[58][4] x[58][5] x[58][6] x[58][7] x[58][8] x[58][9] x[58][10] x[58][11] x[58][12] x[58][13] x[58][14] x[58][15] x[58][16] x[58][17] x[58][18] x[58][19] x[58][20] x[58][21] x[58][22] x[58][23] x[58][24] x[58][25] x[58][26] x[58][27] x[58][28] x[58][29] x[58][30] x[58][31] x[58][32] x[58][33] x[58][34] x[58][35] x[58][36] x[58][37] x[58][38] x[58][39] x[58][40] x[58][41] x[58][42] x[58][43] x[58][44] x[58][45] x[58][46] x[58][47] x[58][48] x[58][49] x[58][50] x[58][51] x[58][52] x[58][53] x[58][54] x[58][55] x[58][56] x[58][57] x[58][58] x[58][59] x[58][60] x[58][61] x[58][62] x[58][63] x[58][64] x[59][0] x[59][1] x[59][2] x[59][3] x[59][4] x[59][5] x[59][6] x[59][7] x[59][8] x[59][9] x[59][10] x[59][11] x[59][12] x[59][13] x[59][14] x[59][15] x[59][16] x[59][17] x[59][18] x[59][19] x[59][20] x[59][21] x[59][22] x[59][23] x[59][24] x[59][25] x[59][26] x[59][27] x[59][28] x[59][29] x[59][30] x[59][31] x[59][32] x[59][33] x[59][34] x[59][35] x[59][36] x[59][37] x[59][38] x[59][39] x[59][40] x[59][41] x[59][42] x[59][43] x[59][44] x[59][45] x[59][46] x[59][47] x[59][48] x[59][49] x[59][50] x[59][51] x[59][52] x[59][53] x[59][54] x[59][55] x[59][56] x[59][57] x[59][58] x[59][59] x[59][60] x[59][61] x[59][62] x[59][63] x[59][64] x[60][0] x[60][1] x[60][2] x[60][3] x[60][4] x[60][5] x[60][6] x[60][7] x[60][8] x[60][9] x[60][10] x[60][11] x[60][12] x[60][13] x[60][14] x[60][15] x[60][16] x[60][17] x[60][18] x[60][19] x[60][20] x[60][21] x[60][22] x[60][23] x[60][24] x[60][25] x[60][26] x[60][27] x[60][28] x[60][29] x[60][30] x[60][31] x[60][32] x[60][33] x[60][34] x[60][35] x[60][36] x[60][37] x[60][38] x[60][39] x[60][40] x[60][41] x[60][42] x[60][43] x[60][44] x[60][45] x[60][46] x[60][47] x[60][48] x[60][49] x[60][50] x[60][51] x[60][52] x[60][53] x[60][54] x[60][55] x[60][56] x[60][57] x[60][58] x[60][59] x[60][60] x[60][61] x[60][62] x[60][63] x[60][64] x[61][0] x[61][1] x[61][2] x[61][3] x[61][4] x[61][5] x[61][6] x[61][7] x[61][8] x[61][9] x[61][10] x[61][11] x[61][12] x[61][13] x[61][14] x[61][15] x[61][16] x[61][17] x[61][18] x[61][19] x[61][20] x[61][21] x[61][22] x[61][23] x[61][24] x[61][25] x[61][26] x[61][27] x[61][28] x[61][29] x[61][30] x[61][31] x[61][32] x[61][33] x[61][34] x[61][35] x[61][36] x[61][37] x[61][38] x[61][39] x[61][40] x[61][41] x[61][42] x[61][43] x[61][44] x[61][45] x[61][46] x[61][47] x[61][48] x[61][49] x[61][50] x[61][51] x[61][52] x[61][53] x[61][54] x[61][55] x[61][56] x[61][57] x[61][58] x[61][59] x[61][60] x[61][61] x[61][62] x[61][63] x[61][64] x[62][0] x[62][1] x[62][2] x[62][3] x[62][4] x[62][5] x[62][6] x[62][7] x[62][8] x[62][9] x[62][10] x[62][11] x[62][12] x[62][13] x[62][14] x[62][15] x[62][16] x[62][17] x[62][18] x[62][19] x[62][20] x[62][21] x[62][22] x[62][23] x[62][24] x[62][25] x[62][26] x[62][27] x[62][28] x[62][29] x[62][30] x[62][31] x[62][32] x[62][33] x[62][34] x[62][35] x[62][36] x[62][37] x[62][38] x[62][39] x[62][40] x[62][41] x[62][42] x[62][43] x[62][44] x[62][45] x[62][46] x[62][47] x[62][48] x[62][49] x[62][50] x[62][51] x[62][52] x[62][53] x[62][54] x[62][55] x[62][56] x[62][57] x[62][58] x[62][59] x[62][60] x[62][61] x[62][62] x[62][63] x[62][64] x[63][0] x[63][1] x[63][2] x[63][3] x[63][4] x[63][5] x[63][6] x[63][7] x[63][8] x[63][9] x[63][10] x[63][11] x[63][12] x[63][13] x[63][14] x[63][15] x[63][16] x[63][17] x[63][18] x[63][19] x[63][20] x[63][21] x[63][22] x[63][23] x[63][24] x[63][25] x[63][26] x[63][27] x[63][28] x[63][29] x[63][30] x[63][31] x[63][32] x[63][33] x[63][34] x[63][35] x[63][36] x[63][37] x[63][38] x[63][39] x[63][40] x[63][41] x[63][42] x[63][43] x[63][44] x[63][45] x[63][46] x[63][47] x[63][48] x[63][49] x[63][50] x[63][51] x[63][52] x[63][53] x[63][54] x[63][55] x[63][56] x[63][57] x[63][58] x[63][59] x[63][60] x[63][61] x[63][62] x[63][63] x[63][64] x[64][0] x[64][1] x[64][2] x[64][3] x[64][4] x[64][5] x[64][6] x[64][7] x[64][8] x[64][9] x[64][10] x[64][11] x[64][12] x[64][13] x[64][14] x[64][15] x[64][16] x[64][17] x[64][18] x[64][19] x[64][20] x[64][21] x[64][22] x[64][23] x[64][24] x[64][25] x[64][26] x[64][27] x[64][28] x[64][29] x[64][30] x[64][31] x[64][32] x[64][33] x[64][34] x[64][35] x[64][36] x[64][37] x[64][38] x[64][39] x[64][40] x[64][41] x[64][42] x[64][43] x[64][44] x[64][45] x[64][46] x[64][47] x[64][48] x[64][49] x[64][50] x[64][51] x[64][52] x[64][53] x[64][54] x[64][55] x[64][56] x[64][57] x[64][58] x[64][59] x[64][60] x[64][61] x[64][62] x[64][63] x[64][64] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[57] u[58] u[59] u[60] u[61] u[62] u[63] u[64] </list>
19932.58/2520.10	v 	<values>0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 96 122 12 30 74 20 130 36 84 101 59 129 58 112 38 69 25 92 19 103 31 31 8 126 55 125 76 60 88 130 39 50 96 20 49 120 80 66 110 104 66 78 50 40 113 112 83 105 50 79 125 96 80 45 13 38 52 22 85 65 49 19 108 29 </values>
19932.58/2520.10	v </instantiation>
19932.58/2520.10	c Unexpected resolution interruption!

Verifier Data 

OK	1013

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280654-1503133969/watcher-4280654-1503133969 -o /tmp/evaluation-result-4280654-1503133969/solver-4280654-1503133969 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503130588-27973 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2135881867 HOME/instance-4280654-1503133969.xml 

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

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


[startup+0.100156 s]*
/proc/loadavg: 7.69 8.17 8.26 2/199 28144
/proc/meminfo: memFree=25501024/32770624 swapFree=67108860/67108860
[pid=28122] ppid=28119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28122/stat : 28122 (xcsp3-exec) S 28119 28122 27946 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146477839 9740288 345 33554432000 4194304 5098028 140724551175632 140724551173736 139786316665468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17006592 140724551177316 140724551177527 140724551177527 140724551180267 0
/proc/28122/statm: 2378 345 289 221 0 87 0
[pid=28124] ppid=28122 vsize=25999808 memory=26488 CPUtime=0.11 cores=0-7
/proc/28124/stat : 28124 (java) S 28122 28122 27946 0 -1 1077944320 5480 0 0 0 10 1 0 0 20 0 20 0 146477839 26623803392 6622 33554432000 4194304 4196468 140735528577632 140735528560176 140428320481015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
/proc/28124/statm: 6499952 6622 2865 1 0 6488269 0
[pid=28124/tid=28125] ppid=28122 vsize=25999808 memory=7754243566052744601 CPUtime=0.09 cores=0-7
/proc/28124/task/28125/stat : 28125 (java) R 28122 28122 27946 0 -1 4202560 3481 0 0 0 8 1 0 0 20 0 20 0 146477839 26623803392 6622 33554432000 4194304 4196468 140735528577632 140428324713264 140428304561502 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28126] ppid=28122 vsize=25999808 memory=732370550213299173 CPUtime=0 cores=0-7
/proc/28124/task/28126/stat : 28126 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26623803392 6622 33554432000 4194304 4196468 140735528577632 140428273101456 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28127] ppid=28122 vsize=25999808 memory=140411875845760 CPUtime=0 cores=0-7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26623803392 6622 33554432000 4194304 4196468 140735528577632 140428272048656 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28128] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26623803392 6622 33554432000 4194304 4196468 140735528577632 140428270995856 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28129] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28129/stat : 28129 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477840 26623803392 6622 33554432000 4194304 4196468 140735528577632 140428269943056 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28130] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28130/stat : 28130 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26623803392 6622 33554432000 4194304 4196468 140735528577632 140428268891280 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28131] ppid=28122 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28124/task/28131/stat : 28131 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477840 26623803392 6622 33554432000 4194304 4196468 140735528577632 140428267838480 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28132] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477840 26623803392 6622 33554432000 4194304 4196468 140735528577632 140428266785680 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28134] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28122 27946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146477840 26623803392 6622 33554432000 4194304 4196468 140735528577632 140428265732880 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28135] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477842 26623803392 6622 33554432000 4194304 4196468 140735528577632 140427716262256 140428320492162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28136] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28122 27946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146477842 26623803392 6622 33554432000 4194304 4196468 140735528577632 140427715208224 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28137] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28122 27946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146477842 26623803392 6622 33554432000 4194304 4196468 140735528577632 140427646722928 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28138] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477844 26623803392 6622 33554432000 4194304 4196468 140735528577632 140427645671248 140428320499611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28139] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28122 27946 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 146477845 26623803392 6622 33554432000 4194304 4196468 140735528577632 140427644619632 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28140] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28122 27946 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 146477845 26623803392 6622 33554432000 4194304 4196468 140735528577632 140427643566832 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28141] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28122 27946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146477845 26623803392 6622 33554432000 4194304 4196468 140735528577632 140427642514032 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28142] ppid=28122 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/28124/task/28142/stat : 28142 (java) S 28122 28122 27946 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 20 0 146477845 26623803392 6622 33554432000 4194304 4196468 140735528577632 140427641461232 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28143] ppid=28122 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28122 27946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146477845 26623803392 6622 33554432000 4194304 4196468 140735528577632 140427640408672 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28144] ppid=28122 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28124/task/28144/stat : 28144 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477845 26623803392 6622 33554432000 4194304 4196468 140735528577632 140427639355952 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27868 KiB

[startup+0.209739 s]*
/proc/loadavg: 7.69 8.17 8.26 3/199 28144
/proc/meminfo: memFree=25489968/32770624 swapFree=67108860/67108860
[pid=28122] ppid=28119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28122/stat : 28122 (xcsp3-exec) S 28119 28122 27946 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146477839 9740288 345 33554432000 4194304 5098028 140724551175632 140724551173736 139786316665468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17006592 140724551177316 140724551177527 140724551177527 140724551180267 0
/proc/28122/statm: 2378 345 289 221 0 87 0
[pid=28124] ppid=28122 vsize=26004064 memory=38572 CPUtime=0.33 cores=0-7
/proc/28124/stat : 28124 (java) S 28122 28122 27946 0 -1 1077944320 8295 0 0 0 30 3 0 0 20 0 20 0 146477839 26628161536 9643 33554432000 4194304 4196468 140735528577632 140735528560176 140428320481015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
/proc/28124/statm: 6501016 9643 3002 1 0 6488269 0
[pid=28124/tid=28125] ppid=28122 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/28124/task/28125/stat : 28125 (java) R 28122 28122 27946 0 -1 4202560 5395 0 0 0 18 1 0 0 20 0 20 0 146477839 26628161536 9643 33554432000 4194304 4196468 140735528577632 140428324702016 140428320502941 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28126] ppid=28122 vsize=26004064 memory=732370550213299173 CPUtime=0 cores=0-7
/proc/28124/task/28126/stat : 28126 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 9643 33554432000 4194304 4196468 140735528577632 140428273101456 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28127] ppid=28122 vsize=26004064 memory=140411875845760 CPUtime=0 cores=0-7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 9643 33554432000 4194304 4196468 140735528577632 140428272048656 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28128] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 9643 33554432000 4194304 4196468 140735528577632 140428270995856 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28129] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28129/stat : 28129 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 9643 33554432000 4194304 4196468 140735528577632 140428269943056 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28130] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28130/stat : 28130 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 9643 33554432000 4194304 4196468 140735528577632 140428268891280 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28131] ppid=28122 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28124/task/28131/stat : 28131 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 9643 33554432000 4194304 4196468 140735528577632 140428267838480 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28132] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 9643 33554432000 4194304 4196468 140735528577632 140428266785680 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28134] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28122 27946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 9643 33554432000 4194304 4196468 140735528577632 140428265732880 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28135] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477842 26628161536 9643 33554432000 4194304 4196468 140735528577632 140427716262256 140428320492162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28136] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28122 27946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146477842 26628161536 9643 33554432000 4194304 4196468 140735528577632 140427715208224 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28137] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28122 27946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146477842 26628161536 9643 33554432000 4194304 4196468 140735528577632 140427646722928 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28138] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477844 26628161536 9643 33554432000 4194304 4196468 140735528577632 140427645671248 140428320499611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28139] ppid=28122 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28122 27946 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 20 0 146477845 26628161536 9643 33554432000 4194304 4196468 140735528577632 140427644619632 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28140] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28122 27946 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 20 0 146477845 26628161536 9643 33554432000 4194304 4196468 140735528577632 140427643566832 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28141] ppid=28122 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28122 27946 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 20 0 146477845 26628161536 9643 33554432000 4194304 4196468 140735528577632 140427642514032 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28142] ppid=28122 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/28124/task/28142/stat : 28142 (java) R 28122 28122 27946 0 -1 4202560 767 0 0 0 7 0 0 0 20 0 20 0 146477845 26628161536 9643 33554432000 4194304 4196468 140735528577632 140427641461232 140428320492950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28143] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28122 27946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146477845 26628161536 9643 33554432000 4194304 4196468 140735528577632 140427640408672 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28144] ppid=28122 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28124/task/28144/stat : 28144 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477845 26628161536 9643 33554432000 4194304 4196468 140735528577632 140427639355952 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39952 KiB

[startup+0.309441 s]*
/proc/loadavg: 7.69 8.17 8.26 4/199 28144
/proc/meminfo: memFree=25485068/32770624 swapFree=67108860/67108860
[pid=28122] ppid=28119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28122/stat : 28122 (xcsp3-exec) S 28119 28122 27946 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146477839 9740288 345 33554432000 4194304 5098028 140724551175632 140724551173736 139786316665468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17006592 140724551177316 140724551177527 140724551177527 140724551180267 0
/proc/28122/statm: 2378 345 289 221 0 87 0
[pid=28124] ppid=28122 vsize=26004064 memory=44004 CPUtime=0.5 cores=0-7
/proc/28124/stat : 28124 (java) S 28122 28122 27946 0 -1 1077944320 9221 0 0 0 47 3 0 0 20 0 20 0 146477839 26628161536 11001 33554432000 4194304 4196468 140735528577632 140735528560176 140428320481015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
/proc/28124/statm: 6501016 11001 3112 1 0 6488269 0
[pid=28124/tid=28125] ppid=28122 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28124/task/28125/stat : 28125 (java) R 28122 28122 27946 0 -1 4202560 6065 0 0 0 27 2 0 0 20 0 20 0 146477839 26628161536 11001 33554432000 4194304 4196468 140735528577632 140428324719888 140427932093436 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28126] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28126/stat : 28126 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 11001 33554432000 4194304 4196468 140735528577632 140428273101456 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28127] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 11001 33554432000 4194304 4196468 140735528577632 140428272048656 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28128] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 11001 33554432000 4194304 4196468 140735528577632 140428270995856 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28129] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28129/stat : 28129 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 11001 33554432000 4194304 4196468 140735528577632 140428269943056 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28130] ppid=28122 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/28124/task/28130/stat : 28130 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 11001 33554432000 4194304 4196468 140735528577632 140428268891280 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28131] ppid=28122 vsize=26004064 memory=140411742024623 CPUtime=0 cores=0-7
/proc/28124/task/28131/stat : 28131 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 11001 33554432000 4194304 4196468 140735528577632 140428267838480 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28132] ppid=28122 vsize=26004064 memory=140411742026928 CPUtime=0 cores=0-7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 11001 33554432000 4194304 4196468 140735528577632 140428266785680 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28134] ppid=28122 vsize=26004064 memory=140411742029232 CPUtime=0 cores=0-7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28122 27946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146477840 26628161536 11001 33554432000 4194304 4196468 140735528577632 140428265732880 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28135] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477842 26628161536 11001 33554432000 4194304 4196468 140735528577632 140427716262256 140428320492162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28136] ppid=28122 vsize=26004064 memory=280823484065424 CPUtime=0 cores=0-7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28122 27946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146477842 26628161536 11001 33554432000 4194304 4196468 140735528577632 140427715208224 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28137] ppid=28122 vsize=26004064 memory=280823484072336 CPUtime=0 cores=0-7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28122 27946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146477842 26628161536 11001 33554432000 4194304 4196468 140735528577632 140427646722928 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28138] ppid=28122 vsize=26004064 memory=280823484013616 CPUtime=0 cores=0-7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477844 26628161536 11001 33554432000 4194304 4196468 140735528577632 140427645671248 140428320499611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28139] ppid=28122 vsize=26004064 memory=280823484086160 CPUtime=0.01 cores=0-7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28122 27946 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 20 0 146477845 26628161536 11001 33554432000 4194304 4196468 140735528577632 140427644619632 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28140] ppid=28122 vsize=26004064 memory=280823484093072 CPUtime=0.02 cores=0-7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28122 27946 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 146477845 26628161536 11001 33554432000 4194304 4196468 140735528577632 140427643566832 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28141] ppid=28122 vsize=26004064 memory=280823484090768 CPUtime=0.03 cores=0-7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28122 27946 0 -1 1077944384 272 0 0 0 3 0 0 0 20 0 20 0 146477845 26628161536 11001 33554432000 4194304 4196468 140735528577632 140427642514032 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28142] ppid=28122 vsize=26004064 memory=280823484106928 CPUtime=0.12 cores=0-7
/proc/28124/task/28142/stat : 28142 (java) R 28122 28122 27946 0 -1 4202560 906 0 0 0 12 0 0 0 20 0 20 0 146477845 26628161536 11001 33554432000 4194304 4196468 140735528577632 140427641457976 140428320494897 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28143] ppid=28122 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28122 27946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146477845 26628161536 11001 33554432000 4194304 4196468 140735528577632 140427640408672 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28144] ppid=28122 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28124/task/28144/stat : 28144 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146477845 26628161536 11001 33554432000 4194304 4196468 140735528577632 140427639355952 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45384 KiB

[startup+0.700948 s]
/proc/loadavg: 7.69 8.17 8.26 5/199 28144
/proc/meminfo: memFree=25455924/32770624 swapFree=67108860/67108860
[pid=28122] ppid=28119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28122/stat : 28122 (xcsp3-exec) S 28119 28122 27946 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146477839 9740288 345 33554432000 4194304 5098028 140724551175632 140724551173736 139786316665468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17006592 140724551177316 140724551177527 140724551177527 140724551180267 0
/proc/28122/statm: 2378 345 289 221 0 87 0
[pid=28124] ppid=28122 vsize=26006188 memory=109732 CPUtime=2.06 cores=0-7
/proc/28124/stat : 28124 (java) S 28122 28122 27946 0 -1 1077944320 13850 0 0 0 200 6 0 0 20 0 20 0 146477839 26630336512 27433 33554432000 4194304 4196468 140735528577632 140735528560176 140428320481015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
/proc/28124/statm: 6501547 27433 3206 1 0 6488781 0
[pid=28124/tid=28125] ppid=28122 vsize=26006188 memory=280823484401856 CPUtime=0.67 cores=0-7
/proc/28124/task/28125/stat : 28125 (java) R 28122 28122 27946 0 -1 4202560 6554 0 0 0 64 3 0 0 20 0 20 0 146477839 26630336512 27433 33554432000 4194304 4196468 140735528577632 140428324717600 140427935991450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28126] ppid=28122 vsize=26006188 memory=4964982195330 CPUtime=0 cores=0-7
/proc/28124/task/28126/stat : 28126 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26630336512 27433 33554432000 4194304 4196468 140735528577632 140428273101456 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28127] ppid=28122 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26630336512 27433 33554432000 4194304 4196468 140735528577632 140428272048656 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28128] ppid=28122 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28122 27946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146477840 26630336512 27433 33554432000 4194304 4196468 140735528577632 140428270995856 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0

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

[pid=28124/tid=29187] ppid=28122 vsize=26538700 memory=1380 CPUtime=242.55 cores=0-7
/proc/28124/task/29187/stat : 29187 (java) R 28122 28122 27946 0 -1 4202560 2350 0 0 0 24254 1 0 0 20 0 28 0 146697640 27175628800 806711 33554432000 4194304 4196468 140735528577632 140427630296936 140427942024014 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
Current children cumulated CPU time: 19315 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3228224 KiB

[startup+2502.3 s]
/proc/loadavg: 8.46 8.22 8.20 9/207 29194
/proc/meminfo: memFree=22301892/32770624 swapFree=67108860/67108860
[pid=28122] ppid=28119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28122/stat : 28122 (xcsp3-exec) S 28119 28122 27946 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146477839 9740288 345 33554432000 4194304 5098028 140724551175632 140724551173736 139786316665468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17006592 140724551177316 140724551177527 140724551177527 140724551180267 0
/proc/28122/statm: 2378 345 289 221 0 87 0
[pid=28124] ppid=28122 vsize=26538700 memory=3216716 CPUtime=19792.2 cores=0-7
/proc/28124/stat : 28124 (java) S 28122 28122 27946 0 -1 1077944320 785978 0 0 0 1978146 1073 0 0 20 0 28 0 146477839 27175628800 804179 33554432000 4194304 4196468 140735528577632 140735528560176 140428320481015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
/proc/28124/statm: 6634675 804179 3303 1 0 6621909 0
[pid=28124/tid=28125] ppid=28122 vsize=26538700 memory=3239504 CPUtime=1.71 cores=0-7
/proc/28124/task/28125/stat : 28125 (java) S 28122 28122 27946 0 -1 1077944384 24409 0 0 0 162 9 0 0 20 0 28 0 146477839 27175628800 804179 33554432000 4194304 4196468 140735528577632 140428324721792 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28126] ppid=28122 vsize=26538700 memory=3236428 CPUtime=0.83 cores=0-7
/proc/28124/task/28126/stat : 28126 (java) S 28122 28122 27946 0 -1 1077944384 9897 0 0 0 69 14 0 0 20 0 28 0 146477840 27175628800 804179 33554432000 4194304 4196468 140735528577632 140428273101456 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28127] ppid=28122 vsize=26538700 memory=1380 CPUtime=0.79 cores=0-7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28122 27946 0 -1 1077944384 8969 0 0 0 66 13 0 0 20 0 28 0 146477840 27175628800 804179 33554432000 4194304 4196468 140735528577632 140428272048656 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28128] ppid=28122 vsize=26538700 memory=1380 CPUtime=0.83 cores=0-7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28122 27946 0 -1 1077944384 9624 0 0 0 68 15 0 0 20 0 28 0 146477840 27175628800 804179 33554432000 4194304 4196468 140735528577632 140428270995856 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28129] ppid=28122 vsize=26538700 memory=1380 CPUtime=0.77 cores=0-7
/proc/28124/task/28129/stat : 28129 (java) S 28122 28122 27946 0 -1 1077944384 9967 0 0 0 64 13 0 0 20 0 28 0 146477840 27175628800 804179 33554432000 4194304 4196468 140735528577632 140428269943056 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28130] ppid=28122 vsize=26538700 memory=3108084 CPUtime=0.82 cores=0-7
/proc/28124/task/28130/stat : 28130 (java) S 28122 28122 27946 0 -1 1077944384 9270 0 0 0 67 15 0 0 20 0 28 0 146477840 27175628800 804179 33554432000 4194304 4196468 140735528577632 140428268891280 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28131] ppid=28122 vsize=26538700 memory=3147548 CPUtime=0.79 cores=0-7
/proc/28124/task/28131/stat : 28131 (java) S 28122 28122 27946 0 -1 1077944384 8795 0 0 0 66 13 0 0 20 0 28 0 146477840 27175628800 804179 33554432000 4194304 4196468 140735528577632 140428267838480 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28132] ppid=28122 vsize=26538700 memory=3161552 CPUtime=0.82 cores=0-7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28122 27946 0 -1 1077944384 12811 0 0 0 67 15 0 0 20 0 28 0 146477840 27175628800 804179 33554432000 4194304 4196468 140735528577632 140428266785680 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28134] ppid=28122 vsize=26538700 memory=3211940 CPUtime=0.78 cores=0-7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28122 27946 0 -1 1077944384 10460 0 0 0 67 11 0 0 20 0 28 0 146477840 27175628800 804179 33554432000 4194304 4196468 140735528577632 140428265732880 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28135] ppid=28122 vsize=26538700 memory=1380 CPUtime=0.94 cores=0-7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28122 27946 0 -1 1077944384 36780 0 0 0 43 51 0 0 20 0 28 0 146477842 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427716262256 140428320492162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28136] ppid=28122 vsize=26538700 memory=3227868 CPUtime=0 cores=0-7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28122 27946 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 146477842 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427715208288 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28137] ppid=28122 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28122 27946 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 146477842 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427646722944 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28138] ppid=28122 vsize=26538700 memory=3222308 CPUtime=0 cores=0-7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146477844 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427645671248 140428320499611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28139] ppid=28122 vsize=26538700 memory=1380 CPUtime=3.5 cores=0-7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28122 27946 0 -1 1077944384 20751 0 0 0 346 4 0 0 20 0 28 0 146477845 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427644619632 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28140] ppid=28122 vsize=26538700 memory=3219760 CPUtime=3.28 cores=0-7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28122 27946 0 -1 1077944384 20148 0 0 0 323 5 0 0 20 0 28 0 146477845 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427643566832 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28141] ppid=28122 vsize=26538700 memory=1380 CPUtime=3.24 cores=0-7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28122 27946 0 -1 1077944384 15331 0 0 0 321 3 0 0 20 0 28 0 146477845 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427642514032 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28142] ppid=28122 vsize=26538700 memory=3218244 CPUtime=1.13 cores=0-7
/proc/28124/task/28142/stat : 28142 (java) S 28122 28122 27946 0 -1 1077944384 31762 0 0 0 107 6 0 0 20 0 28 0 146477845 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427641461232 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28143] ppid=28122 vsize=26538700 memory=3217728 CPUtime=0 cores=0-7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28122 27946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146477845 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427640408672 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28144] ppid=28122 vsize=26538700 memory=3217216 CPUtime=0.88 cores=0-7
/proc/28124/task/28144/stat : 28144 (java) S 28122 28122 27946 0 -1 1077944384 13464 0 0 0 14 74 0 0 20 0 28 0 146477845 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427639355952 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29180] ppid=28122 vsize=26538700 memory=4096 CPUtime=303.01 cores=0-7
/proc/28124/task/29180/stat : 29180 (java) R 28122 28122 27946 0 -1 4202560 2602 0 0 0 30299 2 0 0 20 0 28 0 146697640 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427623975928 140427940215244 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29181] ppid=28122 vsize=26538700 memory=4096 CPUtime=303.1 cores=0-7
/proc/28124/task/29181/stat : 29181 (java) R 28122 28122 27946 0 -1 4202560 2571 0 0 0 30308 2 0 0 20 0 28 0 146697640 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427626081912 140427941083661 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29182] ppid=28122 vsize=26538700 memory=41228 CPUtime=302.26 cores=0-7
/proc/28124/task/29182/stat : 29182 (java) R 28122 28122 27946 0 -1 4202560 8132 0 0 0 30223 3 0 0 20 0 28 0 146697640 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427628190608 140427939342761 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29183] ppid=28122 vsize=26538700 memory=3218744 CPUtime=301.89 cores=0-7
/proc/28124/task/29183/stat : 29183 (java) R 28122 28122 27946 0 -1 4202560 6584 0 0 0 30182 7 0 0 20 0 28 0 146697640 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427625029968 140427943129924 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29184] ppid=28122 vsize=26538700 memory=1380 CPUtime=301.74 cores=0-7
/proc/28124/task/29184/stat : 29184 (java) R 28122 28122 27946 0 -1 4202560 11400 0 0 0 30163 11 0 0 20 0 28 0 146697640 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427631345968 140427941156411 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29185] ppid=28122 vsize=26538700 memory=3219256 CPUtime=302.82 cores=0-7
/proc/28124/task/29185/stat : 29185 (java) R 28122 28122 27946 0 -1 4202560 5987 0 0 0 30272 10 0 0 20 0 28 0 146697640 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427627135232 140427939342771 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29186] ppid=28122 vsize=26538700 memory=1292 CPUtime=302.47 cores=0-7
/proc/28124/task/29186/stat : 29186 (java) R 28122 28122 27946 0 -1 4202560 2851 0 0 0 30245 2 0 0 20 0 28 0 146697640 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427629240096 140427940214100 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29187] ppid=28122 vsize=26538700 memory=3222308 CPUtime=301.83 cores=0-7
/proc/28124/task/29187/stat : 29187 (java) R 28122 28122 27946 0 -1 4202560 3342 0 0 0 30181 2 0 0 20 0 28 0 146697640 27175628800 804179 33554432000 4194304 4196468 140735528577632 140427630292704 140427940214574 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
Current children cumulated CPU time: 19792.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3218096 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.65 8.27 8.22 9/207 29194
/proc/meminfo: memFree=22307912/32770624 swapFree=67108860/67108860
[pid=28122] ppid=28119 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/28122/stat : 28122 (xcsp3-exec) S 28119 28122 27946 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146477839 9740288 345 33554432000 4194304 5098028 140724551175632 140724551173736 139786316665468 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17006592 140724551177316 140724551177527 140724551177527 140724551180267 0
/proc/28122/statm: 2378 345 289 221 0 87 0
[pid=28124] ppid=28122 vsize=26538700 memory=3212276 CPUtime=19932.6 cores=0-7
/proc/28124/stat : 28124 (java) S 28122 28122 27946 0 -1 1077944320 794403 0 0 0 1992177 1081 0 0 20 0 28 0 146477839 27175628800 803069 33554432000 4194304 4196468 140735528577632 140735528560176 140428320481015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
/proc/28124/statm: 6634675 803069 3304 1 0 6621909 0
[pid=28124/tid=28125] ppid=28122 vsize=26538700 memory=1204 CPUtime=1.71 cores=0-7
/proc/28124/task/28125/stat : 28125 (java) S 28122 28122 27946 0 -1 1077944384 24409 0 0 0 162 9 0 0 20 0 28 0 146477839 27175628800 803069 33554432000 4194304 4196468 140735528577632 140428324721792 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28126] ppid=28122 vsize=26538700 memory=-7003737579269690708 CPUtime=0.89 cores=0-7
/proc/28124/task/28126/stat : 28126 (java) S 28122 28122 27946 0 -1 1077944384 10489 0 0 0 75 14 0 0 20 0 28 0 146477840 27175628800 803069 33554432000 4194304 4196468 140735528577632 140428273101456 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28127] ppid=28122 vsize=26538700 memory=1440 CPUtime=0.86 cores=0-7
/proc/28124/task/28127/stat : 28127 (java) S 28122 28122 27946 0 -1 1077944384 9115 0 0 0 73 13 0 0 20 0 28 0 146477840 27175628800 803069 33554432000 4194304 4196468 140735528577632 140428272048656 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28128] ppid=28122 vsize=26538700 memory=15880 CPUtime=0.9 cores=0-7
/proc/28124/task/28128/stat : 28128 (java) S 28122 28122 27946 0 -1 1077944384 9968 0 0 0 75 15 0 0 20 0 28 0 146477840 27175628800 803069 33554432000 4194304 4196468 140735528577632 140428270995856 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28129] ppid=28122 vsize=26538700 memory=16432 CPUtime=0.85 cores=0-7
/proc/28124/task/28129/stat : 28129 (java) S 28122 28122 27946 0 -1 1077944384 10467 0 0 0 71 14 0 0 20 0 28 0 146477840 27175628800 803069 33554432000 4194304 4196468 140735528577632 140428269943056 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28130] ppid=28122 vsize=26538700 memory=23568 CPUtime=0.88 cores=0-7
/proc/28124/task/28130/stat : 28130 (java) S 28122 28122 27946 0 -1 1077944384 9501 0 0 0 73 15 0 0 20 0 28 0 146477840 27175628800 803069 33554432000 4194304 4196468 140735528577632 140428268891280 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28131] ppid=28122 vsize=26538700 memory=4044 CPUtime=0.87 cores=0-7
/proc/28124/task/28131/stat : 28131 (java) S 28122 28122 27946 0 -1 1077944384 9563 0 0 0 73 14 0 0 20 0 28 0 146477840 27175628800 803069 33554432000 4194304 4196468 140735528577632 140428267838480 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28132] ppid=28122 vsize=26538700 memory=6791534058613427641 CPUtime=0.89 cores=0-7
/proc/28124/task/28132/stat : 28132 (java) S 28122 28122 27946 0 -1 1077944384 13149 0 0 0 74 15 0 0 20 0 28 0 146477840 27175628800 803069 33554432000 4194304 4196468 140735528577632 140428266785680 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28134] ppid=28122 vsize=26538700 memory=3212768 CPUtime=0.85 cores=0-7
/proc/28124/task/28134/stat : 28134 (java) S 28122 28122 27946 0 -1 1077944384 10713 0 0 0 74 11 0 0 20 0 28 0 146477840 27175628800 803069 33554432000 4194304 4196468 140735528577632 140428265732880 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28135] ppid=28122 vsize=26538700 memory=1292 CPUtime=1.05 cores=0-7
/proc/28124/task/28135/stat : 28135 (java) S 28122 28122 27946 0 -1 1077944384 38886 0 0 0 48 57 0 0 20 0 28 0 146477842 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427716262256 140428320492162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28136] ppid=28122 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/28124/task/28136/stat : 28136 (java) S 28122 28122 27946 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 146477842 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427715208288 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28137] ppid=28122 vsize=26538700 memory=12136 CPUtime=0 cores=0-7
/proc/28124/task/28137/stat : 28137 (java) S 28122 28122 27946 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 146477842 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427646722944 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28138] ppid=28122 vsize=26538700 memory=1004 CPUtime=0 cores=0-7
/proc/28124/task/28138/stat : 28138 (java) S 28122 28122 27946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146477844 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427645671248 140428320499611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28139] ppid=28122 vsize=26538700 memory=1228 CPUtime=3.5 cores=0-7
/proc/28124/task/28139/stat : 28139 (java) S 28122 28122 27946 0 -1 1077944384 20757 0 0 0 346 4 0 0 20 0 28 0 146477845 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427644619632 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28140] ppid=28122 vsize=26538700 memory=960 CPUtime=3.28 cores=0-7
/proc/28124/task/28140/stat : 28140 (java) S 28122 28122 27946 0 -1 1077944384 20154 0 0 0 323 5 0 0 20 0 28 0 146477845 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427643566832 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28141] ppid=28122 vsize=26538700 memory=2240 CPUtime=3.24 cores=0-7
/proc/28124/task/28141/stat : 28141 (java) S 28122 28122 27946 0 -1 1077944384 15338 0 0 0 321 3 0 0 20 0 28 0 146477845 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427642514032 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28142] ppid=28122 vsize=26538700 memory=2424 CPUtime=1.13 cores=0-7
/proc/28124/task/28142/stat : 28142 (java) S 28122 28122 27946 0 -1 1077944384 31768 0 0 0 107 6 0 0 20 0 28 0 146477845 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427641461232 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28143] ppid=28122 vsize=26538700 memory=4080 CPUtime=0 cores=0-7
/proc/28124/task/28143/stat : 28143 (java) S 28122 28122 27946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146477845 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427640408672 140428320491221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=28144] ppid=28122 vsize=26538700 memory=932 CPUtime=0.9 cores=0-7
/proc/28124/task/28144/stat : 28144 (java) S 28122 28122 27946 0 -1 1077944384 13508 0 0 0 15 75 0 0 20 0 28 0 146477845 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427639355952 140428320492162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29180] ppid=28122 vsize=26538700 memory=1584 CPUtime=320.52 cores=0-7
/proc/28124/task/29180/stat : 29180 (java) R 28122 28122 27946 0 -1 4202560 2760 0 0 0 32050 2 0 0 20 0 28 0 146697640 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427623975832 140427939342687 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29181] ppid=28122 vsize=26538700 memory=2196 CPUtime=320.57 cores=0-7
/proc/28124/task/29181/stat : 29181 (java) R 28122 28122 27946 0 -1 4202560 2709 0 0 0 32055 2 0 0 20 0 28 0 146697640 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427626082128 140427936056896 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29182] ppid=28122 vsize=26538700 memory=1380 CPUtime=319.73 cores=0-7
/proc/28124/task/29182/stat : 29182 (java) R 28122 28122 27946 0 -1 4202560 8689 0 0 0 31970 3 0 0 20 0 28 0 146697640 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427628188880 140427940773991 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29183] ppid=28122 vsize=26538700 memory=1728 CPUtime=319.4 cores=0-7
/proc/28124/task/29183/stat : 29183 (java) R 28122 28122 27946 0 -1 4202560 6956 0 0 0 31933 7 0 0 20 0 28 0 146697640 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427625030736 140427940382171 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29184] ppid=28122 vsize=26538700 memory=1440 CPUtime=319.29 cores=0-7
/proc/28124/task/29184/stat : 29184 (java) R 28122 28122 27946 0 -1 4202560 12471 0 0 0 31918 11 0 0 20 0 28 0 146697640 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427631349072 140427939367289 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29185] ppid=28122 vsize=26538700 memory=15880 CPUtime=320.24 cores=0-7
/proc/28124/task/29185/stat : 29185 (java) R 28122 28122 27946 0 -1 4202560 6363 0 0 0 32014 10 0 0 20 0 28 0 146697640 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427627135272 140427939342687 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29186] ppid=28122 vsize=26538700 memory=16432 CPUtime=319.78 cores=0-7
/proc/28124/task/29186/stat : 29186 (java) R 28122 28122 27946 0 -1 4202560 3042 0 0 0 31976 2 0 0 20 0 28 0 146697640 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427629241176 140427940215408 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
[pid=28124/tid=29187] ppid=28122 vsize=26538700 memory=23568 CPUtime=319.32 cores=0-7
/proc/28124/task/29187/stat : 29187 (java) R 28122 28122 27946 0 -1 4202560 3557 0 0 0 31930 2 0 0 20 0 28 0 146697640 27175628800 803069 33554432000 4194304 4196468 140735528577632 140427630292960 140427939342776 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36347904 140735528584338 140735528584515 140735528584515 140735528587215 0
Current children cumulated CPU time: 19932.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3213656 KiB

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

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

[startup+2520.13 s]
# the end of solver process 28124 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19922.6 s, system=10.8304 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): 19933.4
CPU user time (s): 19922.6
CPU system time (s): 10.8304
CPU usage (%): 790.968
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3463864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19922.6
system time used= 10.8304
maximum resident set size= 3468332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 795683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93847
involuntary context switches= 202496


# summary of solver processes directly reported to runsolver:
#   pid: 28122,28124
#   total CPU time (s): 19933.4
#   total CPU user time (s): 19922.6
#   total CPU system time (s): 10.8304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1384 second user time and 29.3716 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-19 10:58:29
IDJOB=4280654
IDBENCH=124432
IDSOLVER=2675
FILE ID=node148/4280654-1503133969
RUNJOBID= node148-1503130588-27973
PBS_JOBID= 20630783
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n65-k10.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280654-1503133969/watcher-4280654-1503133969 -o /tmp/evaluation-result-4280654-1503133969/solver-4280654-1503133969 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503130588-27973 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2135881867 HOME/instance-4280654-1503133969.xml

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

MD5SUM BENCH= fc97d46ca528b4486ab3fb446b9d6166
RANDOM SEED=2135881867

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25516276 kB
MemAvailable:   31976664 kB
Buffers:          289632 kB
Cached:          6464588 kB
SwapCached:            0 kB
Active:          1156068 kB
Inactive:        5651332 kB
Active(anon):       4168 kB
Inactive(anon):    84708 kB
Active(file):    1151900 kB
Inactive(file):  5566624 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7664 kB
Writeback:            28 kB
AnonPages:         59908 kB
Mapped:            50900 kB
Shmem:             33416 kB
Slab:             141820 kB
SReclaimable:     115396 kB
SUnreclaim:        26424 kB
KernelStack:        3168 kB
PageTables:         4724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61936 MiB
End job on node148 at 2017-08-19 11:40:30