Trace number 4272380

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 NameAnswerCPU timeWall clock time
choco-solver 5a (2017-07-26)SAT 1216.03 1179.0601

General information on the benchmark

NameDiamondFree/DiamondFree-m1-s1/
DiamondFree-055.xml
MD5SUM5b14a82f4b2104c7eb276669f9388ce0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark24.0403
Satisfiable
(Un)Satisfiability was proved
Number of variables3081
Number of constraints344083
Number of domains4
Minimum domain size1
Maximum domain size243
Distribution of domain sizes[{"size":1,"count":55},{"size":2,"count":2970},{"size":18,"count":55},{"size":243,"count":1}]
Minimum variable degree1
Maximum variable degree1382
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":55},{"degree":3,"count":55},{"degree":4,"count":1485},{"degree":1382,"count":1485}]
Minimum constraint arity2
Maximum constraint arity3025
Distribution of constraint arities[{"arity":2,"count":2970},{"arity":6,"count":341055},{"arity":55,"count":1},{"arity":56,"count":56},{"arity":3025,"count":1}]
Number of extensional constraints0
Number of intensional constraints2970
Distribution of constraint types[{"type":"intension","count":2970},{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":341111}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272380-1502802463.xml"  -tl '2520s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4272380-1502802463.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.19	c simple solver
0.33/0.26	c parse instance...
14.46/7.55	c solve instance...
1215.94/1179.03	s SATISFIABLE
1215.94/1179.03	v <instantiation>
1215.94/1179.03	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][50] x[12][51] x[12][52] x[12][53] x[12][54] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][50] x[13][51] x[13][52] x[13][53] x[13][54] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][50] x[14][51] x[14][52] x[14][53] x[14][54] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][50] x[15][51] x[15][52] x[15][53] x[15][54] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][50] x[16][51] x[16][52] x[16][53] x[16][54] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][50] x[17][51] x[17][52] x[17][53] x[17][54] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][50] x[18][51] x[18][52] x[18][53] x[18][54] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][50] x[19][51] x[19][52] x[19][53] x[19][54] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][50] x[20][51] x[20][52] x[20][53] x[20][54] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][50] x[21][51] x[21][52] x[21][53] x[21][54] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][50] x[22][51] x[22][52] x[22][53] x[22][54] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][50] x[23][51] x[23][52] x[23][53] x[23][54] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][50] x[24][51] x[24][52] x[24][53] x[24][54] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][50] x[25][51] x[25][52] x[25][53] x[25][54] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][50] x[26][51] x[26][52] x[26][53] x[26][54] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][50] x[27][51] x[27][52] x[27][53] x[27][54] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][50] x[28][51] x[28][52] x[28][53] x[28][54] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][50] x[29][51] x[29][52] x[29][53] x[29][54] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][50] x[30][51] x[30][52] x[30][53] x[30][54] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][50] x[31][51] x[31][52] x[31][53] x[31][54] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][50] x[32][51] x[32][52] x[32][53] x[32][54] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][50] x[33][51] x[33][52] x[33][53] x[33][54] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][50] x[34][51] x[34][52] x[34][53] x[34][54] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][50] x[35][51] x[35][52] x[35][53] x[35][54] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][50] x[36][51] x[36][52] x[36][53] x[36][54] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][50] x[37][51] x[37][52] x[37][53] x[37][54] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][50] x[38][51] x[38][52] x[38][53] x[38][54] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][50] x[39][51] x[39][52] x[39][53] x[39][54] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][50] x[40][51] x[40][52] x[40][53] x[40][54] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][50] x[41][51] x[41][52] x[41][53] x[41][54] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][50] x[42][51] x[42][52] x[42][53] x[42][54] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][50] x[43][51] x[43][52] x[43][53] x[43][54] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][50] x[44][51] x[44][52] x[44][53] x[44][54] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][50] x[45][51] x[45][52] x[45][53] x[45][54] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][50] x[46][51] x[46][52] x[46][53] x[46][54] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][50] x[47][51] x[47][52] x[47][53] x[47][54] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][50] x[48][51] x[48][52] x[48][53] x[48][54] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][50] x[49][51] x[49][52] x[49][53] x[49][54] x[50][0] x[50][1] x[50][2] x[50][3] x[50][4] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[51][0] x[51][1] x[51][2] x[51][3] x[51][4] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[52][0] x[52][1] x[52][2] x[52][3] x[52][4] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[53][0] x[53][1] x[53][2] x[53][3] x[53][4] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[54][0] x[54][1] x[54][2] x[54][3] x[54][4] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] s </list>
1215.94/1179.03	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 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 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 0 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 180 </values>
1215.94/1179.03	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272380-1502802463/watcher-4272380-1502802463 -o /tmp/evaluation-result-4272380-1502802463/solver-4272380-1502802463 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2023300075 HOME/instance-4272380-1502802463.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=7684, runsolver pid=7681

