Trace number 4271833

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-09)SAT (TO)875 2002.4301 252.11

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-P-n50-k10.xml
MD5SUM994883c0320da003cf1ede0b66369d8b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark740
Best CPU time to get the best result obtained on this benchmark251.90199
Satisfiable
(Un)Satisfiability was proved
Number of variables2550
Number of constraints2499
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":50},{"size":2,"count":2450},{"size":101,"count":49}]
Minimum variable degree0
Maximum variable degree97
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":50},{"degree":2,"count":98},{"degree":4,"count":2352},{"degree":97,"count":49}]
Minimum constraint arity1
Maximum constraint arity49
Distribution of constraint arities[{"arity":1,"count":49},{"arity":3,"count":2352},{"arity":49,"count":98}]
Number of extensional constraints0
Number of intensional constraints49
Distribution of constraint types[{"type":"intension","count":49},{"type":"sum","count":2352},{"type":"count","count":98}]
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-4271833-1502642112.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271833-1502642112.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
4.16/1.27	c solve instance...
4.62/1.40	o 2228 
5.33/1.44	o 2219 
5.33/1.46	o 2217 
5.33/1.47	o 2192 
5.33/1.48	o 2187 
5.33/1.49	o 2185 
6.08/1.51	o 2174 
6.08/1.52	o 1713 
16.98/2.97	o 1668 
20.09/3.34	o 1665 
20.87/3.44	o 1664 
22.44/3.61	o 1547 
24.75/3.95	o 1492 
24.75/4.00	o 1490 
25.28/4.09	o 1475 
26.08/4.14	o 1473 
39.51/5.86	o 1465 
41.14/6.03	o 1443 
44.27/6.47	o 1441 
45.82/6.66	o 1438 
46.58/6.73	o 1394 
47.35/6.83	o 1392 
47.35/6.90	o 1391 
55.27/7.82	o 1370 
55.27/7.89	o 1366 
61.52/8.67	o 1365 
66.28/9.21	o 1349 
70.26/9.72	o 1333 
71.07/9.89	o 1330 
71.82/9.98	o 1323 
74.15/10.25	o 1314 
78.12/10.77	o 1303 
91.55/12.40	o 1294 
91.55/12.49	o 1278 
94.72/12.81	o 1272 
94.72/12.84	o 1262 
98.67/13.30	o 1259 
99.43/13.46	o 1255 
100.30/13.54	o 1251 
106.59/14.38	o 1213 
107.38/14.45	o 1210 
126.48/16.82	o 1207 
129.64/17.25	o 1192 
132.82/17.68	o 1188 
139.96/18.60	o 1168 
140.75/18.67	o 1162 
147.10/19.44	o 1157 
149.47/19.75	o 1146 
151.90/20.09	o 1134 
159.01/20.98	o 1129 
162.98/21.41	o 1124 
162.98/21.44	o 1120 
169.30/22.24	o 1109 
173.28/22.71	o 1088 
180.40/23.65	o 1085 
184.46/24.14	o 1078 
187.53/24.55	o 1057 
188.26/24.62	o 1053 
197.82/25.90	o 1049 
204.97/26.79	o 1040 
217.70/28.34	o 1029 
244.77/31.77	o 1023 
275.85/35.62	o 1018 
283.00/36.51	o 1012 
288.56/37.25	o 1009 
289.34/37.32	o 1007 
299.69/38.65	o 994 
301.28/38.80	o 992 
302.07/38.96	o 991 
304.45/39.27	o 989 
312.41/40.25	o 978 
313.16/40.34	o 969 
318.79/41.09	o 964 
324.30/41.79	o 955 
327.55/42.19	o 950 
337.02/43.32	o 947 
353.71/45.42	o 946 
384.81/49.31	o 944 
391.94/50.23	o 942 
395.11/50.69	o 941 
411.84/52.76	o 939 
416.58/53.34	o 930 
489.88/62.56	o 926 
1725.85/217.47	o 924 
1756.16/221.24	o 920 
1862.25/234.58	o 907 
1863.83/234.70	o 899 
1904.44/239.82	o 875 
2001.74/252.08	s SATISFIABLE
2001.74/252.08	v <instantiation>
2001.74/252.08	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
2001.74/252.08	v 	<values>0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 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 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 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 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 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 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 1 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 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 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 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 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 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 1 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 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 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 0 0 0 0 0 0 0 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 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 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 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 1 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 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 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 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 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 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 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 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 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 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 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 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 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 91 26 78 30 99 95 100 46 99 82 43 16 56 42 74 45 98 71 82 78 81 26 7 57 26 100 23 31 97 27 51 29 75 95 11 94 66 67 69 49 50 12 70 91 44 75 52 51 12 </values>
2001.74/252.08	v </instantiation>
2001.74/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	875

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271833-1502642112/watcher-4271833-1502642112 -o /tmp/evaluation-result-4271833-1502642112/solver-4271833-1502642112 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 238016309 HOME/instance-4271833-1502642112.xml 

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

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

