Trace number 4270837

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)793 19938.6 2520.1299

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n45-k6.xml
MD5SUMccd62f28d001d5578c14e849049b60f5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark715
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables2070
Number of constraints2024
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}]
Minimum variable degree0
Maximum variable degree87
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}]
Minimum constraint arity1
Maximum constraint arity44
Distribution of constraint arities[{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}]
Number of extensional constraints0
Number of intensional constraints44
Distribution of constraint types[{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}]
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-4270837-1502710066.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270837-1502710066.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
3.77/1.18	c solve instance...
4.99/1.37	o 2005 
12.67/2.35	o 1967 
13.30/2.40	o 1953 
13.30/2.46	o 1933 
13.30/2.47	o 1924 
13.30/2.49	o 1840 
16.94/2.97	o 1817 
19.31/3.24	o 1698 
19.31/3.29	o 1632 
19.31/3.30	o 1631 
19.90/3.31	o 1610 
19.90/3.37	o 1609 
20.39/3.40	o 1601 
20.39/3.41	o 1558 
40.12/5.91	o 1546 
40.12/5.92	o 1535 
40.12/5.93	o 1525 
40.12/5.94	o 1521 
76.54/10.52	o 1520 
76.54/10.56	o 1517 
625.82/79.72	o 1473 
1447.13/183.23	o 1471 
1447.13/183.24	o 1455 
1447.13/183.25	o 1452 
1447.13/183.26	o 1448 
13851.24/1745.86	o 1444 
13852.87/1746.04	o 1427 
13854.38/1746.22	o 1415 
13858.96/1746.99	o 1413 
13895.81/1752.06	o 1410 
13896.95/1752.20	o 1405 
13901.61/1753.08	o 1363 
13920.88/1755.59	o 1342 
13924.02/1755.98	o 1322 
13929.74/1757.19	o 1285 
13930.66/1757.35	o 1282 
13935.40/1757.94	o 1275 
13937.76/1758.29	o 1264 
13938.55/1758.33	o 1199 
13953.33/1760.26	o 1190 
13960.63/1761.18	o 1187 
13968.59/1762.17	o 1167 
13971.76/1762.84	o 1142 
13972.32/1762.95	o 1137 
13994.36/1765.93	o 1133 
14010.83/1768.08	o 1130 
14025.05/1769.81	o 1129 
14032.98/1770.88	o 1127 
14040.55/1772.06	o 1126 
14046.72/1773.45	o 1124 
14047.96/1773.67	o 1118 
14062.67/1775.73	o 1115 
14064.05/1775.93	o 1114 
14071.28/1776.95	o 1101 
14081.95/1778.39	o 1100 
14083.68/1778.61	o 1098 
14130.54/1784.62	o 1093 
14131.33/1784.71	o 1063 
14138.07/1785.78	o 1060 
14144.69/1786.87	o 1048 
14168.83/1789.94	o 1033 
14168.83/1789.96	o 1028 
14175.85/1790.84	o 1023 
14175.85/1790.86	o 1022 
14175.85/1790.89	o 1016 
14184.58/1791.90	o 1015 
14188.54/1792.49	o 995 
14189.37/1792.60	o 993 
14198.88/1793.76	o 992 
14218.53/1796.26	o 991 
14248.65/1800.19	o 988 
14280.01/1804.12	o 987 
14298.19/1806.46	o 985 
14299.77/1806.63	o 980 
14303.00/1807.05	o 965 
14307.69/1807.67	o 959 
14325.23/1809.84	o 958 
14328.40/1810.21	o 951 
14328.40/1810.23	o 926 
14342.75/1812.10	o 921 
14345.86/1812.42	o 920 
14478.11/1829.01	o 915 
14561.71/1839.50	o 909 
14647.59/1850.37	o 904 
14704.18/1857.43	o 889 
14728.07/1860.42	o 886 
14752.71/1863.52	o 885 
14771.08/1865.81	o 862 
14771.82/1865.93	o 850 
14791.66/1868.49	o 847 
14793.24/1868.61	o 846 
14798.01/1869.27	o 841 
14826.68/1872.88	o 840 
14869.69/1878.27	o 820 
14873.66/1878.74	o 817 
14876.10/1879.06	o 815 
14923.95/1885.09	o 809 
15168.47/1916.08	o 807 
15367.49/1941.39	o 803 
15646.83/1977.51	o 802 
16869.47/2131.82	o 798 
19173.32/2423.22	o 794 
19683.50/2487.92	o 793 
19937.76/2520.09	s SATISFIABLE
19937.76/2520.09	v <instantiation>
19937.76/2520.09	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
19937.76/2520.09	v 	<values>0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 59 49 59 100 82 88 80 46 32 27 7 71 55 88 13 96 96 99 14 90 95 93 20 61 99 35 64 83 21 21 79 26 63 72 15 35 37 55 100 36 55 38 41 71 </values>
19937.76/2520.09	v </instantiation>
19937.76/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	793

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270837-1502710066/watcher-4270837-1502710066 -o /tmp/evaluation-result-4270837-1502710066/solver-4270837-1502710066 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502701319-17790 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 82902720 HOME/instance-4270837-1502710066.xml 

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

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

solver pid=19245, runsolver pid=19242

