Trace number 4270836

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)907 20075 2520.1201

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n45-k5.xml
MD5SUM4e8baeb7bdba194b7c2724961347fdb9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark756
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-4270836-1502712589.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270836-1502712589.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.34/0.26	c parse instance...
3.82/1.16	c solve instance...
4.33/1.29	o 3706 
5.01/1.34	o 3701 
5.01/1.35	o 3680 
5.01/1.38	o 3640 
5.01/1.39	o 3598 
5.72/1.40	o 2213 
16.72/2.84	o 2189 
16.72/2.85	o 2175 
17.31/2.97	o 2136 
17.31/2.97	o 2122 
17.31/2.97	o 2097 
36.97/5.44	o 2091 
37.72/5.52	o 2060 
38.50/5.63	o 2051 
46.44/6.69	o 2046 
49.65/7.03	o 1939 
51.15/7.24	o 1936 
54.33/7.63	o 1933 
59.03/8.28	o 1897 
61.38/8.52	o 1891 
65.43/9.01	o 1872 
71.62/9.89	o 1846 
77.96/10.63	o 1822 
77.96/10.66	o 1816 
79.59/10.81	o 1813 
86.68/11.70	o 1797 
86.68/11.79	o 1794 
97.08/13.08	o 1762 
97.87/13.15	o 1743 
98.62/13.30	o 1740 
103.29/13.87	o 1664 
104.07/13.92	o 1662 
106.43/14.25	o 1658 
107.21/14.32	o 1657 
112.85/15.09	o 1623 
113.63/15.13	o 1622 
115.93/15.45	o 1595 
118.30/15.76	o 1590 
119.13/15.83	o 1586 
122.27/16.29	o 1584 
123.86/16.49	o 1567 
137.47/18.17	o 1535 
138.16/18.23	o 1518 
144.59/19.11	o 1509 
154.09/20.24	o 1487 
178.81/23.37	o 1427 
178.81/23.40	o 1425 
181.97/23.75	o 1389 
189.14/24.61	o 1362 
192.39/25.07	o 1324 
202.65/26.36	o 1320 
216.28/28.08	o 1297 
240.99/31.14	o 1266 
362.09/46.38	o 1216 
366.06/46.85	o 1207 
381.19/48.76	o 1205 
387.55/49.53	o 1200 
399.59/51.07	o 1186 
399.59/51.09	o 1183 
417.83/53.30	o 1182 
424.27/54.16	o 1178 
432.24/55.15	o 1142 
439.40/56.08	o 1136 
505.35/64.34	o 1135 
506.90/64.57	o 1130 
534.86/68.03	o 1129 
577.05/73.31	o 1117 
625.69/79.46	o 1113 
644.02/81.75	o 1088 
663.93/84.30	o 1055 
703.78/89.29	o 1039 
991.00/125.20	o 997 
1010.94/127.72	o 971 
1019.69/128.82	o 966 
1032.26/130.42	o 959 
1269.87/160.24	o 951 
1686.31/212.47	o 944 
1825.10/229.85	o 943 
2025.37/254.91	o 942 
2210.49/278.18	o 941 
2539.92/319.40	o 937 
2720.13/342.08	o 932 
4947.08/621.19	o 928 
5640.30/708.08	o 926 
5686.49/713.82	o 913 
5823.75/731.04	o 909 
7784.92/977.03	o 908 
10863.27/1363.41	o 907 
20074.15/2520.09	s SATISFIABLE
20074.15/2520.09	v <instantiation>
20074.15/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>
20074.15/2520.09	v 	<values>0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 32 55 97 77 20 35 27 27 31 77 87 22 11 41 74 90 1 19 74 100 90 97 41 78 58 78 62 7 55 55 34 36 85 25 44 17 100 98 99 24 100 15 100 20 </values>
20074.15/2520.09	v </instantiation>
20074.15/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	907

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

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

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

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


