Trace number 4246032

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
R1: choco-solver 5a (2017-07-05)SAT 81.1947 10.9565

General information on the benchmark

NameBibd/Bibd-sum-stab1/
Bibd-sum-12-03-04.xml
MD5SUM4cb414677efb9576d4ff9b4f5d333658
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 benchmark6.8545599
Satisfiable
(Un)Satisfiability was proved
Number of variables1056
Number of constraints167
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1056}]
Minimum variable degree14
Maximum variable degree14
Distribution of variable degrees[{"degree":14,"count":1056}]
Minimum constraint arity12
Maximum constraint arity1056
Distribution of constraint arities[{"arity":12,"count":88},{"arity":88,"count":12},{"arity":176,"count":66},{"arity":1056,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":166}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246032-1500686761.xml"  -tl '2400s' -p 8 -x 3
0.00/0.21	c [HOME/instance-4246032-1500686761.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.26	c 8 solvers in parallel
0.00/0.33	c parse instance...
3.65/1.13	c solve instance...
80.92/10.93	s SATISFIABLE
80.92/10.93	v <instantiation>
80.92/10.93	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[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] 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[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] 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[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] 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[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] 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[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] 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[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] 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[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] 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[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] 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[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] 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[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] 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[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[10][68] x[10][69] x[10][70] x[10][71] x[10][72] x[10][73] x[10][74] x[10][75] x[10][76] x[10][77] x[10][78] x[10][79] x[10][80] x[10][81] x[10][82] x[10][83] x[10][84] x[10][85] x[10][86] x[10][87] 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[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[11][68] x[11][69] x[11][70] x[11][71] x[11][72] x[11][73] x[11][74] x[11][75] x[11][76] x[11][77] x[11][78] x[11][79] x[11][80] x[11][81] x[11][82] x[11][83] x[11][84] x[11][85] x[11][86] x[11][87] </list>
80.92/10.93	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 0 0 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 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 0 0 0 0 0 0 0 0 0 1 1 1 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 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 1 1 1 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 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 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 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 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 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 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 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
80.92/10.93	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246032-1500686761/watcher-4246032-1500686761 -o /tmp/evaluation-result-4246032-1500686761/solver-4246032-1500686761 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1434024550 HOME/instance-4246032-1500686761.xml 

pid=26825
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 13.18 14.37 14.31 7/267 26828
/proc/meminfo: memFree=31898056/32770624 swapFree=5808/99012
[pid=26828] ppid=26825 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26828/stat : 26828 (xcsp3-exec) S 26825 26828 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3941216 9740288 345 33554432000 4194304 5098028 140732884021136 140732884019240 140553316766332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11988992 140732884022414 140732884022624 140732884022624 140732884025323 0
/proc/26828/statm: 2378 345 289 221 0 87 0

[startup+0.100143 s]
/proc/loadavg: 13.18 14.37 14.31 7/267 26828
/proc/meminfo: memFree=31898056/32770624 swapFree=5808/99012
[pid=26828] ppid=26825 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26828/stat : 26828 (xcsp3-exec) S 26825 26828 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3941216 9740288 345 33554432000 4194304 5098028 140732884021136 140732884019240 140553316766332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11988992 140732884022414 140732884022624 140732884022624 140732884025323 0
/proc/26828/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200307 s]
/proc/loadavg: 13.18 14.37 14.31 7/267 26828
/proc/meminfo: memFree=31898056/32770624 swapFree=5808/99012
[pid=26828] ppid=26825 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26828/stat : 26828 (xcsp3-exec) S 26825 26828 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3941216 9740288 345 33554432000 4194304 5098028 140732884021136 140732884019240 140553316766332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11988992 140732884022414 140732884022624 140732884022624 140732884025323 0
/proc/26828/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300253 s]
/proc/loadavg: 13.18 14.37 14.31 7/267 26828
/proc/meminfo: memFree=31898056/32770624 swapFree=5808/99012
[pid=26828] ppid=26825 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26828/stat : 26828 (xcsp3-exec) S 26825 26828 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3941216 9740288 345 33554432000 4194304 5098028 140732884021136 140732884019240 140553316766332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11988992 140732884022414 140732884022624 140732884022624 140732884025323 0
/proc/26828/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70019 s]
/proc/loadavg: 13.18 14.37 14.31 7/267 26828
/proc/meminfo: memFree=31898056/32770624 swapFree=5808/99012
[pid=26828] ppid=26825 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26828/stat : 26828 (xcsp3-exec) S 26825 26828 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3941216 9740288 345 33554432000 4194304 5098028 140732884021136 140732884019240 140553316766332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11988992 140732884022414 140732884022624 140732884022624 140732884025323 0
/proc/26828/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50119 s]
/proc/loadavg: 12.53 14.22 14.26 5/283 26901
/proc/meminfo: memFree=31545784/32770624 swapFree=5808/99320
[pid=26828] ppid=26825 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26828/stat : 26828 (xcsp3-exec) S 26825 26828 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3941216 9740288 345 33554432000 4194304 5098028 140732884021136 140732884019240 140553316766332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11988992 140732884022414 140732884022624 140732884022624 140732884025323 0
/proc/26828/statm: 2378 345 289 221 0 87 0
[pid=26829] ppid=26828 vsize=13801768 CPUtime=6.46 cores=0,2,4,6,8,10,12,14
/proc/26829/stat : 26829 (java) S 26828 26828 15196 0 -1 1077944320 15857 0 0 0 616 30 0 0 20 0 28 0 3941216 14133010432 62415 33554432000 4194304 4196468 140728498066640 140728498049184 140149102075639 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
/proc/26829/statm: 3450442 62415 3251 1 0 3437675 0
[pid=26829/tid=26830] ppid=26828 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26830/stat : 26830 (java) S 26828 26828 15196 0 -1 1077944384 6483 0 0 0 101 4 0 0 20 0 28 0 3941217 14133010432 62415 33554432000 4194304 4196468 140728498066640 140149106316416 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26832] ppid=26828 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26832/stat : 26832 (java) S 26828 26828 15196 0 -1 1077944384 40 0 0 0 3 3 0 0 20 0 28 0 3941218 14133010432 62415 33554432000 4194304 4196468 140728498066640 140149020555792 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26833] ppid=26828 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26833/stat : 26833 (java) S 26828 26828 15196 0 -1 1077944384 36 0 0 0 2 2 0 0 20 0 28 0 3941218 14133010432 62415 33554432000 4194304 4196468 140728498066640 140149019503248 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26834] ppid=26828 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26834/stat : 26834 (java) S 26828 26828 15196 0 -1 1077944384 36 0 0 0 3 2 0 0 20 0 28 0 3941218 14133010432 62415 33554432000 4194304 4196468 140728498066640 140149018450192 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26835] ppid=26828 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26835/stat : 26835 (java) S 26828 26828 15196 0 -1 1077944384 54 0 0 0 4 3 0 0 20 0 28 0 3941218 14133010432 62415 33554432000 4194304 4196468 140728498066640 140149017397648 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26836] ppid=26828 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26836/stat : 26836 (java) S 26828 26828 15196 0 -1 1077944384 46 0 0 0 3 2 0 0 20 0 28 0 3941218 14133010432 62415 33554432000 4194304 4196468 140728498066640 140149016345616 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26837] ppid=26828 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26837/stat : 26837 (java) S 26828 26828 15196 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 28 0 3941218 14133010432 62415 33554432000 4194304 4196468 140728498066640 140149015293072 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26838] ppid=26828 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26838/stat : 26838 (java) S 26828 26828 15196 0 -1 1077944384 31 0 0 0 2 2 0 0 20 0 28 0 3941218 14133010432 62415 33554432000 4194304 4196468 140728498066640 140149014240016 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26839] ppid=26828 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26839/stat : 26839 (java) S 26828 26828 15196 0 -1 1077944384 54 0 0 0 3 3 0 0 20 0 28 0 3941218 14133010432 62415 33554432000 4194304 4196468 140728498066640 140149013187472 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26840] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26840/stat : 26840 (java) S 26828 26828 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3941219 14133010432 62415 33554432000 4194304 4196468 140728498066640 140147766958320 140149102086786 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26841] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26841/stat : 26841 (java) S 26828 26828 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3941220 14133010432 62415 33554432000 4194304 4196468 140728498066640 140147765904544 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26842] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26842/stat : 26842 (java) S 26828 26828 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3941220 14133010432 62415 33554432000 4194304 4196468 140728498066640 140147764851440 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26846] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26846/stat : 26846 (java) S 26828 26828 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3941224 14133010432 62415 33554432000 4194304 4196468 140728498066640 140147763800016 140149102094235 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26847] ppid=26828 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26847/stat : 26847 (java) R 26828 26828 15196 0 -1 4202560 1920 0 0 0 74 0 0 0 20 0 28 0 3941224 14133010432 62415 33554432000 4194304 4196468 140728498066640 140147762729160 140149085575845 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26848] ppid=26828 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26848/stat : 26848 (java) R 26828 26828 15196 0 -1 4202560 1361 0 0 0 87 0 0 0 20 0 28 0 3941224 14133010432 62415 33554432000 4194304 4196468 140728498066640 140147761682336 140149082776199 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26849] ppid=26828 vsize=13801768 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26849/stat : 26849 (java) R 26828 26828 15196 0 -1 4202560 1543 0 0 0 79 0 0 0 20 0 28 0 3941224 14133010432 62415 33554432000 4194304 4196468 140728498066640 140147760629744 140149086462880 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26850] ppid=26828 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26850/stat : 26850 (java) S 26828 26828 15196 0 -1 1077944384 2489 0 0 0 67 1 0 0 20 0 28 0 3941224 14133010432 62415 33554432000 4194304 4196468 140728498066640 140147759590000 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26851] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26851/stat : 26851 (java) S 26828 26828 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3941224 14133010432 62415 33554432000 4194304 4196468 140728498066640 140147758537184 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26852] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26852/stat : 26852 (java) S 26828 26828 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3941225 14133010432 62415 33554432000 4194304 4196468 140728498066640 140147757484720 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 13811280

