Trace number 4269334

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-09)SAT (TO)335 2520.0701 2509.9099

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-29.xml
MD5SUM1822b9c415adc1a9dd10b23e46d08c48
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark425
Best CPU time to get the best result obtained on this benchmark2519.5801
Satisfiable
(Un)Satisfiability was proved
Number of variables1954
Number of constraints1139
Number of domains4
Minimum domain size2
Maximum domain size1923
Distribution of domain sizes[{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}]
Minimum variable degree1
Maximum variable degree32
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}]
Minimum constraint arity2
Maximum constraint arity33
Distribution of constraint arities[{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}]
Number of extensional constraints957
Number of intensional constraints146
Distribution of constraint types[{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269334-1502700123.xml"  -tl '2520s' -p 1 -x 0
0.06/0.38	c [HOME/instance-4269334-1502700123.xml, -tl, 2520s, -p, 1, -x, 0]
0.25/0.45	c simple solver
0.25/0.51	c parse instance...
2.36/1.24	c solve instance...
18.65/14.73	o 335 
2520.05/2509.90	s SATISFIABLE
2520.05/2509.90	v <instantiation>
2520.05/2509.90	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] z </list>
2520.05/2509.90	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 2 1 2 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 2 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 2 2 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 2 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 2 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 2 2 2 0 0 0 1 0 1 0 1 0 0 1 0 1 1 2 0 0 1 0 1 0 0 0 1 1 1 0 1 1 2 1 0 0 0 0 0 0 0 0 1 0 0 0 0 2 2 1 1 0 1 0 0 0 0 1 2 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 2 1 1 2 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 2 1 0 1 1 2 1 1 0 0 2 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 2 1 0 0 2 2 2 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 2 1 0 1 0 1 1 1 1 1 1 0 0 2 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 2 2 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 2 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 1 1 1 2 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 2 2 1 0 1 0 1 2 2 2 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 1 2 2 2 1 1 1 2 2 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 2 1 1 1 1 2 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 2 0 2 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 1 2 1 1 0 0 0 0 0 0 0 1 0 2 2 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 2 2 2 1 0 1 0 1 1 0 0 1 2 2 1 0 2 0 0 1 0 1 0 0 1 1 0 0 1 1 1 2 2 2 1 1 0 1 2 1 0 1 1 2 2 1 0 0 0 2 1 2 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 14 31 40 47 52 64 81 94 108 125 141 159 177 195 209 221 234 244 253 274 298 314 325 335 346 354 367 383 408 439 458 335 </values>
2520.05/2509.90	v </instantiation>
2520.05/2509.90	c Unexpected resolution interruption!

Verifier Data 

OK	335

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269334-1502700123/watcher-4269334-1502700123 -o /tmp/evaluation-result-4269334-1502700123/solver-4269334-1502700123 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 584574011 HOME/instance-4269334-1502700123.xml 

running on 4 cores: 1,3,5,7

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

solver pid=32381, runsolver pid=32378

[startup+0.100108 s]*
/proc/loadavg: 1.77 1.62 1.66 2/201 32382
/proc/meminfo: memFree=31536524/32770624 swapFree=67108764/67108860
[pid=32381] ppid=32378 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32381/stat : 32381 (xcsp3-exec) S 32378 32381 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117518749 9740288 345 18446744073709551615 4194304 5098028 140722050261536 140722050259640 139685500027516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 9302016 140722050265465 140722050265669 140722050265669 140722050269163 0
/proc/32381/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.303553 s]*
/proc/loadavg: 1.77 1.62 1.66 2/215 32396
/proc/meminfo: memFree=31525884/32770624 swapFree=67108764/67108860
[pid=32381] ppid=32378 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32381/stat : 32381 (xcsp3-exec) S 32378 32381 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117518749 9740288 345 18446744073709551615 4194304 5098028 140722050261536 140722050259640 139685500027516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 9302016 140722050265465 140722050265669 140722050265669 140722050269163 0
/proc/32381/statm: 2378 345 289 221 0 87 0
[pid=32383] ppid=32381 vsize=13974352 memory=23496 CPUtime=0.06 cores=1,3,5,7
/proc/32383/stat : 32383 (java) S 32381 32381 4674 0 -1 1077944320 4772 0 0 0 6 0 0 0 20 0 15 0 117518759 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 140728424270224 139926563385079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
/proc/32383/statm: 3493588 5874 2713 1 0 3482964 0
[pid=32383/tid=32384] ppid=32381 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/32383/task/32384/stat : 32384 (java) R 32381 32381 4674 0 -1 4202560 2936 0 0 0 5 0 0 0 20 0 15 0 117518759 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926567616848 139926563407005 0 4 1 16800974 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32385] ppid=32381 vsize=13974352 memory=12630 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32385/stat : 32385 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926482798864 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32386] ppid=32381 vsize=13974352 memory=3690052075013277344 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32386/stat : 32386 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926481746320 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32387] ppid=32381 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32387/stat : 32387 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926480693776 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32388] ppid=32381 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32388/stat : 32388 (java) S 32381 32381 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117518770 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926479641232 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32389] ppid=32381 vsize=13974352 memory=140284568012416 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32389/stat : 32389 (java) S 32381 32381 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117518771 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926042020336 139926563396226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32390] ppid=32381 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32390/stat : 32390 (java) S 32381 32381 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117518771 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926040966560 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32391] ppid=32381 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32391/stat : 32391 (java) S 32381 32381 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117518772 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926039913968 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32392] ppid=32381 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32392/stat : 32392 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926038862544 139926563403675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32393] ppid=32381 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32393/stat : 32393 (java) S 32381 32381 4674 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 117518774 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926037809136 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32394] ppid=32381 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32394/stat : 32394 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926036756592 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32395] ppid=32381 vsize=13974352 memory=140284568012416 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32395/stat : 32395 (java) S 32381 32381 4674 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 15 0 117518774 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926035704048 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32396] ppid=32381 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32396/stat : 32396 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926034651744 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32397] ppid=32381 vsize=13974352 memory=140284568012416 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32397/stat : 32397 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518779 14309736448 5874 18446744073709551615 4194304 4196468 140728424287680 139926033599280 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24876 KiB