[startup+0.100137 s]*
/proc/loadavg: 7.63 8.20 7.98 3/201 19266
/proc/meminfo: memFree=31454764/32770624 swapFree=67108860/67108860
[pid=19245] ppid=19242 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19245/stat : 19245 (xcsp3-exec) S 19242 19245 17763 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104094900 9740288 346 33554432000 4194304 5098028 140729573516256 140729573514360 140571074773628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19525632 140729573520486 140729573520695 140729573520695 140729573523435 0
/proc/19245/statm: 2378 346 289 221 0 87 0
[pid=19247] ppid=19245 vsize=25999808 memory=26864 CPUtime=0.11 cores=0-7
/proc/19247/stat : 19247 (java) S 19245 19245 17763 0 -1 1077944320 5643 0 0 0 10 1 0 0 20 0 20 0 104094900 26623803392 6716 33554432000 4194304 4196468 140726601109280 140726601091824 139750218096375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
/proc/19247/statm: 6499952 6716 2847 1 0 6488269 0
[pid=19247/tid=19248] ppid=19245 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/19247/task/19248/stat : 19248 (java) R 19245 19245 17763 0 -1 4202560 3658 0 0 0 8 1 0 0 20 0 20 0 104094900 26623803392 6716 33554432000 4194304 4196468 140726601109280 139750222322624 139750218108310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19249] ppid=19245 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19247/task/19249/stat : 19249 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26623803392 6716 33554432000 4194304 4196468 140726601109280 139749776214288 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19250] ppid=19245 vsize=25999808 memory=140055869056640 CPUtime=0 cores=0-7
/proc/19247/task/19250/stat : 19250 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26623803392 6716 33554432000 4194304 4196468 140726601109280 139749775161744 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19251] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19251/stat : 19251 (java) S 19245 19245 17763 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104094901 26623803392 6716 33554432000 4194304 4196468 140726601109280 139749774109200 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19252] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19252/stat : 19252 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26623803392 6716 33554432000 4194304 4196468 140726601109280 139749773056656 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19253] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19253/stat : 19253 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26623803392 6716 33554432000 4194304 4196468 140726601109280 139749772004112 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19254] ppid=19245 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19247/task/19254/stat : 19254 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26623803392 6716 33554432000 4194304 4196468 140726601109280 139749770951568 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19255] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19255/stat : 19255 (java) S 19245 19245 17763 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104094901 26623803392 6716 33554432000 4194304 4196468 140726601109280 139749769899024 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19256] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19256/stat : 19256 (java) S 19245 19245 17763 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104094901 26623803392 6716 33554432000 4194304 4196468 140726601109280 139749768846480 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19257] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19257/stat : 19257 (java) S 19245 19245 17763 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104094902 26623803392 6716 33554432000 4194304 4196468 140726601109280 139748423174128 139750218107522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19258] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19258/stat : 19258 (java) S 19245 19245 17763 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104094903 26623803392 6716 33554432000 4194304 4196468 140726601109280 139748422120352 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19259] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19259/stat : 19259 (java) S 19245 19245 17763 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104094903 26623803392 6716 33554432000 4194304 4196468 140726601109280 139748421067760 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19260] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19260/stat : 19260 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094905 26623803392 6716 33554432000 4194304 4196468 140726601109280 139748420016336 139750218114971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19261] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19261/stat : 19261 (java) S 19245 19245 17763 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 104094906 26623803392 6716 33554432000 4194304 4196468 140726601109280 139748418963952 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19262] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19262/stat : 19262 (java) S 19245 19245 17763 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 104094906 26623803392 6716 33554432000 4194304 4196468 140726601109280 139748417911408 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19263] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19263/stat : 19263 (java) S 19245 19245 17763 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104094906 26623803392 6716 33554432000 4194304 4196468 140726601109280 139748416858864 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19264] ppid=19245 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/19247/task/19264/stat : 19264 (java) R 19245 19245 17763 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 104094906 26623803392 6716 33554432000 4194304 4196468 140726601109280 139748415802080 139750218117722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19265] ppid=19245 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19265/stat : 19265 (java) S 19245 19245 17763 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104094906 26623803392 6716 33554432000 4194304 4196468 140726601109280 139748414752992 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19266] ppid=19245 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/19247/task/19266/stat : 19266 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094906 26623803392 6716 33554432000 4194304 4196468 140726601109280 139748413700528 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28248 KiB