[startup+3.1015 s]
/proc/loadavg: 12.53 14.22 14.26 20/291 26909
/proc/meminfo: memFree=30968456/32770624 swapFree=5808/99320
[pid=26828] ppid=26825 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26828/stat : 26828 (xcsp3-exec) S 26825 26828 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3941216 9740288 345 33554432000 4194304 5098028 140732884021136 140732884019240 140553316766332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11988992 140732884022414 140732884022624 140732884022624 140732884025323 0
/proc/26828/statm: 2378 345 289 221 0 87 0
[pid=26829] ppid=26828 vsize=13801768 CPUtime=19.15 cores=0,2,4,6,8,10,12,14
/proc/26829/stat : 26829 (java) S 26828 26828 15196 0 -1 1077944320 20321 0 0 0 1861 54 0 0 20 0 28 0 3941216 14133010432 81047 33554432000 4194304 4196468 140728498066640 140728498049184 140149102075639 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
/proc/26829/statm: 3450442 81047 3265 1 0 3437675 0
[pid=26829/tid=26830] ppid=26828 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26830/stat : 26830 (java) S 26828 26828 15196 0 -1 1077944384 6483 0 0 0 101 4 0 0 20 0 28 0 3941217 14133010432 81047 33554432000 4194304 4196468 140728498066640 140149106316416 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26832] ppid=26828 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26832/stat : 26832 (java) S 26828 26828 15196 0 -1 1077944384 86 0 0 0 9 6 0 0 20 0 28 0 3941218 14133010432 81047 33554432000 4194304 4196468 140728498066640 140149020555792 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26833] ppid=26828 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26833/stat : 26833 (java) S 26828 26828 15196 0 -1 1077944384 51 0 0 0 5 4 0 0 20 0 28 0 3941218 14133010432 81047 33554432000 4194304 4196468 140728498066640 140149019503248 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26834] ppid=26828 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26834/stat : 26834 (java) S 26828 26828 15196 0 -1 1077944384 61 0 0 0 9 5 0 0 20 0 28 0 3941218 14133010432 81047 33554432000 4194304 4196468 140728498066640 140149018450192 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26835] ppid=26828 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26835/stat : 26835 (java) S 26828 26828 15196 0 -1 1077944384 99 0 0 0 10 6 0 0 20 0 28 0 3941218 14133010432 81047 33554432000 4194304 4196468 140728498066640 140149017397648 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26836] ppid=26828 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26836/stat : 26836 (java) S 26828 26828 15196 0 -1 1077944384 65 0 0 0 7 5 0 0 20 0 28 0 3941218 14133010432 81047 33554432000 4194304 4196468 140728498066640 140149016345616 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26837] ppid=26828 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26837/stat : 26837 (java) S 26828 26828 15196 0 -1 1077944384 80 0 0 0 8 5 0 0 20 0 28 0 3941218 14133010432 81047 33554432000 4194304 4196468 140728498066640 140149015293072 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26838] ppid=26828 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26838/stat : 26838 (java) S 26828 26828 15196 0 -1 1077944384 44 0 0 0 5 4 0 0 20 0 28 0 3941218 14133010432 81047 33554432000 4194304 4196468 140728498066640 140149014240016 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26839] ppid=26828 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26839/stat : 26839 (java) S 26828 26828 15196 0 -1 1077944384 75 0 0 0 8 6 0 0 20 0 28 0 3941218 14133010432 81047 33554432000 4194304 4196468 140728498066640 140149013187472 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26840] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26840/stat : 26840 (java) S 26828 26828 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3941219 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147766958320 140149102086786 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26841] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26841/stat : 26841 (java) S 26828 26828 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3941220 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147765904608 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26842] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26842/stat : 26842 (java) S 26828 26828 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3941220 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147764851440 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26846] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26846/stat : 26846 (java) S 26828 26828 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3941224 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147763800016 140149102094235 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26847] ppid=26828 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26847/stat : 26847 (java) R 26828 26828 15196 0 -1 4202560 3326 0 0 0 169 0 0 0 20 0 28 0 3941224 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147762734688 140149087190835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26848] ppid=26828 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26848/stat : 26848 (java) R 26828 26828 15196 0 -1 4202560 2599 0 0 0 204 0 0 0 20 0 28 0 3941224 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147761695896 140149087183207 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26849] ppid=26828 vsize=13801768 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26849/stat : 26849 (java) R 26828 26828 15196 0 -1 4202560 2251 0 0 0 153 0 0 0 20 0 28 0 3941224 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147760629048 140149083598929 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26850] ppid=26828 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26850/stat : 26850 (java) S 26828 26828 15196 0 -1 1077944384 3216 0 0 0 86 2 0 0 20 0 28 0 3941224 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147759590000 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26851] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26851/stat : 26851 (java) S 26828 26828 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3941224 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147758537184 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26852] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26852/stat : 26852 (java) S 26828 26828 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3941225 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147757484720 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26902] ppid=26828 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26902/stat : 26902 (java) R 26828 26828 15196 0 -1 4202560 73 0 0 0 124 0 0 0 20 0 28 0 3941332 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147749469192 140148699336629 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26903] ppid=26828 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26903/stat : 26903 (java) R 26828 26828 15196 0 -1 4202560 40 0 0 0 139 0 0 0 20 0 28 0 3941332 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147748418120 140148698080388 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26904] ppid=26828 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26904/stat : 26904 (java) R 26828 26828 15196 0 -1 4202560 61 0 0 0 145 0 0 0 20 0 28 0 3941332 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147747367368 140148698366519 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26905] ppid=26828 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26905/stat : 26905 (java) R 26828 26828 15196 0 -1 4202560 116 0 0 0 130 0 0 0 20 0 28 0 3941332 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147746312384 140148698991145 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26906] ppid=26828 vsize=13801768 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26906/stat : 26906 (java) R 26828 26828 15196 0 -1 4202560 45 0 0 0 149 0 0 0 20 0 28 0 3941332 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147745259392 140148699429440 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26907] ppid=26828 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26907/stat : 26907 (java) R 26828 26828 15196 0 -1 4202560 95 0 0 0 129 0 0 0 20 0 28 0 3941332 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147744207928 140148698080380 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26908] ppid=26828 vsize=13801768 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26908/stat : 26908 (java) R 26828 26828 15196 0 -1 4202560 34 0 0 0 134 0 0 0 20 0 28 0 3941332 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147743154696 140148698549821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26909] ppid=26828 vsize=13801768 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26909/stat : 26909 (java) R 26828 26828 15196 0 -1 4202560 42 0 0 0 126 0 0 0 20 0 28 0 3941332 14133010432 81047 33554432000 4194304 4196468 140728498066640 140147742101672 140148699623440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
Current children cumulated CPU time (s) 19.15
Current children cumulated vsize (KiB) 13811280