[startup+0.100138 s]*
/proc/loadavg: 1.50 1.41 1.58 3/218 7700
/proc/meminfo: memFree=28871560/32770624 swapFree=67108860/67108860
[pid=7684] ppid=7681 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7684/stat : 7684 (xcsp3-exec) S 7681 7684 5918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 113334397 9740288 345 33554432000 4194304 5098028 140720747835360 140720747833464 139922770551420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31248384 140720747836526 140720747836731 140720747836731 140720747839467 0
/proc/7684/statm: 2378 345 289 221 0 87 0
[pid=7686] ppid=7684 vsize=13978596 memory=27544 CPUtime=0.12 cores=1,3,5,7
/proc/7686/stat : 7686 (java) S 7684 7684 5918 0 -1 1077944320 5230 0 0 0 11 1 0 0 20 0 15 0 113334397 14314082304 6886 33554432000 4194304 4196468 140729626391872 140729626374416 139660559077111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
/proc/7686/statm: 3494649 6886 2892 1 0 3482966 0
[pid=7686/tid=7687] ppid=7684 vsize=13978596 memory=8189695451840353115 CPUtime=0.09 cores=1,3,5,7
/proc/7686/task/7687/stat : 7687 (java) R 7684 7684 5918 0 -1 4202560 3127 0 0 0 8 1 0 0 20 0 15 0 113334397 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660563308800 139660195668219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7688] ppid=7684 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7688/stat : 7688 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334398 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660526635408 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7689] ppid=7684 vsize=13978596 memory=140229185599104 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7689/stat : 7689 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334398 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660154042640 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7690] ppid=7684 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7690/stat : 7690 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334398 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660152990352 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7691] ppid=7684 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7691/stat : 7691 (java) S 7684 7684 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334398 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660151937552 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7692] ppid=7684 vsize=13978596 memory=140229185599104 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7692/stat : 7692 (java) S 7684 7684 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334399 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660033194608 139660559088258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7693] ppid=7684 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7693/stat : 7693 (java) S 7684 7684 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113334400 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660032140576 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7694] ppid=7684 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7694/stat : 7694 (java) S 7684 7684 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113334400 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660031088240 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7695] ppid=7684 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7695/stat : 7695 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660030036560 139660559095707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7696] ppid=7684 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7696/stat : 7696 (java) S 7684 7684 5918 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 113334402 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660028983408 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7697] ppid=7684 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7697/stat : 7697 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334402 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660027930608 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7698] ppid=7684 vsize=13978596 memory=140229185599104 CPUtime=0.01 cores=1,3,5,7
/proc/7686/task/7698/stat : 7698 (java) S 7684 7684 5918 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 15 0 113334402 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660026878320 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7699] ppid=7684 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7699/stat : 7699 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660025825760 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7700] ppid=7684 vsize=13978596 memory=140229185599104 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7700/stat : 7700 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334403 14314082304 6886 33554432000 4194304 4196468 140729626391872 139660024773552 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28924 KiB

[startup+0.211984 s]*
/proc/loadavg: 1.50 1.41 1.58 3/218 7700
/proc/meminfo: memFree=28860008/32770624 swapFree=67108860/67108860
[pid=7684] ppid=7681 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7684/stat : 7684 (xcsp3-exec) S 7681 7684 5918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 113334397 9740288 345 33554432000 4194304 5098028 140720747835360 140720747833464 139922770551420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31248384 140720747836526 140720747836731 140720747836731 140720747839467 0
/proc/7684/statm: 2378 345 289 221 0 87 0
[pid=7686] ppid=7684 vsize=13982852 memory=39616 CPUtime=0.33 cores=1,3,5,7
/proc/7686/stat : 7686 (java) S 7684 7684 5918 0 -1 1077944320 8057 0 0 0 31 2 0 0 20 0 15 0 113334397 14318440448 9904 33554432000 4194304 4196468 140729626391872 140729626374416 139660559077111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
/proc/7686/statm: 3495713 9904 3079 1 0 3482966 0
[pid=7686/tid=7687] ppid=7684 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/7686/task/7687/stat : 7687 (java) R 7684 7684 5918 0 -1 4202560 4994 0 0 0 18 1 0 0 20 0 15 0 113334397 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660563286848 139660559099037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7688] ppid=7684 vsize=13982852 memory=12474 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7688/stat : 7688 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334398 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660526635408 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7689] ppid=7684 vsize=13982852 memory=140229186151759 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7689/stat : 7689 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334398 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660154042640 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7690] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7690/stat : 7690 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334398 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660152990352 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7691] ppid=7684 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7691/stat : 7691 (java) S 7684 7684 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334398 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660151937552 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7692] ppid=7684 vsize=13982852 memory=140229185599104 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7692/stat : 7692 (java) S 7684 7684 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334399 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660033194608 139660559088258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7693] ppid=7684 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7693/stat : 7693 (java) S 7684 7684 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113334400 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660032140576 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7694] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7694/stat : 7694 (java) S 7684 7684 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113334400 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660031088240 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7695] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7695/stat : 7695 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660030036560 139660559095707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7696] ppid=7684 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7686/task/7696/stat : 7696 (java) S 7684 7684 5918 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 15 0 113334402 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660028983408 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7697] ppid=7684 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7686/task/7697/stat : 7697 (java) R 7684 7684 5918 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 113334402 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660027930608 139660559088258 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7698] ppid=7684 vsize=13982852 memory=140229185599104 CPUtime=0.08 cores=1,3,5,7
/proc/7686/task/7698/stat : 7698 (java) R 7684 7684 5918 0 -1 4202560 857 0 0 0 8 0 0 0 20 0 15 0 113334402 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660026878320 139660551314238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7699] ppid=7684 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7699/stat : 7699 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660025825760 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7700] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7700/stat : 7700 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334403 14318440448 9904 33554432000 4194304 4196468 140729626391872 139660024773552 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40996 KiB

