Trace number 4281636

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)1087 1986.4301 252.101

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 benchmark776
Best CPU time to get the best result obtained on this benchmark251.925
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-4281636-1503185542.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281636-1503185542.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
3.76/1.18	c solve instance...
4.86/1.35	o 3706 
4.86/1.39	o 3701 
4.86/1.39	o 3680 
5.59/1.40	o 3640 
5.59/1.41	o 3598 
5.59/1.42	o 2213 
21.25/3.44	o 2189 
21.25/3.47	o 2136 
21.25/3.48	o 2122 
21.88/3.55	o 2097 
23.32/3.71	o 1979 
23.32/3.76	o 1893 
24.09/3.88	o 1775 
28.78/4.46	o 1774 
28.78/4.48	o 1744 
31.13/4.72	o 1724 
31.86/4.80	o 1714 
32.63/4.96	o 1712 
33.47/5.04	o 1710 
41.41/6.01	o 1708 
42.92/6.27	o 1704 
45.28/6.58	o 1665 
52.44/7.41	o 1660 
54.01/7.62	o 1659 
57.23/8.02	o 1657 
65.18/9.04	o 1617 
65.98/9.12	o 1609 
70.76/9.72	o 1597 
77.84/10.62	o 1569 
84.99/11.53	o 1536 
93.72/12.64	o 1528 
94.49/12.70	o 1518 
94.49/12.80	o 1511 
105.70/14.13	o 1502 
105.70/14.16	o 1500 
105.70/14.19	o 1496 
106.38/14.22	o 1493 
109.49/14.67	o 1472 
121.49/16.20	o 1467 
123.79/16.43	o 1465 
124.56/16.51	o 1425 
138.91/18.39	o 1406 
153.92/20.27	o 1405 
164.23/21.51	o 1399 
169.79/22.28	o 1398 
171.38/22.44	o 1365 
179.33/23.44	o 1360 
181.70/23.74	o 1348 
192.68/25.13	o 1343 
194.03/25.33	o 1338 
213.16/27.72	o 1330 
251.40/32.55	o 1329 
252.00/32.62	o 1322 
271.90/35.13	o 1306 
271.90/35.19	o 1302 
276.26/35.71	o 1296 
386.96/49.74	o 1270 
387.41/49.88	o 1269 
389.25/50.12	o 1268 
393.04/50.64	o 1264 
393.04/50.67	o 1260 
396.00/51.01	o 1237 
396.00/51.10	o 1230 
401.44/51.77	o 1227 
432.52/55.67	o 1222 
683.35/87.20	o 1219 
693.89/88.82	o 1218 
735.26/94.03	o 1217 
759.96/97.19	o 1211 
779.49/99.63	o 1208 
808.18/103.26	o 1207 
815.40/104.14	o 1204 
840.85/107.42	o 1199 
851.62/108.81	o 1198 
929.68/118.63	o 1193 
950.86/121.35	o 1170 
1013.41/129.22	o 1124 
1154.14/147.04	o 1117 
1251.92/159.31	o 1100 
1296.00/165.06	o 1099 
1350.05/172.26	o 1098 
1578.58/200.97	o 1088 
1702.14/216.49	o 1087 
1985.81/252.08	s SATISFIABLE
1985.81/252.08	v <instantiation>
1985.81/252.08	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[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>
1985.81/252.08	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 62 89 99 89 48 19 41 100 71 100 94 51 100 30 60 92 22 14 66 73 88 67 12 60 28 43 44 8 39 41 80 12 50 48 13 78 38 1 84 60 72 8 100 37 </values>
1985.81/252.08	v </instantiation>
1985.81/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	1087

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281636-1503185542/watcher-4281636-1503185542 -o /tmp/evaluation-result-4281636-1503185542/solver-4281636-1503185542 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 412603255 HOME/instance-4281636-1503185542.xml 

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

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


[startup+0.100143 s]*
/proc/loadavg: 8.37 7.94 7.47 2/199 2846
/proc/meminfo: memFree=27178140/32770624 swapFree=67108860/67108860
[pid=2825] ppid=2822 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2825/stat : 2825 (xcsp3-exec) S 2822 2825 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151641706 9740288 346 33554432000 4194304 5098028 140727393492576 140727393490680 140257089970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32198656 140727393498219 140727393498428 140727393498428 140727393501163 0
/proc/2825/statm: 2378 346 289 221 0 87 0
[pid=2827] ppid=2825 vsize=25999808 memory=26464 CPUtime=0.11 cores=0-7
/proc/2827/stat : 2827 (java) S 2825 2825 1674 0 -1 1077944320 5513 0 0 0 10 1 0 0 20 0 20 0 151641706 26623803392 6616 33554432000 4194304 4196468 140730378690064 140730378672608 140242126946039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
/proc/2827/statm: 6499952 6616 2845 1 0 6488269 0
[pid=2827/tid=2828] ppid=2825 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/2827/task/2828/stat : 2828 (java) R 2825 2825 1674 0 -1 4202560 3533 0 0 0 8 1 0 0 20 0 20 0 151641707 26623803392 6616 33554432000 4194304 4196468 140730378690064 140242131172288 140242104935536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2829] ppid=2825 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2827/task/2829/stat : 2829 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26623803392 6616 33554432000 4194304 4196468 140730378690064 140242092227344 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2830] ppid=2825 vsize=25999808 memory=139727452919424 CPUtime=0 cores=0-7
/proc/2827/task/2830/stat : 2830 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26623803392 6616 33554432000 4194304 4196468 140730378690064 140241684188048 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2831] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2831/stat : 2831 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26623803392 6616 33554432000 4194304 4196468 140730378690064 140241683135504 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2832] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2832/stat : 2832 (java) S 2825 2825 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151641707 26623803392 6616 33554432000 4194304 4196468 140730378690064 140241682082960 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2833] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2833/stat : 2833 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26623803392 6616 33554432000 4194304 4196468 140730378690064 140241681029392 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2834] ppid=2825 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2827/task/2834/stat : 2834 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26623803392 6616 33554432000 4194304 4196468 140730378690064 140241679976848 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2835] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2835/stat : 2835 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26623803392 6616 33554432000 4194304 4196468 140730378690064 140241678924304 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2836] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2836/stat : 2836 (java) S 2825 2825 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151641708 26623803392 6616 33554432000 4194304 4196468 140730378690064 140241677871760 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2837] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2837/stat : 2837 (java) S 2825 2825 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151641709 26623803392 6616 33554432000 4194304 4196468 140730378690064 140240533391856 140242126957186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2838] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2838/stat : 2838 (java) S 2825 2825 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151641709 26623803392 6616 33554432000 4194304 4196468 140730378690064 140240532338080 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2839] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2839/stat : 2839 (java) S 2825 2825 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151641710 26623803392 6616 33554432000 4194304 4196468 140730378690064 140240531285488 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2840] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2840/stat : 2840 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641712 26623803392 6616 33554432000 4194304 4196468 140730378690064 140240530234064 140242126964635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2841] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2841/stat : 2841 (java) S 2825 2825 1674 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 151641712 26623803392 6616 33554432000 4194304 4196468 140730378690064 140240529180656 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2842] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2842/stat : 2842 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641712 26623803392 6616 33554432000 4194304 4196468 140730378690064 140240528128112 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2843] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2843/stat : 2843 (java) S 2825 2825 1674 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151641712 26623803392 6616 33554432000 4194304 4196468 140730378690064 140240527075568 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2844] ppid=2825 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/2827/task/2844/stat : 2844 (java) S 2825 2825 1674 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 151641712 26623803392 6616 33554432000 4194304 4196468 140730378690064 140240526023024 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2845] ppid=2825 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2845/stat : 2845 (java) S 2825 2825 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151641712 26623803392 6616 33554432000 4194304 4196468 140730378690064 140240524970720 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2846] ppid=2825 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2827/task/2846/stat : 2846 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641712 26623803392 6616 33554432000 4194304 4196468 140730378690064 140240523918256 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27848 KiB