[startup+0.21042 s]*
/proc/loadavg: 7.63 8.20 7.98 2/201 19266
/proc/meminfo: memFree=31443972/32770624 swapFree=67108860/67108860
[pid=19245] ppid=19242 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19245/stat : 19245 (xcsp3-exec) S 19242 19245 17763 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104094900 9740288 346 33554432000 4194304 5098028 140729573516256 140729573514360 140571074773628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19525632 140729573520486 140729573520695 140729573520695 140729573523435 0
/proc/19245/statm: 2378 346 289 221 0 87 0
[pid=19247] ppid=19245 vsize=26004064 memory=38868 CPUtime=0.33 cores=0-7
/proc/19247/stat : 19247 (java) S 19245 19245 17763 0 -1 1077944320 8349 0 0 0 31 2 0 0 20 0 20 0 104094900 26628161536 9717 33554432000 4194304 4196468 140726601109280 140726601091824 139750218096375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
/proc/19247/statm: 6501016 9717 3025 1 0 6488269 0
[pid=19247/tid=19248] ppid=19245 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/19247/task/19248/stat : 19248 (java) R 19245 19245 17763 0 -1 4202560 5467 0 0 0 18 1 0 0 20 0 20 0 104094900 26628161536 9717 33554432000 4194304 4196468 140726601109280 139750222311392 139750210774389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19249] ppid=19245 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/19247/task/19249/stat : 19249 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 9717 33554432000 4194304 4196468 140726601109280 139749776214288 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19250] ppid=19245 vsize=26004064 memory=140055869074601 CPUtime=0 cores=0-7
/proc/19247/task/19250/stat : 19250 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 9717 33554432000 4194304 4196468 140726601109280 139749775161744 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19251] ppid=19245 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19247/task/19251/stat : 19251 (java) S 19245 19245 17763 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 9717 33554432000 4194304 4196468 140726601109280 139749774109200 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19252] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19252/stat : 19252 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 9717 33554432000 4194304 4196468 140726601109280 139749773056656 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19253] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19253/stat : 19253 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 9717 33554432000 4194304 4196468 140726601109280 139749772004112 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19254] ppid=19245 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19247/task/19254/stat : 19254 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 9717 33554432000 4194304 4196468 140726601109280 139749770951568 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19255] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19255/stat : 19255 (java) S 19245 19245 17763 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 9717 33554432000 4194304 4196468 140726601109280 139749769899024 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19256] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19256/stat : 19256 (java) S 19245 19245 17763 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 9717 33554432000 4194304 4196468 140726601109280 139749768846480 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19257] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19257/stat : 19257 (java) S 19245 19245 17763 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104094902 26628161536 9717 33554432000 4194304 4196468 140726601109280 139748423174128 139750218107522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19258] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19258/stat : 19258 (java) S 19245 19245 17763 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104094903 26628161536 9717 33554432000 4194304 4196468 140726601109280 139748422120352 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19259] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19259/stat : 19259 (java) S 19245 19245 17763 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104094903 26628161536 9717 33554432000 4194304 4196468 140726601109280 139748421067760 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19260] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19260/stat : 19260 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094905 26628161536 9717 33554432000 4194304 4196468 140726601109280 139748420016336 139750218114971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19261] ppid=19245 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19247/task/19261/stat : 19261 (java) R 19245 19245 17763 0 -1 4202560 374 0 0 0 1 0 0 0 20 0 20 0 104094906 26628161536 9717 33554432000 4194304 4196468 140726601109280 139748418963952 139750218108310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19262] ppid=19245 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/19247/task/19262/stat : 19262 (java) S 19245 19245 17763 0 -1 1077944384 306 0 0 0 1 0 0 0 20 0 20 0 104094906 26628161536 9717 33554432000 4194304 4196468 140726601109280 139748417911408 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19263] ppid=19245 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/19247/task/19263/stat : 19263 (java) S 19245 19245 17763 0 -1 1077944384 175 0 0 0 2 0 0 0 20 0 20 0 104094906 26628161536 9717 33554432000 4194304 4196468 140726601109280 139748416858864 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19264] ppid=19245 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/19247/task/19264/stat : 19264 (java) R 19245 19245 17763 0 -1 4202560 719 0 0 0 7 0 0 0 20 0 20 0 104094906 26628161536 9717 33554432000 4194304 4196468 140726601109280 139748415806320 139750210347898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19265] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19265/stat : 19265 (java) S 19245 19245 17763 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104094906 26628161536 9717 33554432000 4194304 4196468 140726601109280 139748414752992 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19266] ppid=19245 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19247/task/19266/stat : 19266 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094906 26628161536 9717 33554432000 4194304 4196468 140726601109280 139748413700528 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40252 KiB