[startup+0.311094 s]*
/proc/loadavg: 1.50 1.41 1.58 4/218 7700
/proc/meminfo: memFree=28850880/32770624 swapFree=67108860/67108860
[pid=7684] ppid=7681 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7684/stat : 7684 (xcsp3-exec) S 7681 7684 5918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 113334397 9740288 345 33554432000 4194304 5098028 140720747835360 140720747833464 139922770551420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31248384 140720747836526 140720747836731 140720747836731 140720747839467 0
/proc/7684/statm: 2378 345 289 221 0 87 0
[pid=7686] ppid=7684 vsize=13982852 memory=46456 CPUtime=0.52 cores=1,3,5,7
/proc/7686/stat : 7686 (java) S 7684 7684 5918 0 -1 1077944320 8819 0 0 0 49 3 0 0 20 0 15 0 113334397 14318440448 11614 33554432000 4194304 4196468 140729626391872 140729626374416 139660559077111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
/proc/7686/statm: 3495713 11614 3095 1 0 3482966 0
[pid=7686/tid=7687] ppid=7684 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/7686/task/7687/stat : 7687 (java) R 7684 7684 5918 0 -1 4202560 5521 0 0 0 27 2 0 0 20 0 15 0 113334397 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660563314880 139660543157598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7688] ppid=7684 vsize=13982852 memory=12804 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7688/stat : 7688 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334398 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660526635408 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7689] ppid=7684 vsize=13982852 memory=556682 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7689/stat : 7689 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334398 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660154042640 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7690] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7690/stat : 7690 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334398 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660152990352 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7691] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7691/stat : 7691 (java) S 7684 7684 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334398 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660151937552 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7692] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7692/stat : 7692 (java) S 7684 7684 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334399 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660033194608 139660559088258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7693] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7693/stat : 7693 (java) S 7684 7684 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113334400 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660032140576 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7694] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7694/stat : 7694 (java) S 7684 7684 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113334400 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660031088240 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7695] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7695/stat : 7695 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660030036560 139660559095707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7696] ppid=7684 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7686/task/7696/stat : 7696 (java) R 7684 7684 5918 0 -1 1077944384 588 0 0 0 4 0 0 0 20 0 15 0 113334402 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660028973328 139660559087317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7697] ppid=7684 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7686/task/7697/stat : 7697 (java) R 7684 7684 5918 0 -1 4202560 380 0 0 0 3 0 0 0 20 0 15 0 113334402 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660027930704 139660538730656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7698] ppid=7684 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/7686/task/7698/stat : 7698 (java) R 7684 7684 5918 0 -1 4202560 1028 0 0 0 13 0 0 0 20 0 15 0 113334402 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660026878320 139660552173947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7699] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7699/stat : 7699 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660025825760 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7700] ppid=7684 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7700/stat : 7700 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334403 14318440448 11614 33554432000 4194304 4196468 140729626391872 139660024773552 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 47836 KiB