[startup+6.30149 s]
/proc/loadavg: 12.53 14.22 14.26 13/291 26909
/proc/meminfo: memFree=30273884/32770624 swapFree=5808/99328
[pid=26828] ppid=26825 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26828/stat : 26828 (xcsp3-exec) S 26825 26828 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3941216 9740288 345 33554432000 4194304 5098028 140732884021136 140732884019240 140553316766332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11988992 140732884022414 140732884022624 140732884022624 140732884025323 0
/proc/26828/statm: 2378 345 289 221 0 87 0
[pid=26829] ppid=26828 vsize=13801768 CPUtime=44.37 cores=0,2,4,6,8,10,12,14
/proc/26829/stat : 26829 (java) S 26828 26828 15196 0 -1 1077944320 29154 0 0 0 4353 84 0 0 20 0 28 0 3941216 14133010432 119527 33554432000 4194304 4196468 140728498066640 140728498049184 140149102075639 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
/proc/26829/statm: 3450442 119527 3271 1 0 3437675 0
[pid=26829/tid=26830] ppid=26828 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26830/stat : 26830 (java) S 26828 26828 15196 0 -1 1077944384 6483 0 0 0 101 4 0 0 20 0 28 0 3941217 14133010432 119527 33554432000 4194304 4196468 140728498066640 140149106316416 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26832] ppid=26828 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26832/stat : 26832 (java) S 26828 26828 15196 0 -1 1077944384 136 0 0 0 13 9 0 0 20 0 28 0 3941218 14133010432 119527 33554432000 4194304 4196468 140728498066640 140149020555792 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26833] ppid=26828 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26833/stat : 26833 (java) S 26828 26828 15196 0 -1 1077944384 96 0 0 0 10 7 0 0 20 0 28 0 3941218 14133010432 119527 33554432000 4194304 4196468 140728498066640 140149019503248 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26834] ppid=26828 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26834/stat : 26834 (java) S 26828 26828 15196 0 -1 1077944384 309 0 0 0 14 8 0 0 20 0 28 0 3941218 14133010432 119527 33554432000 4194304 4196468 140728498066640 140149018450192 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26835] ppid=26828 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26835/stat : 26835 (java) S 26828 26828 15196 0 -1 1077944384 165 0 0 0 14 9 0 0 20 0 28 0 3941218 14133010432 119527 33554432000 4194304 4196468 140728498066640 140149017397648 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0

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