[startup+0.412162 s]*
/proc/loadavg: 1.77 1.62 1.66 3/216 32397
/proc/meminfo: memFree=31508196/32770624 swapFree=67108764/67108860
[pid=32381] ppid=32378 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32381/stat : 32381 (xcsp3-exec) S 32378 32381 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117518749 9740288 345 18446744073709551615 4194304 5098028 140722050261536 140722050259640 139685500027516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 9302016 140722050265465 140722050265669 140722050265669 140722050269163 0
/proc/32381/statm: 2378 345 289 221 0 87 0
[pid=32383] ppid=32381 vsize=13974352 memory=37264 CPUtime=0.25 cores=1,3,5,7
/proc/32383/stat : 32383 (java) S 32381 32381 4674 0 -1 1077944320 8429 0 0 0 23 2 0 0 20 0 15 0 117518759 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 140728424270224 139926563385079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
/proc/32383/statm: 3493588 9316 2974 1 0 3482964 0
[pid=32383/tid=32384] ppid=32381 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/32383/task/32384/stat : 32384 (java) R 32381 32381 4674 0 -1 4202560 5665 0 0 0 14 2 0 0 20 0 15 0 117518759 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926567592480 139926556063093 0 4 1 16800974 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32385] ppid=32381 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32385/stat : 32385 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926482798864 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32386] ppid=32381 vsize=13974352 memory=140284568012416 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32386/stat : 32386 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926481746320 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32387] ppid=32381 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32387/stat : 32387 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926480693776 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32388] ppid=32381 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32388/stat : 32388 (java) S 32381 32381 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117518770 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926479641232 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32389] ppid=32381 vsize=13974352 memory=140284568012416 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32389/stat : 32389 (java) S 32381 32381 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117518771 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926042020336 139926563396226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32390] ppid=32381 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32390/stat : 32390 (java) S 32381 32381 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117518771 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926040966560 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32391] ppid=32381 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32391/stat : 32391 (java) S 32381 32381 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117518772 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926039913968 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32392] ppid=32381 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32392/stat : 32392 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926038862544 139926563403675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32393] ppid=32381 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32383/task/32393/stat : 32393 (java) S 32381 32381 4674 0 -1 1077944384 574 0 0 0 1 0 0 0 20 0 15 0 117518774 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926037809136 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32394] ppid=32381 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32383/task/32394/stat : 32394 (java) S 32381 32381 4674 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 15 0 117518774 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926036756592 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32395] ppid=32381 vsize=13974352 memory=140284568012416 CPUtime=0.05 cores=1,3,5,7
/proc/32383/task/32395/stat : 32395 (java) S 32381 32381 4674 0 -1 1077944384 693 0 0 0 5 0 0 0 20 0 15 0 117518774 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926035704048 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32396] ppid=32381 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32396/stat : 32396 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926034651744 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32397] ppid=32381 vsize=13974352 memory=140284568012416 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32397/stat : 32397 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518779 14309736448 9316 18446744073709551615 4194304 4196468 140728424287680 139926033599280 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38644 KiB

