Trace number 4404768

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 2019-09-20 parallelSAT (TO)322 20075.1 2520.12

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-053.xml
MD5SUM7b052d900118d6d219a2e5f61835436e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark294
Best CPU time to get the best result obtained on this benchmark2520.03
Satisfiable
(Un)Satisfiability was proved
Number of variables2861
Number of constraints1482
Number of domains105
Minimum domain size2
Maximum domain size105
Distribution of domain sizes[{"size":2,"count":1432},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}]
Minimum variable degree0
Maximum variable degree52
Distribution of variable degrees[{"degree":0,"count":1326},{"degree":2,"count":1482},{"degree":52,"count":53}]
Minimum constraint arity2
Maximum constraint arity53
Distribution of constraint arities[{"arity":2,"count":53},{"arity":3,"count":1379},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":29,"count":1}, {"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}]
Number of extensional constraints0
Number of intensional constraints1430
Distribution of constraint types[{"type":"intension","count":1430},{"type":"sum","count":52}]
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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404768-1568999602.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404768-1568999602.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
8.16/2.11	c solve instance...
10.32/2.48	o 48230 
10.91/2.55	o 42926 
10.91/2.56	o 42730 
10.91/2.56	o 38226 
10.91/2.57	o 38030 
11.99/2.71	o 1026 
11.99/2.72	o 878 
11.99/2.75	o 874 
15.74/3.91	o 814 
16.49/4.17	o 730 
18.34/4.50	o 674 
18.34/4.53	o 634 
23.03/5.20	o 614 
33.32/6.59	o 586 
33.74/6.61	o 538 
33.74/6.66	o 534 
34.14/6.89	o 506 
34.30/6.91	o 490 
39.38/7.65	o 454 
52.25/9.49	o 438 
59.11/10.50	o 430 
65.40/11.38	o 374 
91.88/14.82	o 362 
145.43/21.71	o 342 
7912.90/995.48	o 338 
11736.93/1474.86	o 334 
11805.49/1483.50	o 322 
20074.44/2520.07	s SATISFIABLE
20074.44/2520.07	v <instantiation>
20074.44/2520.07	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[48][0] y[48][1] y[48][2] y[48][3] y[49][0] y[49][1] y[49][2] y[50][0] y[50][1] y[51][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] </list>
20074.44/2520.07	v 	<values>1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 2 1 0 -7 -4 1 2 -1 2 1 -2 3 0 -1 0 3 4 1 0 -5 0 1 0 3 -4 1 -4 1 2 1 0 -3 6 1 0 1 -2 -3 2 -3 2 -1 -4 3 2 -1 0 1 -4 1 0 -1 4 1 0 49 16 1 4 1 4 1 4 9 0 1 0 9 16 1 0 25 0 1 0 9 16 1 16 1 4 1 0 9 36 1 0 1 4 9 4 9 4 1 16 9 4 1 0 1 16 1 0 1 </values>
20074.44/2520.07	v </instantiation>
20074.44/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	322

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404768-1568999602/watcher-4404768-1568999602 -o /tmp/evaluation-result-4404768-1568999602/solver-4404768-1568999602 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568994968-4744 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 998177857 HOME/instance-4404768-1568999602.xml 

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

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

solver pid=6942, runsolver pid=6939