/proc/26829/task/26841/stat : 26841 (java) S 26828 26828 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3941220 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147765904608 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26842] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26842/stat : 26842 (java) S 26828 26828 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3941220 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147764851440 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26846] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26846/stat : 26846 (java) S 26828 26828 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147763800016 140149102094235 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26847] ppid=26828 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26847/stat : 26847 (java) S 26828 26828 15196 0 -1 1077944384 5920 0 0 0 204 0 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147762748144 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26848] ppid=26828 vsize=13801768 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26848/stat : 26848 (java) S 26828 26828 15196 0 -1 1077944384 5049 0 0 0 238 0 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147761695600 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26849] ppid=26828 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26849/stat : 26849 (java) S 26828 26828 15196 0 -1 1077944384 5036 0 0 0 199 1 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147760642544 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26850] ppid=26828 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26850/stat : 26850 (java) S 26828 26828 15196 0 -1 1077944384 3671 0 0 0 90 2 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147759590000 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26851] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26851/stat : 26851 (java) S 26828 26828 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147758537184 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26852] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26852/stat : 26852 (java) S 26828 26828 15196 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 28 0 3941225 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147757484720 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26902] ppid=26828 vsize=13801768 CPUtime=8.27 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26902/stat : 26902 (java) R 26828 26828 15196 0 -1 4202560 319 0 0 0 825 2 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147749468840 140148698447772 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26903] ppid=26828 vsize=13801768 CPUtime=8.12 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26903/stat : 26903 (java) R 26828 26828 15196 0 -1 4202560 201 0 0 0 812 0 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147748417384 140148699360154 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26904] ppid=26828 vsize=13801768 CPUtime=8.36 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26904/stat : 26904 (java) R 26828 26828 15196 0 -1 4202560 699 0 0 0 835 1 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147747367680 140148698710013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26905] ppid=26828 vsize=13801768 CPUtime=8.15 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26905/stat : 26905 (java) R 26828 26828 15196 0 -1 4202560 1128 0 0 0 811 4 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147746313184 140148698991324 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26906] ppid=26828 vsize=13801768 CPUtime=8.42 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26906/stat : 26906 (java) R 26828 26828 15196 0 -1 4202560 422 0 0 0 841 1 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147745259928 140148699235511 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26907] ppid=26828 vsize=13801768 CPUtime=8.21 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26907/stat : 26907 (java) R 26828 26828 15196 0 -1 4202560 297 0 0 0 821 0 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147744206984 140148698080068 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26908] ppid=26828 vsize=13801768 CPUtime=8.39 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26908/stat : 26908 (java) R 26828 26828 15196 0 -1 4202560 154 0 0 0 839 0 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147743153840 140148698366437 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26909] ppid=26828 vsize=13801768 CPUtime=8.25 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26909/stat : 26909 (java) R 26828 26828 15196 0 -1 4202560 187 0 0 0 825 0 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147742102248 140148698080343 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
Current children cumulated CPU time (s) 76.94
Current children cumulated vsize (KiB) 13811280