[startup+0.21039 s]*
/proc/loadavg: 8.37 7.94 7.47 3/199 2846
/proc/meminfo: memFree=27166712/32770624 swapFree=67108860/67108860
[pid=2825] ppid=2822 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2825/stat : 2825 (xcsp3-exec) S 2822 2825 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151641706 9740288 346 33554432000 4194304 5098028 140727393492576 140727393490680 140257089970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32198656 140727393498219 140727393498428 140727393498428 140727393501163 0
/proc/2825/statm: 2378 346 289 221 0 87 0
[pid=2827] ppid=2825 vsize=26004064 memory=39288 CPUtime=0.33 cores=0-7
/proc/2827/stat : 2827 (java) S 2825 2825 1674 0 -1 1077944320 8365 0 0 0 31 2 0 0 20 0 20 0 151641706 26628161536 9822 33554432000 4194304 4196468 140730378690064 140730378672608 140242126946039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
/proc/2827/statm: 6501016 9822 3074 1 0 6488269 0
[pid=2827/tid=2828] ppid=2825 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2827/task/2828/stat : 2828 (java) R 2825 2825 1674 0 -1 4202560 5443 0 0 0 18 1 0 0 20 0 20 0 151641707 26628161536 9822 33554432000 4194304 4196468 140730378690064 140242131160048 140242126967965 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2829] ppid=2825 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/2827/task/2829/stat : 2829 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 9822 33554432000 4194304 4196468 140730378690064 140242092227344 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2830] ppid=2825 vsize=26004064 memory=139727452925005 CPUtime=0 cores=0-7
/proc/2827/task/2830/stat : 2830 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 9822 33554432000 4194304 4196468 140730378690064 140241684188048 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2831] ppid=2825 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2827/task/2831/stat : 2831 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 9822 33554432000 4194304 4196468 140730378690064 140241683135504 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2832] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2832/stat : 2832 (java) S 2825 2825 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 9822 33554432000 4194304 4196468 140730378690064 140241682082960 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2833] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2833/stat : 2833 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 9822 33554432000 4194304 4196468 140730378690064 140241681029392 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2834] ppid=2825 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2827/task/2834/stat : 2834 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 9822 33554432000 4194304 4196468 140730378690064 140241679976848 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2835] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2835/stat : 2835 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 9822 33554432000 4194304 4196468 140730378690064 140241678924304 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2836] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2836/stat : 2836 (java) S 2825 2825 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151641708 26628161536 9822 33554432000 4194304 4196468 140730378690064 140241677871760 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2837] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2837/stat : 2837 (java) S 2825 2825 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151641709 26628161536 9822 33554432000 4194304 4196468 140730378690064 140240533391856 140242126957186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2838] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2838/stat : 2838 (java) S 2825 2825 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151641709 26628161536 9822 33554432000 4194304 4196468 140730378690064 140240532338080 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2839] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2839/stat : 2839 (java) S 2825 2825 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151641710 26628161536 9822 33554432000 4194304 4196468 140730378690064 140240531285488 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2840] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2840/stat : 2840 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641712 26628161536 9822 33554432000 4194304 4196468 140730378690064 140240530234064 140242126964635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2841] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2841/stat : 2841 (java) S 2825 2825 1674 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 151641712 26628161536 9822 33554432000 4194304 4196468 140730378690064 140240529180656 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2842] ppid=2825 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/2827/task/2842/stat : 2842 (java) S 2825 2825 1674 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 20 0 151641712 26628161536 9822 33554432000 4194304 4196468 140730378690064 140240528128112 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2843] ppid=2825 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/2827/task/2843/stat : 2843 (java) S 2825 2825 1674 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 20 0 151641712 26628161536 9822 33554432000 4194304 4196468 140730378690064 140240527075568 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2844] ppid=2825 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/2827/task/2844/stat : 2844 (java) R 2825 2825 1674 0 -1 4202560 754 0 0 0 8 0 0 0 20 0 20 0 151641712 26628161536 9822 33554432000 4194304 4196468 140730378690064 140240526023024 140242119183166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2845] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2845/stat : 2845 (java) S 2825 2825 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151641712 26628161536 9822 33554432000 4194304 4196468 140730378690064 140240524970720 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2846] ppid=2825 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2827/task/2846/stat : 2846 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641712 26628161536 9822 33554432000 4194304 4196468 140730378690064 140240523918256 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40672 KiB