[startup+0.100135 s]*
/proc/loadavg: 8.11 8.28 8.23 2/199 20301
/proc/meminfo: memFree=31422128/32770624 swapFree=67108860/67108860
[pid=20280] ppid=20277 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20280/stat : 20280 (xcsp3-exec) S 20277 20280 20236 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104347169 9740288 346 33554432000 4194304 5098028 140732761039824 140732761037928 139837442847356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34304000 140732761044068 140732761044279 140732761044279 140732761047019 0
/proc/20280/statm: 2378 346 289 221 0 87 0
[pid=20282] ppid=20280 vsize=25999808 memory=26348 CPUtime=0.11 cores=0-7
/proc/20282/stat : 20282 (java) S 20280 20280 20236 0 -1 1077944320 5487 0 0 0 10 1 0 0 20 0 20 0 104347169 26623803392 6587 33554432000 4194304 4196468 140727845846688 140727845829232 140581979361015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
/proc/20282/statm: 6499952 6587 2844 1 0 6488269 0
[pid=20282/tid=20283] ppid=20280 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/20282/task/20283/stat : 20283 (java) R 20280 20280 20236 0 -1 4202560 3495 0 0 0 8 1 0 0 20 0 20 0 104347170 26623803392 6587 33554432000 4194304 4196468 140727845846688 140581983594288 140581979372950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20284] ppid=20280 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20282/task/20284/stat : 20284 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347171 26623803392 6587 33554432000 4194304 4196468 140727845846688 140581931981712 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20285] ppid=20280 vsize=25999808 memory=140650690561664 CPUtime=0 cores=0-7
/proc/20282/task/20285/stat : 20285 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26623803392 6587 33554432000 4194304 4196468 140727845846688 140581536135952 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20286] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20286/stat : 20286 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26623803392 6587 33554432000 4194304 4196468 140727845846688 140581535083664 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20287] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20287/stat : 20287 (java) S 20280 20280 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104347171 26623803392 6587 33554432000 4194304 4196468 140727845846688 140581534030864 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20288] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20288/stat : 20288 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26623803392 6587 33554432000 4194304 4196468 140727845846688 140581532977552 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20289] ppid=20280 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20282/task/20289/stat : 20289 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347171 26623803392 6587 33554432000 4194304 4196468 140727845846688 140581531924752 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20290] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20290/stat : 20290 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26623803392 6587 33554432000 4194304 4196468 140727845846688 140581530872464 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20291] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20291/stat : 20291 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347171 26623803392 6587 33554432000 4194304 4196468 140727845846688 140581529819664 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20292] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20292/stat : 20292 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347172 26623803392 6587 33554432000 4194304 4196468 140727845846688 140580184443504 140581979372162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20293] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20293/stat : 20293 (java) S 20280 20280 20236 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104347173 26623803392 6587 33554432000 4194304 4196468 140727845846688 140580183389472 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20294] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20294/stat : 20294 (java) S 20280 20280 20236 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104347173 26623803392 6587 33554432000 4194304 4196468 140727845846688 140580182337136 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20295] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20295/stat : 20295 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347175 26623803392 6587 33554432000 4194304 4196468 140727845846688 140580181285456 140581979379611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20296] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20296/stat : 20296 (java) S 20280 20280 20236 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 104347175 26623803392 6587 33554432000 4194304 4196468 140727845846688 140580180232304 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20297] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20297/stat : 20297 (java) R 20280 20280 20236 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 104347175 26623803392 6587 33554432000 4194304 4196468 140727845846688 140580179179504 140581979372162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20298] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20298/stat : 20298 (java) S 20280 20280 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104347175 26623803392 6587 33554432000 4194304 4196468 140727845846688 140580178127216 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20299] ppid=20280 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20282/task/20299/stat : 20299 (java) S 20280 20280 20236 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 104347175 26623803392 6587 33554432000 4194304 4196468 140727845846688 140580177074416 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20300] ppid=20280 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20300/stat : 20300 (java) S 20280 20280 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104347175 26623803392 6587 33554432000 4194304 4196468 140727845846688 140580176022368 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20301] ppid=20280 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20282/task/20301/stat : 20301 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347176 26623803392 6587 33554432000 4194304 4196468 140727845846688 140580174969648 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27732 KiB

[startup+0.210495 s]*
/proc/loadavg: 8.11 8.28 8.23 3/199 20301
/proc/meminfo: memFree=31410832/32770624 swapFree=67108860/67108860
[pid=20280] ppid=20277 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20280/stat : 20280 (xcsp3-exec) S 20277 20280 20236 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104347169 9740288 346 33554432000 4194304 5098028 140732761039824 140732761037928 139837442847356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34304000 140732761044068 140732761044279 140732761044279 140732761047019 0
/proc/20280/statm: 2378 346 289 221 0 87 0
[pid=20282] ppid=20280 vsize=26004064 memory=39148 CPUtime=0.34 cores=0-7
/proc/20282/stat : 20282 (java) S 20280 20280 20236 0 -1 1077944320 8340 0 0 0 31 3 0 0 20 0 20 0 104347169 26628161536 9787 33554432000 4194304 4196468 140727845846688 140727845829232 140581979361015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
/proc/20282/statm: 6501016 9787 3074 1 0 6488269 0
[pid=20282/tid=20283] ppid=20280 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20282/task/20283/stat : 20283 (java) R 20280 20280 20236 0 -1 4202560 5410 0 0 0 18 1 0 0 20 0 20 0 104347170 26628161536 9787 33554432000 4194304 4196468 140727845846688 140581983582008 140581963441502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20284] ppid=20280 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/20282/task/20284/stat : 20284 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 9787 33554432000 4194304 4196468 140727845846688 140581931981712 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20285] ppid=20280 vsize=26004064 memory=140650690579892 CPUtime=0 cores=0-7
/proc/20282/task/20285/stat : 20285 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 9787 33554432000 4194304 4196468 140727845846688 140581536135952 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20286] ppid=20280 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20282/task/20286/stat : 20286 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 9787 33554432000 4194304 4196468 140727845846688 140581535083664 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20287] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20287/stat : 20287 (java) S 20280 20280 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 9787 33554432000 4194304 4196468 140727845846688 140581534030864 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20288] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20288/stat : 20288 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 9787 33554432000 4194304 4196468 140727845846688 140581532977552 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20289] ppid=20280 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20282/task/20289/stat : 20289 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 9787 33554432000 4194304 4196468 140727845846688 140581531924752 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20290] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20290/stat : 20290 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 9787 33554432000 4194304 4196468 140727845846688 140581530872464 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20291] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20291/stat : 20291 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 9787 33554432000 4194304 4196468 140727845846688 140581529819664 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20292] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20292/stat : 20292 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347172 26628161536 9787 33554432000 4194304 4196468 140727845846688 140580184443504 140581979372162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20293] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20293/stat : 20293 (java) S 20280 20280 20236 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104347173 26628161536 9787 33554432000 4194304 4196468 140727845846688 140580183389472 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20294] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20294/stat : 20294 (java) S 20280 20280 20236 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104347173 26628161536 9787 33554432000 4194304 4196468 140727845846688 140580182337136 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20295] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20295/stat : 20295 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347175 26628161536 9787 33554432000 4194304 4196468 140727845846688 140580181285456 140581979379611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20296] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20296/stat : 20296 (java) S 20280 20280 20236 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 104347175 26628161536 9787 33554432000 4194304 4196468 140727845846688 140580180232304 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20297] ppid=20280 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/20282/task/20297/stat : 20297 (java) S 20280 20280 20236 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 20 0 104347175 26628161536 9787 33554432000 4194304 4196468 140727845846688 140580179179504 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20298] ppid=20280 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/20282/task/20298/stat : 20298 (java) S 20280 20280 20236 0 -1 1077944384 304 0 0 0 2 0 0 0 20 0 20 0 104347175 26628161536 9787 33554432000 4194304 4196468 140727845846688 140580178127216 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20299] ppid=20280 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/20282/task/20299/stat : 20299 (java) R 20280 20280 20236 0 -1 4202560 728 0 0 0 7 0 0 0 20 0 20 0 104347175 26628161536 9787 33554432000 4194304 4196468 140727845846688 140580177074416 140581971598142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20300] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20300/stat : 20300 (java) S 20280 20280 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104347175 26628161536 9787 33554432000 4194304 4196468 140727845846688 140580176022368 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20301] ppid=20280 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20282/task/20301/stat : 20301 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347176 26628161536 9787 33554432000 4194304 4196468 140727845846688 140580174969648 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40532 KiB