[startup+0.31619 s]*
/proc/loadavg: 7.63 8.20 7.98 4/201 19266
/proc/meminfo: memFree=31439072/32770624 swapFree=67108860/67108860
[pid=19245] ppid=19242 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19245/stat : 19245 (xcsp3-exec) S 19242 19245 17763 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104094900 9740288 346 33554432000 4194304 5098028 140729573516256 140729573514360 140571074773628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19525632 140729573520486 140729573520695 140729573520695 140729573523435 0
/proc/19245/statm: 2378 346 289 221 0 87 0
[pid=19247] ppid=19245 vsize=26004064 memory=45840 CPUtime=0.53 cores=0-7
/proc/19247/stat : 19247 (java) S 19245 19245 17763 0 -1 1077944320 9210 0 0 0 50 3 0 0 20 0 20 0 104094900 26628161536 11460 33554432000 4194304 4196468 140726601109280 140726601091824 139750218096375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
/proc/19247/statm: 6501016 11460 3067 1 0 6488269 0
[pid=19247/tid=19248] ppid=19245 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/19247/task/19248/stat : 19248 (java) R 19245 19245 17763 0 -1 4202560 6152 0 0 0 28 2 0 0 20 0 20 0 104094900 26628161536 11460 33554432000 4194304 4196468 140726601109280 139750222334720 139750218118301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19249] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19249/stat : 19249 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 11460 33554432000 4194304 4196468 140726601109280 139749776214288 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19250] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19250/stat : 19250 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 11460 33554432000 4194304 4196468 140726601109280 139749775161744 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19251] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19251/stat : 19251 (java) S 19245 19245 17763 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 11460 33554432000 4194304 4196468 140726601109280 139749774109200 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19252] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19252/stat : 19252 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 11460 33554432000 4194304 4196468 140726601109280 139749773056656 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19253] ppid=19245 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/19247/task/19253/stat : 19253 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 11460 33554432000 4194304 4196468 140726601109280 139749772004112 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19254] ppid=19245 vsize=26004064 memory=140055729501103 CPUtime=0 cores=0-7
/proc/19247/task/19254/stat : 19254 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 11460 33554432000 4194304 4196468 140726601109280 139749770951568 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19255] ppid=19245 vsize=26004064 memory=140055729503408 CPUtime=0 cores=0-7
/proc/19247/task/19255/stat : 19255 (java) S 19245 19245 17763 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 11460 33554432000 4194304 4196468 140726601109280 139749769899024 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19256] ppid=19245 vsize=26004064 memory=140055729505712 CPUtime=0 cores=0-7
/proc/19247/task/19256/stat : 19256 (java) S 19245 19245 17763 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104094901 26628161536 11460 33554432000 4194304 4196468 140726601109280 139749768846480 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19257] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19257/stat : 19257 (java) S 19245 19245 17763 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104094902 26628161536 11460 33554432000 4194304 4196468 140726601109280 139748423174128 139750218107522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19258] ppid=19245 vsize=26004064 memory=280111459018384 CPUtime=0 cores=0-7
/proc/19247/task/19258/stat : 19258 (java) S 19245 19245 17763 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104094903 26628161536 11460 33554432000 4194304 4196468 140726601109280 139748422120352 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19259] ppid=19245 vsize=26004064 memory=280111459025296 CPUtime=0 cores=0-7
/proc/19247/task/19259/stat : 19259 (java) S 19245 19245 17763 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104094903 26628161536 11460 33554432000 4194304 4196468 140726601109280 139748421067760 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19260] ppid=19245 vsize=26004064 memory=280111458966576 CPUtime=0 cores=0-7
/proc/19247/task/19260/stat : 19260 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094905 26628161536 11460 33554432000 4194304 4196468 140726601109280 139748420016336 139750218114971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19261] ppid=19245 vsize=26004064 memory=280111459039120 CPUtime=0.02 cores=0-7
/proc/19247/task/19261/stat : 19261 (java) R 19245 19245 17763 0 -1 4202560 434 0 0 0 2 0 0 0 20 0 20 0 104094906 26628161536 11460 33554432000 4194304 4196468 140726601109280 139748418955280 139750202493469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19262] ppid=19245 vsize=26004064 memory=280111459046032 CPUtime=0.02 cores=0-7
/proc/19247/task/19262/stat : 19262 (java) S 19245 19245 17763 0 -1 1077944384 312 0 0 0 2 0 0 0 20 0 20 0 104094906 26628161536 11460 33554432000 4194304 4196468 140726601109280 139748417911408 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19263] ppid=19245 vsize=26004064 memory=280111459043728 CPUtime=0.03 cores=0-7
/proc/19247/task/19263/stat : 19263 (java) R 19245 19245 17763 0 -1 1077944384 186 0 0 0 3 0 0 0 20 0 20 0 104094906 26628161536 11460 33554432000 4194304 4196468 140726601109280 139748416858864 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19264] ppid=19245 vsize=26004064 memory=280111459059888 CPUtime=0.13 cores=0-7
/proc/19247/task/19264/stat : 19264 (java) R 19245 19245 17763 0 -1 4202560 817 0 0 0 13 0 0 0 20 0 20 0 104094906 26628161536 11460 33554432000 4194304 4196468 140726601109280 139748415802688 139750218108310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19265] ppid=19245 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19265/stat : 19265 (java) S 19245 19245 17763 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104094906 26628161536 11460 33554432000 4194304 4196468 140726601109280 139748414752992 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19266] ppid=19245 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/19247/task/19266/stat : 19266 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094906 26628161536 11460 33554432000 4194304 4196468 140726601109280 139748413700528 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47224 KiB

[startup+0.700977 s]
/proc/loadavg: 7.63 8.20 7.98 5/201 19266
/proc/meminfo: memFree=31410456/32770624 swapFree=67108860/67108860
[pid=19245] ppid=19242 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19245/stat : 19245 (xcsp3-exec) S 19242 19245 17763 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104094900 9740288 346 33554432000 4194304 5098028 140729573516256 140729573514360 140571074773628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19525632 140729573520486 140729573520695 140729573520695 140729573523435 0
/proc/19245/statm: 2378 346 289 221 0 87 0
[pid=19247] ppid=19245 vsize=26006188 memory=95432 CPUtime=1.99 cores=0-7
/proc/19247/stat : 19247 (java) S 19245 19245 17763 0 -1 1077944320 13420 0 0 0 195 4 0 0 20 0 20 0 104094900 26630336512 23858 33554432000 4194304 4196468 140726601109280 140726601091824 139750218096375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
/proc/19247/statm: 6501547 23858 3205 1 0 6488781 0
[pid=19247/tid=19248] ppid=19245 vsize=26006188 memory=280111459417776 CPUtime=0.67 cores=0-7
/proc/19247/task/19248/stat : 19248 (java) R 19245 19245 17763 0 -1 4202560 6891 0 0 0 64 3 0 0 20 0 20 0 104094900 26630336512 23858 33554432000 4194304 4196468 140726601109280 139750222331008 139749858106064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19249] ppid=19245 vsize=26006188 memory=140055729709936 CPUtime=0 cores=0-7
/proc/19247/task/19249/stat : 19249 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26630336512 23858 33554432000 4194304 4196468 140726601109280 139749776214288 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19250] ppid=19245 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/19247/task/19250/stat : 19250 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104094901 26630336512 23858 33554432000 4194304 4196468 140726601109280 139749775161744 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19251] ppid=19245 vsize=26006188 memory=5672 CPUtime=0 cores=0-7
/proc/19247/task/19251/stat : 19251 (java) S 19245 19245 17763 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104094901 26630336512 23858 33554432000 4194304 4196468 140726601109280 139749774109200 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0

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