[startup+0.70148 s]
/proc/loadavg: 1.50 1.41 1.58 5/218 7700
/proc/meminfo: memFree=28802420/32770624 swapFree=67108860/67108860
[pid=7684] ppid=7681 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7684/stat : 7684 (xcsp3-exec) S 7681 7684 5918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 113334397 9740288 345 33554432000 4194304 5098028 140720747835360 140720747833464 139922770551420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31248384 140720747836526 140720747836731 140720747836731 140720747839467 0
/proc/7684/statm: 2378 345 289 221 0 87 0
[pid=7686] ppid=7684 vsize=13982852 memory=218428 CPUtime=1.48 cores=1,3,5,7
/proc/7686/stat : 7686 (java) S 7684 7684 5918 0 -1 1077944320 11418 0 0 0 135 13 0 0 20 0 15 0 113334397 14318440448 54607 33554432000 4194304 4196468 140729626391872 140729626374416 139660559077111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
/proc/7686/statm: 3495713 54607 3151 1 0 3482966 0
[pid=7686/tid=7687] ppid=7684 vsize=13982852 memory=4044 CPUtime=0.64 cores=1,3,5,7
/proc/7686/task/7687/stat : 7687 (java) S 7684 7684 5918 0 -1 1077944384 5584 0 0 0 59 5 0 0 20 0 15 0 113334397 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660563316288 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7688] ppid=7684 vsize=13982852 memory=1792 CPUtime=0.02 cores=1,3,5,7
/proc/7686/task/7688/stat : 7688 (java) R 7684 7684 5918 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 15 0 113334398 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660526633040 139660544104530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7689] ppid=7684 vsize=13982852 memory=636 CPUtime=0.02 cores=1,3,5,7
/proc/7686/task/7689/stat : 7689 (java) R 7684 7684 5918 0 -1 4202560 28 0 0 0 1 1 0 0 20 0 15 0 113334398 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660154040448 139660544104028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7690] ppid=7684 vsize=13982852 memory=956 CPUtime=0.02 cores=1,3,5,7
/proc/7686/task/7690/stat : 7690 (java) R 7684 7684 5918 0 -1 4202560 27 0 0 0 1 1 0 0 20 0 15 0 113334398 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660152990352 139660544104530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7691] ppid=7684 vsize=13982852 memory=2340 CPUtime=0.02 cores=1,3,5,7
/proc/7686/task/7691/stat : 7691 (java) R 7684 7684 5918 0 -1 4202560 32 0 0 0 1 1 0 0 20 0 15 0 113334398 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660151935248 139660544104530 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7692] ppid=7684 vsize=13982852 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7692/stat : 7692 (java) S 7684 7684 5918 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 113334399 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660033193120 139660559087317 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7693] ppid=7684 vsize=13982852 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7693/stat : 7693 (java) S 7684 7684 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113334400 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660032140576 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7694] ppid=7684 vsize=13982852 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7694/stat : 7694 (java) S 7684 7684 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113334400 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660031088240 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7695] ppid=7684 vsize=13982852 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7695/stat : 7695 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660030036560 139660559095707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7696] ppid=7684 vsize=13982852 memory=932 CPUtime=0.26 cores=1,3,5,7
/proc/7686/task/7696/stat : 7696 (java) S 7684 7684 5918 0 -1 1077944384 1501 0 0 0 26 0 0 0 20 0 15 0 113334402 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660028983408 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7697] ppid=7684 vsize=13982852 memory=2200 CPUtime=0.25 cores=1,3,5,7
/proc/7686/task/7697/stat : 7697 (java) S 7684 7684 5918 0 -1 1077944384 1448 0 0 0 25 0 0 0 20 0 15 0 113334402 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660027930608 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7698] ppid=7684 vsize=13982852 memory=6504 CPUtime=0.18 cores=1,3,5,7
/proc/7686/task/7698/stat : 7698 (java) S 7684 7684 5918 0 -1 1077944384 1463 0 0 0 18 0 0 0 20 0 15 0 113334402 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660026878320 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7699] ppid=7684 vsize=13982852 memory=840 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7699/stat : 7699 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660025825760 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7700] ppid=7684 vsize=13982852 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7700/stat : 7700 (java) S 7684 7684 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334403 14318440448 54607 33554432000 4194304 4196468 140729626391872 139660024773552 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 219808 KiB

[startup+1.50148 s]
/proc/loadavg: 1.50 1.41 1.58 3/218 7700
/proc/meminfo: memFree=28603156/32770624 swapFree=67108860/67108860
[pid=7684] ppid=7681 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7684/stat : 7684 (xcsp3-exec) S 7681 7684 5918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 113334397 9740288 345 33554432000 4194304 5098028 140720747835360 140720747833464 139922770551420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31248384 140720747836526 140720747836731 140720747836731 140720747839467 0
/proc/7684/statm: 2378 345 289 221 0 87 0

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