[startup+0.310272 s]*
/proc/loadavg: 8.11 8.28 8.23 3/199 20301
/proc/meminfo: memFree=31406180/32770624 swapFree=67108860/67108860
[pid=20280] ppid=20277 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20280/stat : 20280 (xcsp3-exec) S 20277 20280 20236 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104347169 9740288 346 33554432000 4194304 5098028 140732761039824 140732761037928 139837442847356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34304000 140732761044068 140732761044279 140732761044279 140732761047019 0
/proc/20280/statm: 2378 346 289 221 0 87 0
[pid=20282] ppid=20280 vsize=26004064 memory=46092 CPUtime=0.5 cores=0-7
/proc/20282/stat : 20282 (java) S 20280 20280 20236 0 -1 1077944320 9180 0 0 0 47 3 0 0 20 0 20 0 104347169 26628161536 11523 33554432000 4194304 4196468 140727845846688 140727845829232 140581979361015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
/proc/20282/statm: 6501016 11523 3112 1 0 6488269 0
[pid=20282/tid=20283] ppid=20280 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20282/task/20283/stat : 20283 (java) R 20280 20280 20236 0 -1 4202560 6078 0 0 0 27 2 0 0 20 0 20 0 104347170 26628161536 11523 33554432000 4194304 4196468 140727845846688 140581983599056 140581979372950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20284] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20284/stat : 20284 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 11523 33554432000 4194304 4196468 140727845846688 140581931981712 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20285] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20285/stat : 20285 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 11523 33554432000 4194304 4196468 140727845846688 140581536135952 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20286] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20286/stat : 20286 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 11523 33554432000 4194304 4196468 140727845846688 140581535083664 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20287] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20287/stat : 20287 (java) S 20280 20280 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 11523 33554432000 4194304 4196468 140727845846688 140581534030864 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20288] ppid=20280 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/20282/task/20288/stat : 20288 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 11523 33554432000 4194304 4196468 140727845846688 140581532977552 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20289] ppid=20280 vsize=26004064 memory=140650582471599 CPUtime=0 cores=0-7
/proc/20282/task/20289/stat : 20289 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 11523 33554432000 4194304 4196468 140727845846688 140581531924752 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20290] ppid=20280 vsize=26004064 memory=140650582473904 CPUtime=0 cores=0-7
/proc/20282/task/20290/stat : 20290 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 11523 33554432000 4194304 4196468 140727845846688 140581530872464 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20291] ppid=20280 vsize=26004064 memory=140650582476208 CPUtime=0 cores=0-7
/proc/20282/task/20291/stat : 20291 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347171 26628161536 11523 33554432000 4194304 4196468 140727845846688 140581529819664 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20292] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20292/stat : 20292 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347172 26628161536 11523 33554432000 4194304 4196468 140727845846688 140580184443504 140581979372162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20293] ppid=20280 vsize=26004064 memory=281301164959376 CPUtime=0 cores=0-7
/proc/20282/task/20293/stat : 20293 (java) S 20280 20280 20236 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104347173 26628161536 11523 33554432000 4194304 4196468 140727845846688 140580183389472 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20294] ppid=20280 vsize=26004064 memory=281301164966288 CPUtime=0 cores=0-7
/proc/20282/task/20294/stat : 20294 (java) S 20280 20280 20236 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104347173 26628161536 11523 33554432000 4194304 4196468 140727845846688 140580182337136 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20295] ppid=20280 vsize=26004064 memory=281301164907568 CPUtime=0 cores=0-7
/proc/20282/task/20295/stat : 20295 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347175 26628161536 11523 33554432000 4194304 4196468 140727845846688 140580181285456 140581979379611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20296] ppid=20280 vsize=26004064 memory=281301164980112 CPUtime=0.01 cores=0-7
/proc/20282/task/20296/stat : 20296 (java) R 20280 20280 20236 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 20 0 104347175 26628161536 11523 33554432000 4194304 4196468 140727845846688 140580180222224 140581965042454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20297] ppid=20280 vsize=26004064 memory=281301164987024 CPUtime=0.02 cores=0-7
/proc/20282/task/20297/stat : 20297 (java) S 20280 20280 20236 0 -1 1077944384 284 0 0 0 2 0 0 0 20 0 20 0 104347175 26628161536 11523 33554432000 4194304 4196468 140727845846688 140580179179504 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20298] ppid=20280 vsize=26004064 memory=281301164984720 CPUtime=0.02 cores=0-7
/proc/20282/task/20298/stat : 20298 (java) S 20280 20280 20236 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 20 0 104347175 26628161536 11523 33554432000 4194304 4196468 140727845846688 140580178127216 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20299] ppid=20280 vsize=26004064 memory=281301165000880 CPUtime=0.12 cores=0-7
/proc/20282/task/20299/stat : 20299 (java) R 20280 20280 20236 0 -1 4202560 831 0 0 0 12 0 0 0 20 0 20 0 104347175 26628161536 11523 33554432000 4194304 4196468 140727845846688 140580177074416 140581979372950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20300] ppid=20280 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20300/stat : 20300 (java) S 20280 20280 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104347175 26628161536 11523 33554432000 4194304 4196468 140727845846688 140580176022368 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20301] ppid=20280 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20282/task/20301/stat : 20301 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347176 26628161536 11523 33554432000 4194304 4196468 140727845846688 140580174969648 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47476 KiB