[pid=19247/tid=20168] ppid=19245 vsize=26671828 memory=775848 CPUtime=18.89 cores=0-7
/proc/19247/task/20168/stat : 20168 (java) R 19245 19245 17763 0 -1 4202560 1585 0 0 0 1886 3 0 0 20 0 28 0 104337223 27311951872 193834 33554432000 4194304 4196468 140726601109280 139748404640512 139749858047011 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
Current children cumulated CPU time: 19325.2 s
Current children cumulated vsize: 26681340 KiB
Current children cumulated memory: 776720 KiB

[startup+2502.3 s]
/proc/loadavg: 8.16 8.30 8.23 9/207 20177
/proc/meminfo: memFree=30731972/32770624 swapFree=67108860/67108860
[pid=19245] ppid=19242 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19245/stat : 19245 (xcsp3-exec) S 19242 19245 17763 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104094900 9740288 346 33554432000 4194304 5098028 140729573516256 140729573514360 140571074773628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19525632 140729573520486 140729573520695 140729573520695 140729573523435 0
/proc/19245/statm: 2378 346 289 221 0 87 0
[pid=19247] ppid=19245 vsize=26671828 memory=711848 CPUtime=19796.9 cores=0-7
/proc/19247/stat : 19247 (java) S 19245 19245 17763 0 -1 1077944320 995039 0 0 0 1978190 1501 0 0 20 0 28 0 104094900 27311951872 177962 33554432000 4194304 4196468 140726601109280 140726601091824 139750218096375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
/proc/19247/statm: 6667957 177962 3303 1 0 6655191 0
[pid=19247/tid=19248] ppid=19245 vsize=26671828 memory=1384 CPUtime=1.28 cores=0-7
/proc/19247/task/19248/stat : 19248 (java) S 19245 19245 17763 0 -1 1077944384 10629 0 0 0 123 5 0 0 20 0 28 0 104094900 27311951872 177962 33554432000 4194304 4196468 140726601109280 139750222337152 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19249] ppid=19245 vsize=26671828 memory=1384 CPUtime=7.55 cores=0-7
/proc/19247/task/19249/stat : 19249 (java) S 19245 19245 17763 0 -1 1077944384 34085 0 0 0 710 45 0 0 20 0 28 0 104094901 27311951872 177962 33554432000 4194304 4196468 140726601109280 139749776214288 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19250] ppid=19245 vsize=26671828 memory=711848 CPUtime=7.49 cores=0-7
/proc/19247/task/19250/stat : 19250 (java) S 19245 19245 17763 0 -1 1077944384 37319 0 0 0 707 42 0 0 20 0 28 0 104094901 27311951872 177962 33554432000 4194304 4196468 140726601109280 139749775161744 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19251] ppid=19245 vsize=26671828 memory=792064 CPUtime=7.5 cores=0-7
/proc/19247/task/19251/stat : 19251 (java) S 19245 19245 17763 0 -1 1077944384 35470 0 0 0 706 44 0 0 20 0 28 0 104094901 27311951872 177962 33554432000 4194304 4196468 140726601109280 139749774109200 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19252] ppid=19245 vsize=26671828 memory=783612 CPUtime=7.51 cores=0-7
/proc/19247/task/19252/stat : 19252 (java) S 19245 19245 17763 0 -1 1077944384 33422 0 0 0 705 46 0 0 20 0 28 0 104094901 27311951872 177962 33554432000 4194304 4196468 140726601109280 139749773056656 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19253] ppid=19245 vsize=26671828 memory=783612 CPUtime=7.53 cores=0-7
/proc/19247/task/19253/stat : 19253 (java) S 19245 19245 17763 0 -1 1077944384 37672 0 0 0 707 46 0 0 20 0 28 0 104094901 27311951872 177962 33554432000 4194304 4196468 140726601109280 139749772004112 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19254] ppid=19245 vsize=26671828 memory=782584 CPUtime=7.57 cores=0-7
/proc/19247/task/19254/stat : 19254 (java) S 19245 19245 17763 0 -1 1077944384 38591 0 0 0 713 44 0 0 20 0 28 0 104094901 27311951872 177962 33554432000 4194304 4196468 140726601109280 139749770951568 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19255] ppid=19245 vsize=26671828 memory=774824 CPUtime=7.52 cores=0-7
/proc/19247/task/19255/stat : 19255 (java) S 19245 19245 17763 0 -1 1077944384 33531 0 0 0 710 42 0 0 20 0 28 0 104094901 27311951872 177962 33554432000 4194304 4196468 140726601109280 139749769899024 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19256] ppid=19245 vsize=26671828 memory=1384 CPUtime=7.42 cores=0-7
/proc/19247/task/19256/stat : 19256 (java) S 19245 19245 17763 0 -1 1077944384 33987 0 0 0 698 44 0 0 20 0 28 0 104094901 27311951872 177962 33554432000 4194304 4196468 140726601109280 139749768846480 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19257] ppid=19245 vsize=26671828 memory=754260 CPUtime=13.3 cores=0-7
/proc/19247/task/19257/stat : 19257 (java) S 19245 19245 17763 0 -1 1077944384 197083 0 0 0 547 783 0 0 20 0 28 0 104094902 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748423174128 139750218107522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19258] ppid=19245 vsize=26671828 memory=764540 CPUtime=0 cores=0-7
/proc/19247/task/19258/stat : 19258 (java) S 19245 19245 17763 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 104094903 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748422120416 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19259] ppid=19245 vsize=26671828 memory=742980 CPUtime=0 cores=0-7
/proc/19247/task/19259/stat : 19259 (java) S 19245 19245 17763 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 104094903 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748421067776 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19260] ppid=19245 vsize=26671828 memory=729288 CPUtime=0 cores=0-7
/proc/19247/task/19260/stat : 19260 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104094905 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748420016336 139750218114971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19261] ppid=19245 vsize=26671828 memory=723132 CPUtime=2.83 cores=0-7
/proc/19247/task/19261/stat : 19261 (java) S 19245 19245 17763 0 -1 1077944384 17271 0 0 0 280 3 0 0 20 0 28 0 104094906 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748418963952 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19262] ppid=19245 vsize=26671828 memory=716464 CPUtime=2.69 cores=0-7
/proc/19247/task/19262/stat : 19262 (java) S 19245 19245 17763 0 -1 1077944384 12219 0 0 0 268 1 0 0 20 0 28 0 104094906 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748417911408 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19263] ppid=19245 vsize=26671828 memory=711848 CPUtime=3.15 cores=0-7
/proc/19247/task/19263/stat : 19263 (java) S 19245 19245 17763 0 -1 1077944384 15692 0 0 0 313 2 0 0 20 0 28 0 104094906 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748416858864 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19264] ppid=19245 vsize=26671828 memory=1384 CPUtime=1.02 cores=0-7
/proc/19247/task/19264/stat : 19264 (java) S 19245 19245 17763 0 -1 1077944384 18279 0 0 0 99 3 0 0 20 0 28 0 104094906 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748415806320 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19265] ppid=19245 vsize=26671828 memory=1384 CPUtime=0 cores=0-7
/proc/19247/task/19265/stat : 19265 (java) S 19245 19245 17763 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104094906 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748414752992 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19266] ppid=19245 vsize=26671828 memory=717488 CPUtime=0.56 cores=0-7
/proc/19247/task/19266/stat : 19266 (java) S 19245 19245 17763 0 -1 1077944384 8297 0 0 0 0 56 0 0 20 0 28 0 104094906 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748413700528 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20169] ppid=19245 vsize=26671828 memory=1384 CPUtime=14.03 cores=0-7
/proc/19247/task/20169/stat : 20169 (java) R 19245 19245 17763 0 -1 4202560 394 0 0 0 1403 0 0 0 20 0 28 0 104343692 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748405689416 139749862641502 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20170] ppid=19245 vsize=26671828 memory=760436 CPUtime=14.04 cores=0-7
/proc/19247/task/20170/stat : 20170 (java) R 19245 19245 17763 0 -1 4202560 338 0 0 0 1404 0 0 0 20 0 28 0 104343692 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748404640816 139749864056984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20171] ppid=19245 vsize=26671828 memory=1384 CPUtime=14.04 cores=0-7
/proc/19247/task/20171/stat : 20171 (java) R 19245 19245 17763 0 -1 4202560 961 0 0 0 1404 0 0 0 20 0 28 0 104343692 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748397269600 139749865407443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20172] ppid=19245 vsize=26671828 memory=1384 CPUtime=14.01 cores=0-7
/proc/19247/task/20172/stat : 20172 (java) R 19245 19245 17763 0 -1 4202560 429 0 0 0 1401 0 0 0 20 0 28 0 104343692 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748402532576 139749864198075 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20173] ppid=19245 vsize=26671828 memory=1384 CPUtime=13.81 cores=0-7
/proc/19247/task/20173/stat : 20173 (java) R 19245 19245 17763 0 -1 4202560 702 0 0 0 1381 0 0 0 20 0 28 0 104343692 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748396216560 139749862641557 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20174] ppid=19245 vsize=26671828 memory=1384 CPUtime=14.01 cores=0-7
/proc/19247/task/20174/stat : 20174 (java) R 19245 19245 17763 0 -1 4202560 379 0 0 0 1401 0 0 0 20 0 28 0 104343692 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748401480504 139749862641786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20175] ppid=19245 vsize=26671828 memory=140060164023935 CPUtime=14.16 cores=0-7
/proc/19247/task/20175/stat : 20175 (java) R 19245 19245 17763 0 -1 4202560 1961 0 0 0 1414 2 0 0 20 0 28 0 104343692 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748400426200 139749858046992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20176] ppid=19245 vsize=26671828 memory=8764164798296135838 CPUtime=14.01 cores=0-7
/proc/19247/task/20176/stat : 20176 (java) R 19245 19245 17763 0 -1 4202560 321 0 0 0 1401 0 0 0 20 0 28 0 104343692 27311951872 177962 33554432000 4194304 4196468 140726601109280 139748398321272 139749863455545 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
Current children cumulated CPU time: 19796.9 s
Current children cumulated vsize: 26681340 KiB
Current children cumulated memory: 713232 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.11 8.28 8.23 9/207 20177
/proc/meminfo: memFree=30758280/32770624 swapFree=67108860/67108860
[pid=19245] ppid=19242 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/19245/stat : 19245 (xcsp3-exec) S 19242 19245 17763 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104094900 9740288 346 33554432000 4194304 5098028 140729573516256 140729573514360 140571074773628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19525632 140729573520486 140729573520695 140729573520695 140729573523435 0
/proc/19245/statm: 2378 346 289 221 0 87 0
[pid=19247] ppid=19245 vsize=26671828 memory=684656 CPUtime=19937.8 cores=0-7
/proc/19247/stat : 19247 (java) S 19245 19245 17763 0 -1 1077944320 995997 0 0 0 1992273 1503 0 0 20 0 28 0 104094900 27311951872 171164 33554432000 4194304 4196468 140726601109280 140726601091824 139750218096375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
/proc/19247/statm: 6667957 171164 3303 1 0 6655191 0
[pid=19247/tid=19248] ppid=19245 vsize=26671828 memory=6791534058613427641 CPUtime=1.28 cores=0-7
/proc/19247/task/19248/stat : 19248 (java) S 19245 19245 17763 0 -1 1077944384 10629 0 0 0 123 5 0 0 20 0 28 0 104094900 27311951872 171164 33554432000 4194304 4196468 140726601109280 139750222337152 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19249] ppid=19245 vsize=26671828 memory=4872558044660077418 CPUtime=7.58 cores=0-7
/proc/19247/task/19249/stat : 19249 (java) S 19245 19245 17763 0 -1 1077944384 34101 0 0 0 712 46 0 0 20 0 28 0 104094901 27311951872 171164 33554432000 4194304 4196468 140726601109280 139749776214288 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19250] ppid=19245 vsize=26671828 memory=17500 CPUtime=7.52 cores=0-7
/proc/19247/task/19250/stat : 19250 (java) S 19245 19245 17763 0 -1 1077944384 37442 0 0 0 710 42 0 0 20 0 28 0 104094901 27311951872 171164 33554432000 4194304 4196468 140726601109280 139749775161744 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19251] ppid=19245 vsize=26671828 memory=1232 CPUtime=7.52 cores=0-7
/proc/19247/task/19251/stat : 19251 (java) S 19245 19245 17763 0 -1 1077944384 35790 0 0 0 708 44 0 0 20 0 28 0 104094901 27311951872 171164 33554432000 4194304 4196468 140726601109280 139749774109200 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19252] ppid=19245 vsize=26671828 memory=648 CPUtime=7.54 cores=0-7
/proc/19247/task/19252/stat : 19252 (java) S 19245 19245 17763 0 -1 1077944384 33431 0 0 0 708 46 0 0 20 0 28 0 104094901 27311951872 171164 33554432000 4194304 4196468 140726601109280 139749773056656 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19253] ppid=19245 vsize=26671828 memory=1796 CPUtime=7.56 cores=0-7
/proc/19247/task/19253/stat : 19253 (java) S 19245 19245 17763 0 -1 1077944384 37724 0 0 0 710 46 0 0 20 0 28 0 104094901 27311951872 171164 33554432000 4194304 4196468 140726601109280 139749772004112 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19254] ppid=19245 vsize=26671828 memory=956 CPUtime=7.6 cores=0-7
/proc/19247/task/19254/stat : 19254 (java) S 19245 19245 17763 0 -1 1077944384 38617 0 0 0 716 44 0 0 20 0 28 0 104094901 27311951872 171164 33554432000 4194304 4196468 140726601109280 139749770951568 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19255] ppid=19245 vsize=26671828 memory=2344 CPUtime=7.55 cores=0-7
/proc/19247/task/19255/stat : 19255 (java) S 19245 19245 17763 0 -1 1077944384 33582 0 0 0 713 42 0 0 20 0 28 0 104094901 27311951872 171164 33554432000 4194304 4196468 140726601109280 139749769899024 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19256] ppid=19245 vsize=26671828 memory=928 CPUtime=7.45 cores=0-7
/proc/19247/task/19256/stat : 19256 (java) S 19245 19245 17763 0 -1 1077944384 34018 0 0 0 701 44 0 0 20 0 28 0 104094901 27311951872 171164 33554432000 4194304 4196468 140726601109280 139749768846480 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19257] ppid=19245 vsize=26671828 memory=1576 CPUtime=13.33 cores=0-7
/proc/19247/task/19257/stat : 19257 (java) S 19245 19245 17763 0 -1 1077944384 197291 0 0 0 548 785 0 0 20 0 28 0 104094902 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748423174128 139750218107522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19258] ppid=19245 vsize=26671828 memory=2236 CPUtime=0 cores=0-7
/proc/19247/task/19258/stat : 19258 (java) S 19245 19245 17763 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 104094903 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748422120416 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19259] ppid=19245 vsize=26671828 memory=4316 CPUtime=0 cores=0-7
/proc/19247/task/19259/stat : 19259 (java) S 19245 19245 17763 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 104094903 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748421067776 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19260] ppid=19245 vsize=26671828 memory=1224 CPUtime=0 cores=0-7
/proc/19247/task/19260/stat : 19260 (java) S 19245 19245 17763 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104094905 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748420016336 139750218114971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19261] ppid=19245 vsize=26671828 memory=5792 CPUtime=2.84 cores=0-7
/proc/19247/task/19261/stat : 19261 (java) S 19245 19245 17763 0 -1 1077944384 17273 0 0 0 281 3 0 0 20 0 28 0 104094906 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748418963952 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19262] ppid=19245 vsize=26671828 memory=4620 CPUtime=2.69 cores=0-7
/proc/19247/task/19262/stat : 19262 (java) S 19245 19245 17763 0 -1 1077944384 12221 0 0 0 268 1 0 0 20 0 28 0 104094906 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748417911408 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19263] ppid=19245 vsize=26671828 memory=1200 CPUtime=3.15 cores=0-7
/proc/19247/task/19263/stat : 19263 (java) S 19245 19245 17763 0 -1 1077944384 15694 0 0 0 313 2 0 0 20 0 28 0 104094906 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748416858864 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19264] ppid=19245 vsize=26671828 memory=15876 CPUtime=1.02 cores=0-7
/proc/19247/task/19264/stat : 19264 (java) S 19245 19245 17763 0 -1 1077944384 18281 0 0 0 99 3 0 0 20 0 28 0 104094906 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748415806320 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19265] ppid=19245 vsize=26671828 memory=16236 CPUtime=0 cores=0-7
/proc/19247/task/19265/stat : 19265 (java) S 19245 19245 17763 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104094906 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748414752992 139750218106581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=19266] ppid=19245 vsize=26671828 memory=4044 CPUtime=0.57 cores=0-7
/proc/19247/task/19266/stat : 19266 (java) S 19245 19245 17763 0 -1 1077944384 8297 0 0 0 0 57 0 0 20 0 28 0 104094906 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748413700528 139750218107522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20169] ppid=19245 vsize=26671828 memory=17488 CPUtime=31.67 cores=0-7
/proc/19247/task/20169/stat : 20169 (java) R 19245 19245 17763 0 -1 4202560 403 0 0 0 3167 0 0 0 20 0 28 0 104343692 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748405689280 139749864861177 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20170] ppid=19245 vsize=26671828 memory=1297 CPUtime=31.64 cores=0-7
/proc/19247/task/20170/stat : 20170 (java) R 19245 19245 17763 0 -1 4202560 345 0 0 0 3164 0 0 0 20 0 28 0 104343692 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748404637424 139749862642646 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20171] ppid=19245 vsize=26671828 memory=648 CPUtime=31.61 cores=0-7
/proc/19247/task/20171/stat : 20171 (java) R 19245 19245 17763 0 -1 4202560 983 0 0 0 3161 0 0 0 20 0 28 0 104343692 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748397268880 139749862641562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20172] ppid=19245 vsize=26671828 memory=1796 CPUtime=31.52 cores=0-7
/proc/19247/task/20172/stat : 20172 (java) R 19245 19245 17763 0 -1 4202560 452 0 0 0 3152 0 0 0 20 0 28 0 104343692 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748402532336 139749864861505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20173] ppid=19245 vsize=26671828 memory=956 CPUtime=31.4 cores=0-7
/proc/19247/task/20173/stat : 20173 (java) R 19245 19245 17763 0 -1 4202560 707 0 0 0 3140 0 0 0 20 0 28 0 104343692 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748396216808 139750197821584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20174] ppid=19245 vsize=26671828 memory=30016 CPUtime=31.53 cores=0-7
/proc/19247/task/20174/stat : 20174 (java) R 19245 19245 17763 0 -1 4202560 389 0 0 0 3153 0 0 0 20 0 28 0 104343692 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748401480504 139749864861803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20175] ppid=19245 vsize=26671828 memory=1296 CPUtime=31.72 cores=0-7
/proc/19247/task/20175/stat : 20175 (java) R 19245 19245 17763 0 -1 4202560 1991 0 0 0 3170 2 0 0 20 0 28 0 104343692 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748400429584 139749858046977 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
[pid=19247/tid=20176] ppid=19245 vsize=26671828 memory=6791534058613427641 CPUtime=31.62 cores=0-7
/proc/19247/task/20176/stat : 20176 (java) R 19245 19245 17763 0 -1 4202560 329 0 0 0 3162 0 0 0 20 0 28 0 104343692 27311951872 171164 33554432000 4194304 4196468 140726601109280 139748398321376 139749863455488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27271168 140726601114770 140726601114947 140726601114947 140726601117647 0
Current children cumulated CPU time: 19937.8 s
Current children cumulated vsize: 26681340 KiB
Current children cumulated memory: 686040 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.13
CPU time (s): 19938.6
CPU user time (s): 19923.5
CPU system time (s): 15.0462
CPU usage (%): 791.174
Max. virtual memory (cumulated for all children) (KiB): 26681340
Max. memory (cumulated for all children) (KiB): 1492540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19923.5
system time used= 15.0462
maximum resident set size= 1513560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 996799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205447
involuntary context switches= 224400