/proc/7684/stat : 7684 (xcsp3-exec) S 7681 7684 5918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 113334397 9740288 345 33554432000 4194304 5098028 140720747835360 140720747833464 139922770551420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31248384 140720747836526 140720747836731 140720747836731 140720747839467 0
/proc/7684/statm: 2378 345 289 221 0 87 0
[pid=7686] ppid=7684 vsize=13984976 memory=2615120 CPUtime=1214.5 cores=1,3,5,7
/proc/7686/stat : 7686 (java) S 7684 7684 5918 0 -1 1077944320 227474 0 0 0 121162 288 0 0 20 0 15 0 113334397 14320615424 653780 33554432000 4194304 4196468 140729626391872 140729626374416 139660559077111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
/proc/7686/statm: 3496244 653780 3292 1 0 3483478 0
[pid=7686/tid=7687] ppid=7684 vsize=13984976 memory=1380 CPUtime=1168.4 cores=1,3,5,7
/proc/7686/task/7687/stat : 7687 (java) R 7684 7684 5918 0 -1 4202560 86472 0 0 0 116815 25 0 0 20 0 15 0 113334397 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660563314136 139660202954727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7688] ppid=7684 vsize=13984976 memory=2627432 CPUtime=8.28 cores=1,3,5,7
/proc/7686/task/7688/stat : 7688 (java) S 7684 7684 5918 0 -1 1077944384 8888 0 0 0 773 55 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660526635408 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7689] ppid=7684 vsize=13984976 memory=1380 CPUtime=8.23 cores=1,3,5,7
/proc/7686/task/7689/stat : 7689 (java) S 7684 7684 5918 0 -1 1077944384 9612 0 0 0 767 56 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660154042640 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7690] ppid=7684 vsize=13984976 memory=2627432 CPUtime=8.25 cores=1,3,5,7
/proc/7686/task/7690/stat : 7690 (java) S 7684 7684 5918 0 -1 1077944384 12035 0 0 0 771 54 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660152990352 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7691] ppid=7684 vsize=13984976 memory=7306316804797196914 CPUtime=8.24 cores=1,3,5,7
/proc/7686/task/7691/stat : 7691 (java) S 7684 7684 5918 0 -1 1077944384 11138 0 0 0 768 56 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660151937552 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7692] ppid=7684 vsize=13984976 memory=2648500 CPUtime=0.41 cores=1,3,5,7
/proc/7686/task/7692/stat : 7692 (java) S 7684 7684 5918 0 -1 1077944384 8931 0 0 0 39 2 0 0 20 0 15 0 113334399 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660033194608 139660559088258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7693] ppid=7684 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7693/stat : 7693 (java) S 7684 7684 5918 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 113334400 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660032140640 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7694] ppid=7684 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7694/stat : 7694 (java) S 7684 7684 5918 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 113334400 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660031088256 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7695] ppid=7684 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7695/stat : 7695 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660030036560 139660559095707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7696] ppid=7684 vsize=13984976 memory=0 CPUtime=5.31 cores=1,3,5,7
/proc/7686/task/7696/stat : 7696 (java) S 7684 7684 5918 0 -1 1077944384 33465 0 0 0 527 4 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660028983408 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7697] ppid=7684 vsize=13984976 memory=60 CPUtime=5.58 cores=1,3,5,7
/proc/7686/task/7697/stat : 7697 (java) S 7684 7684 5918 0 -1 1077944384 38124 0 0 0 555 3 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660027930608 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7698] ppid=7684 vsize=13984976 memory=2627432 CPUtime=1.07 cores=1,3,5,7
/proc/7686/task/7698/stat : 7698 (java) S 7684 7684 5918 0 -1 1077944384 15776 0 0 0 105 2 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660026878320 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7699] ppid=7684 vsize=13984976 memory=801 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7699/stat : 7699 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660025825760 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7700] ppid=7684 vsize=13984976 memory=2428 CPUtime=0.64 cores=1,3,5,7
/proc/7686/task/7700/stat : 7700 (java) S 7684 7684 5918 0 -1 1077944384 1639 0 0 0 31 33 0 0 20 0 15 0 113334403 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660024773552 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
Current children cumulated CPU time: 1214.5 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2616500 KiB