[startup+0.700987 s]
/proc/loadavg: 8.11 8.28 8.23 6/199 20301
/proc/meminfo: memFree=31376836/32770624 swapFree=67108860/67108860
[pid=20280] ppid=20277 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20280/stat : 20280 (xcsp3-exec) S 20277 20280 20236 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104347169 9740288 346 33554432000 4194304 5098028 140732761039824 140732761037928 139837442847356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34304000 140732761044068 140732761044279 140732761044279 140732761047019 0
/proc/20280/statm: 2378 346 289 221 0 87 0
[pid=20282] ppid=20280 vsize=26006188 memory=95672 CPUtime=2.06 cores=0-7
/proc/20282/stat : 20282 (java) S 20280 20280 20236 0 -1 1077944320 14018 0 0 0 201 5 0 0 20 0 20 0 104347169 26630336512 23918 33554432000 4194304 4196468 140727845846688 140727845829232 140581979361015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
/proc/20282/statm: 6501547 23918 3205 1 0 6488781 0
[pid=20282/tid=20283] ppid=20280 vsize=26006188 memory=281301165358768 CPUtime=0.67 cores=0-7
/proc/20282/task/20283/stat : 20283 (java) R 20280 20280 20236 0 -1 4202560 6751 0 0 0 64 3 0 0 20 0 20 0 104347170 26630336512 23918 33554432000 4194304 4196468 140727845846688 140581983595648 140581979372950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20284] ppid=20280 vsize=26006188 memory=140650582680432 CPUtime=0 cores=0-7
/proc/20282/task/20284/stat : 20284 (java) S 20280 20280 20236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104347171 26630336512 23918 33554432000 4194304 4196468 140727845846688 140581931981712 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20285] ppid=20280 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/20282/task/20285/stat : 20285 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26630336512 23918 33554432000 4194304 4196468 140727845846688 140581536135952 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20286] ppid=20280 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/20282/task/20286/stat : 20286 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104347171 26630336512 23918 33554432000 4194304 4196468 140727845846688 140581535083664 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0

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

[pid=20282/tid=21053] ppid=20280 vsize=26539728 memory=1410884 CPUtime=1074.32 cores=0-7
/proc/20282/task/21053/stat : 21053 (java) R 20280 20280 20236 0 -1 4202560 21836 0 0 0 107416 16 0 0 20 0 28 0 104483511 27176681472 352721 33554432000 4194304 4196468 140727845846688 140580166959960 140581618443326 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
Current children cumulated CPU time: 19455.8 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1412268 KiB