# summary of solver processes directly reported to runsolver:
#   pid: 19245,19247
#   total CPU time (s): 19938.6
#   total CPU user time (s): 19923.5
#   total CPU system time (s): 15.0462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.0205 second user time and 23.9486 second system time

The end

Launcher Data 

Begin job on node102 at 2017-08-14 13:13:27
IDJOB=4270837
IDBENCH=124392
IDSOLVER=2662
FILE ID=node102/4270837-1502710066
RUNJOBID= node102-1502701319-17790
PBS_JOBID= 20629009
Free space on /tmp= 61912 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k6.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-4270837-1502710066/watcher-4270837-1502710066 -o /tmp/evaluation-result-4270837-1502710066/solver-4270837-1502710066 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502701319-17790 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 82902720 HOME/instance-4270837-1502710066.xml

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

MD5SUM BENCH= ccd62f28d001d5578c14e849049b60f5
RANDOM SEED=82902720

node102.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.35
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.35
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.35
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.35
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:        31471592 kB
MemAvailable:   31985052 kB
Buffers:          147516 kB
Cached:           649216 kB
SwapCached:            0 kB
Active:           650740 kB
Inactive:         196816 kB
Active(anon):       3372 kB
Inactive(anon):    75336 kB
Active(file):     647368 kB
Inactive(file):   121480 kB
Unevictable:        6444 kB
Mlocked:            6444 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7756 kB
Writeback:             0 kB
AnonPages:         57612 kB
Mapped:            44604 kB
Shmem:             25228 kB
Slab:             147380 kB
SReclaimable:     120896 kB
SUnreclaim:        26484 kB
KernelStack:        3280 kB
PageTables:         4604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61904 MiB
End job on node102 at 2017-08-14 13:55:28