[startup+0.310331 s]*
/proc/loadavg: 8.37 7.94 7.47 3/199 2846
/proc/meminfo: memFree=27162308/32770624 swapFree=67108860/67108860
[pid=2825] ppid=2822 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2825/stat : 2825 (xcsp3-exec) S 2822 2825 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151641706 9740288 346 33554432000 4194304 5098028 140727393492576 140727393490680 140257089970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32198656 140727393498219 140727393498428 140727393498428 140727393501163 0
/proc/2825/statm: 2378 346 289 221 0 87 0
[pid=2827] ppid=2825 vsize=26004064 memory=43932 CPUtime=0.5 cores=0-7
/proc/2827/stat : 2827 (java) S 2825 2825 1674 0 -1 1077944320 9241 0 0 0 47 3 0 0 20 0 20 0 151641706 26628161536 10983 33554432000 4194304 4196468 140730378690064 140730378672608 140242126946039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
/proc/2827/statm: 6501016 10983 3094 1 0 6488269 0
[pid=2827/tid=2828] ppid=2825 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/2827/task/2828/stat : 2828 (java) R 2825 2825 1674 0 -1 4202560 6109 0 0 0 27 2 0 0 20 0 20 0 151641707 26628161536 11049 33554432000 4194304 4196468 140730378690064 140242131185376 140241763350281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2829] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2829/stat : 2829 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 11049 33554432000 4194304 4196468 140730378690064 140242092227344 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2830] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2830/stat : 2830 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 11049 33554432000 4194304 4196468 140730378690064 140241684188048 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2831] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2831/stat : 2831 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 11049 33554432000 4194304 4196468 140730378690064 140241683135504 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2832] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2832/stat : 2832 (java) S 2825 2825 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 11049 33554432000 4194304 4196468 140730378690064 140241682082960 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2833] ppid=2825 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/2827/task/2833/stat : 2833 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 11049 33554432000 4194304 4196468 140730378690064 140241681029392 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2834] ppid=2825 vsize=26004064 memory=139727298720687 CPUtime=0 cores=0-7
/proc/2827/task/2834/stat : 2834 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 11049 33554432000 4194304 4196468 140730378690064 140241679976848 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2835] ppid=2825 vsize=26004064 memory=139727298722992 CPUtime=0 cores=0-7
/proc/2827/task/2835/stat : 2835 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26628161536 11049 33554432000 4194304 4196468 140730378690064 140241678924304 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2836] ppid=2825 vsize=26004064 memory=139727298725296 CPUtime=0 cores=0-7
/proc/2827/task/2836/stat : 2836 (java) S 2825 2825 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151641708 26628161536 11049 33554432000 4194304 4196468 140730378690064 140241677871760 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2837] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2837/stat : 2837 (java) S 2825 2825 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151641709 26628161536 11049 33554432000 4194304 4196468 140730378690064 140240533391856 140242126957186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2838] ppid=2825 vsize=26004064 memory=279454597457552 CPUtime=0 cores=0-7
/proc/2827/task/2838/stat : 2838 (java) S 2825 2825 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151641709 26628161536 11049 33554432000 4194304 4196468 140730378690064 140240532338080 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2839] ppid=2825 vsize=26004064 memory=279454597464464 CPUtime=0 cores=0-7
/proc/2827/task/2839/stat : 2839 (java) S 2825 2825 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151641710 26628161536 11049 33554432000 4194304 4196468 140730378690064 140240531285488 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2840] ppid=2825 vsize=26004064 memory=279454597405744 CPUtime=0 cores=0-7
/proc/2827/task/2840/stat : 2840 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641712 26628161536 11049 33554432000 4194304 4196468 140730378690064 140240530234064 140242126964635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2841] ppid=2825 vsize=26004064 memory=279454597478288 CPUtime=0.02 cores=0-7
/proc/2827/task/2841/stat : 2841 (java) S 2825 2825 1674 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 20 0 151641712 26628161536 11049 33554432000 4194304 4196468 140730378690064 140240529180656 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2842] ppid=2825 vsize=26004064 memory=279454597485200 CPUtime=0.03 cores=0-7
/proc/2827/task/2842/stat : 2842 (java) R 2825 2825 1674 0 -1 1077944384 388 0 0 0 3 0 0 0 20 0 20 0 151641712 26628161536 11049 33554432000 4194304 4196468 140730378690064 140240528128112 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2843] ppid=2825 vsize=26004064 memory=279454597482896 CPUtime=0.01 cores=0-7
/proc/2827/task/2843/stat : 2843 (java) S 2825 2825 1674 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 20 0 151641712 26628161536 11049 33554432000 4194304 4196468 140730378690064 140240527075568 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2844] ppid=2825 vsize=26004064 memory=279454597499056 CPUtime=0.12 cores=0-7
/proc/2827/task/2844/stat : 2844 (java) R 2825 2825 1674 0 -1 4202560 859 0 0 0 12 0 0 0 20 0 20 0 151641712 26628161536 11049 33554432000 4194304 4196468 140730378690064 140240526023024 140242106252913 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2845] ppid=2825 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2845/stat : 2845 (java) S 2825 2825 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151641712 26628161536 11049 33554432000 4194304 4196468 140730378690064 140240524970720 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2846] ppid=2825 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2827/task/2846/stat : 2846 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641712 26628161536 11049 33554432000 4194304 4196468 140730378690064 140240523918256 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45316 KiB