[startup+2502.3 s]
/proc/loadavg: 8.09 8.23 8.28 10/207 21071
/proc/meminfo: memFree=30058640/32770624 swapFree=67108860/67108860
[pid=20280] ppid=20277 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20280/stat : 20280 (xcsp3-exec) S 20277 20280 20236 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104347169 9740288 346 33554432000 4194304 5098028 140732761039824 140732761037928 139837442847356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34304000 140732761044068 140732761044279 140732761044279 140732761047019 0
/proc/20280/statm: 2378 346 289 221 0 87 0
[pid=20282] ppid=20280 vsize=26539728 memory=1386736 CPUtime=19933.2 cores=0-7
/proc/20282/stat : 20282 (java) S 20280 20280 20236 0 -1 1077944320 554144 0 0 0 1992772 551 0 0 20 0 28 0 104347169 27176681472 346684 33554432000 4194304 4196468 140727845846688 140727845829232 140581979361015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
/proc/20282/statm: 6634932 346684 3304 1 0 6622166 0
[pid=20282/tid=20283] ppid=20280 vsize=26539728 memory=1386736 CPUtime=1.25 cores=0-7
/proc/20282/task/20283/stat : 20283 (java) S 20280 20280 20236 0 -1 1077944384 13799 0 0 0 120 5 0 0 20 0 28 0 104347170 27176681472 346684 33554432000 4194304 4196468 140727845846688 140581983601792 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20284] ppid=20280 vsize=26539728 memory=1387252 CPUtime=2.35 cores=0-7
/proc/20282/task/20284/stat : 20284 (java) S 20280 20280 20236 0 -1 1077944384 14774 0 0 0 208 27 0 0 20 0 28 0 104347171 27176681472 346684 33554432000 4194304 4196468 140727845846688 140581931981712 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20285] ppid=20280 vsize=26539728 memory=1387252 CPUtime=2.37 cores=0-7
/proc/20282/task/20285/stat : 20285 (java) S 20280 20280 20236 0 -1 1077944384 16153 0 0 0 211 26 0 0 20 0 28 0 104347171 27176681472 346684 33554432000 4194304 4196468 140727845846688 140581536135952 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20286] ppid=20280 vsize=26539728 memory=164 CPUtime=2.37 cores=0-7
/proc/20282/task/20286/stat : 20286 (java) S 20280 20280 20236 0 -1 1077944384 16441 0 0 0 208 29 0 0 20 0 28 0 104347171 27176681472 346684 33554432000 4194304 4196468 140727845846688 140581535083664 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20287] ppid=20280 vsize=26539728 memory=1410360 CPUtime=2.33 cores=0-7
/proc/20282/task/20287/stat : 20287 (java) S 20280 20280 20236 0 -1 1077944384 14279 0 0 0 206 27 0 0 20 0 28 0 104347171 27176681472 346684 33554432000 4194304 4196468 140727845846688 140581534030864 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20288] ppid=20280 vsize=26539728 memory=1412408 CPUtime=2.35 cores=0-7
/proc/20282/task/20288/stat : 20288 (java) S 20280 20280 20236 0 -1 1077944384 15904 0 0 0 209 26 0 0 20 0 28 0 104347171 27176681472 346684 33554432000 4194304 4196468 140727845846688 140581532977552 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20289] ppid=20280 vsize=26539728 memory=1411896 CPUtime=2.39 cores=0-7
/proc/20282/task/20289/stat : 20289 (java) S 20280 20280 20236 0 -1 1077944384 18161 0 0 0 211 28 0 0 20 0 28 0 104347171 27176681472 346684 33554432000 4194304 4196468 140727845846688 140581531924752 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20290] ppid=20280 vsize=26539728 memory=1386236 CPUtime=2.36 cores=0-7
/proc/20282/task/20290/stat : 20290 (java) S 20280 20280 20236 0 -1 1077944384 14860 0 0 0 208 28 0 0 20 0 28 0 104347171 27176681472 346684 33554432000 4194304 4196468 140727845846688 140581530872464 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20291] ppid=20280 vsize=26539728 memory=1387776 CPUtime=2.38 cores=0-7
/proc/20282/task/20291/stat : 20291 (java) S 20280 20280 20236 0 -1 1077944384 18617 0 0 0 212 26 0 0 20 0 28 0 104347171 27176681472 346684 33554432000 4194304 4196468 140727845846688 140581529819664 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20292] ppid=20280 vsize=26539728 memory=1384 CPUtime=1.75 cores=0-7
/proc/20282/task/20292/stat : 20292 (java) S 20280 20280 20236 0 -1 1077944384 53621 0 0 0 120 55 0 0 20 0 28 0 104347172 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580184443504 140581979372162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20293] ppid=20280 vsize=26539728 memory=1387768 CPUtime=0 cores=0-7
/proc/20282/task/20293/stat : 20293 (java) S 20280 20280 20236 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 104347173 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580183389536 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20294] ppid=20280 vsize=26539728 memory=1388276 CPUtime=0 cores=0-7
/proc/20282/task/20294/stat : 20294 (java) S 20280 20280 20236 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 104347173 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580182337152 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20295] ppid=20280 vsize=26539728 memory=1387252 CPUtime=0 cores=0-7
/proc/20282/task/20295/stat : 20295 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104347175 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580181285456 140581979379611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20296] ppid=20280 vsize=26539728 memory=1386736 CPUtime=2.64 cores=0-7
/proc/20282/task/20296/stat : 20296 (java) S 20280 20280 20236 0 -1 1077944384 11219 0 0 0 262 2 0 0 20 0 28 0 104347175 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580180232304 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20297] ppid=20280 vsize=26539728 memory=1384 CPUtime=2.89 cores=0-7
/proc/20282/task/20297/stat : 20297 (java) S 20280 20280 20236 0 -1 1077944384 9009 0 0 0 287 2 0 0 20 0 28 0 104347175 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580179179504 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20298] ppid=20280 vsize=26539728 memory=1387252 CPUtime=2.7 cores=0-7
/proc/20282/task/20298/stat : 20298 (java) S 20280 20280 20236 0 -1 1077944384 15250 0 0 0 267 3 0 0 20 0 28 0 104347175 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580178127216 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20299] ppid=20280 vsize=26539728 memory=1386228 CPUtime=1.03 cores=0-7
/proc/20282/task/20299/stat : 20299 (java) S 20280 20280 20236 0 -1 1077944384 20931 0 0 0 100 3 0 0 20 0 28 0 104347175 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580177074416 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20300] ppid=20280 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/20282/task/20300/stat : 20300 (java) S 20280 20280 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104347175 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580176022368 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20301] ppid=20280 vsize=26539728 memory=1696 CPUtime=0.48 cores=0-7
/proc/20282/task/20301/stat : 20301 (java) S 20280 20280 20236 0 -1 1077944384 7206 0 0 0 14 34 0 0 20 0 28 0 104347176 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580174969648 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21046] ppid=20280 vsize=26539728 memory=920 CPUtime=1133.85 cores=0-7
/proc/20282/task/21046/stat : 21046 (java) R 20280 20280 20236 0 -1 4202560 6463 0 0 0 113381 4 0 0 20 0 28 0 104483511 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580158536768 140581620755432 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21047] ppid=20280 vsize=26539728 memory=1384 CPUtime=1131.05 cores=0-7
/proc/20282/task/21047/stat : 21047 (java) R 20280 20280 20236 0 -1 4202560 5514 0 0 0 113102 3 0 0 20 0 28 0 104483511 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580165906952 140581619437265 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21048] ppid=20280 vsize=26539728 memory=1384 CPUtime=1133.3 cores=0-7
/proc/20282/task/21048/stat : 21048 (java) R 20280 20280 20236 0 -1 4202560 18461 0 0 0 113323 7 0 0 20 0 28 0 104483511 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580163801096 140581620706522 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21049] ppid=20280 vsize=26539728 memory=1387252 CPUtime=1129.74 cores=0-7
/proc/20282/task/21049/stat : 21049 (java) R 20280 20280 20236 0 -1 4202560 13242 0 0 0 112960 14 0 0 20 0 28 0 104483511 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580159592672 140581621732406 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21050] ppid=20280 vsize=26539728 memory=1384 CPUtime=1128.07 cores=0-7
/proc/20282/task/21050/stat : 21050 (java) R 20280 20280 20236 0 -1 4202560 9923 0 0 0 112798 9 0 0 20 0 28 0 104483511 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580162748232 140581618576475 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21051] ppid=20280 vsize=26539728 memory=30088 CPUtime=1133.17 cores=0-7
/proc/20282/task/21051/stat : 21051 (java) R 20280 20280 20236 0 -1 4202560 6724 0 0 0 113313 4 0 0 20 0 28 0 104483511 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580160643024 140581620525292 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21052] ppid=20280 vsize=26539728 memory=30121 CPUtime=1132.23 cores=0-7
/proc/20282/task/21052/stat : 21052 (java) R 20280 20280 20236 0 -1 4202560 5093 0 0 0 113219 4 0 0 20 0 28 0 104483511 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580161695800 140581618576700 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21053] ppid=20280 vsize=26539728 memory=1296 CPUtime=1133.84 cores=0-7
/proc/20282/task/21053/stat : 21053 (java) R 20280 20280 20236 0 -1 4202560 22163 0 0 0 113368 16 0 0 20 0 28 0 104483511 27176681472 346684 33554432000 4194304 4196468 140727845846688 140580166959400 140581615582772 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
Current children cumulated CPU time: 19933.2 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1388120 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.13 8.23 8.28 10/207 21071
/proc/meminfo: memFree=30057728/32770624 swapFree=67108860/67108860
[pid=20280] ppid=20277 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20280/stat : 20280 (xcsp3-exec) S 20277 20280 20236 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104347169 9740288 346 33554432000 4194304 5098028 140732761039824 140732761037928 139837442847356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34304000 140732761044068 140732761044279 140732761044279 140732761047019 0
/proc/20280/statm: 2378 346 289 221 0 87 0
[pid=20282] ppid=20280 vsize=26539728 memory=1386216 CPUtime=20074.2 cores=0-7
/proc/20282/stat : 20282 (java) S 20280 20280 20236 0 -1 1077944320 554750 0 0 0 2006862 553 0 0 20 0 28 0 104347169 27176681472 346554 33554432000 4194304 4196468 140727845846688 140727845829232 140581979361015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
/proc/20282/statm: 6634932 346554 3304 1 0 6622166 0
[pid=20282/tid=20283] ppid=20280 vsize=26539728 memory=2344 CPUtime=1.25 cores=0-7
/proc/20282/task/20283/stat : 20283 (java) S 20280 20280 20236 0 -1 1077944384 13799 0 0 0 120 5 0 0 20 0 28 0 104347170 27176681472 346554 33554432000 4194304 4196468 140727845846688 140581983601792 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20284] ppid=20280 vsize=26539728 memory=928 CPUtime=2.38 cores=0-7
/proc/20282/task/20284/stat : 20284 (java) S 20280 20280 20236 0 -1 1077944384 14797 0 0 0 211 27 0 0 20 0 28 0 104347171 27176681472 346554 33554432000 4194304 4196468 140727845846688 140581931981712 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20285] ppid=20280 vsize=26539728 memory=1576 CPUtime=2.4 cores=0-7
/proc/20282/task/20285/stat : 20285 (java) S 20280 20280 20236 0 -1 1077944384 16165 0 0 0 214 26 0 0 20 0 28 0 104347171 27176681472 346554 33554432000 4194304 4196468 140727845846688 140581536135952 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20286] ppid=20280 vsize=26539728 memory=4872558044660077418 CPUtime=2.4 cores=0-7
/proc/20282/task/20286/stat : 20286 (java) S 20280 20280 20236 0 -1 1077944384 16464 0 0 0 211 29 0 0 20 0 28 0 104347171 27176681472 346554 33554432000 4194304 4196468 140727845846688 140581535083664 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20287] ppid=20280 vsize=26539728 memory=8560 CPUtime=2.37 cores=0-7
/proc/20282/task/20287/stat : 20287 (java) S 20280 20280 20236 0 -1 1077944384 14299 0 0 0 209 28 0 0 20 0 28 0 104347171 27176681472 346554 33554432000 4194304 4196468 140727845846688 140581534030864 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20288] ppid=20280 vsize=26539728 memory=1384 CPUtime=2.38 cores=0-7
/proc/20282/task/20288/stat : 20288 (java) S 20280 20280 20236 0 -1 1077944384 15917 0 0 0 212 26 0 0 20 0 28 0 104347171 27176681472 346554 33554432000 4194304 4196468 140727845846688 140581532977552 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20289] ppid=20280 vsize=26539728 memory=1387760 CPUtime=2.42 cores=0-7
/proc/20282/task/20289/stat : 20289 (java) S 20280 20280 20236 0 -1 1077944384 18192 0 0 0 214 28 0 0 20 0 28 0 104347171 27176681472 346554 33554432000 4194304 4196468 140727845846688 140581531924752 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20290] ppid=20280 vsize=26539728 memory=6791534058613427641 CPUtime=2.39 cores=0-7
/proc/20282/task/20290/stat : 20290 (java) S 20280 20280 20236 0 -1 1077944384 14925 0 0 0 211 28 0 0 20 0 28 0 104347171 27176681472 346554 33554432000 4194304 4196468 140727845846688 140581530872464 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20291] ppid=20280 vsize=26539728 memory=1296 CPUtime=2.41 cores=0-7
/proc/20282/task/20291/stat : 20291 (java) S 20280 20280 20236 0 -1 1077944384 18652 0 0 0 215 26 0 0 20 0 28 0 104347171 27176681472 346554 33554432000 4194304 4196468 140727845846688 140581529819664 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20292] ppid=20280 vsize=26539728 memory=1296 CPUtime=1.77 cores=0-7
/proc/20282/task/20292/stat : 20292 (java) S 20280 20280 20236 0 -1 1077944384 53788 0 0 0 122 55 0 0 20 0 28 0 104347172 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580184443504 140581979372162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20293] ppid=20280 vsize=26539728 memory=2404 CPUtime=0 cores=0-7
/proc/20282/task/20293/stat : 20293 (java) S 20280 20280 20236 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 104347173 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580183389536 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20294] ppid=20280 vsize=26539728 memory=1732 CPUtime=0 cores=0-7
/proc/20282/task/20294/stat : 20294 (java) S 20280 20280 20236 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 104347173 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580182337152 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20295] ppid=20280 vsize=26539728 memory=796 CPUtime=0 cores=0-7
/proc/20282/task/20295/stat : 20295 (java) S 20280 20280 20236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104347175 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580181285456 140581979379611 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20296] ppid=20280 vsize=26539728 memory=1384 CPUtime=2.64 cores=0-7
/proc/20282/task/20296/stat : 20296 (java) S 20280 20280 20236 0 -1 1077944384 11219 0 0 0 262 2 0 0 20 0 28 0 104347175 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580180232304 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20297] ppid=20280 vsize=26539728 memory=1384 CPUtime=2.89 cores=0-7
/proc/20282/task/20297/stat : 20297 (java) S 20280 20280 20236 0 -1 1077944384 9009 0 0 0 287 2 0 0 20 0 28 0 104347175 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580179179504 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20298] ppid=20280 vsize=26539728 memory=1386728 CPUtime=2.7 cores=0-7
/proc/20282/task/20298/stat : 20298 (java) S 20280 20280 20236 0 -1 1077944384 15250 0 0 0 267 3 0 0 20 0 28 0 104347175 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580178127216 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20299] ppid=20280 vsize=26539728 memory=1152 CPUtime=1.03 cores=0-7
/proc/20282/task/20299/stat : 20299 (java) S 20280 20280 20236 0 -1 1077944384 20931 0 0 0 100 3 0 0 20 0 28 0 104347175 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580177074416 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20300] ppid=20280 vsize=26539728 memory=4732 CPUtime=0 cores=0-7
/proc/20282/task/20300/stat : 20300 (java) S 20280 20280 20236 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104347175 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580176022368 140581979371221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=20301] ppid=20280 vsize=26539728 memory=1384 CPUtime=0.49 cores=0-7
/proc/20282/task/20301/stat : 20301 (java) S 20280 20280 20236 0 -1 1077944384 7217 0 0 0 14 35 0 0 20 0 28 0 104347176 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580174969648 140581979372162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21046] ppid=20280 vsize=26539728 memory=1387244 CPUtime=1151.41 cores=0-7
/proc/20282/task/21046/stat : 21046 (java) R 20280 20280 20236 0 -1 4202560 6500 0 0 0 115137 4 0 0 20 0 28 0 104483511 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580158537792 140581620756499 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21047] ppid=20280 vsize=26539728 memory=4104 CPUtime=1148.7 cores=0-7
/proc/20282/task/21047/stat : 21047 (java) R 20280 20280 20236 0 -1 4202560 5527 0 0 0 114867 3 0 0 20 0 28 0 104483511 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580165910120 140581618576337 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21048] ppid=20280 vsize=26539728 memory=16236 CPUtime=1150.92 cores=0-7
/proc/20282/task/21048/stat : 21048 (java) R 20280 20280 20236 0 -1 4202560 18498 0 0 0 115085 7 0 0 20 0 28 0 104483511 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580163801400 140581619507828 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21049] ppid=20280 vsize=26539728 memory=4044 CPUtime=1147.33 cores=0-7
/proc/20282/task/21049/stat : 21049 (java) R 20280 20280 20236 0 -1 4202560 13267 0 0 0 114719 14 0 0 20 0 28 0 104483511 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580159593560 140581618576345 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21050] ppid=20280 vsize=26539728 memory=17536 CPUtime=1145.48 cores=0-7
/proc/20282/task/21050/stat : 21050 (java) R 20280 20280 20236 0 -1 4202560 9954 0 0 0 114538 10 0 0 20 0 28 0 104483511 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580162749144 140581619014397 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21051] ppid=20280 vsize=26539728 memory=6791534058613427641 CPUtime=1150.82 cores=0-7
/proc/20282/task/21051/stat : 21051 (java) R 20280 20280 20236 0 -1 4202560 6737 0 0 0 115078 4 0 0 20 0 28 0 104483511 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580160646688 140581621732186 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21052] ppid=20280 vsize=26539728 memory=1384 CPUtime=1149.79 cores=0-7
/proc/20282/task/21052/stat : 21052 (java) R 20280 20280 20236 0 -1 4202560 5113 0 0 0 114975 4 0 0 20 0 28 0 104483511 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580161695816 140581615237836 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
[pid=20282/tid=21053] ppid=20280 vsize=26539728 memory=1732 CPUtime=1151.47 cores=0-7
/proc/20282/task/21053/stat : 21053 (java) R 20280 20280 20236 0 -1 4202560 22193 0 0 0 115131 16 0 0 20 0 28 0 104483511 27176681472 346554 33554432000 4194304 4196468 140727845846688 140580166959104 140581618576543 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 39641088 140727845852306 140727845852483 140727845852483 140727845855183 0
Current children cumulated CPU time: 20074.1 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1387600 KiB

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

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