[startup+0.712191 s]
/proc/loadavg: 1.77 1.62 1.66 4/216 32397
/proc/meminfo: memFree=31498100/32770624 swapFree=67108764/67108860
[pid=32381] ppid=32378 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32381/stat : 32381 (xcsp3-exec) S 32378 32381 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117518749 9740288 345 18446744073709551615 4194304 5098028 140722050261536 140722050259640 139685500027516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 9302016 140722050265465 140722050265669 140722050265669 140722050269163 0
/proc/32381/statm: 2378 345 289 221 0 87 0
[pid=32383] ppid=32381 vsize=13978684 memory=57224 CPUtime=0.94 cores=1,3,5,7
/proc/32383/stat : 32383 (java) S 32381 32381 4674 0 -1 1077944320 11110 0 0 0 90 4 0 0 20 0 15 0 117518759 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 140728424270224 139926563385079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
/proc/32383/statm: 3494671 14306 3145 1 0 3482964 0
[pid=32383/tid=32384] ppid=32381 vsize=13978684 memory=3919908865921261600 CPUtime=0.45 cores=1,3,5,7
/proc/32383/task/32384/stat : 32384 (java) R 32381 32381 4674 0 -1 4202560 7391 0 0 0 42 3 0 0 20 0 15 0 117518759 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926567621696 139926159064096 0 4 1 16800974 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32385] ppid=32381 vsize=13978684 memory=-5874771483550381248 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32385/stat : 32385 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926482798864 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32386] ppid=32381 vsize=13978684 memory=7521945307214146661 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32386/stat : 32386 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926481746320 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32387] ppid=32381 vsize=13978684 memory=4498404016631590714 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32387/stat : 32387 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926480693776 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32388] ppid=32381 vsize=13978684 memory=-9001734013606258791 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32388/stat : 32388 (java) S 32381 32381 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117518770 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926479641232 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32389] ppid=32381 vsize=13978684 memory=6944656592455362618 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32389/stat : 32389 (java) S 32381 32381 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117518771 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926042020336 139926563396226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32390] ppid=32381 vsize=13978684 memory=7680491646476186387 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32390/stat : 32390 (java) S 32381 32381 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117518771 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926040966560 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32391] ppid=32381 vsize=13978684 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32391/stat : 32391 (java) S 32381 32381 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117518772 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926039913968 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32392] ppid=32381 vsize=13978684 memory=1400796125742402452 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32392/stat : 32392 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926038862544 139926563403675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32393] ppid=32381 vsize=13978684 memory=6943526294502006880 CPUtime=0.11 cores=1,3,5,7
/proc/32383/task/32393/stat : 32393 (java) R 32381 32381 4674 0 -1 1077944384 857 0 0 0 11 0 0 0 20 0 15 0 117518774 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926037788960 139926563395285 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32394] ppid=32381 vsize=13978684 memory=6944652177228980320 CPUtime=0.1 cores=1,3,5,7
/proc/32383/task/32394/stat : 32394 (java) R 32381 32381 4674 0 -1 4202560 426 0 0 0 10 0 0 0 20 0 15 0 117518774 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926036746704 139926543102215 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32395] ppid=32381 vsize=13978684 memory=6944656592455360604 CPUtime=0.25 cores=1,3,5,7
/proc/32383/task/32395/stat : 32395 (java) S 32381 32381 4674 0 -1 1077944384 1129 0 0 0 25 0 0 0 20 0 15 0 117518774 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926035697248 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32396] ppid=32381 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32396/stat : 32396 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926034651744 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32397] ppid=32381 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32397/stat : 32397 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518779 14314172416 14306 18446744073709551615 4194304 4196468 140728424287680 139926033599280 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 58604 KiB