solver pid=21125, runsolver pid=21122

[startup+0.100163 s]*
/proc/loadavg: 7.85 7.31 6.68 2/200 21146
/proc/meminfo: memFree=31681428/32770624 swapFree=67108860/67108860
[pid=21125] ppid=21122 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21125/stat : 21125 (xcsp3-exec) S 21122 21125 7585 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97299054 9740288 345 33554432000 4194304 5098028 140735681874848 140735681872952 140555335795324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32911360 140735681877099 140735681877308 140735681877308 140735681880043 0
/proc/21125/statm: 2378 345 289 221 0 87 0
[pid=21127] ppid=21125 vsize=25999808 memory=27036 CPUtime=0.11 cores=0-7
/proc/21127/stat : 21127 (java) S 21125 21125 7585 0 -1 1077944320 5699 0 0 0 11 0 0 0 20 0 20 0 97299054 26623803392 6759 33554432000 4194304 4196468 140736593413824 140736593396368 139808405647095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
/proc/21127/statm: 6499952 6759 2844 1 0 6488269 0
[pid=21127/tid=21128] ppid=21125 vsize=25999808 memory=7752273241215770777 CPUtime=0.09 cores=0-7
/proc/21127/task/21128/stat : 21128 (java) R 21125 21125 7585 0 -1 4202560 3704 0 0 0 9 0 0 0 20 0 20 0 97299054 26623803392 6759 33554432000 4194304 4196468 140736593413824 139808409880368 139808405659030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21129] ppid=21125 vsize=25999808 memory=732370589533506533 CPUtime=0 cores=0-7
/proc/21127/task/21129/stat : 21129 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807963920656 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21130] ppid=21125 vsize=25999808 memory=140451196053120 CPUtime=0 cores=0-7
/proc/21127/task/21130/stat : 21130 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299055 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807962868112 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21131] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21131/stat : 21131 (java) S 21125 21125 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97299055 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807961815568 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21132] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21132/stat : 21132 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807960763024 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21133] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21133/stat : 21133 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299055 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807959710480 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21134] ppid=21125 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21127/task/21134/stat : 21134 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299055 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807958657936 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21135] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21135/stat : 21135 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807957605392 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21136] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21136/stat : 21136 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807956552848 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21137] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21137/stat : 21137 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299057 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807080531952 139808405658242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21138] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21138/stat : 21138 (java) S 21125 21125 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97299057 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807079478176 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21139] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21139/stat : 21139 (java) S 21125 21125 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97299057 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807078425584 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21140] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21140/stat : 21140 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299060 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807077374160 139808405665691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21141] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21141/stat : 21141 (java) S 21125 21125 7585 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 97299060 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807076321776 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21142] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21142/stat : 21142 (java) S 21125 21125 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97299060 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807075269232 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21143] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21143/stat : 21143 (java) S 21125 21125 7585 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97299060 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807074216688 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21144] ppid=21125 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21127/task/21144/stat : 21144 (java) R 21125 21125 7585 0 -1 4202560 243 0 0 0 1 0 0 0 20 0 20 0 97299060 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807073161936 139808405659030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21145] ppid=21125 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21145/stat : 21145 (java) S 21125 21125 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97299060 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807072110816 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21146] ppid=21125 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21127/task/21146/stat : 21146 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299060 26623803392 6759 33554432000 4194304 4196468 140736593413824 139807071058352 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28416 KiB