[startup+10.8015 s]
/proc/loadavg: 12.49 14.18 14.25 17/291 26909
/proc/meminfo: memFree=29342744/32770624 swapFree=5808/99336
[pid=26828] ppid=26825 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26828/stat : 26828 (xcsp3-exec) S 26825 26828 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3941216 9740288 345 33554432000 4194304 5098028 140732884021136 140732884019240 140553316766332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11988992 140732884022414 140732884022624 140732884022624 140732884025323 0
/proc/26828/statm: 2378 345 289 221 0 87 0
[pid=26829] ppid=26828 vsize=13801768 CPUtime=80.13 cores=0,2,4,6,8,10,12,14
/proc/26829/stat : 26829 (java) S 26828 26828 15196 0 -1 1077944320 35685 0 0 0 7903 110 0 0 20 0 28 0 3941216 14133010432 186415 33554432000 4194304 4196468 140728498066640 140728498049184 140149102075639 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
/proc/26829/statm: 3450442 186415 3272 1 0 3437675 0
[pid=26829/tid=26830] ppid=26828 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26830/stat : 26830 (java) S 26828 26828 15196 0 -1 1077944384 6483 0 0 0 101 4 0 0 20 0 28 0 3941217 14133010432 186415 33554432000 4194304 4196468 140728498066640 140149106316416 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26832] ppid=26828 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26832/stat : 26832 (java) S 26828 26828 15196 0 -1 1077944384 278 0 0 0 18 12 0 0 20 0 28 0 3941218 14133010432 186415 33554432000 4194304 4196468 140728498066640 140149020555792 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26833] ppid=26828 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26833/stat : 26833 (java) S 26828 26828 15196 0 -1 1077944384 145 0 0 0 14 10 0 0 20 0 28 0 3941218 14133010432 186415 33554432000 4194304 4196468 140728498066640 140149019503248 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26834] ppid=26828 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26834/stat : 26834 (java) S 26828 26828 15196 0 -1 1077944384 351 0 0 0 17 10 0 0 20 0 28 0 3941218 14133010432 186415 33554432000 4194304 4196468 140728498066640 140149018450192 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26835] ppid=26828 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26835/stat : 26835 (java) S 26828 26828 15196 0 -1 1077944384 314 0 0 0 19 11 0 0 20 0 28 0 3941218 14133010432 186415 33554432000 4194304 4196468 140728498066640 140149017397648 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26836] ppid=26828 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26836/stat : 26836 (java) S 26828 26828 15196 0 -1 1077944384 893 0 0 0 16 11 0 0 20 0 28 0 3941218 14133010432 186415 33554432000 4194304 4196468 140728498066640 140149016345616 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26837] ppid=26828 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26837/stat : 26837 (java) S 26828 26828 15196 0 -1 1077944384 977 0 0 0 17 11 0 0 20 0 28 0 3941218 14133010432 186415 33554432000 4194304 4196468 140728498066640 140149015293072 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26838] ppid=26828 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26838/stat : 26838 (java) S 26828 26828 15196 0 -1 1077944384 228 0 0 0 14 10 0 0 20 0 28 0 3941218 14133010432 186415 33554432000 4194304 4196468 140728498066640 140149014240016 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26839] ppid=26828 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26839/stat : 26839 (java) S 26828 26828 15196 0 -1 1077944384 343 0 0 0 17 11 0 0 20 0 28 0 3941218 14133010432 186415 33554432000 4194304 4196468 140728498066640 140149013187472 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26840] ppid=26828 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26840/stat : 26840 (java) S 26828 26828 15196 0 -1 1077944384 973 0 0 0 2 2 0 0 20 0 28 0 3941219 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147766958320 140149102086786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26841] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26841/stat : 26841 (java) S 26828 26828 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3941220 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147765904608 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26842] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26842/stat : 26842 (java) S 26828 26828 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3941220 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147764851440 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26846] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26846/stat : 26846 (java) S 26828 26828 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147763800016 140149102094235 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26847] ppid=26828 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26847/stat : 26847 (java) S 26828 26828 15196 0 -1 1077944384 5920 0 0 0 204 0 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147762748144 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26848] ppid=26828 vsize=13801768 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26848/stat : 26848 (java) S 26828 26828 15196 0 -1 1077944384 5049 0 0 0 238 0 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147761695600 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26849] ppid=26828 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26849/stat : 26849 (java) S 26828 26828 15196 0 -1 1077944384 5036 0 0 0 199 1 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147760642544 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26850] ppid=26828 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26850/stat : 26850 (java) S 26828 26828 15196 0 -1 1077944384 3671 0 0 0 90 2 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147759590000 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26851] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26851/stat : 26851 (java) S 26828 26828 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3941224 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147758537184 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26852] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26852/stat : 26852 (java) S 26828 26828 15196 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 28 0 3941225 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147757484720 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26902] ppid=26828 vsize=13801768 CPUtime=8.67 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26902/stat : 26902 (java) R 26828 26828 15196 0 -1 4202560 319 0 0 0 865 2 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147749468840 140148698080425 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26903] ppid=26828 vsize=13801768 CPUtime=8.51 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26903/stat : 26903 (java) R 26828 26828 15196 0 -1 4202560 201 0 0 0 851 0 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147748417384 140148698549002 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26904] ppid=26828 vsize=13801768 CPUtime=8.75 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26904/stat : 26904 (java) R 26828 26828 15196 0 -1 4202560 713 0 0 0 874 1 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147747367680 140148699915397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26905] ppid=26828 vsize=13801768 CPUtime=8.55 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26905/stat : 26905 (java) R 26828 26828 15196 0 -1 4202560 1161 0 0 0 851 4 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147746313184 140148699579723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26906] ppid=26828 vsize=13801768 CPUtime=8.82 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26906/stat : 26906 (java) R 26828 26828 15196 0 -1 4202560 422 0 0 0 881 1 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147745259928 140148699579693 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26907] ppid=26828 vsize=13801768 CPUtime=8.61 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26907/stat : 26907 (java) R 26828 26828 15196 0 -1 4202560 297 0 0 0 861 0 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147744206984 140148698464498 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26908] ppid=26828 vsize=13801768 CPUtime=8.79 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26908/stat : 26908 (java) R 26828 26828 15196 0 -1 4202560 154 0 0 0 879 0 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147743153840 140148699336820 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26909] ppid=26828 vsize=13801768 CPUtime=8.65 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26909/stat : 26909 (java) R 26828 26828 15196 0 -1 4202560 187 0 0 0 865 0 0 0 20 0 28 0 3941332 14133010432 186415 33554432000 4194304 4196468 140728498066640 140147742102248 140148699150829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
Current children cumulated CPU time (s) 80.13
Current children cumulated vsize (KiB) 13811280