[startup+0.100112 s]*
/proc/loadavg: 6.75 5.74 6.86 2/213 6963
/proc/meminfo: memFree=24910188/32770624 swapFree=66955436/67108860
[pid=6942] ppid=6939 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 4717 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476231592 115843072 363 33554432000 4194304 5098028 140727631392176 140727631390280 140488666931836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8142848 140727631397750 140727631397993 140727631397993 140727631400906 0
/proc/6942/statm: 28282 363 304 221 0 87 0
[pid=6944] ppid=6942 vsize=28227396 memory=30100 CPUtime=0.12 cores=0-7
/proc/6944/stat : 6944 (java) S 6942 6942 4717 0 -1 1077944320 5485 0 0 0 11 1 0 0 20 0 20 0 476231592 28904853504 7525 33554432000 4194304 4196468 140736902136288 140736902118832 139776217231095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
/proc/6944/statm: 7056849 7525 3121 1 0 7019032 0
[pid=6944/tid=6945] ppid=6942 vsize=28227396 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 4717 0 -1 4202560 3402 0 0 0 8 0 0 0 20 0 20 0 476231593 28904853504 7525 33554432000 4194304 4196468 140736902136288 139776221463848 139776217243030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6946] ppid=6942 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 7525 33554432000 4194304 4196468 140736902136288 139776169852048 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6947] ppid=6942 vsize=28227396 memory=140694169794176 CPUtime=0 cores=0-7
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 7525 33554432000 4194304 4196468 140736902136288 139776168799248 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6948] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 7525 33554432000 4194304 4196468 140736902136288 139776167746448 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6949] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 7525 33554432000 4194304 4196468 140736902136288 139776166693648 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6950] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 7525 33554432000 4194304 4196468 140736902136288 139776165640848 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6951] ppid=6942 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 7525 33554432000 4194304 4196468 140736902136288 139776164588048 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6952] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 7525 33554432000 4194304 4196468 140736902136288 139776163535248 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6953] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 7525 33554432000 4194304 4196468 140736902136288 139776162482448 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6954] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6954/stat : 6954 (java) S 6942 6942 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476231595 28904853504 7525 33554432000 4194304 4196468 140736902136288 139774394305392 139776217242242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6955] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 4717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476231595 28904853504 7525 33554432000 4194304 4196468 140736902136288 139774393251360 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6956] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 4717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476231595 28904853504 7525 33554432000 4194304 4196468 140736902136288 139774392198512 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6957] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231598 28904853504 7525 33554432000 4194304 4196468 140736902136288 139774391146832 139776217249691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6958] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6958/stat : 6958 (java) S 6942 6942 4717 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 476231598 28904853504 7525 33554432000 4194304 4196468 140736902136288 139774390094192 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6959] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6959/stat : 6959 (java) S 6942 6942 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476231598 28904853504 7525 33554432000 4194304 4196468 140736902136288 139774389041392 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6960] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6960/stat : 6960 (java) S 6942 6942 4717 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476231598 28904853504 7525 33554432000 4194304 4196468 140736902136288 139774387988592 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6961] ppid=6942 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/6944/task/6961/stat : 6961 (java) S 6942 6942 4717 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 20 0 476231598 28904853504 7525 33554432000 4194304 4196468 140736902136288 139774386935792 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6962] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6962/stat : 6962 (java) S 6942 6942 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476231598 28904853504 7525 33554432000 4194304 4196468 140736902136288 139774385884256 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6963] ppid=6942 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6944/task/6963/stat : 6963 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231598 28904853504 7525 33554432000 4194304 4196468 140736902136288 139774384831536 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31552 KiB