[startup+1178.4 s]
/proc/loadavg: 1.87 1.83 1.78 3/217 7836
/proc/meminfo: memFree=25407372/32770624 swapFree=67108860/67108860
[pid=7684] ppid=7681 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7684/stat : 7684 (xcsp3-exec) S 7681 7684 5918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 113334397 9740288 345 33554432000 4194304 5098028 140720747835360 140720747833464 139922770551420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31248384 140720747836526 140720747836731 140720747836731 140720747839467 0
/proc/7684/statm: 2378 345 289 221 0 87 0
[pid=7686] ppid=7684 vsize=13984976 memory=2615120 CPUtime=1215.3 cores=1,3,5,7
/proc/7686/stat : 7686 (java) S 7684 7684 5918 0 -1 1077944320 227485 0 0 0 121242 288 0 0 20 0 15 0 113334397 14320615424 653780 33554432000 4194304 4196468 140729626391872 140729626374416 139660559077111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
/proc/7686/statm: 3496244 653780 3292 1 0 3483478 0
[pid=7686/tid=7687] ppid=7684 vsize=13984976 memory=1380 CPUtime=1169.2 cores=1,3,5,7
/proc/7686/task/7687/stat : 7687 (java) R 7684 7684 5918 0 -1 4202560 86483 0 0 0 116895 25 0 0 20 0 15 0 113334397 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660563314136 139660203221928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7688] ppid=7684 vsize=13984976 memory=0 CPUtime=8.28 cores=1,3,5,7
/proc/7686/task/7688/stat : 7688 (java) S 7684 7684 5918 0 -1 1077944384 8888 0 0 0 773 55 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660526635408 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7689] ppid=7684 vsize=13984976 memory=7450695678093847919 CPUtime=8.23 cores=1,3,5,7
/proc/7686/task/7689/stat : 7689 (java) S 7684 7684 5918 0 -1 1077944384 9612 0 0 0 767 56 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660154042640 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7690] ppid=7684 vsize=13984976 memory=4140 CPUtime=8.25 cores=1,3,5,7
/proc/7686/task/7690/stat : 7690 (java) S 7684 7684 5918 0 -1 1077944384 12035 0 0 0 771 54 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660152990352 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7691] ppid=7684 vsize=13984976 memory=31844 CPUtime=8.24 cores=1,3,5,7
/proc/7686/task/7691/stat : 7691 (java) S 7684 7684 5918 0 -1 1077944384 11138 0 0 0 768 56 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660151937552 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7692] ppid=7684 vsize=13984976 memory=8560 CPUtime=0.41 cores=1,3,5,7
/proc/7686/task/7692/stat : 7692 (java) S 7684 7684 5918 0 -1 1077944384 8931 0 0 0 39 2 0 0 20 0 15 0 113334399 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660033194608 139660559088258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7693] ppid=7684 vsize=13984976 memory=2615120 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7693/stat : 7693 (java) S 7684 7684 5918 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 113334400 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660032140640 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7694] ppid=7684 vsize=13984976 memory=2615120 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7694/stat : 7694 (java) S 7684 7684 5918 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 113334400 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660031088256 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7695] ppid=7684 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7695/stat : 7695 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660030036560 139660559095707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7696] ppid=7684 vsize=13984976 memory=2627432 CPUtime=5.31 cores=1,3,5,7
/proc/7686/task/7696/stat : 7696 (java) S 7684 7684 5918 0 -1 1077944384 33465 0 0 0 527 4 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660028983408 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7697] ppid=7684 vsize=13984976 memory=1004 CPUtime=5.58 cores=1,3,5,7
/proc/7686/task/7697/stat : 7697 (java) S 7684 7684 5918 0 -1 1077944384 38124 0 0 0 555 3 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660027930608 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7698] ppid=7684 vsize=13984976 memory=288230574492221466 CPUtime=1.07 cores=1,3,5,7
/proc/7686/task/7698/stat : 7698 (java) S 7684 7684 5918 0 -1 1077944384 15776 0 0 0 105 2 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660026878320 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7699] ppid=7684 vsize=13984976 memory=288230604624101685 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7699/stat : 7699 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660025825760 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7700] ppid=7684 vsize=13984976 memory=14698478437665088 CPUtime=0.64 cores=1,3,5,7
/proc/7686/task/7700/stat : 7700 (java) S 7684 7684 5918 0 -1 1077944384 1639 0 0 0 31 33 0 0 20 0 15 0 113334403 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660024773552 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
Current children cumulated CPU time: 1215.3 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2616500 KiB