[startup+1.5092 s]
/proc/loadavg: 1.77 1.62 1.66 3/216 32397
/proc/meminfo: memFree=31457956/32770624 swapFree=67108764/67108860
[pid=32381] ppid=32378 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32381/stat : 32381 (xcsp3-exec) S 32378 32381 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117518749 9740288 345 18446744073709551615 4194304 5098028 140722050261536 140722050259640 139685500027516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 9302016 140722050265465 140722050265669 140722050265669 140722050269163 0
/proc/32381/statm: 2378 345 289 221 0 87 0
[pid=32383] ppid=32381 vsize=13980732 memory=110748 CPUtime=3.24 cores=1,3,5,7
/proc/32383/stat : 32383 (java) S 32381 32381 4674 0 -1 1077944320 19294 0 0 0 318 6 0 0 20 0 15 0 117518759 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 140728424270224 139926563385079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
/proc/32383/statm: 3495183 27687 3197 1 0 3483476 0
[pid=32383/tid=32384] ppid=32381 vsize=13980732 memory=0 CPUtime=1.24 cores=1,3,5,7
/proc/32383/task/32384/stat : 32384 (java) R 32381 32381 4674 0 -1 4202560 9212 0 0 0 121 3 0 0 20 0 15 0 117518759 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926567624016 139926163444294 0 4 1 16800974 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32385] ppid=32381 vsize=13980732 memory=140284436706064 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32385/stat : 32385 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926482798864 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32386] ppid=32381 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32386/stat : 32386 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926481746320 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32387] ppid=32381 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32387/stat : 32387 (java) S 32381 32381 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117518770 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926480693776 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32388] ppid=32381 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32388/stat : 32388 (java) S 32381 32381 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117518770 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926479641232 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32389] ppid=32381 vsize=13980732 memory=605021049421824276 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32389/stat : 32389 (java) S 32381 32381 4674 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 15 0 117518771 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926042020336 139926563396226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32390] ppid=32381 vsize=13980732 memory=314970718922355058 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32390/stat : 32390 (java) S 32381 32381 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117518771 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926040966560 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32391] ppid=32381 vsize=13980732 memory=720933 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32391/stat : 32391 (java) S 32381 32381 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117518772 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926039913968 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32392] ppid=32381 vsize=13980732 memory=7976406965554101975 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32392/stat : 32392 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926038862544 139926563403675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32393] ppid=32381 vsize=13980732 memory=7669463479431096686 CPUtime=0.75 cores=1,3,5,7
/proc/32383/task/32393/stat : 32393 (java) R 32381 32381 4674 0 -1 4202560 3072 0 0 0 75 0 0 0 20 0 15 0 117518774 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926037797136 139926546881867 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32394] ppid=32381 vsize=13980732 memory=5937524870553682016 CPUtime=0.68 cores=1,3,5,7
/proc/32383/task/32394/stat : 32394 (java) R 32381 32381 4674 0 -1 4202560 2755 0 0 0 68 0 0 0 20 0 15 0 117518774 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926036737608 139926546860252 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32395] ppid=32381 vsize=13980732 memory=7236847435326580585 CPUtime=0.53 cores=1,3,5,7
/proc/32383/task/32395/stat : 32395 (java) S 32381 32381 4674 0 -1 1077944384 2803 0 0 0 53 0 0 0 20 0 15 0 117518774 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926035704048 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32396] ppid=32381 vsize=13980732 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32396/stat : 32396 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926034651744 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32397] ppid=32381 vsize=13980732 memory=5788366128452758634 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32397/stat : 32397 (java) S 32381 32381 4674 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 117518779 14316269568 27687 18446744073709551615 4194304 4196468 140728424287680 139926033599280 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0

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