[startup+0.21038 s]*
/proc/loadavg: 6.75 5.74 6.86 3/213 6963
/proc/meminfo: memFree=24898064/32770624 swapFree=66955436/67108860
[pid=6942] ppid=6939 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 4717 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476231592 115843072 363 33554432000 4194304 5098028 140727631392176 140727631390280 140488666931836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8142848 140727631397750 140727631397993 140727631397993 140727631400906 0
/proc/6942/statm: 28282 363 304 221 0 87 0
[pid=6944] ppid=6942 vsize=28227396 memory=40476 CPUtime=0.33 cores=0-7
/proc/6944/stat : 6944 (java) S 6942 6942 4717 0 -1 1077944320 8896 0 0 0 30 3 0 0 20 0 20 0 476231592 28904853504 10119 33554432000 4194304 4196468 140736902136288 140736902118832 139776217231095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
/proc/6944/statm: 7056849 10119 3266 1 0 7019032 0
[pid=6944/tid=6945] ppid=6942 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 4717 0 -1 4202560 6166 0 0 0 17 2 0 0 20 0 20 0 476231593 28904853504 10119 33554432000 4194304 4196468 140736902136288 139776221464800 139776201311582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6946] ppid=6942 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 10119 33554432000 4194304 4196468 140736902136288 139776169852048 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6947] ppid=6942 vsize=28227396 memory=140694169801375 CPUtime=0 cores=0-7
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 10119 33554432000 4194304 4196468 140736902136288 139776168799248 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6948] ppid=6942 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 10119 33554432000 4194304 4196468 140736902136288 139776167746448 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6949] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 10119 33554432000 4194304 4196468 140736902136288 139776166693648 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6950] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 10119 33554432000 4194304 4196468 140736902136288 139776165640848 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6951] ppid=6942 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 10119 33554432000 4194304 4196468 140736902136288 139776164588048 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6952] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 10119 33554432000 4194304 4196468 140736902136288 139776163535248 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6953] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28904853504 10119 33554432000 4194304 4196468 140736902136288 139776162482448 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6954] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6954/stat : 6954 (java) S 6942 6942 4717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476231595 28904853504 10119 33554432000 4194304 4196468 140736902136288 139774394305392 139776217242242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6955] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 4717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476231595 28904853504 10119 33554432000 4194304 4196468 140736902136288 139774393251360 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6956] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 4717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476231595 28904853504 10119 33554432000 4194304 4196468 140736902136288 139774392198512 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6957] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231598 28904853504 10119 33554432000 4194304 4196468 140736902136288 139774391146832 139776217249691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6958] ppid=6942 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/6944/task/6958/stat : 6958 (java) S 6942 6942 4717 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 476231598 28904853504 10119 33554432000 4194304 4196468 140736902136288 139774390094192 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6959] ppid=6942 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/6944/task/6959/stat : 6959 (java) S 6942 6942 4717 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 476231598 28904853504 10119 33554432000 4194304 4196468 140736902136288 139774389041392 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6960] ppid=6942 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/6944/task/6960/stat : 6960 (java) S 6942 6942 4717 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 20 0 476231598 28904853504 10119 33554432000 4194304 4196468 140736902136288 139774387988592 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6961] ppid=6942 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/6944/task/6961/stat : 6961 (java) R 6942 6942 4717 0 -1 4202560 769 0 0 0 7 0 0 0 20 0 20 0 476231598 28904853504 10119 33554432000 4194304 4196468 140736902136288 139774386935792 139776196215807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6962] ppid=6942 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6962/stat : 6962 (java) S 6942 6942 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476231598 28904853504 10119 33554432000 4194304 4196468 140736902136288 139774385884256 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6963] ppid=6942 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6944/task/6963/stat : 6963 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231598 28904853504 10119 33554432000 4194304 4196468 140736902136288 139774384831536 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41928 KiB