[startup+10.9016 s]
/proc/loadavg: 12.49 14.18 14.25 17/291 26909
/proc/meminfo: memFree=29342744/32770624 swapFree=5808/99336
[pid=26828] ppid=26825 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26828/stat : 26828 (xcsp3-exec) S 26825 26828 15196 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3941216 9740288 345 33554432000 4194304 5098028 140732884021136 140732884019240 140553316766332 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11988992 140732884022414 140732884022624 140732884022624 140732884025323 0
/proc/26828/statm: 2378 345 289 221 0 87 0
[pid=26829] ppid=26828 vsize=13801768 CPUtime=80.92 cores=0,2,4,6,8,10,12,14
/proc/26829/stat : 26829 (java) S 26828 26828 15196 0 -1 1077944320 36438 0 0 0 7982 110 0 0 20 0 28 0 3941216 14133010432 186419 33554432000 4194304 4196468 140728498066640 140728498049184 140149102075639 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
/proc/26829/statm: 3450442 186419 3272 1 0 3437675 0
[pid=26829/tid=26830] ppid=26828 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26830/stat : 26830 (java) S 26828 26828 15196 0 -1 1077944384 6483 0 0 0 101 4 0 0 20 0 28 0 3941217 14133010432 186419 33554432000 4194304 4196468 140728498066640 140149106316416 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26832] ppid=26828 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26832/stat : 26832 (java) S 26828 26828 15196 0 -1 1077944384 278 0 0 0 18 12 0 0 20 0 28 0 3941218 14133010432 186419 33554432000 4194304 4196468 140728498066640 140149020555792 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26833] ppid=26828 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26833/stat : 26833 (java) S 26828 26828 15196 0 -1 1077944384 145 0 0 0 14 10 0 0 20 0 28 0 3941218 14133010432 186419 33554432000 4194304 4196468 140728498066640 140149019503248 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26834] ppid=26828 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26834/stat : 26834 (java) S 26828 26828 15196 0 -1 1077944384 351 0 0 0 17 10 0 0 20 0 28 0 3941218 14133010432 186419 33554432000 4194304 4196468 140728498066640 140149018450192 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26835] ppid=26828 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26835/stat : 26835 (java) S 26828 26828 15196 0 -1 1077944384 314 0 0 0 19 11 0 0 20 0 28 0 3941218 14133010432 186419 33554432000 4194304 4196468 140728498066640 140149017397648 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26836] ppid=26828 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26836/stat : 26836 (java) S 26828 26828 15196 0 -1 1077944384 893 0 0 0 16 11 0 0 20 0 28 0 3941218 14133010432 186419 33554432000 4194304 4196468 140728498066640 140149016345616 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26837] ppid=26828 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26837/stat : 26837 (java) S 26828 26828 15196 0 -1 1077944384 977 0 0 0 17 11 0 0 20 0 28 0 3941218 14133010432 186419 33554432000 4194304 4196468 140728498066640 140149015293072 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26838] ppid=26828 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26838/stat : 26838 (java) S 26828 26828 15196 0 -1 1077944384 228 0 0 0 14 10 0 0 20 0 28 0 3941218 14133010432 186419 33554432000 4194304 4196468 140728498066640 140149014240016 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26839] ppid=26828 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26839/stat : 26839 (java) S 26828 26828 15196 0 -1 1077944384 343 0 0 0 17 11 0 0 20 0 28 0 3941218 14133010432 186419 33554432000 4194304 4196468 140728498066640 140149013187472 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26840] ppid=26828 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26840/stat : 26840 (java) S 26828 26828 15196 0 -1 1077944384 973 0 0 0 2 2 0 0 20 0 28 0 3941219 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147766958320 140149102086786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26841] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26841/stat : 26841 (java) S 26828 26828 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3941220 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147765904608 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26842] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26842/stat : 26842 (java) S 26828 26828 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3941220 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147764851440 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26846] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26846/stat : 26846 (java) S 26828 26828 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3941224 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147763800016 140149102094235 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26847] ppid=26828 vsize=13801768 CPUtime=2.05 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26847/stat : 26847 (java) R 26828 26828 15196 0 -1 4202560 5953 0 0 0 205 0 0 0 20 0 28 0 3941224 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147762748144 140149085976240 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26848] ppid=26828 vsize=13801768 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26848/stat : 26848 (java) R 26828 26828 15196 0 -1 4202560 5091 0 0 0 239 0 0 0 20 0 28 0 3941224 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147761695896 140149085462198 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26849] ppid=26828 vsize=13801768 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26849/stat : 26849 (java) S 26828 26828 15196 0 -1 1077944384 5040 0 0 0 200 1 0 0 20 0 28 0 3941224 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147760642544 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26850] ppid=26828 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26850/stat : 26850 (java) S 26828 26828 15196 0 -1 1077944384 4268 0 0 0 90 2 0 0 20 0 28 0 3941224 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147759590000 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26851] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26851/stat : 26851 (java) S 26828 26828 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3941224 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147758537184 140149102085845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26852] ppid=26828 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26852/stat : 26852 (java) S 26828 26828 15196 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 28 0 3941225 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147757484720 140149102086786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26902] ppid=26828 vsize=13801768 CPUtime=8.75 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26902/stat : 26902 (java) R 26828 26828 15196 0 -1 4202560 387 0 0 0 873 2 0 0 20 0 28 0 3941332 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147749469072 140148700420402 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26903] ppid=26828 vsize=13801768 CPUtime=8.61 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26903/stat : 26903 (java) R 26828 26828 15196 0 -1 4202560 201 0 0 0 861 0 0 0 20 0 28 0 3941332 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147748417384 140148698549294 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26904] ppid=26828 vsize=13801768 CPUtime=8.85 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26904/stat : 26904 (java) R 26828 26828 15196 0 -1 4202560 713 0 0 0 884 1 0 0 20 0 28 0 3941332 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147747367680 140148699153061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26905] ppid=26828 vsize=13801768 CPUtime=8.65 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26905/stat : 26905 (java) R 26828 26828 15196 0 -1 4202560 1170 0 0 0 861 4 0 0 20 0 28 0 3941332 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147746313184 140148700415207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26906] ppid=26828 vsize=13801768 CPUtime=8.91 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26906/stat : 26906 (java) R 26828 26828 15196 0 -1 4202560 422 0 0 0 890 1 0 0 20 0 28 0 3941332 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147745259928 140148698604067 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26907] ppid=26828 vsize=13801768 CPUtime=8.71 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26907/stat : 26907 (java) R 26828 26828 15196 0 -1 4202560 299 0 0 0 871 0 0 0 20 0 28 0 3941332 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147744206984 140148698366494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26908] ppid=26828 vsize=13801768 CPUtime=8.88 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26908/stat : 26908 (java) R 26828 26828 15196 0 -1 4202560 154 0 0 0 888 0 0 0 20 0 28 0 3941332 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147743153536 140148698715520 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
[pid=26829/tid=26909] ppid=26828 vsize=13801768 CPUtime=8.74 cores=0,2,4,6,8,10,12,14
/proc/26829/task/26909/stat : 26909 (java) R 26828 26828 15196 0 -1 4202560 187 0 0 0 874 0 0 0 20 0 28 0 3941332 14133010432 186419 33554432000 4194304 4196468 140728498066640 140147742101560 140148698464834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29646848 140728498070716 140728498070892 140728498070892 140728498073551 0
Current children cumulated CPU time (s) 80.92
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 10.9565
CPU time (s): 81.1947
CPU user time (s): 80.0762
CPU system time (s): 1.11852
CPU usage (%): 741.065
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.0762
system time used= 1.11852
maximum resident set size= 745712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37692
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4434
involuntary context switches= 6357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.120893 second user time and 0.161557 second system time