/proc/32383/task/32391/stat : 32391 (java) S 32381 32381 4674 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 117518772 14316269568 61108 18446744073709551615 4194304 4196468 140728424287680 139926039913968 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32392] ppid=32381 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32392/stat : 32392 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14316269568 61108 18446744073709551615 4194304 4196468 140728424287680 139926038862544 139926563403675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32393] ppid=32381 vsize=13980732 memory=0 CPUtime=2.62 cores=1,3,5,7
/proc/32383/task/32393/stat : 32393 (java) S 32381 32381 4674 0 -1 1077944384 15554 0 0 0 260 2 0 0 20 0 15 0 117518774 14316269568 61108 18446744073709551615 4194304 4196468 140728424287680 139926037809136 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32394] ppid=32381 vsize=13980732 memory=3641 CPUtime=2.56 cores=1,3,5,7
/proc/32383/task/32394/stat : 32394 (java) S 32381 32381 4674 0 -1 1077944384 15944 0 0 0 254 2 0 0 20 0 15 0 117518774 14316269568 61108 18446744073709551615 4194304 4196468 140728424287680 139926036756592 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32395] ppid=32381 vsize=13980732 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/32383/task/32395/stat : 32395 (java) S 32381 32381 4674 0 -1 1077944384 9295 0 0 0 72 2 0 0 20 0 15 0 117518774 14316269568 61108 18446744073709551615 4194304 4196468 140728424287680 139926035704048 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32396] ppid=32381 vsize=13980732 memory=238567 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32396/stat : 32396 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14316269568 61108 18446744073709551615 4194304 4196468 140728424287680 139926034651744 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32397] ppid=32381 vsize=13980732 memory=1152 CPUtime=0.71 cores=1,3,5,7
/proc/32383/task/32397/stat : 32397 (java) S 32381 32381 4674 0 -1 1077944384 1533 0 0 0 33 38 0 0 20 0 15 0 117518779 14316269568 61108 18446744073709551615 4194304 4196468 140728424287680 139926033599280 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
Current children cumulated CPU time: 2391.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 245812 KiB

[startup+2442.3 s]
/proc/loadavg: 1.48 1.60 1.69 3/216 32650
/proc/meminfo: memFree=31341528/32770624 swapFree=67108764/67108860
[pid=32381] ppid=32378 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32381/stat : 32381 (xcsp3-exec) S 32378 32381 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117518749 9740288 345 18446744073709551615 4194304 5098028 140722050261536 140722050259640 139685500027516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 9302016 140722050265465 140722050265669 140722050265669 140722050269163 0
/proc/32381/statm: 2378 345 289 221 0 87 0
[pid=32383] ppid=32381 vsize=13980732 memory=244496 CPUtime=2451.93 cores=1,3,5,7
/proc/32383/stat : 32383 (java) S 32381 32381 4674 0 -1 1077944320 86184 0 0 0 245107 86 0 0 20 0 15 0 117518759 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 140728424270224 139926563385079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
/proc/32383/statm: 3495183 61124 3235 1 0 3483476 0
[pid=32383/tid=32384] ppid=32381 vsize=13980732 memory=-8774313645642428999 CPUtime=2439.55 cores=1,3,5,7
/proc/32383/task/32384/stat : 32384 (java) R 32381 32381 4674 0 -1 4202560 23049 0 0 0 243946 9 0 0 20 0 15 0 117518759 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926567624768 139926166804940 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32385] ppid=32381 vsize=13980732 memory=4126316290023845779 CPUtime=1.21 cores=1,3,5,7
/proc/32383/task/32385/stat : 32385 (java) S 32381 32381 4674 0 -1 1077944384 2995 0 0 0 113 8 0 0 20 0 15 0 117518770 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926482798864 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32386] ppid=32381 vsize=13980732 memory=1724 CPUtime=1.2 cores=1,3,5,7
/proc/32383/task/32386/stat : 32386 (java) S 32381 32381 4674 0 -1 1077944384 2900 0 0 0 112 8 0 0 20 0 15 0 117518770 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926481746320 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32387] ppid=32381 vsize=13980732 memory=2012 CPUtime=1.2 cores=1,3,5,7
/proc/32383/task/32387/stat : 32387 (java) S 32381 32381 4674 0 -1 1077944384 4922 0 0 0 111 9 0 0 20 0 15 0 117518770 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926480693776 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32388] ppid=32381 vsize=13980732 memory=11028 CPUtime=1.2 cores=1,3,5,7
/proc/32383/task/32388/stat : 32388 (java) S 32381 32381 4674 0 -1 1077944384 3643 0 0 0 112 8 0 0 20 0 15 0 117518770 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926479641232 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32389] ppid=32381 vsize=13980732 memory=1228 CPUtime=0.82 cores=1,3,5,7
/proc/32383/task/32389/stat : 32389 (java) S 32381 32381 4674 0 -1 1077944384 4979 0 0 0 75 7 0 0 20 0 15 0 117518771 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926042020336 139926563396226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32390] ppid=32381 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32390/stat : 32390 (java) S 32381 32381 4674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 117518771 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926040966560 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32391] ppid=32381 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32391/stat : 32391 (java) S 32381 32381 4674 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 117518772 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926039913968 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32392] ppid=32381 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32392/stat : 32392 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926038862544 139926563403675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32393] ppid=32381 vsize=13980732 memory=13564886244395551 CPUtime=2.62 cores=1,3,5,7
/proc/32383/task/32393/stat : 32393 (java) S 32381 32381 4674 0 -1 1077944384 15556 0 0 0 260 2 0 0 20 0 15 0 117518774 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926037809136 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32394] ppid=32381 vsize=13980732 memory=844 CPUtime=2.56 cores=1,3,5,7
/proc/32383/task/32394/stat : 32394 (java) S 32381 32381 4674 0 -1 1077944384 15946 0 0 0 254 2 0 0 20 0 15 0 117518774 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926036756592 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32395] ppid=32381 vsize=13980732 memory=16436 CPUtime=0.74 cores=1,3,5,7
/proc/32383/task/32395/stat : 32395 (java) S 32381 32381 4674 0 -1 1077944384 9297 0 0 0 72 2 0 0 20 0 15 0 117518774 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926035704048 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32396] ppid=32381 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32396/stat : 32396 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926034651744 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32397] ppid=32381 vsize=13980732 memory=2852 CPUtime=0.72 cores=1,3,5,7
/proc/32383/task/32397/stat : 32397 (java) S 32381 32381 4674 0 -1 1077944384 1552 0 0 0 33 39 0 0 20 0 15 0 117518779 14316269568 61124 18446744073709551615 4194304 4196468 140728424287680 139926033599280 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
Current children cumulated CPU time: 2451.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 245876 KiB