[startup+0.309673 s]*
/proc/loadavg: 6.75 5.74 6.86 4/213 6963
/proc/meminfo: memFree=24891288/32770624 swapFree=66955436/67108860
[pid=6942] ppid=6939 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 4717 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476231592 115843072 363 33554432000 4194304 5098028 140727631392176 140727631390280 140488666931836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8142848 140727631397750 140727631397993 140727631397993 140727631400906 0
/proc/6942/statm: 28282 363 304 221 0 87 0
[pid=6944] ppid=6942 vsize=28231652 memory=49940 CPUtime=0.51 cores=0-7
/proc/6944/stat : 6944 (java) S 6942 6942 4717 0 -1 1077944320 10298 0 1 0 48 3 0 0 20 0 20 0 476231592 28909211648 12485 33554432000 4194304 4196468 140736902136288 140736902118832 139776217231095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
/proc/6944/statm: 7057913 12485 3366 1 0 7019032 0
[pid=6944/tid=6945] ppid=6942 vsize=28231652 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 4717 0 -1 4202560 7253 0 1 0 27 3 0 0 20 0 20 0 476231593 28909211648 12485 33554432000 4194304 4196468 140736902136288 139776221465832 139776201311582 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6946] ppid=6942 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28909211648 12485 33554432000 4194304 4196468 140736902136288 139776169852048 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6947] ppid=6942 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28909211648 12485 33554432000 4194304 4196468 140736902136288 139776168799248 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6948] ppid=6942 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28909211648 12485 33554432000 4194304 4196468 140736902136288 139776167746448 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6949] ppid=6942 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476231593 28909211648 12485 33554432000 4194304 4196468 140736902136288 139776166693648 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6950] ppid=6942 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476231593 28909211648 12485 33554432000 4194304 4196468 140736902136288 139776165640848 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6951] ppid=6942 vsize=28231652 memory=140694069015471 CPUtime=0 cores=0-7
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 4717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476231593 28909211648 12485 33554432000 4194304 4196468 140736902136288 139776164588048 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6952] ppid=6942 vsize=28231652 memory=140694069017776 CPUtime=0 cores=0-7
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28909211648 12485 33554432000 4194304 4196468 140736902136288 139776163535248 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6953] ppid=6942 vsize=28231652 memory=140694069020080 CPUtime=0 cores=0-7
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28909211648 12485 33554432000 4194304 4196468 140736902136288 139776162482448 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6954] ppid=6942 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6954/stat : 6954 (java) S 6942 6942 4717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476231595 28909211648 12485 33554432000 4194304 4196468 140736902136288 139774394305392 139776217242242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6955] ppid=6942 vsize=28231652 memory=281388138047120 CPUtime=0 cores=0-7
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 4717 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476231595 28909211648 12485 33554432000 4194304 4196468 140736902136288 139774393251360 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6956] ppid=6942 vsize=28231652 memory=281388138054032 CPUtime=0 cores=0-7
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 4717 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476231595 28909211648 12485 33554432000 4194304 4196468 140736902136288 139774392198512 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6957] ppid=6942 vsize=28231652 memory=281388137995312 CPUtime=0 cores=0-7
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231598 28909211648 12485 33554432000 4194304 4196468 140736902136288 139774391146832 139776217249691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6958] ppid=6942 vsize=28231652 memory=281388138067856 CPUtime=0.03 cores=0-7
/proc/6944/task/6958/stat : 6958 (java) R 6942 6942 4717 0 -1 4202560 467 0 0 0 3 0 0 0 20 0 20 0 476231598 28909211648 12485 33554432000 4194304 4196468 140736902136288 139774390075304 139776198753319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6959] ppid=6942 vsize=28231652 memory=281388138074768 CPUtime=0.01 cores=0-7
/proc/6944/task/6959/stat : 6959 (java) S 6942 6942 4717 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 476231598 28909211648 12485 33554432000 4194304 4196468 140736902136288 139774389041392 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6960] ppid=6942 vsize=28231652 memory=281388138072464 CPUtime=0.03 cores=0-7
/proc/6944/task/6960/stat : 6960 (java) S 6942 6942 4717 0 -1 1077944384 273 0 0 0 3 0 0 0 20 0 20 0 476231598 28909211648 12485 33554432000 4194304 4196468 140736902136288 139774387988592 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6961] ppid=6942 vsize=28231652 memory=281388138088624 CPUtime=0.12 cores=0-7
/proc/6944/task/6961/stat : 6961 (java) S 6942 6942 4717 0 -1 1077944384 950 0 0 0 12 0 0 0 20 0 20 0 476231598 28909211648 12485 33554432000 4194304 4196468 140736902136288 139774386935792 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6962] ppid=6942 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6962/stat : 6962 (java) S 6942 6942 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476231598 28909211648 12485 33554432000 4194304 4196468 140736902136288 139774385884256 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6963] ppid=6942 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/6944/task/6963/stat : 6963 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231598 28909211648 12485 33554432000 4194304 4196468 140736902136288 139774384831536 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51392 KiB

[startup+0.700935 s]
/proc/loadavg: 6.75 5.74 6.86 5/213 6963
/proc/meminfo: memFree=24865524/32770624 swapFree=66955436/67108860
[pid=6942] ppid=6939 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 4717 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476231592 115843072 363 33554432000 4194304 5098028 140727631392176 140727631390280 140488666931836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8142848 140727631397750 140727631397993 140727631397993 140727631400906 0
/proc/6942/statm: 28282 363 304 221 0 87 0
[pid=6944] ppid=6942 vsize=28233776 memory=103528 CPUtime=2.01 cores=0-7
/proc/6944/stat : 6944 (java) S 6942 6942 4717 0 -1 1077944320 17371 0 2 0 194 7 0 0 20 0 20 0 476231592 28911386624 25882 33554432000 4194304 4196468 140736902136288 140736902118832 139776217231095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
/proc/6944/statm: 7058444 25882 3458 1 0 7019544 0
[pid=6944/tid=6945] ppid=6942 vsize=28233776 memory=281388138446512 CPUtime=0.67 cores=0-7
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 4717 0 -1 4202560 8685 0 1 0 63 4 0 0 20 0 20 0 476231593 28911386624 25882 33554432000 4194304 4196468 140736902136288 139776221469360 139776217243030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6946] ppid=6942 vsize=28233776 memory=140694069224304 CPUtime=0 cores=0-7
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28911386624 25882 33554432000 4194304 4196468 140736902136288 139776169852048 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6947] ppid=6942 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28911386624 25882 33554432000 4194304 4196468 140736902136288 139776168799248 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6948] ppid=6942 vsize=28233776 memory=8444 CPUtime=0 cores=0-7
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476231593 28911386624 25882 33554432000 4194304 4196468 140736902136288 139776167746448 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0

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