The end

Launcher Data 

Begin job on node145 at 2017-07-22 03:26:01
IDJOB=4246032
IDBENCH=123864
IDSOLVER=2626
FILE ID=node145/4246032-1500686761
RUNJOBID= node145-1500682809-15227
PBS_JOBID= 20623333
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Bibd/Bibd-sum-stab1/Bibd-sum-12-03-04.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246032-1500686761/watcher-4246032-1500686761 -o /tmp/evaluation-result-4246032-1500686761/solver-4246032-1500686761 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1434024550 HOME/instance-4246032-1500686761.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 4cb414677efb9576d4ff9b4f5d333658
RANDOM SEED=1434024550

node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

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

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

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

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

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31899124 kB
MemAvailable:   31946072 kB
Buffers:          127084 kB
Cached:           192356 kB
SwapCached:            0 kB
Active:           258556 kB
Inactive:         167080 kB
Active(anon):      49644 kB
Inactive(anon):    68068 kB
Active(file):     208912 kB
Inactive(file):    99012 kB
Unevictable:        5808 kB
Mlocked:            5808 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8096 kB
Writeback:             0 kB
AnonPages:        164472 kB
Mapped:            41704 kB
Shmem:              8852 kB
Slab:             144332 kB
SReclaimable:     109716 kB
SUnreclaim:        34616 kB
KernelStack:        5008 kB
PageTables:         5652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1175556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61832 MiB
End job on node145 at 2017-07-22 03:26:12