[startup+0.700959 s]
/proc/loadavg: 8.37 7.94 7.47 6/199 2846
/proc/meminfo: memFree=27136376/32770624 swapFree=67108860/67108860
[pid=2825] ppid=2822 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2825/stat : 2825 (xcsp3-exec) S 2822 2825 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151641706 9740288 346 33554432000 4194304 5098028 140727393492576 140727393490680 140257089970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32198656 140727393498219 140727393498428 140727393498428 140727393501163 0
/proc/2825/statm: 2378 346 289 221 0 87 0
[pid=2827] ppid=2825 vsize=26006188 memory=92472 CPUtime=2.01 cores=0-7
/proc/2827/stat : 2827 (java) S 2825 2825 1674 0 -1 1077944320 13129 0 0 0 196 5 0 0 20 0 20 0 151641706 26630336512 23118 33554432000 4194304 4196468 140730378690064 140730378672608 140242126946039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
/proc/2827/statm: 6501547 23118 3199 1 0 6488781 0
[pid=2827/tid=2828] ppid=2825 vsize=26006188 memory=279454597856944 CPUtime=0.67 cores=0-7
/proc/2827/task/2828/stat : 2828 (java) R 2825 2825 1674 0 -1 4202560 6684 0 0 0 64 3 0 0 20 0 20 0 151641707 26630336512 23118 33554432000 4194304 4196468 140730378690064 140242131170048 140242111026526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2829] ppid=2825 vsize=26006188 memory=139727298929520 CPUtime=0 cores=0-7
/proc/2827/task/2829/stat : 2829 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26630336512 23118 33554432000 4194304 4196468 140730378690064 140242092227344 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2830] ppid=2825 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/2827/task/2830/stat : 2830 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26630336512 23118 33554432000 4194304 4196468 140730378690064 140241684188048 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2831] ppid=2825 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/2827/task/2831/stat : 2831 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151641707 26630336512 23118 33554432000 4194304 4196468 140730378690064 140241683135504 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0

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

[pid=2827/tid=3493] ppid=2825 vsize=26938084 memory=800 CPUtime=2.95 cores=0-7
/proc/2827/task/3493/stat : 3493 (java) R 2825 2825 1674 0 -1 4202560 127 0 0 0 295 0 0 0 20 0 28 0 151657638 27584598016 547771 33554432000 4194304 4196468 140730378690064 140240503280408 140241772071485 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
Current children cumulated CPU time: 1275.78 s
Current children cumulated vsize: 26947596 KiB
Current children cumulated memory: 2192468 KiB