[pid=6944/tid=7295] ppid=6942 vsize=28768336 memory=3516480 CPUtime=958.45 cores=0-7
/proc/6944/task/7295/stat : 7295 (java) R 6942 6942 4717 0 -1 4202560 4765 0 0 0 95836 9 0 0 20 0 28 0 476379943 29458776064 879120 33554432000 4194304 4196468 140736902136288 139774370595096 139775840086045 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
Current children cumulated CPU time: 19454.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3517932 KiB

[startup+2502.3 s]
/proc/loadavg: 8.23 8.44 8.27 9/220 7373
/proc/meminfo: memFree=21421192/32770624 swapFree=66955444/67108860
[pid=6942] ppid=6939 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 4717 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476231592 115843072 363 33554432000 4194304 5098028 140727631392176 140727631390280 140488666931836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8142848 140727631397750 140727631397993 140727631397993 140727631400906 0
/proc/6942/statm: 28282 363 304 221 0 87 0
[pid=6944] ppid=6942 vsize=28768336 memory=3513884 CPUtime=19933.2 cores=0-7
/proc/6944/stat : 6944 (java) S 6942 6942 4717 0 -1 1077944320 293345 0 2 0 1992861 457 0 0 20 0 28 0 476231592 29458776064 878471 33554432000 4194304 4196468 140736902136288 140736902118832 139776217231095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
/proc/6944/statm: 7192084 878471 3543 1 0 7153184 0
[pid=6944/tid=6945] ppid=6942 vsize=28768336 memory=3513884 CPUtime=2.07 cores=0-7
/proc/6944/task/6945/stat : 6945 (java) S 6942 6942 4717 0 -1 1077944384 12025 0 1 0 200 7 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776221471872 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6946] ppid=6942 vsize=28768336 memory=1452 CPUtime=0.32 cores=0-7
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 4717 0 -1 1077944384 1951 0 0 0 25 7 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776169852048 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6947] ppid=6942 vsize=28768336 memory=1452 CPUtime=0.33 cores=0-7
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 4717 0 -1 1077944384 2995 0 0 0 25 8 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776168799248 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6948] ppid=6942 vsize=28768336 memory=281388138683624 CPUtime=0.31 cores=0-7
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 4717 0 -1 1077944384 2509 0 0 0 23 8 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776167746448 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6949] ppid=6942 vsize=28768336 memory=5301 CPUtime=0.31 cores=0-7
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 4717 0 -1 1077944384 3609 0 0 0 23 8 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776166693648 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6950] ppid=6942 vsize=28768336 memory=1772 CPUtime=0.31 cores=0-7
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 4717 0 -1 1077944384 2436 0 0 0 23 8 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776165640848 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6951] ppid=6942 vsize=28768336 memory=3516480 CPUtime=0.33 cores=0-7
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 4717 0 -1 1077944384 2425 0 0 0 25 8 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776164588048 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6952] ppid=6942 vsize=28768336 memory=4416 CPUtime=0.31 cores=0-7
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 4717 0 -1 1077944384 2237 0 0 0 25 6 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776163535248 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6953] ppid=6942 vsize=28768336 memory=1724 CPUtime=0.32 cores=0-7
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 4717 0 -1 1077944384 2372 0 0 0 26 6 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776162482448 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6954] ppid=6942 vsize=28768336 memory=3620 CPUtime=0.11 cores=0-7
/proc/6944/task/6954/stat : 6954 (java) S 6942 6942 4717 0 -1 1077944384 10063 0 0 0 7 4 0 0 20 0 28 0 476231595 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774394305392 139776217242242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6955] ppid=6942 vsize=28768336 memory=42388 CPUtime=0 cores=0-7
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 4717 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476231595 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774393251424 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6956] ppid=6942 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 4717 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 476231595 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774392198528 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6957] ppid=6942 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774391146832 139776217249691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6958] ppid=6942 vsize=28768336 memory=3512916 CPUtime=4.05 cores=0-7
/proc/6944/task/6958/stat : 6958 (java) S 6942 6942 4717 0 -1 1077944384 22409 0 0 0 401 4 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774390094192 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6959] ppid=6942 vsize=28768336 memory=1452 CPUtime=3.92 cores=0-7
/proc/6944/task/6959/stat : 6959 (java) S 6942 6942 4717 0 -1 1077944384 18060 0 1 0 388 4 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774389041392 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6960] ppid=6942 vsize=28768336 memory=0 CPUtime=3.73 cores=0-7
/proc/6944/task/6960/stat : 6960 (java) S 6942 6942 4717 0 -1 1077944384 25359 0 0 0 370 3 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774387988592 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6961] ppid=6942 vsize=28768336 memory=281388141585952 CPUtime=1.27 cores=0-7
/proc/6944/task/6961/stat : 6961 (java) S 6942 6942 4717 0 -1 1077944384 21097 0 0 0 123 4 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774386935792 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6962] ppid=6942 vsize=28768336 memory=1328 CPUtime=0 cores=0-7
/proc/6944/task/6962/stat : 6962 (java) S 6942 6942 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774385884256 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6963] ppid=6942 vsize=28768336 memory=1560 CPUtime=0.91 cores=0-7
/proc/6944/task/6963/stat : 6963 (java) S 6942 6942 4717 0 -1 1077944384 3158 0 0 0 0 91 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774384831536 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7288] ppid=6942 vsize=28768336 memory=976 CPUtime=1018.43 cores=0-7
/proc/6944/task/7288/stat : 7288 (java) R 6942 6942 4717 0 -1 4202560 8568 0 0 0 101832 11 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774373751528 139775845651067 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7289] ppid=6942 vsize=28768336 memory=2032 CPUtime=1018.37 cores=0-7
/proc/6944/task/7289/stat : 7289 (java) R 6942 6942 4717 0 -1 4202560 2906 0 0 0 101836 1 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774371647736 139775843539472 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7290] ppid=6942 vsize=28768336 memory=1328 CPUtime=1013.32 cores=0-7
/proc/6944/task/7290/stat : 7290 (java) R 6942 6942 4717 0 -1 4202560 4610 0 0 0 101331 1 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774367437080 139775845577569 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7291] ppid=6942 vsize=28768336 memory=1452 CPUtime=1016.47 cores=0-7
/proc/6944/task/7291/stat : 7291 (java) R 6942 6942 4717 0 -1 4202560 9075 0 0 0 101610 37 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774369541728 139775838763326 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7292] ppid=6942 vsize=28768336 memory=1452 CPUtime=1017.98 cores=0-7
/proc/6944/task/7292/stat : 7292 (java) R 6942 6942 4717 0 -1 4202560 4710 0 0 0 101787 11 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774372699944 139775840086016 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7293] ppid=6942 vsize=28768336 memory=3513884 CPUtime=1005.23 cores=0-7
/proc/6944/task/7293/stat : 7293 (java) R 6942 6942 4717 0 -1 4202560 7317 0 0 0 100515 8 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774366383144 139775844506968 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7294] ppid=6942 vsize=28768336 memory=2032 CPUtime=1018.44 cores=0-7
/proc/6944/task/7294/stat : 7294 (java) R 6942 6942 4717 0 -1 4202560 7082 0 0 0 101826 18 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774368490104 139775844612288 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7295] ppid=6942 vsize=28768336 memory=8112282956445269571 CPUtime=1018.41 cores=0-7
/proc/6944/task/7295/stat : 7295 (java) R 6942 6942 4717 0 -1 4202560 4937 0 0 0 101831 10 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774370598000 139775846480258 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
Current children cumulated CPU time: 19933.2 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3515336 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.18 8.42 8.26 9/221 7376
/proc/meminfo: memFree=21420448/32770624 swapFree=66955444/67108860
[pid=6942] ppid=6939 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 4717 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476231592 115843072 363 33554432000 4194304 5098028 140727631392176 140727631390280 140488666931836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8142848 140727631397750 140727631397993 140727631397993 140727631400906 0
/proc/6942/statm: 28282 363 304 221 0 87 0
[pid=6944] ppid=6942 vsize=28768336 memory=3513884 CPUtime=20074.4 cores=0-7
/proc/6944/stat : 6944 (java) S 6942 6942 4717 0 -1 1077944320 294500 0 2 0 2006986 458 0 0 20 0 28 0 476231592 29458776064 878471 33554432000 4194304 4196468 140736902136288 140736902118832 139776217231095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
/proc/6944/statm: 7192084 878471 3543 1 0 7153184 0
[pid=6944/tid=6945] ppid=6942 vsize=28768336 memory=8112282956445269571 CPUtime=2.07 cores=0-7
/proc/6944/task/6945/stat : 6945 (java) S 6942 6942 4717 0 -1 1077944384 12025 0 1 0 200 7 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776221471872 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6946] ppid=6942 vsize=28768336 memory=4126316290023845779 CPUtime=0.32 cores=0-7
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 4717 0 -1 1077944384 1951 0 0 0 25 7 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776169852048 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6947] ppid=6942 vsize=28768336 memory=6140 CPUtime=0.33 cores=0-7
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 4717 0 -1 1077944384 2995 0 0 0 25 8 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776168799248 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6948] ppid=6942 vsize=28768336 memory=1124 CPUtime=0.31 cores=0-7
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 4717 0 -1 1077944384 2509 0 0 0 23 8 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776167746448 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6949] ppid=6942 vsize=28768336 memory=14004 CPUtime=0.31 cores=0-7
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 4717 0 -1 1077944384 3609 0 0 0 23 8 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776166693648 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6950] ppid=6942 vsize=28768336 memory=12024 CPUtime=0.31 cores=0-7
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 4717 0 -1 1077944384 2436 0 0 0 23 8 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776165640848 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6951] ppid=6942 vsize=28768336 memory=2124 CPUtime=0.33 cores=0-7
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 4717 0 -1 1077944384 2425 0 0 0 25 8 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776164588048 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6952] ppid=6942 vsize=28768336 memory=8112282956445269571 CPUtime=0.31 cores=0-7
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 4717 0 -1 1077944384 2237 0 0 0 25 6 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776163535248 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6953] ppid=6942 vsize=28768336 memory=1440 CPUtime=0.32 cores=0-7
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 4717 0 -1 1077944384 2372 0 0 0 26 6 0 0 20 0 28 0 476231593 29458776064 878471 33554432000 4194304 4196468 140736902136288 139776162482448 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6954] ppid=6942 vsize=28768336 memory=796 CPUtime=0.11 cores=0-7
/proc/6944/task/6954/stat : 6954 (java) S 6942 6942 4717 0 -1 1077944384 10067 0 0 0 7 4 0 0 20 0 28 0 476231595 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774394305392 139776217242242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6955] ppid=6942 vsize=28768336 memory=1772 CPUtime=0 cores=0-7
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 4717 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476231595 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774393251424 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6956] ppid=6942 vsize=28768336 memory=111632 CPUtime=0 cores=0-7
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 4717 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 476231595 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774392198528 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6957] ppid=6942 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 4717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774391146832 139776217249691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6958] ppid=6942 vsize=28768336 memory=3513884 CPUtime=4.05 cores=0-7
/proc/6944/task/6958/stat : 6958 (java) S 6942 6942 4717 0 -1 1077944384 22412 0 0 0 401 4 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774390094192 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6959] ppid=6942 vsize=28768336 memory=2032 CPUtime=3.92 cores=0-7
/proc/6944/task/6959/stat : 6959 (java) S 6942 6942 4717 0 -1 1077944384 18064 0 1 0 388 4 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774389041392 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6960] ppid=6942 vsize=28768336 memory=0 CPUtime=3.73 cores=0-7
/proc/6944/task/6960/stat : 6960 (java) S 6942 6942 4717 0 -1 1077944384 25362 0 0 0 370 3 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774387988592 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6961] ppid=6942 vsize=28768336 memory=1560 CPUtime=1.27 cores=0-7
/proc/6944/task/6961/stat : 6961 (java) S 6942 6942 4717 0 -1 1077944384 21106 0 0 0 123 4 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774386935792 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6962] ppid=6942 vsize=28768336 memory=3513884 CPUtime=0 cores=0-7
/proc/6944/task/6962/stat : 6962 (java) S 6942 6942 4717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774385884256 139776217241301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=6963] ppid=6942 vsize=28768336 memory=1452 CPUtime=0.92 cores=0-7
/proc/6944/task/6963/stat : 6963 (java) S 6942 6942 4717 0 -1 1077944384 3185 0 0 0 0 92 0 0 20 0 28 0 476231598 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774384831536 139776217242242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7288] ppid=6942 vsize=28768336 memory=3513884 CPUtime=1036.14 cores=0-7
/proc/6944/task/7288/stat : 7288 (java) R 6942 6942 4717 0 -1 4202560 8725 0 0 0 103602 12 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774373751528 139775845648037 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7289] ppid=6942 vsize=28768336 memory=288230574492221466 CPUtime=1036.07 cores=0-7
/proc/6944/task/7289/stat : 7289 (java) R 6942 6942 4717 0 -1 4202560 2994 0 0 0 103606 1 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774371647736 139775838763326 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7290] ppid=6942 vsize=28768336 memory=288230583166042426 CPUtime=1030.66 cores=0-7
/proc/6944/task/7290/stat : 7290 (java) R 6942 6942 4717 0 -1 4202560 4685 0 0 0 103065 1 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774367437080 139775837411932 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7291] ppid=6942 vsize=28768336 memory=15260333157648022 CPUtime=1034.17 cores=0-7
/proc/6944/task/7291/stat : 7291 (java) R 6942 6942 4717 0 -1 4202560 9284 0 0 0 103380 37 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774369541728 139775845381847 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7292] ppid=6942 vsize=28768336 memory=1808 CPUtime=1035.69 cores=0-7
/proc/6944/task/7292/stat : 7292 (java) R 6942 6942 4717 0 -1 4202560 4838 0 0 0 103557 12 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774372699944 139775845699485 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7293] ppid=6942 vsize=28768336 memory=97335 CPUtime=1022.94 cores=0-7
/proc/6944/task/7293/stat : 7293 (java) R 6942 6942 4717 0 -1 4202560 7496 0 0 0 102285 9 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774366383144 139775844287232 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7294] ppid=6942 vsize=28768336 memory=0 CPUtime=1036.15 cores=0-7
/proc/6944/task/7294/stat : 7294 (java) R 6942 6942 4717 0 -1 4202560 7204 0 0 0 103597 18 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774368490104 139775838763321 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
[pid=6944/tid=7295] ppid=6942 vsize=28768336 memory=98653 CPUtime=1036.12 cores=0-7
/proc/6944/task/7295/stat : 7295 (java) R 6942 6942 4717 0 -1 4202560 5084 0 0 0 103602 10 0 0 20 0 28 0 476379943 29458776064 878471 33554432000 4194304 4196468 140736902136288 139774370598000 139775845699824 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 22827008 140736902140906 140736902141078 140736902141078 140736902143951 0
Current children cumulated CPU time: 20074.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3515336 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.12
CPU time (s): 20075.1
CPU user time (s): 20070.5
CPU system time (s): 4.61484
CPU usage (%): 796.595
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3517996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20070.5
system time used= 4.61484
maximum resident set size= 3521608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295757
page faults= 2
swaps= 0
block input operations= 1688
block output operations= 2272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64824
involuntary context switches= 234517