[startup+0.21051 s]*
/proc/loadavg: 7.85 7.31 6.68 2/200 21146
/proc/meminfo: memFree=31672352/32770624 swapFree=67108860/67108860
[pid=21125] ppid=21122 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21125/stat : 21125 (xcsp3-exec) S 21122 21125 7585 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97299054 9740288 345 33554432000 4194304 5098028 140735681874848 140735681872952 140555335795324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32911360 140735681877099 140735681877308 140735681877308 140735681880043 0
/proc/21125/statm: 2378 345 289 221 0 87 0
[pid=21127] ppid=21125 vsize=26004064 memory=39388 CPUtime=0.33 cores=0-7
/proc/21127/stat : 21127 (java) S 21125 21125 7585 0 -1 1077944320 8379 0 0 0 31 2 0 0 20 0 20 0 97299054 26628161536 9847 33554432000 4194304 4196468 140736593413824 140736593396368 139808405647095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
/proc/21127/statm: 6501016 9847 3069 1 0 6488269 0
[pid=21127/tid=21128] ppid=21125 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/21127/task/21128/stat : 21128 (java) R 21125 21125 7585 0 -1 4202560 5465 0 0 0 18 1 0 0 20 0 20 0 97299054 26628161536 9847 33554432000 4194304 4196468 140736593413824 139808409867920 139808389727582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21129] ppid=21125 vsize=26004064 memory=280902263777016 CPUtime=0 cores=0-7
/proc/21127/task/21129/stat : 21129 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807963920656 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21130] ppid=21125 vsize=26004064 memory=140451196053120 CPUtime=0 cores=0-7
/proc/21127/task/21130/stat : 21130 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807962868112 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21131] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21131/stat : 21131 (java) S 21125 21125 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807961815568 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21132] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21132/stat : 21132 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807960763024 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21133] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21133/stat : 21133 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807959710480 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21134] ppid=21125 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21127/task/21134/stat : 21134 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807958657936 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21135] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21135/stat : 21135 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807957605392 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21136] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21136/stat : 21136 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807956552848 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21137] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21137/stat : 21137 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299057 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807080531952 139808405658242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21138] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21138/stat : 21138 (java) S 21125 21125 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97299057 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807079478176 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21139] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21139/stat : 21139 (java) S 21125 21125 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97299057 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807078425584 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21140] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21140/stat : 21140 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299060 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807077374160 139808405665691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21141] ppid=21125 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21127/task/21141/stat : 21141 (java) S 21125 21125 7585 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 20 0 97299060 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807076321776 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21142] ppid=21125 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/21127/task/21142/stat : 21142 (java) S 21125 21125 7585 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 20 0 97299060 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807075269232 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21143] ppid=21125 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21127/task/21143/stat : 21143 (java) S 21125 21125 7585 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 97299060 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807074216688 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21144] ppid=21125 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/21127/task/21144/stat : 21144 (java) R 21125 21125 7585 0 -1 4202560 698 0 0 0 8 0 0 0 20 0 20 0 97299060 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807073164144 139808390788064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21145] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21145/stat : 21145 (java) S 21125 21125 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97299060 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807072110816 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21146] ppid=21125 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21127/task/21146/stat : 21146 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299060 26628161536 9847 33554432000 4194304 4196468 140736593413824 139807071058352 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40768 KiB

[startup+0.310286 s]*
/proc/loadavg: 7.85 7.31 6.68 3/200 21146
/proc/meminfo: memFree=31667824/32770624 swapFree=67108860/67108860
[pid=21125] ppid=21122 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21125/stat : 21125 (xcsp3-exec) S 21122 21125 7585 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97299054 9740288 345 33554432000 4194304 5098028 140735681874848 140735681872952 140555335795324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32911360 140735681877099 140735681877308 140735681877308 140735681880043 0
/proc/21125/statm: 2378 345 289 221 0 87 0
[pid=21127] ppid=21125 vsize=26004064 memory=44016 CPUtime=0.51 cores=0-7
/proc/21127/stat : 21127 (java) S 21125 21125 7585 0 -1 1077944320 9207 0 0 0 48 3 0 0 20 0 20 0 97299054 26628161536 11004 33554432000 4194304 4196468 140736593413824 140736593396368 139808405647095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
/proc/21127/statm: 6501016 11004 3085 1 0 6488269 0
[pid=21127/tid=21128] ppid=21125 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/21127/task/21128/stat : 21128 (java) R 21125 21125 7585 0 -1 4202560 6132 0 0 0 27 1 0 0 20 0 20 0 97299054 26628161536 11004 33554432000 4194304 4196468 140736593413824 139808409886320 139808405659030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21129] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21129/stat : 21129 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807963920656 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21130] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21130/stat : 21130 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807962868112 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21131] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21131/stat : 21131 (java) S 21125 21125 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807961815568 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21132] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21132/stat : 21132 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807960763024 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21133] ppid=21125 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21127/task/21133/stat : 21133 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807959710480 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21134] ppid=21125 vsize=26004064 memory=140451067818927 CPUtime=0 cores=0-7
/proc/21127/task/21134/stat : 21134 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807958657936 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21135] ppid=21125 vsize=26004064 memory=140451067821232 CPUtime=0 cores=0-7
/proc/21127/task/21135/stat : 21135 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807957605392 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21136] ppid=21125 vsize=26004064 memory=140451067823536 CPUtime=0 cores=0-7
/proc/21127/task/21136/stat : 21136 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807956552848 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21137] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21137/stat : 21137 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299057 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807080531952 139808405658242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21138] ppid=21125 vsize=26004064 memory=280902135654032 CPUtime=0 cores=0-7
/proc/21127/task/21138/stat : 21138 (java) S 21125 21125 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97299057 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807079478176 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21139] ppid=21125 vsize=26004064 memory=280902135660944 CPUtime=0 cores=0-7
/proc/21127/task/21139/stat : 21139 (java) S 21125 21125 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97299057 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807078425584 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21140] ppid=21125 vsize=26004064 memory=280902135602224 CPUtime=0 cores=0-7
/proc/21127/task/21140/stat : 21140 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299060 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807077374160 139808405665691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21141] ppid=21125 vsize=26004064 memory=280902135674768 CPUtime=0.01 cores=0-7
/proc/21127/task/21141/stat : 21141 (java) S 21125 21125 7585 0 -1 1077944384 426 0 0 0 1 0 0 0 20 0 20 0 97299060 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807076321776 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21142] ppid=21125 vsize=26004064 memory=280902135681680 CPUtime=0.03 cores=0-7
/proc/21127/task/21142/stat : 21142 (java) S 21125 21125 7585 0 -1 1077944384 384 0 0 0 3 0 0 0 20 0 20 0 97299060 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807075269232 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21143] ppid=21125 vsize=26004064 memory=280902135679376 CPUtime=0.01 cores=0-7
/proc/21127/task/21143/stat : 21143 (java) R 21125 21125 7585 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 97299060 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807074216688 139808405658242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21144] ppid=21125 vsize=26004064 memory=280902135695536 CPUtime=0.13 cores=0-7
/proc/21127/task/21144/stat : 21144 (java) R 21125 21125 7585 0 -1 4202560 809 0 0 0 13 0 0 0 20 0 20 0 97299060 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807073160296 139808398743971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21145] ppid=21125 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21127/task/21145/stat : 21145 (java) S 21125 21125 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97299060 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807072110816 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21146] ppid=21125 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21127/task/21146/stat : 21146 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299060 26628161536 11004 33554432000 4194304 4196468 140736593413824 139807071058352 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45396 KiB