[startup+1178.8 s]
/proc/loadavg: 1.87 1.83 1.78 3/217 7836
/proc/meminfo: memFree=25407372/32770624 swapFree=67108860/67108860
[pid=7684] ppid=7681 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7684/stat : 7684 (xcsp3-exec) S 7681 7684 5918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 113334397 9740288 345 33554432000 4194304 5098028 140720747835360 140720747833464 139922770551420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31248384 140720747836526 140720747836731 140720747836731 140720747839467 0
/proc/7684/statm: 2378 345 289 221 0 87 0
[pid=7686] ppid=7684 vsize=13984976 memory=2615120 CPUtime=1215.7 cores=1,3,5,7
/proc/7686/stat : 7686 (java) S 7684 7684 5918 0 -1 1077944320 227497 0 0 0 121282 288 0 0 20 0 15 0 113334397 14320615424 653780 33554432000 4194304 4196468 140729626391872 140729626374416 139660559077111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
/proc/7686/statm: 3496244 653780 3292 1 0 3483478 0
[pid=7686/tid=7687] ppid=7684 vsize=13984976 memory=1952 CPUtime=1169.6 cores=1,3,5,7
/proc/7686/task/7687/stat : 7687 (java) R 7684 7684 5918 0 -1 4202560 86495 0 0 0 116935 25 0 0 20 0 15 0 113334397 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660563314136 139660197701065 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7688] ppid=7684 vsize=13984976 memory=8112282956445269571 CPUtime=8.28 cores=1,3,5,7
/proc/7686/task/7688/stat : 7688 (java) S 7684 7684 5918 0 -1 1077944384 8888 0 0 0 773 55 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660526635408 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7689] ppid=7684 vsize=13984976 memory=2615120 CPUtime=8.23 cores=1,3,5,7
/proc/7686/task/7689/stat : 7689 (java) S 7684 7684 5918 0 -1 1077944384 9612 0 0 0 767 56 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660154042640 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7690] ppid=7684 vsize=13984976 memory=17868 CPUtime=8.25 cores=1,3,5,7
/proc/7686/task/7690/stat : 7690 (java) S 7684 7684 5918 0 -1 1077944384 12035 0 0 0 771 54 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660152990352 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7691] ppid=7684 vsize=13984976 memory=1380 CPUtime=8.24 cores=1,3,5,7
/proc/7686/task/7691/stat : 7691 (java) S 7684 7684 5918 0 -1 1077944384 11138 0 0 0 768 56 0 0 20 0 15 0 113334398 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660151937552 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7692] ppid=7684 vsize=13984976 memory=8112282956445269571 CPUtime=0.41 cores=1,3,5,7
/proc/7686/task/7692/stat : 7692 (java) S 7684 7684 5918 0 -1 1077944384 8931 0 0 0 39 2 0 0 20 0 15 0 113334399 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660033194608 139660559088258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7693] ppid=7684 vsize=13984976 memory=2615120 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7693/stat : 7693 (java) S 7684 7684 5918 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 113334400 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660032140640 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7694] ppid=7684 vsize=13984976 memory=11032 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7694/stat : 7694 (java) S 7684 7684 5918 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 113334400 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660031088256 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7695] ppid=7684 vsize=13984976 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7695/stat : 7695 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660030036560 139660559095707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7696] ppid=7684 vsize=13984976 memory=1952 CPUtime=5.31 cores=1,3,5,7
/proc/7686/task/7696/stat : 7696 (java) S 7684 7684 5918 0 -1 1077944384 33465 0 0 0 527 4 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660028983408 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7697] ppid=7684 vsize=13984976 memory=4044 CPUtime=5.58 cores=1,3,5,7
/proc/7686/task/7697/stat : 7697 (java) S 7684 7684 5918 0 -1 1077944384 38124 0 0 0 555 3 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660027930608 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7698] ppid=7684 vsize=13984976 memory=1792 CPUtime=1.07 cores=1,3,5,7
/proc/7686/task/7698/stat : 7698 (java) S 7684 7684 5918 0 -1 1077944384 15776 0 0 0 105 2 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660026878320 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7699] ppid=7684 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7699/stat : 7699 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660025825760 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7700] ppid=7684 vsize=13984976 memory=956 CPUtime=0.64 cores=1,3,5,7
/proc/7686/task/7700/stat : 7700 (java) S 7684 7684 5918 0 -1 1077944384 1639 0 0 0 31 33 0 0 20 0 15 0 113334403 14320615424 653780 33554432000 4194304 4196468 140729626391872 139660024773552 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
Current children cumulated CPU time: 1215.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2616500 KiB