# summary of solver processes directly reported to runsolver:
#   pid: 6942,6944
#   total CPU time (s): 20075.1
#   total CPU user time (s): 20070.5
#   total CPU system time (s): 4.61484

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.9323 second user time and 29.6205 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-20 19:12:42
IDJOB=4404768
IDBENCH=127015
IDSOLVER=2865
FILE ID=node151/4404768-1568999602
RUNJOBID= node151-1568994968-4744
PBS_JOBID= 21704734
Free space on /tmp= 12412 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-053.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404768-1568999602/watcher-4404768-1568999602 -o /tmp/evaluation-result-4404768-1568999602/solver-4404768-1568999602 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1568994968-4744 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 998177857 HOME/instance-4404768-1568999602.xml

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

MD5SUM BENCH= 7b052d900118d6d219a2e5f61835436e
RANDOM SEED=998177857

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24927004 kB
MemAvailable:   31803504 kB
Buffers:           46960 kB
Cached:          7000368 kB
SwapCached:        51756 kB
Active:          3485796 kB
Inactive:        3617396 kB
Active(anon):       1044 kB
Inactive(anon):   100280 kB
Active(file):    3484752 kB
Inactive(file):  3517116 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66955436 kB
Dirty:             26088 kB
Writeback:             0 kB
AnonPages:        113584 kB
Mapped:            48784 kB
Shmem:             36904 kB
Slab:             331500 kB
SReclaimable:     303092 kB
SUnreclaim:        28408 kB
KernelStack:        3408 kB
PageTables:         5060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12384 MiB
End job on node151 at 2019-09-20 19:54:42