[startup+222.301 s]
/proc/loadavg: 8.02 7.99 7.59 9/207 3525
/proc/meminfo: memFree=25030832/32770624 swapFree=67108860/67108860
[pid=2825] ppid=2822 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2825/stat : 2825 (xcsp3-exec) S 2822 2825 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151641706 9740288 346 33554432000 4194304 5098028 140727393492576 140727393490680 140257089970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32198656 140727393498219 140727393498428 140727393498428 140727393501163 0
/proc/2825/statm: 2378 346 289 221 0 87 0
[pid=2827] ppid=2825 vsize=26938084 memory=2171080 CPUtime=1748.82 cores=0-7
/proc/2827/stat : 2827 (java) S 2825 2825 1674 0 -1 1077944320 179412 0 0 0 174639 243 0 0 20 0 28 0 151641706 27584598016 542770 33554432000 4194304 4196468 140730378690064 140730378672608 140242126946039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
/proc/2827/statm: 6734521 542770 3289 1 0 6721755 0
[pid=2827/tid=2828] ppid=2825 vsize=26938084 memory=2197800 CPUtime=1.27 cores=0-7
/proc/2827/task/2828/stat : 2828 (java) S 2825 2825 1674 0 -1 1077944384 12186 0 0 0 121 6 0 0 20 0 28 0 151641707 27584598016 542770 33554432000 4194304 4196468 140730378690064 140242131186816 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2829] ppid=2825 vsize=26938084 memory=2197916 CPUtime=0.15 cores=0-7
/proc/2827/task/2829/stat : 2829 (java) S 2825 2825 1674 0 -1 1077944384 660 0 0 0 9 6 0 0 20 0 28 0 151641707 27584598016 542770 33554432000 4194304 4196468 140730378690064 140242092227344 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2830] ppid=2825 vsize=26938084 memory=2197624 CPUtime=0.16 cores=0-7
/proc/2827/task/2830/stat : 2830 (java) S 2825 2825 1674 0 -1 1077944384 728 0 0 0 10 6 0 0 20 0 28 0 151641707 27584598016 542770 33554432000 4194304 4196468 140730378690064 140241684188048 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2831] ppid=2825 vsize=26938084 memory=2191088 CPUtime=0.17 cores=0-7
/proc/2827/task/2831/stat : 2831 (java) S 2825 2825 1674 0 -1 1077944384 691 0 0 0 11 6 0 0 20 0 28 0 151641707 27584598016 542770 33554432000 4194304 4196468 140730378690064 140241683135504 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2832] ppid=2825 vsize=26938084 memory=2191092 CPUtime=0.15 cores=0-7
/proc/2827/task/2832/stat : 2832 (java) S 2825 2825 1674 0 -1 1077944384 628 0 0 0 9 6 0 0 20 0 28 0 151641707 27584598016 542770 33554432000 4194304 4196468 140730378690064 140241682082960 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2833] ppid=2825 vsize=26938084 memory=2171076 CPUtime=0.14 cores=0-7
/proc/2827/task/2833/stat : 2833 (java) S 2825 2825 1674 0 -1 1077944384 637 0 0 0 9 5 0 0 20 0 28 0 151641707 27584598016 542770 33554432000 4194304 4196468 140730378690064 140241681029392 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2834] ppid=2825 vsize=26938084 memory=2171136 CPUtime=0.17 cores=0-7
/proc/2827/task/2834/stat : 2834 (java) S 2825 2825 1674 0 -1 1077944384 388 0 0 0 10 7 0 0 20 0 28 0 151641707 27584598016 542770 33554432000 4194304 4196468 140730378690064 140241679976848 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2835] ppid=2825 vsize=26938084 memory=1384 CPUtime=0.15 cores=0-7
/proc/2827/task/2835/stat : 2835 (java) S 2825 2825 1674 0 -1 1077944384 691 0 0 0 9 6 0 0 20 0 28 0 151641707 27584598016 542770 33554432000 4194304 4196468 140730378690064 140241678924304 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2836] ppid=2825 vsize=26938084 memory=1384 CPUtime=0.13 cores=0-7
/proc/2827/task/2836/stat : 2836 (java) S 2825 2825 1674 0 -1 1077944384 415 0 0 0 8 5 0 0 20 0 28 0 151641708 27584598016 542770 33554432000 4194304 4196468 140730378690064 140241677871760 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2837] ppid=2825 vsize=26938084 memory=173446 CPUtime=0.07 cores=0-7
/proc/2827/task/2837/stat : 2837 (java) S 2825 2825 1674 0 -1 1077944384 4451 0 0 0 4 3 0 0 20 0 28 0 151641709 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240533391856 140242126957186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2838] ppid=2825 vsize=26938084 memory=2171080 CPUtime=0 cores=0-7
/proc/2827/task/2838/stat : 2838 (java) S 2825 2825 1674 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 151641709 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240532338144 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2839] ppid=2825 vsize=26938084 memory=2171080 CPUtime=0 cores=0-7
/proc/2827/task/2839/stat : 2839 (java) S 2825 2825 1674 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 151641710 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240531285504 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2840] ppid=2825 vsize=26938084 memory=1384 CPUtime=0 cores=0-7
/proc/2827/task/2840/stat : 2840 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151641712 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240530234064 140242126964635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2841] ppid=2825 vsize=26938084 memory=1384 CPUtime=3.33 cores=0-7
/proc/2827/task/2841/stat : 2841 (java) S 2825 2825 1674 0 -1 1077944384 14566 0 0 0 330 3 0 0 20 0 28 0 151641712 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240529180656 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2842] ppid=2825 vsize=26938084 memory=1384 CPUtime=3.13 cores=0-7
/proc/2827/task/2842/stat : 2842 (java) S 2825 2825 1674 0 -1 1077944384 12906 0 0 0 312 1 0 0 20 0 28 0 151641712 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240528128112 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2843] ppid=2825 vsize=26938084 memory=2171080 CPUtime=2.93 cores=0-7
/proc/2827/task/2843/stat : 2843 (java) S 2825 2825 1674 0 -1 1077944384 6824 0 0 0 291 2 0 0 20 0 28 0 151641712 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240527075568 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2844] ppid=2825 vsize=26938084 memory=1712 CPUtime=1.04 cores=0-7
/proc/2827/task/2844/stat : 2844 (java) S 2825 2825 1674 0 -1 1077944384 15825 0 0 0 101 3 0 0 20 0 28 0 151641712 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240526023024 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2845] ppid=2825 vsize=26938084 memory=4612 CPUtime=0 cores=0-7
/proc/2827/task/2845/stat : 2845 (java) S 2825 2825 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151641712 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240524970720 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2846] ppid=2825 vsize=26938084 memory=8112282956445269571 CPUtime=0.06 cores=0-7
/proc/2827/task/2846/stat : 2846 (java) S 2825 2825 1674 0 -1 1077944384 3296 0 0 0 0 6 0 0 20 0 28 0 151641712 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240523918256 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3518] ppid=2825 vsize=26938084 memory=8716 CPUtime=5.8 cores=0-7
/proc/2827/task/3518/stat : 3518 (java) R 2825 2825 1674 0 -1 4202560 294 0 0 0 580 0 0 0 20 0 28 0 151663355 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240514858760 140241772069156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3519] ppid=2825 vsize=26938084 memory=2171080 CPUtime=5.8 cores=0-7
/proc/2827/task/3519/stat : 3519 (java) R 2825 2825 1674 0 -1 4202560 304 0 0 0 580 0 0 0 20 0 28 0 151663355 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240507491320 140241772068854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3520] ppid=2825 vsize=26938084 memory=4100 CPUtime=5.68 cores=0-7
/proc/2827/task/3520/stat : 3520 (java) R 2825 2825 1674 0 -1 4202560 874 0 0 0 568 0 0 0 20 0 28 0 151663355 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240509596216 140241771668289 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3521] ppid=2825 vsize=26938084 memory=41892 CPUtime=5.8 cores=0-7
/proc/2827/task/3521/stat : 3521 (java) R 2825 2825 1674 0 -1 4202560 566 0 0 0 579 1 0 0 20 0 28 0 151663355 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240505387848 140241773576220 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3522] ppid=2825 vsize=26938084 memory=1384 CPUtime=5.79 cores=0-7
/proc/2827/task/3522/stat : 3522 (java) R 2825 2825 1674 0 -1 4202560 533 0 0 0 579 0 0 0 20 0 28 0 151663355 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240502229960 140241772354261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3523] ppid=2825 vsize=26938084 memory=2171080 CPUtime=5.8 cores=0-7
/proc/2827/task/3523/stat : 3523 (java) R 2825 2825 1674 0 -1 4202560 238 0 0 0 580 0 0 0 20 0 28 0 151663355 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240510651464 140241772068812 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3524] ppid=2825 vsize=26938084 memory=2240 CPUtime=5.8 cores=0-7
/proc/2827/task/3524/stat : 3524 (java) R 2825 2825 1674 0 -1 4202560 280 0 0 0 580 0 0 0 20 0 28 0 151663355 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240503282888 140241767212108 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3525] ppid=2825 vsize=26938084 memory=4100 CPUtime=5.78 cores=0-7
/proc/2827/task/3525/stat : 3525 (java) R 2825 2825 1674 0 -1 4202560 842 0 0 0 578 0 0 0 20 0 28 0 151663355 27584598016 542770 33554432000 4194304 4196468 140730378690064 140240506441032 140241773499570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
Current children cumulated CPU time: 1748.82 s
Current children cumulated vsize: 26947596 KiB
Current children cumulated memory: 2172464 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.26 8.05 7.63 9/207 3525
/proc/meminfo: memFree=25032448/32770624 swapFree=67108860/67108860
[pid=2825] ppid=2822 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2825/stat : 2825 (xcsp3-exec) S 2822 2825 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151641706 9740288 346 33554432000 4194304 5098028 140727393492576 140727393490680 140257089970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32198656 140727393498219 140727393498428 140727393498428 140727393501163 0
/proc/2825/statm: 2378 346 289 221 0 87 0
[pid=2827] ppid=2825 vsize=26938084 memory=2170048 CPUtime=1985.81 cores=0-7
/proc/2827/stat : 2827 (java) S 2825 2825 1674 0 -1 1077944320 186705 0 0 0 198329 252 0 0 20 0 28 0 151641706 27584598016 542512 33554432000 4194304 4196468 140730378690064 140730378672608 140242126946039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
/proc/2827/statm: 6734521 542512 3289 1 0 6721755 0
[pid=2827/tid=2828] ppid=2825 vsize=26938084 memory=8112282956445269571 CPUtime=1.27 cores=0-7
/proc/2827/task/2828/stat : 2828 (java) S 2825 2825 1674 0 -1 1077944384 12186 0 0 0 121 6 0 0 20 0 28 0 151641707 27584598016 542512 33554432000 4194304 4196468 140730378690064 140242131186816 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2829] ppid=2825 vsize=26938084 memory=4126316290023845779 CPUtime=0.15 cores=0-7
/proc/2827/task/2829/stat : 2829 (java) S 2825 2825 1674 0 -1 1077944384 717 0 0 0 9 6 0 0 20 0 28 0 151641707 27584598016 542512 33554432000 4194304 4196468 140730378690064 140242092227344 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2830] ppid=2825 vsize=26938084 memory=4100 CPUtime=0.16 cores=0-7
/proc/2827/task/2830/stat : 2830 (java) S 2825 2825 1674 0 -1 1077944384 750 0 0 0 10 6 0 0 20 0 28 0 151641707 27584598016 542512 33554432000 4194304 4196468 140730378690064 140241684188048 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2831] ppid=2825 vsize=26938084 memory=1696 CPUtime=0.17 cores=0-7
/proc/2827/task/2831/stat : 2831 (java) S 2825 2825 1674 0 -1 1077944384 724 0 0 0 11 6 0 0 20 0 28 0 151641707 27584598016 542512 33554432000 4194304 4196468 140730378690064 140241683135504 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2832] ppid=2825 vsize=26938084 memory=920 CPUtime=0.17 cores=0-7
/proc/2827/task/2832/stat : 2832 (java) S 2825 2825 1674 0 -1 1077944384 668 0 0 0 10 7 0 0 20 0 28 0 151641707 27584598016 542512 33554432000 4194304 4196468 140730378690064 140241682082960 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2833] ppid=2825 vsize=26938084 memory=4512 CPUtime=0.14 cores=0-7
/proc/2827/task/2833/stat : 2833 (java) S 2825 2825 1674 0 -1 1077944384 666 0 0 0 9 5 0 0 20 0 28 0 151641707 27584598016 542512 33554432000 4194304 4196468 140730378690064 140241681029392 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2834] ppid=2825 vsize=26938084 memory=1236 CPUtime=0.17 cores=0-7
/proc/2827/task/2834/stat : 2834 (java) S 2825 2825 1674 0 -1 1077944384 411 0 0 0 10 7 0 0 20 0 28 0 151641707 27584598016 542512 33554432000 4194304 4196468 140730378690064 140241679976848 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2835] ppid=2825 vsize=26938084 memory=1384 CPUtime=0.16 cores=0-7
/proc/2827/task/2835/stat : 2835 (java) S 2825 2825 1674 0 -1 1077944384 753 0 0 0 10 6 0 0 20 0 28 0 151641707 27584598016 542512 33554432000 4194304 4196468 140730378690064 140241678924304 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2836] ppid=2825 vsize=26938084 memory=2171080 CPUtime=0.13 cores=0-7
/proc/2827/task/2836/stat : 2836 (java) S 2825 2825 1674 0 -1 1077944384 819 0 0 0 8 5 0 0 20 0 28 0 151641708 27584598016 542512 33554432000 4194304 4196468 140730378690064 140241677871760 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2837] ppid=2825 vsize=26938084 memory=1384 CPUtime=0.07 cores=0-7
/proc/2827/task/2837/stat : 2837 (java) S 2825 2825 1674 0 -1 1077944384 4736 0 0 0 4 3 0 0 20 0 28 0 151641709 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240533391856 140242126957186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2838] ppid=2825 vsize=26938084 memory=2171080 CPUtime=0 cores=0-7
/proc/2827/task/2838/stat : 2838 (java) S 2825 2825 1674 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 151641709 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240532338144 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2839] ppid=2825 vsize=26938084 memory=1004 CPUtime=0 cores=0-7
/proc/2827/task/2839/stat : 2839 (java) S 2825 2825 1674 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 151641710 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240531285504 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2840] ppid=2825 vsize=26938084 memory=1200 CPUtime=0 cores=0-7
/proc/2827/task/2840/stat : 2840 (java) S 2825 2825 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151641712 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240530234064 140242126964635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2841] ppid=2825 vsize=26938084 memory=15876 CPUtime=3.33 cores=0-7
/proc/2827/task/2841/stat : 2841 (java) S 2825 2825 1674 0 -1 1077944384 14578 0 0 0 330 3 0 0 20 0 28 0 151641712 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240529180656 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2842] ppid=2825 vsize=26938084 memory=23212 CPUtime=3.13 cores=0-7
/proc/2827/task/2842/stat : 2842 (java) S 2825 2825 1674 0 -1 1077944384 12918 0 0 0 312 1 0 0 20 0 28 0 151641712 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240528128112 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2843] ppid=2825 vsize=26938084 memory=4052 CPUtime=2.93 cores=0-7
/proc/2827/task/2843/stat : 2843 (java) S 2825 2825 1674 0 -1 1077944384 7656 0 0 0 291 2 0 0 20 0 28 0 151641712 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240527075568 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2844] ppid=2825 vsize=26938084 memory=16236 CPUtime=1.04 cores=0-7
/proc/2827/task/2844/stat : 2844 (java) S 2825 2825 1674 0 -1 1077944384 15857 0 0 0 101 3 0 0 20 0 28 0 151641712 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240526023024 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2845] ppid=2825 vsize=26938084 memory=1796 CPUtime=0 cores=0-7
/proc/2827/task/2845/stat : 2845 (java) S 2825 2825 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151641712 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240524970720 140242126956245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=2846] ppid=2825 vsize=26938084 memory=44036 CPUtime=0.07 cores=0-7
/proc/2827/task/2846/stat : 2846 (java) S 2825 2825 1674 0 -1 1077944384 3403 0 0 0 0 7 0 0 20 0 28 0 151641712 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240523918256 140242126957186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3518] ppid=2825 vsize=26938084 memory=12132 CPUtime=35.49 cores=0-7
/proc/2827/task/3518/stat : 3518 (java) R 2825 2825 1674 0 -1 4202560 601 0 0 0 3549 0 0 0 20 0 28 0 151663355 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240514854656 140241772068733 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3519] ppid=2825 vsize=26938084 memory=1440 CPUtime=35.49 cores=0-7
/proc/2827/task/3519/stat : 3519 (java) R 2825 2825 1674 0 -1 4202560 564 0 0 0 3549 0 0 0 20 0 28 0 151663355 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240507487216 140241770517402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3520] ppid=2825 vsize=26938084 memory=5796 CPUtime=34.8 cores=0-7
/proc/2827/task/3520/stat : 3520 (java) R 2825 2825 1674 0 -1 4202560 2056 0 0 0 3479 1 0 0 20 0 28 0 151663355 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240509591784 140241772170316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3521] ppid=2825 vsize=26938084 memory=1224 CPUtime=35.5 cores=0-7
/proc/2827/task/3521/stat : 3521 (java) R 2825 2825 1674 0 -1 4202560 1862 0 0 0 3545 5 0 0 20 0 28 0 151663355 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240505381240 140241772066741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3522] ppid=2825 vsize=26938084 memory=8716 CPUtime=35.49 cores=0-7
/proc/2827/task/3522/stat : 3522 (java) R 2825 2825 1674 0 -1 4202560 1377 0 0 0 3548 1 0 0 20 0 28 0 151663355 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240502225696 140241770735034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3523] ppid=2825 vsize=26938084 memory=1384 CPUtime=35.47 cores=0-7
/proc/2827/task/3523/stat : 3523 (java) R 2825 2825 1674 0 -1 4202560 534 0 0 0 3547 0 0 0 20 0 28 0 151663355 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240510644736 140241770516244 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3524] ppid=2825 vsize=26938084 memory=1384 CPUtime=35.48 cores=0-7
/proc/2827/task/3524/stat : 3524 (java) R 2825 2825 1674 0 -1 4202560 564 0 0 0 3548 0 0 0 20 0 28 0 151663355 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240503279784 140241771252994 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
[pid=2827/tid=3525] ppid=2825 vsize=26938084 memory=1384 CPUtime=35.48 cores=0-7
/proc/2827/task/3525/stat : 3525 (java) R 2825 2825 1674 0 -1 4202560 1719 0 0 0 3547 1 0 0 20 0 28 0 151663355 27584598016 542512 33554432000 4194304 4196468 140730378690064 140240506434264 140241770517389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10223616 140730378695832 140730378696008 140730378696008 140730378698703 0
Current children cumulated CPU time: 1985.81 s
Current children cumulated vsize: 26947596 KiB
Current children cumulated memory: 2171432 KiB

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

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

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

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