[startup+0.700995 s]
/proc/loadavg: 7.85 7.31 6.68 5/200 21146
/proc/meminfo: memFree=31636308/32770624 swapFree=67108860/67108860
[pid=21125] ppid=21122 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21125/stat : 21125 (xcsp3-exec) S 21122 21125 7585 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97299054 9740288 345 33554432000 4194304 5098028 140735681874848 140735681872952 140555335795324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32911360 140735681877099 140735681877308 140735681877308 140735681880043 0
/proc/21125/statm: 2378 345 289 221 0 87 0
[pid=21127] ppid=21125 vsize=26006188 memory=105036 CPUtime=2.04 cores=0-7
/proc/21127/stat : 21127 (java) S 21125 21125 7585 0 -1 1077944320 14826 0 0 0 198 6 0 0 20 0 20 0 97299054 26630336512 26259 33554432000 4194304 4196468 140736593413824 140736593396368 139808405647095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
/proc/21127/statm: 6501547 26259 3206 1 0 6488781 0
[pid=21127/tid=21128] ppid=21125 vsize=26006188 memory=280902135990400 CPUtime=0.66 cores=0-7
/proc/21127/task/21128/stat : 21128 (java) R 21125 21125 7585 0 -1 4202560 6704 0 0 0 63 3 0 0 20 0 20 0 97299054 26630336512 26259 33554432000 4194304 4196468 140736593413824 139808409857040 139808389727582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21129] ppid=21125 vsize=26006188 memory=5788 CPUtime=0 cores=0-7
/proc/21127/task/21129/stat : 21129 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97299055 26630336512 26259 33554432000 4194304 4196468 140736593413824 139807963920656 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21130] ppid=21125 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/21127/task/21130/stat : 21130 (java) S 21125 21125 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97299055 26630336512 26259 33554432000 4194304 4196468 140736593413824 139807962868112 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21131] ppid=21125 vsize=26006188 memory=796 CPUtime=0 cores=0-7
/proc/21127/task/21131/stat : 21131 (java) S 21125 21125 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97299055 26630336512 26259 33554432000 4194304 4196468 140736593413824 139807961815568 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0

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

[pid=21127/tid=21818] ppid=21125 vsize=26538700 memory=28324 CPUtime=99.65 cores=0-7
/proc/21127/task/21818/stat : 21818 (java) R 21125 21125 7585 0 -1 4202560 612 0 0 0 9965 0 0 0 20 0 28 0 97305311 27175628800 561196 33554432000 4194304 4196468 140736593413824 139807063048584 139808051628476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
Current children cumulated CPU time: 1286.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2246164 KiB