[startup+1179 s]*
/proc/loadavg: 1.87 1.83 1.78 3/217 7836
/proc/meminfo: memFree=25407372/32770624 swapFree=67108860/67108860
[pid=7684] ppid=7681 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7684/stat : 7684 (xcsp3-exec) S 7681 7684 5918 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 113334397 9740288 345 33554432000 4194304 5098028 140720747835360 140720747833464 139922770551420 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31248384 140720747836526 140720747836731 140720747836731 140720747839467 0
/proc/7684/statm: 2378 345 289 221 0 87 0
[pid=7686] ppid=7684 vsize=13984976 memory=2615124 CPUtime=1215.94 cores=1,3,5,7
/proc/7686/stat : 7686 (java) S 7684 7684 5918 0 -1 1077944320 228551 0 0 0 121306 288 0 0 20 0 15 0 113334397 14320615424 653781 33554432000 4194304 4196468 140729626391872 140729626374416 139660559077111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
/proc/7686/statm: 3496244 653781 3292 1 0 3483478 0
[pid=7686/tid=7687] ppid=7684 vsize=13984976 memory=8112282956445269571 CPUtime=1169.8 cores=1,3,5,7
/proc/7686/task/7687/stat : 7687 (java) R 7684 7684 5918 0 -1 4202560 86591 0 0 0 116955 25 0 0 20 0 15 0 113334397 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660563314136 139660197606027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7688] ppid=7684 vsize=13984976 memory=4126316290023845779 CPUtime=8.28 cores=1,3,5,7
/proc/7686/task/7688/stat : 7688 (java) S 7684 7684 5918 0 -1 1077944384 8888 0 0 0 773 55 0 0 20 0 15 0 113334398 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660526635408 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7689] ppid=7684 vsize=13984976 memory=11032 CPUtime=8.23 cores=1,3,5,7
/proc/7686/task/7689/stat : 7689 (java) S 7684 7684 5918 0 -1 1077944384 9612 0 0 0 767 56 0 0 20 0 15 0 113334398 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660154042640 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7690] ppid=7684 vsize=13984976 memory=1712 CPUtime=8.25 cores=1,3,5,7
/proc/7686/task/7690/stat : 7690 (java) S 7684 7684 5918 0 -1 1077944384 12035 0 0 0 771 54 0 0 20 0 15 0 113334398 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660152990352 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7691] ppid=7684 vsize=13984976 memory=1952 CPUtime=8.24 cores=1,3,5,7
/proc/7686/task/7691/stat : 7691 (java) S 7684 7684 5918 0 -1 1077944384 11138 0 0 0 768 56 0 0 20 0 15 0 113334398 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660151937552 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7692] ppid=7684 vsize=13984976 memory=8560 CPUtime=0.41 cores=1,3,5,7
/proc/7686/task/7692/stat : 7692 (java) S 7684 7684 5918 0 -1 1077944384 8931 0 0 0 39 2 0 0 20 0 15 0 113334399 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660033194608 139660559088258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7693] ppid=7684 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7693/stat : 7693 (java) S 7684 7684 5918 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 113334400 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660032140640 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7694] ppid=7684 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7694/stat : 7694 (java) S 7684 7684 5918 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 113334400 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660031088256 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7695] ppid=7684 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7695/stat : 7695 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660030036560 139660559095707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7696] ppid=7684 vsize=13984976 memory=5296 CPUtime=5.32 cores=1,3,5,7
/proc/7686/task/7696/stat : 7696 (java) S 7684 7684 5918 0 -1 1077944384 33771 0 0 0 528 4 0 0 20 0 15 0 113334402 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660028983408 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7697] ppid=7684 vsize=13984976 memory=1196 CPUtime=5.6 cores=1,3,5,7
/proc/7686/task/7697/stat : 7697 (java) S 7684 7684 5918 0 -1 1077944384 38539 0 0 0 557 3 0 0 20 0 15 0 113334402 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660027930608 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7698] ppid=7684 vsize=13984976 memory=3836 CPUtime=1.07 cores=1,3,5,7
/proc/7686/task/7698/stat : 7698 (java) S 7684 7684 5918 0 -1 1077944384 16013 0 0 0 105 2 0 0 20 0 15 0 113334402 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660026878320 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7699] ppid=7684 vsize=13984976 memory=2888 CPUtime=0 cores=1,3,5,7
/proc/7686/task/7699/stat : 7699 (java) S 7684 7684 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334402 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660025825760 139660559087317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
[pid=7686/tid=7700] ppid=7684 vsize=13984976 memory=2892 CPUtime=0.64 cores=1,3,5,7
/proc/7686/task/7700/stat : 7700 (java) S 7684 7684 5918 0 -1 1077944384 1639 0 0 0 31 33 0 0 20 0 15 0 113334403 14320615424 653781 33554432000 4194304 4196468 140729626391872 139660024773552 139660559088258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 6307840 140729626399895 140729626400071 140729626400071 140729626402767 0
Current children cumulated CPU time: 1215.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2616504 KiB

Child status: 0
Real time (s): 1179.06
CPU time (s): 1216.03
CPU user time (s): 1213.12
CPU system time (s): 2.90802
CPU usage (%): 103.136
Max. virtual memory (cumulated for all children) (KiB): 13996192
Max. memory (cumulated for all children) (KiB): 2650052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1213.12
system time used= 2.90802
maximum resident set size= 2648672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230300
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31320
involuntary context switches= 847


# summary of solver processes directly reported to runsolver:
#   pid: 7684
#   total CPU time (s): 1216.03
#   total CPU user time (s): 1213.12
#   total CPU system time (s): 2.90802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.3482 second user time and 10.7984 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-15 14:53:25
IDJOB=4272380
IDBENCH=133134
IDSOLVER=2664
FILE ID=node107/4272380-1502802463
RUNJOBID= node107-1502793297-5950
PBS_JOBID= 20629130
Free space on /tmp= 61632 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-055.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-4272380-1502802463/watcher-4272380-1502802463 -o /tmp/evaluation-result-4272380-1502802463/solver-4272380-1502802463 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5950 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2023300075 HOME/instance-4272380-1502802463.xml

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

MD5SUM BENCH= 5b14a82f4b2104c7eb276669f9388ce0
RANDOM SEED=2023300075

node107.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.84
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.84
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.84
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.84
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:        28887592 kB
MemAvailable:   31837060 kB
Buffers:          223224 kB
Cached:          3013072 kB
SwapCached:            0 kB
Active:           753488 kB
Inactive:        2687268 kB
Active(anon):     207144 kB
Inactive(anon):    24972 kB
Active(file):     546344 kB
Inactive(file):  2662296 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             33532 kB
Writeback:             0 kB
AnonPages:        218660 kB
Mapped:            58284 kB
Shmem:             25228 kB
Slab:             140132 kB
SReclaimable:     113328 kB
SUnreclaim:        26804 kB
KernelStack:        3824 kB
PageTables:         6184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1179404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61624 MiB
End job on node107 at 2017-08-15 15:13:04