[startup+2520.12 s]
# the end of solver process 20282 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20069.4 s, system=5.54685 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.12
CPU time (s): 20075
CPU user time (s): 20069.4
CPU system time (s): 5.54685
CPU usage (%): 796.588
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 1512352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20069.4
system time used= 5.54685
maximum resident set size= 1545048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150218
involuntary context switches= 218905


# summary of solver processes directly reported to runsolver:
#   pid: 20280,20282
#   total CPU time (s): 20075
#   total CPU user time (s): 20069.4
#   total CPU system time (s): 5.54685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.9254 second user time and 24.7563 second system time

The end

Launcher Data 

Begin job on node102 at 2017-08-14 13:55:30
IDJOB=4270836
IDBENCH=124419
IDSOLVER=2662
FILE ID=node102/4270836-1502712589
RUNJOBID= node102-1502711730-20263
PBS_JOBID= 20629024
Free space on /tmp= 61912 MiB

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

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

MD5SUM BENCH= 4e8baeb7bdba194b7c2724961347fdb9
RANDOM SEED=1772589701

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:        31437132 kB
MemAvailable:   31983356 kB
Buffers:          148688 kB
Cached:           680720 kB
SwapCached:            0 kB
Active:           666688 kB
Inactive:         214016 kB
Active(anon):       4188 kB
Inactive(anon):    74992 kB
Active(file):     662500 kB
Inactive(file):   139024 kB
Unevictable:        6444 kB
Mlocked:            6444 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7812 kB
Writeback:             0 kB
AnonPages:         57508 kB
Mapped:            44264 kB
Shmem:             25228 kB
Slab:             147932 kB
SReclaimable:     121068 kB
SUnreclaim:        26864 kB
KernelStack:        3136 kB
PageTables:         5012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324624 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 14:37:30