[startup+222.301 s]
/proc/loadavg: 8.33 7.99 7.09 9/208 21834
/proc/meminfo: memFree=29459624/32770624 swapFree=67108860/67108860
[pid=21125] ppid=21122 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21125/stat : 21125 (xcsp3-exec) S 21122 21125 7585 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97299054 9740288 345 33554432000 4194304 5098028 140735681874848 140735681872952 140555335795324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32911360 140735681877099 140735681877308 140735681877308 140735681880043 0
/proc/21125/statm: 2378 345 289 221 0 87 0
[pid=21127] ppid=21125 vsize=26538700 memory=2250996 CPUtime=1764.92 cores=0-7
/proc/21127/stat : 21127 (java) S 21125 21125 7585 0 -1 1077944320 103206 0 0 0 176333 159 0 0 20 0 28 0 97299054 27175628800 562749 33554432000 4194304 4196468 140736593413824 140736593396368 139808405647095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
/proc/21127/statm: 6634675 562749 3287 1 0 6621909 0
[pid=21127/tid=21128] ppid=21125 vsize=26538700 memory=2250996 CPUtime=1.31 cores=0-7
/proc/21127/task/21128/stat : 21128 (java) S 21125 21125 7585 0 -1 1077944384 9028 0 0 0 126 5 0 0 20 0 28 0 97299054 27175628800 562749 33554432000 4194304 4196468 140736593413824 139808409887872 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21129] ppid=21125 vsize=26538700 memory=2251408 CPUtime=0.13 cores=0-7
/proc/21127/task/21129/stat : 21129 (java) S 21125 21125 7585 0 -1 1077944384 734 0 0 0 9 4 0 0 20 0 28 0 97299055 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807963920656 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21130] ppid=21125 vsize=26538700 memory=1380 CPUtime=0.14 cores=0-7
/proc/21127/task/21130/stat : 21130 (java) S 21125 21125 7585 0 -1 1077944384 441 0 0 0 8 6 0 0 20 0 28 0 97299055 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807962868112 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21131] ppid=21125 vsize=26538700 memory=2250996 CPUtime=0.13 cores=0-7
/proc/21127/task/21131/stat : 21131 (java) S 21125 21125 7585 0 -1 1077944384 361 0 0 0 8 5 0 0 20 0 28 0 97299055 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807961815568 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21132] ppid=21125 vsize=26538700 memory=1380 CPUtime=0.17 cores=0-7
/proc/21127/task/21132/stat : 21132 (java) S 21125 21125 7585 0 -1 1077944384 633 0 0 0 11 6 0 0 20 0 28 0 97299055 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807960763024 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21133] ppid=21125 vsize=26538700 memory=2250996 CPUtime=0.16 cores=0-7
/proc/21127/task/21133/stat : 21133 (java) S 21125 21125 7585 0 -1 1077944384 242 0 0 0 11 5 0 0 20 0 28 0 97299055 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807959710480 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21134] ppid=21125 vsize=26538700 memory=1380 CPUtime=0.12 cores=0-7
/proc/21127/task/21134/stat : 21134 (java) S 21125 21125 7585 0 -1 1077944384 934 0 0 0 7 5 0 0 20 0 28 0 97299055 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807958657936 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21135] ppid=21125 vsize=26538700 memory=2244784 CPUtime=0.12 cores=0-7
/proc/21127/task/21135/stat : 21135 (java) S 21125 21125 7585 0 -1 1077944384 850 0 0 0 8 4 0 0 20 0 28 0 97299055 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807957605392 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21136] ppid=21125 vsize=26538700 memory=4132 CPUtime=0.13 cores=0-7
/proc/21127/task/21136/stat : 21136 (java) S 21125 21125 7585 0 -1 1077944384 639 0 0 0 9 4 0 0 20 0 28 0 97299055 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807956552848 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21137] ppid=21125 vsize=26538700 memory=2250996 CPUtime=0.06 cores=0-7
/proc/21127/task/21137/stat : 21137 (java) S 21125 21125 7585 0 -1 1077944384 3347 0 0 0 3 3 0 0 20 0 28 0 97299057 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807080531952 139808405658242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21138] ppid=21125 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/21127/task/21138/stat : 21138 (java) S 21125 21125 7585 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 97299057 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807079478240 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21139] ppid=21125 vsize=26538700 memory=2250996 CPUtime=0 cores=0-7
/proc/21127/task/21139/stat : 21139 (java) S 21125 21125 7585 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 97299057 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807078425600 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21140] ppid=21125 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/21127/task/21140/stat : 21140 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97299060 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807077374160 139808405665691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21141] ppid=21125 vsize=26538700 memory=4132 CPUtime=3.23 cores=0-7
/proc/21127/task/21141/stat : 21141 (java) S 21125 21125 7585 0 -1 1077944384 10418 0 0 0 321 2 0 0 20 0 28 0 97299060 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807076321776 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21142] ppid=21125 vsize=26538700 memory=2244784 CPUtime=3.13 cores=0-7
/proc/21127/task/21142/stat : 21142 (java) S 21125 21125 7585 0 -1 1077944384 8768 0 0 0 312 1 0 0 20 0 28 0 97299060 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807075269232 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21143] ppid=21125 vsize=26538700 memory=1380 CPUtime=2.73 cores=0-7
/proc/21127/task/21143/stat : 21143 (java) S 21125 21125 7585 0 -1 1077944384 7817 0 0 0 272 1 0 0 20 0 28 0 97299060 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807074216688 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21144] ppid=21125 vsize=26538700 memory=796 CPUtime=1.05 cores=0-7
/proc/21127/task/21144/stat : 21144 (java) S 21125 21125 7585 0 -1 1077944384 13621 0 0 0 102 3 0 0 20 0 28 0 97299060 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807073164144 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21145] ppid=21125 vsize=26538700 memory=10020 CPUtime=0 cores=0-7
/proc/21127/task/21145/stat : 21145 (java) S 21125 21125 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97299060 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807072110816 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21146] ppid=21125 vsize=26538700 memory=2332 CPUtime=0.05 cores=0-7
/proc/21127/task/21146/stat : 21146 (java) S 21125 21125 7585 0 -1 1077944384 648 0 0 0 0 5 0 0 20 0 28 0 97299060 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807071058352 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21827] ppid=21125 vsize=26538700 memory=1292 CPUtime=1.05 cores=0-7
/proc/21127/task/21827/stat : 21827 (java) R 21125 21125 7585 0 -1 4202560 20 0 0 0 105 0 0 0 20 0 28 0 97321178 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807060946296 139808053331838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21828] ppid=21125 vsize=26538700 memory=1728 CPUtime=1.05 cores=0-7
/proc/21127/task/21828/stat : 21828 (java) R 21125 21125 7585 0 -1 4202560 12 0 0 0 105 0 0 0 20 0 28 0 97321178 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807063052792 139808051628476 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21829] ppid=21125 vsize=26538700 memory=2250996 CPUtime=1.05 cores=0-7
/proc/21127/task/21829/stat : 21829 (java) R 21125 21125 7585 0 -1 4202560 27 0 0 0 105 0 0 0 20 0 28 0 97321178 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807058837552 139808053330837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21830] ppid=21125 vsize=26538700 memory=4132 CPUtime=1.05 cores=0-7
/proc/21127/task/21830/stat : 21830 (java) R 21125 21125 7585 0 -1 4202560 6 0 0 0 105 0 0 0 20 0 28 0 97321178 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807055686984 139808046308824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21831] ppid=21125 vsize=26538700 memory=28324 CPUtime=1.03 cores=0-7
/proc/21127/task/21831/stat : 21831 (java) R 21125 21125 7585 0 -1 4202560 7 0 0 0 103 0 0 0 20 0 28 0 97321178 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807059897800 139808051628519 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21832] ppid=21125 vsize=26538700 memory=5788 CPUtime=1.05 cores=0-7
/proc/21127/task/21832/stat : 21832 (java) R 21125 21125 7585 0 -1 4202560 5 0 0 0 105 0 0 0 20 0 28 0 97321178 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807057792584 139808051628476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21833] ppid=21125 vsize=26538700 memory=1228 CPUtime=1.05 cores=0-7
/proc/21127/task/21833/stat : 21833 (java) R 21125 21125 7585 0 -1 4202560 4 0 0 0 105 0 0 0 20 0 28 0 97321178 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807062002376 139808052634287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21834] ppid=21125 vsize=26538700 memory=796 CPUtime=1.05 cores=0-7
/proc/21127/task/21834/stat : 21834 (java) R 21125 21125 7585 0 -1 4202560 15 0 0 0 105 0 0 0 20 0 28 0 97321179 27175628800 562749 33554432000 4194304 4196468 140736593413824 139807056739144 139808050244559 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
Current children cumulated CPU time: 1764.92 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2252376 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.20 7.99 7.12 9/207 21859
/proc/meminfo: memFree=29445868/32770624 swapFree=67108860/67108860
[pid=21125] ppid=21122 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21125/stat : 21125 (xcsp3-exec) S 21122 21125 7585 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97299054 9740288 345 33554432000 4194304 5098028 140735681874848 140735681872952 140555335795324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32911360 140735681877099 140735681877308 140735681877308 140735681880043 0
/proc/21125/statm: 2378 345 289 221 0 87 0
[pid=21127] ppid=21125 vsize=26538700 memory=2260900 CPUtime=2001.74 cores=0-7
/proc/21127/stat : 21127 (java) S 21125 21125 7585 0 -1 1077944320 123199 0 0 0 199986 188 0 0 20 0 28 0 97299054 27175628800 565225 33554432000 4194304 4196468 140736593413824 140736593396368 139808405647095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
/proc/21127/statm: 6634675 565225 3287 1 0 6621909 0
[pid=21127/tid=21128] ppid=21125 vsize=26538700 memory=6791534058613427641 CPUtime=1.31 cores=0-7
/proc/21127/task/21128/stat : 21128 (java) S 21125 21125 7585 0 -1 1077944384 9579 0 0 0 126 5 0 0 20 0 28 0 97299054 27175628800 565225 33554432000 4194304 4196468 140736593413824 139808409887872 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21129] ppid=21125 vsize=26538700 memory=-7003737579269690708 CPUtime=0.13 cores=0-7
/proc/21127/task/21129/stat : 21129 (java) S 21125 21125 7585 0 -1 1077944384 766 0 0 0 9 4 0 0 20 0 28 0 97299055 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807963920656 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21130] ppid=21125 vsize=26538700 memory=4616 CPUtime=0.14 cores=0-7
/proc/21127/task/21130/stat : 21130 (java) S 21125 21125 7585 0 -1 1077944384 469 0 0 0 8 6 0 0 20 0 28 0 97299055 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807962868112 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21131] ppid=21125 vsize=26538700 memory=1720 CPUtime=0.13 cores=0-7
/proc/21127/task/21131/stat : 21131 (java) S 21125 21125 7585 0 -1 1077944384 423 0 0 0 8 5 0 0 20 0 28 0 97299055 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807961815568 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21132] ppid=21125 vsize=26538700 memory=1004 CPUtime=0.17 cores=0-7
/proc/21127/task/21132/stat : 21132 (java) S 21125 21125 7585 0 -1 1077944384 1098 0 0 0 11 6 0 0 20 0 28 0 97299055 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807960763024 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21133] ppid=21125 vsize=26538700 memory=1436 CPUtime=0.16 cores=0-7
/proc/21127/task/21133/stat : 21133 (java) S 21125 21125 7585 0 -1 1077944384 270 0 0 0 11 5 0 0 20 0 28 0 97299055 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807959710480 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21134] ppid=21125 vsize=26538700 memory=4132 CPUtime=0.12 cores=0-7
/proc/21127/task/21134/stat : 21134 (java) S 21125 21125 7585 0 -1 1077944384 963 0 0 0 7 5 0 0 20 0 28 0 97299055 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807958657936 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21135] ppid=21125 vsize=26538700 memory=28324 CPUtime=0.12 cores=0-7
/proc/21127/task/21135/stat : 21135 (java) S 21125 21125 7585 0 -1 1077944384 916 0 0 0 8 4 0 0 20 0 28 0 97299055 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807957605392 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21136] ppid=21125 vsize=26538700 memory=2332 CPUtime=0.14 cores=0-7
/proc/21127/task/21136/stat : 21136 (java) S 21125 21125 7585 0 -1 1077944384 659 0 0 0 9 5 0 0 20 0 28 0 97299055 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807956552848 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21137] ppid=21125 vsize=26538700 memory=1292 CPUtime=0.06 cores=0-7
/proc/21127/task/21137/stat : 21137 (java) S 21125 21125 7585 0 -1 1077944384 3880 0 0 0 3 3 0 0 20 0 28 0 97299057 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807080531952 139808405658242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21138] ppid=21125 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/21127/task/21138/stat : 21138 (java) S 21125 21125 7585 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 97299057 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807079478240 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21139] ppid=21125 vsize=26538700 memory=5788 CPUtime=0 cores=0-7
/proc/21127/task/21139/stat : 21139 (java) S 21125 21125 7585 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 97299057 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807078425600 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21140] ppid=21125 vsize=26538700 memory=2260900 CPUtime=0 cores=0-7
/proc/21127/task/21140/stat : 21140 (java) S 21125 21125 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97299060 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807077374160 139808405665691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21141] ppid=21125 vsize=26538700 memory=4132 CPUtime=3.24 cores=0-7
/proc/21127/task/21141/stat : 21141 (java) S 21125 21125 7585 0 -1 1077944384 10778 0 0 0 322 2 0 0 20 0 28 0 97299060 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807076321776 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21142] ppid=21125 vsize=26538700 memory=28324 CPUtime=3.13 cores=0-7
/proc/21127/task/21142/stat : 21142 (java) S 21125 21125 7585 0 -1 1077944384 9990 0 0 0 312 1 0 0 20 0 28 0 97299060 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807075269232 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21143] ppid=21125 vsize=26538700 memory=2332 CPUtime=2.75 cores=0-7
/proc/21127/task/21143/stat : 21143 (java) S 21125 21125 7585 0 -1 1077944384 8459 0 0 0 274 1 0 0 20 0 28 0 97299060 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807074216688 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21144] ppid=21125 vsize=26538700 memory=1292 CPUtime=1.06 cores=0-7
/proc/21127/task/21144/stat : 21144 (java) S 21125 21125 7585 0 -1 1077944384 15894 0 0 0 103 3 0 0 20 0 28 0 97299060 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807073164144 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21145] ppid=21125 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/21127/task/21145/stat : 21145 (java) S 21125 21125 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97299060 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807072110816 139808405657301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21146] ppid=21125 vsize=26538700 memory=5788 CPUtime=0.06 cores=0-7
/proc/21127/task/21146/stat : 21146 (java) S 21125 21125 7585 0 -1 1077944384 1082 0 0 0 0 6 0 0 20 0 28 0 97299060 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807071058352 139808405658242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21851] ppid=21125 vsize=26538700 memory=1228 CPUtime=12.12 cores=0-7
/proc/21127/task/21851/stat : 21851 (java) R 21125 21125 7585 0 -1 4202560 382 0 0 0 1212 0 0 0 20 0 28 0 97323036 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807058836392 139808052278016 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21852] ppid=21125 vsize=26538700 memory=796 CPUtime=12.11 cores=0-7
/proc/21127/task/21852/stat : 21852 (java) R 21125 21125 7585 0 -1 4202560 251 0 0 0 1211 0 0 0 20 0 28 0 97323036 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807063048184 139808052634026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21853] ppid=21125 vsize=26538700 memory=10020 CPUtime=12.13 cores=0-7
/proc/21127/task/21853/stat : 21853 (java) R 21125 21125 7585 0 -1 4202560 1287 0 0 0 1213 0 0 0 20 0 28 0 97323036 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807057785184 139808052946297 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21854] ppid=21125 vsize=26538700 memory=1948 CPUtime=12.17 cores=0-7
/proc/21127/task/21854/stat : 21854 (java) R 21125 21125 7585 0 -1 4202560 458 0 0 0 1217 0 0 0 20 0 28 0 97323036 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807056732808 139808052633549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21855] ppid=21125 vsize=26538700 memory=8536 CPUtime=12.17 cores=0-7
/proc/21127/task/21855/stat : 21855 (java) R 21125 21125 7585 0 -1 4202560 296 0 0 0 1217 0 0 0 20 0 28 0 97323036 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807060943880 139808051628396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21856] ppid=21125 vsize=26538700 memory=4616 CPUtime=12.17 cores=0-7
/proc/21127/task/21856/stat : 21856 (java) R 21125 21125 7585 0 -1 4202560 668 0 0 0 1216 1 0 0 20 0 28 0 97323036 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807061996136 139808050701620 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21857] ppid=21125 vsize=26538700 memory=1720 CPUtime=12.03 cores=0-7
/proc/21127/task/21857/stat : 21857 (java) R 21125 21125 7585 0 -1 4202560 556 0 0 0 1203 0 0 0 20 0 28 0 97323036 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807059892880 139808052923926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
[pid=21127/tid=21858] ppid=21125 vsize=26538700 memory=1004 CPUtime=12.13 cores=0-7
/proc/21127/task/21858/stat : 21858 (java) R 21125 21125 7585 0 -1 4202560 1621 0 0 0 1206 7 0 0 20 0 28 0 97323036 27175628800 565225 33554432000 4194304 4196468 140736593413824 139807055679272 139808050244695 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6377472 140736593417368 140736593417544 140736593417544 140736593420239 0
Current children cumulated CPU time: 2001.74 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2262280 KiB

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

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

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

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