Child status: 143
Real time (s): 252.101
CPU time (s): 1986.43
CPU user time (s): 1983.89
CPU system time (s): 2.54459
CPU usage (%): 787.95
Max. virtual memory (cumulated for all children) (KiB): 26947596
Max. memory (cumulated for all children) (KiB): 2200420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1983.89
system time used= 2.54459
maximum resident set size= 2213012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188061
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18671
involuntary context switches= 21843


# summary of solver processes directly reported to runsolver:
#   pid: 2825,2827
#   total CPU time (s): 1986.43
#   total CPU user time (s): 1983.89
#   total CPU system time (s): 2.54459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.58448 second user time and 2.47135 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-20 01:18:02
IDJOB=4281636
IDBENCH=124419
IDSOLVER=2676
FILE ID=node113/4281636-1503185542
RUNJOBID= node113-1503181653-1704
PBS_JOBID= 20630852
Free space on /tmp= 61692 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-4281636-1503185542/watcher-4281636-1503185542 -o /tmp/evaluation-result-4281636-1503185542/solver-4281636-1503185542 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 412603255 HOME/instance-4281636-1503185542.xml

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

MD5SUM BENCH= 4e8baeb7bdba194b7c2724961347fdb9
RANDOM SEED=412603255

node113.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.89
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.89
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.89
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.89
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:        27194640 kB
MemAvailable:   31970896 kB
Buffers:          255072 kB
Cached:          4810632 kB
SwapCached:            0 kB
Active:          1257160 kB
Inactive:        3863636 kB
Active(anon):       4884 kB
Inactive(anon):    85928 kB
Active(file):    1252276 kB
Inactive(file):  3777708 kB
Unevictable:        7476 kB
Mlocked:            7476 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7872 kB
Writeback:             0 kB
AnonPages:         61936 kB
Mapped:            51356 kB
Shmem:             33416 kB
Slab:             150844 kB
SReclaimable:     124216 kB
SUnreclaim:        26628 kB
KernelStack:        3184 kB
PageTables:         5236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61684 MiB
End job on node113 at 2017-08-20 01:22:14