[startup+2502.3 s]
/proc/loadavg: 1.50 1.60 1.68 3/216 32652
/proc/meminfo: memFree=30679512/32770624 swapFree=67108764/67108860
[pid=32381] ppid=32378 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32381/stat : 32381 (xcsp3-exec) S 32378 32381 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117518749 9740288 345 18446744073709551615 4194304 5098028 140722050261536 140722050259640 139685500027516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 9302016 140722050265465 140722050265669 140722050265669 140722050269163 0
/proc/32381/statm: 2378 345 289 221 0 87 0
[pid=32383] ppid=32381 vsize=13980732 memory=904280 CPUtime=2512.39 cores=1,3,5,7
/proc/32383/stat : 32383 (java) S 32381 32381 4674 0 -1 1077944320 92204 0 0 0 251119 120 0 0 20 0 15 0 117518759 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 140728424270224 139926563385079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
/proc/32383/statm: 3495183 226070 3247 1 0 3483476 0
[pid=32383/tid=32384] ppid=32381 vsize=13980732 memory=6943526294502006880 CPUtime=2499.33 cores=1,3,5,7
/proc/32383/task/32384/stat : 32384 (java) R 32381 32381 4674 0 -1 4202560 27388 0 0 0 249895 38 0 0 20 0 15 0 117518759 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926567624712 139926166838352 0 4 1 16800974 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32385] ppid=32381 vsize=13980732 memory=6944656592387989600 CPUtime=1.37 cores=1,3,5,7
/proc/32383/task/32385/stat : 32385 (java) S 32381 32381 4674 0 -1 1077944384 3070 0 0 0 128 9 0 0 20 0 15 0 117518770 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926482798864 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32386] ppid=32381 vsize=13980732 memory=6944656575208382560 CPUtime=1.36 cores=1,3,5,7
/proc/32383/task/32386/stat : 32386 (java) S 32381 32381 4674 0 -1 1077944384 3008 0 0 0 127 9 0 0 20 0 15 0 117518770 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926481746320 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32387] ppid=32381 vsize=13980732 memory=9023629670928638048 CPUtime=1.35 cores=1,3,5,7
/proc/32383/task/32387/stat : 32387 (java) S 32381 32381 4674 0 -1 1077944384 5642 0 0 0 125 10 0 0 20 0 15 0 117518770 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926480693776 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32388] ppid=32381 vsize=13980732 memory=-3395018477722357535 CPUtime=1.35 cores=1,3,5,7
/proc/32383/task/32388/stat : 32388 (java) S 32381 32381 4674 0 -1 1077944384 3736 0 0 0 126 9 0 0 20 0 15 0 117518770 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926479641232 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32389] ppid=32381 vsize=13980732 memory=7956294185888600681 CPUtime=0.87 cores=1,3,5,7
/proc/32383/task/32389/stat : 32389 (java) S 32381 32381 4674 0 -1 1077944384 5660 0 0 0 79 8 0 0 20 0 15 0 117518771 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926042020336 139926563396226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32390] ppid=32381 vsize=13980732 memory=5938398987079411301 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32390/stat : 32390 (java) S 32381 32381 4674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 117518771 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926040966560 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32391] ppid=32381 vsize=13980732 memory=280568872829168 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32391/stat : 32391 (java) S 32381 32381 4674 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 117518772 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926039913968 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32392] ppid=32381 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32392/stat : 32392 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926038862544 139926563403675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32393] ppid=32381 vsize=13980732 memory=8693812738324986024 CPUtime=2.62 cores=1,3,5,7
/proc/32383/task/32393/stat : 32393 (java) S 32381 32381 4674 0 -1 1077944384 15556 0 0 0 260 2 0 0 20 0 15 0 117518774 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926037809136 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32394] ppid=32381 vsize=13980732 memory=288230574492221466 CPUtime=2.56 cores=1,3,5,7
/proc/32383/task/32394/stat : 32394 (java) S 32381 32381 4674 0 -1 1077944384 15946 0 0 0 254 2 0 0 20 0 15 0 117518774 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926036756592 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32395] ppid=32381 vsize=13980732 memory=288230617509003574 CPUtime=0.74 cores=1,3,5,7
/proc/32383/task/32395/stat : 32395 (java) S 32381 32381 4674 0 -1 1077944384 9297 0 0 0 72 2 0 0 20 0 15 0 117518774 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926035704048 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32396] ppid=32381 vsize=13980732 memory=13564886244395551 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32396/stat : 32396 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926034651744 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32397] ppid=32381 vsize=13980732 memory=2828 CPUtime=0.74 cores=1,3,5,7
/proc/32383/task/32397/stat : 32397 (java) S 32381 32381 4674 0 -1 1077944384 1556 0 0 0 34 40 0 0 20 0 15 0 117518779 14316269568 226070 18446744073709551615 4194304 4196468 140728424287680 139926033599280 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
Current children cumulated CPU time: 2512.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 905660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2509.9 s]
/proc/loadavg: 1.42 1.58 1.67 3/216 32653
/proc/meminfo: memFree=30654876/32770624 swapFree=67108764/67108860
[pid=32381] ppid=32378 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32381/stat : 32381 (xcsp3-exec) S 32378 32381 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117518749 9740288 345 18446744073709551615 4194304 5098028 140722050261536 140722050259640 139685500027516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 9302016 140722050265465 140722050265669 140722050265669 140722050269163 0
/proc/32381/statm: 2378 345 289 221 0 87 0
[pid=32383] ppid=32381 vsize=13980732 memory=928956 CPUtime=2520.05 cores=1,3,5,7
/proc/32383/stat : 32383 (java) S 32381 32381 4674 0 -1 1077944320 92252 0 0 0 251884 121 0 0 20 0 15 0 117518759 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 140728424270224 139926563385079 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
/proc/32383/statm: 3495183 232239 3247 1 0 3483476 0
[pid=32383/tid=32384] ppid=32381 vsize=13980732 memory=2244 CPUtime=2506.92 cores=1,3,5,7
/proc/32383/task/32384/stat : 32384 (java) R 32381 32381 4674 0 -1 4202560 27431 0 0 0 250653 39 0 0 20 0 15 0 117518759 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926567624736 139926165760959 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32385] ppid=32381 vsize=13980732 memory=4288 CPUtime=1.38 cores=1,3,5,7
/proc/32383/task/32385/stat : 32385 (java) S 32381 32381 4674 0 -1 1077944384 3071 0 0 0 129 9 0 0 20 0 15 0 117518770 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926482798864 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32386] ppid=32381 vsize=13980732 memory=1608 CPUtime=1.37 cores=1,3,5,7
/proc/32383/task/32386/stat : 32386 (java) S 32381 32381 4674 0 -1 1077944384 3008 0 0 0 128 9 0 0 20 0 15 0 117518770 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926481746320 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32387] ppid=32381 vsize=13980732 memory=928 CPUtime=1.38 cores=1,3,5,7
/proc/32383/task/32387/stat : 32387 (java) S 32381 32381 4674 0 -1 1077944384 5642 0 0 0 127 11 0 0 20 0 15 0 117518770 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926480693776 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32388] ppid=32381 vsize=13980732 memory=2164 CPUtime=1.37 cores=1,3,5,7
/proc/32383/task/32388/stat : 32388 (java) S 32381 32381 4674 0 -1 1077944384 3736 0 0 0 128 9 0 0 20 0 15 0 117518770 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926479641232 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32389] ppid=32381 vsize=13980732 memory=844 CPUtime=0.87 cores=1,3,5,7
/proc/32383/task/32389/stat : 32389 (java) S 32381 32381 4674 0 -1 1077944384 5662 0 0 0 79 8 0 0 20 0 15 0 117518771 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926042020336 139926563396226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32390] ppid=32381 vsize=13980732 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32390/stat : 32390 (java) S 32381 32381 4674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 117518771 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926040966560 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32391] ppid=32381 vsize=13980732 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32391/stat : 32391 (java) S 32381 32381 4674 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 117518772 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926039913968 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32392] ppid=32381 vsize=13980732 memory=3188 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32392/stat : 32392 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926038862544 139926563403675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32393] ppid=32381 vsize=13980732 memory=1380 CPUtime=2.62 cores=1,3,5,7
/proc/32383/task/32393/stat : 32393 (java) S 32381 32381 4674 0 -1 1077944384 15556 0 0 0 260 2 0 0 20 0 15 0 117518774 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926037809136 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32394] ppid=32381 vsize=13980732 memory=928956 CPUtime=2.56 cores=1,3,5,7
/proc/32383/task/32394/stat : 32394 (java) S 32381 32381 4674 0 -1 1077944384 15946 0 0 0 254 2 0 0 20 0 15 0 117518774 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926036756592 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32395] ppid=32381 vsize=13980732 memory=4126316290023845779 CPUtime=0.74 cores=1,3,5,7
/proc/32383/task/32395/stat : 32395 (java) S 32381 32381 4674 0 -1 1077944384 9297 0 0 0 72 2 0 0 20 0 15 0 117518774 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926035704048 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32396] ppid=32381 vsize=13980732 memory=244496 CPUtime=0 cores=1,3,5,7
/proc/32383/task/32396/stat : 32396 (java) S 32381 32381 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117518774 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926034651744 139926563395285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
[pid=32383/tid=32397] ppid=32381 vsize=13980732 memory=1152 CPUtime=0.74 cores=1,3,5,7
/proc/32383/task/32397/stat : 32397 (java) S 32381 32381 4674 0 -1 1077944384 1558 0 0 0 34 40 0 0 20 0 15 0 117518779 14316269568 232239 18446744073709551615 4194304 4196468 140728424287680 139926033599280 139926563396226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14168064 140728424288689 140728424288865 140728424288865 140728424292303 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 930336 KiB

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

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