Child status: 143
Real time (s): 252.11
CPU time (s): 2002.43
CPU user time (s): 2000.53
CPU system time (s): 1.89976
CPU usage (%): 794.269
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2262280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2000.53
system time used= 1.89976
maximum resident set size= 2269360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17865
involuntary context switches= 22186


# summary of solver processes directly reported to runsolver:
#   pid: 21125,21127
#   total CPU time (s): 2002.43
#   total CPU user time (s): 2000.53
#   total CPU system time (s): 1.89976

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.34677 second user time and 2.58374 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-13 18:20:54
IDJOB=4271833
IDBENCH=124451
IDSOLVER=2663
FILE ID=node112/4271833-1502642112
RUNJOBID= node112-1502636672-7612
PBS_JOBID= 20628326
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n50-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-4271833-1502642112/watcher-4271833-1502642112 -o /tmp/evaluation-result-4271833-1502642112/solver-4271833-1502642112 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 238016309 HOME/instance-4271833-1502642112.xml

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

MD5SUM BENCH= 994883c0320da003cf1ede0b66369d8b
RANDOM SEED=238016309

node112.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.24
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.24
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.24
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.24
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:        31698648 kB
MemAvailable:   31978104 kB
Buffers:          128684 kB
Cached:           431312 kB
SwapCached:            0 kB
Active:           457872 kB
Inactive:         157628 kB
Active(anon):       6844 kB
Inactive(anon):    76476 kB
Active(file):     451028 kB
Inactive(file):    81152 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7568 kB
Writeback:             0 kB
AnonPages:         75484 kB
Mapped:            43200 kB
Shmem:             25224 kB
Slab:             152320 kB
SReclaimable:     126220 kB
SUnreclaim:        26100 kB
KernelStack:        3536 kB
PageTables:         5128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node112 at 2017-08-13 18:25:06