[startup+2509.91 s]
# the end of solver process 32383 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.85 s, system=1.21747 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): 2509.91
CPU time (s): 2520.07
CPU user time (s): 2518.85
CPU system time (s): 1.21747
CPU usage (%): 100.405
Max. virtual memory (cumulated for all children) (KiB): 13992264
Max. memory (cumulated for all children) (KiB): 1690280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.85
system time used= 1.21747
maximum resident set size= 1750172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78322
involuntary context switches= 3314


# summary of solver processes directly reported to runsolver:
#   pid: 32381,32383
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2518.85
#   total CPU system time (s): 1.21747

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5037 second user time and 22.9918 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-14 10:28:09
IDJOB=4269334
IDBENCH=115913
IDSOLVER=2660
FILE ID=node134/4269334-1502700123
RUNJOBID= node134-1502649032-24471
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-29.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4269334-1502700123/watcher-4269334-1502700123 -o /tmp/evaluation-result-4269334-1502700123/solver-4269334-1502700123 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 584574011 HOME/instance-4269334-1502700123.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1822b9c415adc1a9dd10b23e46d08c48
RANDOM SEED=584574011

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31536868 kB
MemAvailable:   31756380 kB
Buffers:          251124 kB
Cached:           259488 kB
SwapCached:            4 kB
Active:           595336 kB
Inactive:         181816 kB
Active(anon):     213564 kB
Inactive(anon):    94540 kB
Active(file):     381772 kB
Inactive(file):    87276 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108764 kB
Dirty:              8060 kB
Writeback:             0 kB
AnonPages:        295244 kB
Mapped:            70204 kB
Shmem:             41564 kB
Slab:             159592 kB
SReclaimable:     132600 kB
SUnreclaim:        26992 kB
KernelStack:        3840 kB
PageTables:         5716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1168108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62016 MiB
End job on node134 at 2017-08-14 11:09:59