Trace number 4297625

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)SAT 12.7974 2.49013

General information on the benchmark

NameBibd/
Bibd-sum-09-03-09_c18.xml
MD5SUM8720a51077744f6e775f5d31127f86ee
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 benchmark12.7974
Satisfiable
(Un)Satisfiability was proved
Number of variables972
Number of constraints154
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":972}]
Minimum variable degree11
Maximum variable degree11
Distribution of variable degrees[{"degree":11,"count":972}]
Minimum constraint arity9
Maximum constraint arity972
Distribution of constraint arities[{"arity":9,"count":108},{"arity":108,"count":9},{"arity":216,"count":36},{"arity":972,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":153}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297625-1532715733.xml"  -tl '20160s' -p 8
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297625-1532715733.xml, -tl, 20160s, -p, 8]
0.12/0.21	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.83/0.91	c solve instance...
12.24/2.47	s SATISFIABLE
12.24/2.47	v <instantiation>
12.24/2.47	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[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] 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[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] 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[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] 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[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] 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[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] 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[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] 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[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] 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[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] 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[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] </list>
12.24/2.47	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 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 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 1 1 1 1 1 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 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 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 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 1 1 1 0 0 0 0 0 0 1 1 1 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 1 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 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 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 </values>
12.24/2.47	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13552 MiB free)
  memory of node 1: 16384 MiB (13941 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297625-1532715733/watcher-4297625-1532715733 -o /tmp/evaluation-result-4297625-1532715733/solver-4297625-1532715733 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532705124-11690 --watchdog 2580 HOME/xcsp3-exec -seed 498779069 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297625-1532715733.xml 

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

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


[startup+0.100156 s]*
/proc/loadavg: 2.42 1.39 1.48 2/200 16478
/proc/meminfo: memFree=28138300/32770624 swapFree=67108532/67108860
[pid=16457] ppid=16454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89136428 115843072 363 33554432000 4194304 5098028 140727054880736 140727054878840 140309300425340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39604224 140727054885942 140727054886144 140727054886144 140727054888906 0
/proc/16457/statm: 28282 363 305 221 0 87 0
[pid=16459] ppid=16457 vsize=26104152 memory=27532 CPUtime=0.12 cores=0-7
/proc/16459/stat : 16459 (java) S 16457 16457 11663 0 -1 1077944320 5814 0 0 0 10 2 0 0 20 0 20 0 89136428 26730651648 6883 33554432000 4194304 4196468 140728622590000 140728622572544 140458985316087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
/proc/16459/statm: 6526038 6883 2998 1 0 6488315 0
[pid=16459/tid=16460] ppid=16457 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16459/task/16460/stat : 16460 (java) R 16457 16457 11663 0 -1 4202560 3829 0 0 0 8 1 0 0 20 0 20 0 89136429 26730651648 6883 33554432000 4194304 4196468 140728622590000 140458989549360 140458600842823 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16461] ppid=16457 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16459/task/16461/stat : 16461 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 6883 33554432000 4194304 4196468 140728622590000 140458937936656 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16462] ppid=16457 vsize=26104152 memory=140541871830656 CPUtime=0 cores=0-7
/proc/16459/task/16462/stat : 16462 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 6883 33554432000 4194304 4196468 140728622590000 140458936884112 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16463] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16463/stat : 16463 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 6883 33554432000 4194304 4196468 140728622590000 140458935831568 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16464] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16464/stat : 16464 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 6883 33554432000 4194304 4196468 140728622590000 140458934779024 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16465] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16465/stat : 16465 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 6883 33554432000 4194304 4196468 140728622590000 140458933725456 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16466] ppid=16457 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16459/task/16466/stat : 16466 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 6883 33554432000 4194304 4196468 140728622590000 140458932672912 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16467] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16467/stat : 16467 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 6883 33554432000 4194304 4196468 140728622590000 140458931620368 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16468] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16468/stat : 16468 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 6883 33554432000 4194304 4196468 140728622590000 140458930567824 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16469] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16469/stat : 16469 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136431 26730651648 6883 33554432000 4194304 4196468 140728622590000 140457235417584 140458985327234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16470] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16470/stat : 16470 (java) S 16457 16457 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89136432 26730651648 6883 33554432000 4194304 4196468 140728622590000 140457234363808 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16471] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16471/stat : 16471 (java) S 16457 16457 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89136432 26730651648 6883 33554432000 4194304 4196468 140728622590000 140457233311216 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16472] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16472/stat : 16472 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136434 26730651648 6883 33554432000 4194304 4196468 140728622590000 140457232259792 140458985334683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16473] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16473/stat : 16473 (java) S 16457 16457 11663 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 89136434 26730651648 6883 33554432000 4194304 4196468 140728622590000 140457231206384 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16474] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16474/stat : 16474 (java) S 16457 16457 11663 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 89136434 26730651648 6883 33554432000 4194304 4196468 140728622590000 140457230153840 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16475] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16475/stat : 16475 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136434 26730651648 6883 33554432000 4194304 4196468 140728622590000 140457229101296 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16476] ppid=16457 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/16459/task/16476/stat : 16476 (java) S 16457 16457 11663 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 89136434 26730651648 6883 33554432000 4194304 4196468 140728622590000 140457228048752 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16477] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16477/stat : 16477 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136434 26730651648 6883 33554432000 4194304 4196468 140728622590000 140457226996448 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16478] ppid=16457 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16459/task/16478/stat : 16478 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136435 26730651648 6883 33554432000 4194304 4196468 140728622590000 140457225943984 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28984 KiB

[startup+0.210285 s]*
/proc/loadavg: 2.42 1.39 1.48 3/200 16478
/proc/meminfo: memFree=28127384/32770624 swapFree=67108532/67108860
[pid=16457] ppid=16454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89136428 115843072 363 33554432000 4194304 5098028 140727054880736 140727054878840 140309300425340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39604224 140727054885942 140727054886144 140727054886144 140727054888906 0
/proc/16457/statm: 28282 363 305 221 0 87 0
[pid=16459] ppid=16457 vsize=26104152 memory=39848 CPUtime=0.33 cores=0-7
/proc/16459/stat : 16459 (java) S 16457 16457 11663 0 -1 1077944320 8547 0 0 0 30 3 0 0 20 0 20 0 89136428 26730651648 9962 33554432000 4194304 4196468 140728622590000 140728622572544 140458985316087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
/proc/16459/statm: 6526038 9962 3215 1 0 6488315 0
[pid=16459/tid=16460] ppid=16457 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16459/task/16460/stat : 16460 (java) R 16457 16457 11663 0 -1 4202560 5630 0 0 0 17 2 0 0 20 0 20 0 89136429 26730651648 10026 33554432000 4194304 4196468 140728622590000 140458989551072 140458985338013 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16461] ppid=16457 vsize=26104152 memory=339 CPUtime=0 cores=0-7
/proc/16459/task/16461/stat : 16461 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 10026 33554432000 4194304 4196468 140728622590000 140458937936656 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16462] ppid=16457 vsize=26104152 memory=288370918023542400 CPUtime=0 cores=0-7
/proc/16459/task/16462/stat : 16462 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 10026 33554432000 4194304 4196468 140728622590000 140458936884112 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16463] ppid=16457 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16459/task/16463/stat : 16463 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 10026 33554432000 4194304 4196468 140728622590000 140458935831568 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16464] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16464/stat : 16464 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 10026 33554432000 4194304 4196468 140728622590000 140458934779024 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16465] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16465/stat : 16465 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 10026 33554432000 4194304 4196468 140728622590000 140458933725456 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16466] ppid=16457 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16459/task/16466/stat : 16466 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 10026 33554432000 4194304 4196468 140728622590000 140458932672912 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16467] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16467/stat : 16467 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 10026 33554432000 4194304 4196468 140728622590000 140458931620368 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16468] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16468/stat : 16468 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136430 26730651648 10026 33554432000 4194304 4196468 140728622590000 140458930567824 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16469] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16469/stat : 16469 (java) S 16457 16457 11663 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89136431 26730651648 10026 33554432000 4194304 4196468 140728622590000 140457235417584 140458985327234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16470] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16470/stat : 16470 (java) S 16457 16457 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89136432 26730651648 10026 33554432000 4194304 4196468 140728622590000 140457234363808 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16471] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16471/stat : 16471 (java) S 16457 16457 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89136432 26730651648 10026 33554432000 4194304 4196468 140728622590000 140457233311216 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16472] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16472/stat : 16472 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136434 26730651648 10026 33554432000 4194304 4196468 140728622590000 140457232259792 140458985334683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16473] ppid=16457 vsize=26104184 memory=0 CPUtime=0.01 cores=0-7
/proc/16459/task/16473/stat : 16473 (java) S 16457 16457 11663 0 -1 1077944384 552 0 0 0 1 0 0 0 20 0 20 0 89136434 26730684416 10026 33554432000 4194304 4196468 140728622590000 140457231206384 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16474] ppid=16457 vsize=26104184 memory=0 CPUtime=0.02 cores=0-7
/proc/16459/task/16474/stat : 16474 (java) S 16457 16457 11663 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 20 0 89136434 26730684416 10026 33554432000 4194304 4196468 140728622590000 140457230153840 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16475] ppid=16457 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/16459/task/16475/stat : 16475 (java) S 16457 16457 11663 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 89136434 26730651648 10030 33554432000 4194304 4196468 140728622590000 140457229101296 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16476] ppid=16457 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7
/proc/16459/task/16476/stat : 16476 (java) S 16457 16457 11663 0 -1 1077944384 734 0 0 0 8 0 0 0 20 0 20 0 89136434 26730651648 10030 33554432000 4194304 4196468 140728622590000 140457228048752 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16477] ppid=16457 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16477/stat : 16477 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136434 26730651648 10030 33554432000 4194304 4196468 140728622590000 140457226996448 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16478] ppid=16457 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/16459/task/16478/stat : 16478 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136435 26730651648 10030 33554432000 4194304 4196468 140728622590000 140457225943984 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41300 KiB

[startup+0.310189 s]*
/proc/loadavg: 2.42 1.39 1.48 3/200 16478
/proc/meminfo: memFree=28120932/32770624 swapFree=67108532/67108860
[pid=16457] ppid=16454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89136428 115843072 363 33554432000 4194304 5098028 140727054880736 140727054878840 140309300425340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39604224 140727054885942 140727054886144 140727054886144 140727054888906 0
/proc/16457/statm: 28282 363 305 221 0 87 0
[pid=16459] ppid=16457 vsize=26108408 memory=46892 CPUtime=0.52 cores=0-7
/proc/16459/stat : 16459 (java) S 16457 16457 11663 0 -1 1077944320 9456 0 0 0 48 4 0 0 20 0 20 0 89136428 26735009792 11723 33554432000 4194304 4196468 140728622590000 140728622572544 140458985316087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
/proc/16459/statm: 6527102 11723 3256 1 0 6488315 0
[pid=16459/tid=16460] ppid=16457 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16459/task/16460/stat : 16460 (java) R 16457 16457 11663 0 -1 4202560 6353 0 0 0 26 3 0 0 20 0 20 0 89136429 26735009792 11731 33554432000 4194304 4196468 140728622590000 140458989549872 140458969396574 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16461] ppid=16457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16461/stat : 16461 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136430 26735009792 11731 33554432000 4194304 4196468 140728622590000 140458937936656 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16462] ppid=16457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16462/stat : 16462 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26735009792 11731 33554432000 4194304 4196468 140728622590000 140458936884112 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16463] ppid=16457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16463/stat : 16463 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136430 26735009792 11731 33554432000 4194304 4196468 140728622590000 140458935831568 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16464] ppid=16457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16464/stat : 16464 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136430 26735009792 11731 33554432000 4194304 4196468 140728622590000 140458934779024 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16465] ppid=16457 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/16459/task/16465/stat : 16465 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26735009792 11731 33554432000 4194304 4196468 140728622590000 140458933725456 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16466] ppid=16457 vsize=26108408 memory=140541731894191 CPUtime=0 cores=0-7
/proc/16459/task/16466/stat : 16466 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26735009792 11731 33554432000 4194304 4196468 140728622590000 140458932672912 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16467] ppid=16457 vsize=26108408 memory=140541731896496 CPUtime=0 cores=0-7
/proc/16459/task/16467/stat : 16467 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26735009792 11731 33554432000 4194304 4196468 140728622590000 140458931620368 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16468] ppid=16457 vsize=26108408 memory=140541731898800 CPUtime=0 cores=0-7
/proc/16459/task/16468/stat : 16468 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136430 26735009792 11731 33554432000 4194304 4196468 140728622590000 140458930567824 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16469] ppid=16457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16469/stat : 16469 (java) S 16457 16457 11663 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89136431 26735009792 11731 33554432000 4194304 4196468 140728622590000 140457235417584 140458985327234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16470] ppid=16457 vsize=26108408 memory=281083463804560 CPUtime=0 cores=0-7
/proc/16459/task/16470/stat : 16470 (java) S 16457 16457 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89136432 26735009792 11731 33554432000 4194304 4196468 140728622590000 140457234363808 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16471] ppid=16457 vsize=26108408 memory=281083463811472 CPUtime=0 cores=0-7
/proc/16459/task/16471/stat : 16471 (java) S 16457 16457 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89136432 26735009792 11731 33554432000 4194304 4196468 140728622590000 140457233311216 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16472] ppid=16457 vsize=26108408 memory=281083463752752 CPUtime=0 cores=0-7
/proc/16459/task/16472/stat : 16472 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136434 26735009792 11731 33554432000 4194304 4196468 140728622590000 140457232259792 140458985334683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16473] ppid=16457 vsize=26108408 memory=281083463825296 CPUtime=0.03 cores=0-7
/proc/16459/task/16473/stat : 16473 (java) S 16457 16457 11663 0 -1 1077944384 659 0 0 0 3 0 0 0 20 0 20 0 89136434 26735009792 11731 33554432000 4194304 4196468 140728622590000 140457231206384 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16474] ppid=16457 vsize=26108408 memory=281083463832208 CPUtime=0.03 cores=0-7
/proc/16459/task/16474/stat : 16474 (java) S 16457 16457 11663 0 -1 1077944384 275 0 0 0 3 0 0 0 20 0 20 0 89136434 26735009792 11731 33554432000 4194304 4196468 140728622590000 140457230153840 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16475] ppid=16457 vsize=26108408 memory=281083463829904 CPUtime=0.01 cores=0-7
/proc/16459/task/16475/stat : 16475 (java) S 16457 16457 11663 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 89136434 26735009792 11731 33554432000 4194304 4196468 140728622590000 140457229101296 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16476] ppid=16457 vsize=26108408 memory=281083463846064 CPUtime=0.12 cores=0-7
/proc/16459/task/16476/stat : 16476 (java) S 16457 16457 11663 0 -1 1077944384 797 0 0 0 12 0 0 0 20 0 20 0 89136434 26735009792 11731 33554432000 4194304 4196468 140728622590000 140457228048752 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16477] ppid=16457 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16477/stat : 16477 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89136434 26735009792 11731 33554432000 4194304 4196468 140728622590000 140457226996448 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16478] ppid=16457 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/16459/task/16478/stat : 16478 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136435 26735009792 11731 33554432000 4194304 4196468 140728622590000 140457225943984 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48344 KiB

[startup+0.700976 s]
/proc/loadavg: 2.42 1.39 1.48 3/200 16478
/proc/meminfo: memFree=28107120/32770624 swapFree=67108532/67108860
[pid=16457] ppid=16454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89136428 115843072 363 33554432000 4194304 5098028 140727054880736 140727054878840 140309300425340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39604224 140727054885942 140727054886144 140727054886144 140727054888906 0
/proc/16457/statm: 28282 363 305 221 0 87 0
[pid=16459] ppid=16457 vsize=26110532 memory=108728 CPUtime=1.81 cores=0-7
/proc/16459/stat : 16459 (java) S 16457 16457 11663 0 -1 1077944320 12719 0 0 0 174 7 0 0 20 0 20 0 89136428 26737184768 27182 33554432000 4194304 4196468 140728622590000 140728622572544 140458985316087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
/proc/16459/statm: 6527633 27182 3361 1 0 6488827 0
[pid=16459/tid=16460] ppid=16457 vsize=26110532 memory=281083464203952 CPUtime=0.67 cores=0-7
/proc/16459/task/16460/stat : 16460 (java) R 16457 16457 11663 0 -1 4202560 7168 0 0 0 62 5 0 0 20 0 20 0 89136429 26737184768 27182 33554432000 4194304 4196468 140728622590000 140458989554448 140458967724245 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16461] ppid=16457 vsize=26110532 memory=140541732103024 CPUtime=0 cores=0-7
/proc/16459/task/16461/stat : 16461 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136430 26737184768 27182 33554432000 4194304 4196468 140728622590000 140458937936656 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16462] ppid=16457 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16462/stat : 16462 (java) S 16457 16457 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89136430 26737184768 27182 33554432000 4194304 4196468 140728622590000 140458936884112 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16463] ppid=16457 vsize=26110532 memory=1012 CPUtime=0 cores=0-7
/proc/16459/task/16463/stat : 16463 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89136430 26737184768 27182 33554432000 4194304 4196468 140728622590000 140458935831568 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0

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

[pid=16459/tid=16476] ppid=16457 vsize=26643044 memory=15436 CPUtime=0.61 cores=0-7
/proc/16459/task/16476/stat : 16476 (java) D 16457 16457 11663 0 -1 4202560 2326 0 0 0 61 0 0 0 20 0 28 0 89136434 27282477056 62226 33554432000 4194304 4196468 140728622590000 140457228046712 140458965223223 0 4 0 16800975 18446744072100379781 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16477] ppid=16457 vsize=26643044 memory=15636 CPUtime=0 cores=0-7
/proc/16459/task/16477/stat : 16477 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89136434 27282477056 62226 33554432000 4194304 4196468 140728622590000 140457226996448 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16478] ppid=16457 vsize=26643044 memory=16236 CPUtime=0 cores=0-7
/proc/16459/task/16478/stat : 16478 (java) D 16457 16457 11663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 28 0 89136435 27282477056 62226 33554432000 4194304 4196468 140728622590000 140457225943904 140458970172174 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16479] ppid=16457 vsize=26643044 memory=4048 CPUtime=0.33 cores=0-7
/proc/16459/task/16479/stat : 16479 (java) S 16457 16457 11663 0 -1 1077944384 54 0 0 0 33 0 0 0 20 0 28 0 89136523 27282477056 62226 33554432000 4194304 4196468 140728622590000 140457217158960 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16480] ppid=16457 vsize=26643044 memory=640 CPUtime=0.36 cores=0-7
/proc/16459/task/16480/stat : 16480 (java) S 16457 16457 11663 0 -1 1077944384 37 0 0 0 36 0 0 0 20 0 28 0 89136523 27282477056 62226 33554432000 4194304 4196468 140728622590000 140457216107312 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16481] ppid=16457 vsize=26643044 memory=6429566043312 CPUtime=0.37 cores=0-7
/proc/16459/task/16481/stat : 16481 (java) S 16457 16457 11663 0 -1 1077944384 42 0 0 0 37 0 0 0 20 0 28 0 89136523 27282477056 62226 33554432000 4194304 4196468 140728622590000 140457215053664 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16482] ppid=16457 vsize=26643044 memory=288230583166042426 CPUtime=0.5 cores=0-7
/proc/16459/task/16482/stat : 16482 (java) S 16457 16457 11663 0 -1 1077944384 36 0 0 0 50 0 0 0 20 0 28 0 89136523 27282477056 62226 33554432000 4194304 4196468 140728622590000 140457214001504 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16483] ppid=16457 vsize=26643044 memory=14413717810973266 CPUtime=0.37 cores=0-7
/proc/16459/task/16483/stat : 16483 (java) S 16457 16457 11663 0 -1 1077944384 29 0 0 0 37 0 0 0 20 0 28 0 89136523 27282477056 62226 33554432000 4194304 4196468 140728622590000 140457212949136 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16484] ppid=16457 vsize=26643044 memory=0 CPUtime=0.41 cores=0-7
/proc/16459/task/16484/stat : 16484 (java) S 16457 16457 11663 0 -1 1077944384 29 0 0 0 41 0 0 0 20 0 28 0 89136523 27282477056 62226 33554432000 4194304 4196468 140728622590000 140457211896240 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16485] ppid=16457 vsize=26643044 memory=0 CPUtime=0.43 cores=0-7
/proc/16459/task/16485/stat : 16485 (java) S 16457 16457 11663 0 -1 1077944384 58 0 0 0 43 0 0 0 20 0 28 0 89136523 27282477056 62226 33554432000 4194304 4196468 140728622590000 140457210845600 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16486] ppid=16457 vsize=26643044 memory=6944656575208382560 CPUtime=0.42 cores=0-7
/proc/16459/task/16486/stat : 16486 (java) S 16457 16457 11663 0 -1 1077944384 26 0 0 0 42 0 0 0 20 0 28 0 89136523 27282477056 62226 33554432000 4194304 4196468 140728622590000 140457209791504 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 250356 KiB

[startup+2.02147 s]*
/proc/loadavg: 2.42 1.39 1.48 12/208 16486
/proc/meminfo: memFree=27917472/32770624 swapFree=67108532/67108860
[pid=16457] ppid=16454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89136428 115843072 363 33554432000 4194304 5098028 140727054880736 140727054878840 140309300425340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39604224 140727054885942 140727054886144 140727054886144 140727054888906 0
/proc/16457/statm: 28282 363 305 221 0 87 0
[pid=16459] ppid=16457 vsize=26643044 memory=249428 CPUtime=9.31 cores=0-7
/proc/16459/stat : 16459 (java) S 16457 16457 11663 0 -1 1077944320 16818 0 0 0 907 24 0 0 20 0 28 0 89136428 27282477056 62357 33554432000 4194304 4196468 140728622590000 140728622572544 140458985316087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
/proc/16459/statm: 6660761 62357 3410 1 0 6621955 0
[pid=16459/tid=16460] ppid=16457 vsize=26643044 memory=6791534058613427641 CPUtime=0.85 cores=0-7
/proc/16459/task/16460/stat : 16460 (java) S 16457 16457 11663 0 -1 1077944384 7274 0 0 0 79 6 0 0 20 0 28 0 89136429 27282477056 62357 33554432000 4194304 4196468 140728622590000 140458989556864 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16461] ppid=16457 vsize=26643044 memory=0 CPUtime=0.05 cores=0-7
/proc/16459/task/16461/stat : 16461 (java) S 16457 16457 11663 0 -1 1077944384 44 0 0 0 4 1 0 0 20 0 28 0 89136430 27282477056 62357 33554432000 4194304 4196468 140728622590000 140458937936656 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16462] ppid=16457 vsize=26643044 memory=0 CPUtime=0.03 cores=0-7
/proc/16459/task/16462/stat : 16462 (java) S 16457 16457 11663 0 -1 1077944384 35 0 0 0 2 1 0 0 20 0 28 0 89136430 27282477056 62357 33554432000 4194304 4196468 140728622590000 140458936884112 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16463] ppid=16457 vsize=26643044 memory=0 CPUtime=0.04 cores=0-7
/proc/16459/task/16463/stat : 16463 (java) S 16457 16457 11663 0 -1 1077944384 19 0 0 0 3 1 0 0 20 0 28 0 89136430 27282477056 62357 33554432000 4194304 4196468 140728622590000 140458935831568 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16464] ppid=16457 vsize=26643044 memory=0 CPUtime=0.04 cores=0-7
/proc/16459/task/16464/stat : 16464 (java) S 16457 16457 11663 0 -1 1077944384 38 0 0 0 3 1 0 0 20 0 28 0 89136430 27282477056 62357 33554432000 4194304 4196468 140728622590000 140458934779024 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16465] ppid=16457 vsize=26643044 memory=3544385890265608239 CPUtime=0.05 cores=0-7
/proc/16459/task/16465/stat : 16465 (java) S 16457 16457 11663 0 -1 1077944384 46 0 0 0 4 1 0 0 20 0 28 0 89136430 27282477056 62357 33554432000 4194304 4196468 140728622590000 140458933725456 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16466] ppid=16457 vsize=26643044 memory=7378661388463573605 CPUtime=0.05 cores=0-7
/proc/16459/task/16466/stat : 16466 (java) S 16457 16457 11663 0 -1 1077944384 50 0 0 0 4 1 0 0 20 0 28 0 89136430 27282477056 62357 33554432000 4194304 4196468 140728622590000 140458932672912 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16467] ppid=16457 vsize=26643044 memory=-2605811476043407915 CPUtime=0.05 cores=0-7
/proc/16459/task/16467/stat : 16467 (java) S 16457 16457 11663 0 -1 1077944384 51 0 0 0 4 1 0 0 20 0 28 0 89136430 27282477056 62357 33554432000 4194304 4196468 140728622590000 140458931620368 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16468] ppid=16457 vsize=26643044 memory=-6663310520939955341 CPUtime=0.04 cores=0-7
/proc/16459/task/16468/stat : 16468 (java) S 16457 16457 11663 0 -1 1077944384 36 0 0 0 3 1 0 0 20 0 28 0 89136430 27282477056 62357 33554432000 4194304 4196468 140728622590000 140458930567824 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16469] ppid=16457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16469/stat : 16469 (java) S 16457 16457 11663 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 89136431 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457235417584 140458985327234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16470] ppid=16457 vsize=26643044 memory=3472328296225127011 CPUtime=0 cores=0-7
/proc/16459/task/16470/stat : 16470 (java) S 16457 16457 11663 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 89136432 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457234363808 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16471] ppid=16457 vsize=26643044 memory=7084820200048181347 CPUtime=0 cores=0-7
/proc/16459/task/16471/stat : 16471 (java) S 16457 16457 11663 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 89136432 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457233311216 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16472] ppid=16457 vsize=26643044 memory=-7966001967407402336 CPUtime=0 cores=0-7
/proc/16459/task/16472/stat : 16472 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89136434 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457232259792 140458985334683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16473] ppid=16457 vsize=26643044 memory=-2026666227646604569 CPUtime=0.89 cores=0-7
/proc/16459/task/16473/stat : 16473 (java) R 16457 16457 11663 0 -1 4202560 2183 0 0 0 89 0 0 0 20 0 28 0 89136434 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457231206680 140458966860594 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16474] ppid=16457 vsize=26643044 memory=1452 CPUtime=0.84 cores=0-7
/proc/16459/task/16474/stat : 16474 (java) R 16457 16457 11663 0 -1 4202560 1696 0 0 0 83 1 0 0 20 0 28 0 89136434 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457230140336 140458966837436 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16475] ppid=16457 vsize=26643044 memory=247996 CPUtime=0.92 cores=0-7
/proc/16459/task/16475/stat : 16475 (java) R 16457 16457 11663 0 -1 1077944384 1268 0 0 0 92 0 0 0 20 0 28 0 89136434 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457229101296 140458985327234 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16476] ppid=16457 vsize=26643044 memory=0 CPUtime=0.65 cores=0-7
/proc/16459/task/16476/stat : 16476 (java) S 16457 16457 11663 0 -1 1077944384 2381 0 0 0 64 1 0 0 20 0 28 0 89136434 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457228048752 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16477] ppid=16457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16477/stat : 16477 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89136434 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457226996448 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16478] ppid=16457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16478/stat : 16478 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89136435 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457225943984 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16479] ppid=16457 vsize=26643044 memory=0 CPUtime=0.53 cores=0-7
/proc/16459/task/16479/stat : 16479 (java) R 16457 16457 11663 0 -1 4202560 54 0 0 0 53 0 0 0 20 0 28 0 89136523 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457217157952 140458607263609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16480] ppid=16457 vsize=26643044 memory=0 CPUtime=0.57 cores=0-7
/proc/16459/task/16480/stat : 16480 (java) R 16457 16457 11663 0 -1 4202560 37 0 0 0 57 0 0 0 20 0 28 0 89136523 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457216107312 140458606777352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16481] ppid=16457 vsize=26643044 memory=0 CPUtime=0.57 cores=0-7
/proc/16459/task/16481/stat : 16481 (java) R 16457 16457 11663 0 -1 4202560 43 0 0 0 57 0 0 0 20 0 28 0 89136523 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457215053768 140458606777469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16482] ppid=16457 vsize=26643044 memory=0 CPUtime=0.66 cores=0-7
/proc/16459/task/16482/stat : 16482 (java) R 16457 16457 11663 0 -1 4202560 37 0 0 0 66 0 0 0 20 0 28 0 89136523 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457214002952 140458607263510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16483] ppid=16457 vsize=26643044 memory=0 CPUtime=0.56 cores=0-7
/proc/16459/task/16483/stat : 16483 (java) R 16457 16457 11663 0 -1 4202560 30 0 0 0 56 0 0 0 20 0 28 0 89136523 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457212949304 140458607263604 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16484] ppid=16457 vsize=26643044 memory=0 CPUtime=0.59 cores=0-7
/proc/16459/task/16484/stat : 16484 (java) R 16457 16457 11663 0 -1 4202560 29 0 0 0 59 0 0 0 20 0 28 0 89136523 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457211896520 140458607087231 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16485] ppid=16457 vsize=26643044 memory=3472592183261933599 CPUtime=0.58 cores=0-7
/proc/16459/task/16485/stat : 16485 (java) R 16457 16457 11663 0 -1 4202560 58 0 0 0 58 0 0 0 20 0 28 0 89136523 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457210836096 140458608033253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16486] ppid=16457 vsize=26643044 memory=7380671248541445222 CPUtime=0.59 cores=0-7
/proc/16459/task/16486/stat : 16486 (java) R 16457 16457 11663 0 -1 4202560 26 0 0 0 59 0 0 0 20 0 28 0 89136523 27282477056 62357 33554432000 4194304 4196468 140728622590000 140457209790952 140458607923442 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
Current children cumulated CPU time: 9.31 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 250880 KiB

[startup+2.40147 s]
/proc/loadavg: 2.42 1.39 1.48 12/208 16486
/proc/meminfo: memFree=27917472/32770624 swapFree=67108532/67108860
[pid=16457] ppid=16454 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16457/stat : 16457 (xcsp3-exec) S 16454 16457 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 89136428 115843072 363 33554432000 4194304 5098028 140727054880736 140727054878840 140309300425340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39604224 140727054885942 140727054886144 140727054886144 140727054888906 0
/proc/16457/statm: 28282 363 305 221 0 87 0
[pid=16459] ppid=16457 vsize=26643044 memory=282632 CPUtime=12.24 cores=0-7
/proc/16459/stat : 16459 (java) S 16457 16457 11663 0 -1 1077944320 17062 0 0 0 1192 32 0 0 20 0 28 0 89136428 27282477056 70658 33554432000 4194304 4196468 140728622590000 140728622572544 140458985316087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
/proc/16459/statm: 6660761 70658 3412 1 0 6621955 0
[pid=16459/tid=16460] ppid=16457 vsize=26643044 memory=6009306500578110050 CPUtime=0.85 cores=0-7
/proc/16459/task/16460/stat : 16460 (java) S 16457 16457 11663 0 -1 1077944384 7274 0 0 0 79 6 0 0 20 0 28 0 89136429 27282477056 70658 33554432000 4194304 4196468 140728622590000 140458989556864 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16461] ppid=16457 vsize=26643044 memory=7085963572082666609 CPUtime=0.07 cores=0-7
/proc/16459/task/16461/stat : 16461 (java) S 16457 16457 11663 0 -1 1077944384 58 0 0 0 5 2 0 0 20 0 28 0 89136430 27282477056 70658 33554432000 4194304 4196468 140728622590000 140458937936656 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16462] ppid=16457 vsize=26643044 memory=7085963572082666609 CPUtime=0.06 cores=0-7
/proc/16459/task/16462/stat : 16462 (java) S 16457 16457 11663 0 -1 1077944384 61 0 0 0 4 2 0 0 20 0 28 0 89136430 27282477056 70658 33554432000 4194304 4196468 140728622590000 140458936884112 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16463] ppid=16457 vsize=26643044 memory=7085963572082666609 CPUtime=0.07 cores=0-7
/proc/16459/task/16463/stat : 16463 (java) S 16457 16457 11663 0 -1 1077944384 42 0 0 0 5 2 0 0 20 0 28 0 89136430 27282477056 70658 33554432000 4194304 4196468 140728622590000 140458935831568 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16464] ppid=16457 vsize=26643044 memory=7523376918531162212 CPUtime=0.07 cores=0-7
/proc/16459/task/16464/stat : 16464 (java) S 16457 16457 11663 0 -1 1077944384 51 0 0 0 5 2 0 0 20 0 28 0 89136430 27282477056 70658 33554432000 4194304 4196468 140728622590000 140458934779024 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16465] ppid=16457 vsize=26643044 memory=7380952740665649002 CPUtime=0.08 cores=0-7
/proc/16459/task/16465/stat : 16465 (java) S 16457 16457 11663 0 -1 1077944384 71 0 0 0 6 2 0 0 20 0 28 0 89136430 27282477056 70658 33554432000 4194304 4196468 140728622590000 140458933725456 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16466] ppid=16457 vsize=26643044 memory=0 CPUtime=0.08 cores=0-7
/proc/16459/task/16466/stat : 16466 (java) S 16457 16457 11663 0 -1 1077944384 66 0 0 0 6 2 0 0 20 0 28 0 89136430 27282477056 70658 33554432000 4194304 4196468 140728622590000 140458932672912 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16467] ppid=16457 vsize=26643044 memory=0 CPUtime=0.08 cores=0-7
/proc/16459/task/16467/stat : 16467 (java) S 16457 16457 11663 0 -1 1077944384 65 0 0 0 6 2 0 0 20 0 28 0 89136430 27282477056 70658 33554432000 4194304 4196468 140728622590000 140458931620368 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16468] ppid=16457 vsize=26643044 memory=0 CPUtime=0.07 cores=0-7
/proc/16459/task/16468/stat : 16468 (java) S 16457 16457 11663 0 -1 1077944384 47 0 0 0 5 2 0 0 20 0 28 0 89136430 27282477056 70658 33554432000 4194304 4196468 140728622590000 140458930567824 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16469] ppid=16457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16469/stat : 16469 (java) S 16457 16457 11663 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 89136431 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457235417584 140458985327234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16470] ppid=16457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16470/stat : 16470 (java) S 16457 16457 11663 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 89136432 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457234363872 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16471] ppid=16457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16471/stat : 16471 (java) S 16457 16457 11663 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 89136432 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457233311216 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16472] ppid=16457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16472/stat : 16472 (java) S 16457 16457 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89136434 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457232259792 140458985334683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16473] ppid=16457 vsize=26643044 memory=0 CPUtime=1.04 cores=0-7
/proc/16459/task/16473/stat : 16473 (java) S 16457 16457 11663 0 -1 1077944384 2201 0 0 0 104 0 0 0 20 0 28 0 89136434 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457231206384 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16474] ppid=16457 vsize=26643044 memory=0 CPUtime=0.96 cores=0-7
/proc/16459/task/16474/stat : 16474 (java) S 16457 16457 11663 0 -1 1077944384 1710 0 0 0 95 1 0 0 20 0 28 0 89136434 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457230153840 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16475] ppid=16457 vsize=26643044 memory=0 CPUtime=1.01 cores=0-7
/proc/16459/task/16475/stat : 16475 (java) S 16457 16457 11663 0 -1 1077944384 1287 0 0 0 101 0 0 0 20 0 28 0 89136434 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457229101296 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16476] ppid=16457 vsize=26643044 memory=0 CPUtime=0.67 cores=0-7
/proc/16459/task/16476/stat : 16476 (java) S 16457 16457 11663 0 -1 1077944384 2407 0 0 0 66 1 0 0 20 0 28 0 89136434 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457228048752 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16477] ppid=16457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16477/stat : 16477 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89136434 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457226996448 140458985326293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16478] ppid=16457 vsize=26643044 memory=0 CPUtime=0 cores=0-7
/proc/16459/task/16478/stat : 16478 (java) S 16457 16457 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89136435 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457225943984 140458985327234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16479] ppid=16457 vsize=26643044 memory=0 CPUtime=0.77 cores=0-7
/proc/16459/task/16479/stat : 16479 (java) R 16457 16457 11663 0 -1 4202560 54 0 0 0 77 0 0 0 20 0 28 0 89136523 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457217158872 140458607923159 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16480] ppid=16457 vsize=26643044 memory=0 CPUtime=0.89 cores=0-7
/proc/16459/task/16480/stat : 16480 (java) R 16457 16457 11663 0 -1 4202560 40 0 0 0 89 0 0 0 20 0 28 0 89136523 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457216107624 140458607138195 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16481] ppid=16457 vsize=26643044 memory=0 CPUtime=0.9 cores=0-7
/proc/16459/task/16481/stat : 16481 (java) R 16457 16457 11663 0 -1 4202560 45 0 0 0 90 0 0 0 20 0 28 0 89136523 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457215053272 140458607982327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16482] ppid=16457 vsize=26643044 memory=0 CPUtime=0.91 cores=0-7
/proc/16459/task/16482/stat : 16482 (java) R 16457 16457 11663 0 -1 4202560 41 0 0 0 91 0 0 0 20 0 28 0 89136523 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457214001224 140458607235977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16483] ppid=16457 vsize=26643044 memory=0 CPUtime=0.88 cores=0-7
/proc/16459/task/16483/stat : 16483 (java) R 16457 16457 11663 0 -1 4202560 36 0 0 0 88 0 0 0 20 0 28 0 89136523 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457212948440 140458606777536 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16484] ppid=16457 vsize=26643044 memory=0 CPUtime=0.9 cores=0-7
/proc/16459/task/16484/stat : 16484 (java) R 16457 16457 11663 0 -1 4202560 37 0 0 0 90 0 0 0 20 0 28 0 89136523 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457211895704 140458607137878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16485] ppid=16457 vsize=26643044 memory=0 CPUtime=0.81 cores=0-7
/proc/16459/task/16485/stat : 16485 (java) R 16457 16457 11663 0 -1 4202560 59 0 0 0 81 0 0 0 20 0 28 0 89136523 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457210842456 140458607339724 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
[pid=16459/tid=16486] ppid=16457 vsize=26643044 memory=4640185777728278608 CPUtime=0.88 cores=0-7
/proc/16459/task/16486/stat : 16486 (java) R 16457 16457 11663 0 -1 4202560 27 0 0 0 88 0 0 0 20 0 28 0 89136523 27282477056 70658 33554432000 4194304 4196468 140728622590000 140457209790232 140458601034048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37945344 140728622597249 140728622597421 140728622597421 140728622600143 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 26756172 KiB
Current children cumulated memory: 284084 KiB

Child status: 0
Real time (s): 2.49013
CPU time (s): 12.7974
CPU user time (s): 12.4632
CPU system time (s): 0.334285
CPU usage (%): 513.926
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 284084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4632
system time used= 0.334285
maximum resident set size= 284580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17670
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= 3226
involuntary context switches= 302


# summary of solver processes directly reported to runsolver:
#   pid: 16457
#   total CPU time (s): 12.7974
#   total CPU user time (s): 12.4632
#   total CPU system time (s): 0.334285

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035804 second user time and 0.075701 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-27 20:22:13
IDJOB=4297625
IDBENCH=141327
IDSOLVER=2760
FILE ID=node104/4297625-1532715733
RUNJOBID= node104-1532705124-11690
PBS_JOBID= 21022309
Free space on /tmp= 48344 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Bibd/Bibd-sum-09-03-09_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297625-1532715733/watcher-4297625-1532715733 -o /tmp/evaluation-result-4297625-1532715733/solver-4297625-1532715733 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532705124-11690 --watchdog 2580  HOME/xcsp3-exec -seed 498779069 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297625-1532715733.xml

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

MD5SUM BENCH= 8720a51077744f6e775f5d31127f86ee
RANDOM SEED=498779069

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28154820 kB
MemAvailable:   31949192 kB
Buffers:          122460 kB
Cached:          3925108 kB
SwapCached:           12 kB
Active:          1917120 kB
Inactive:        2182864 kB
Active(anon):       7096 kB
Inactive(anon):    73044 kB
Active(file):    1910024 kB
Inactive(file):  2109820 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108532 kB
Dirty:             22308 kB
Writeback:             0 kB
AnonPages:         67848 kB
Mapped:            39056 kB
Shmem:             25060 kB
Slab:             208924 kB
SReclaimable:     180724 kB
SUnreclaim:        28200 kB
KernelStack:        3536 kB
PageTables:         5828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48324 MiB
End job on node104 at 2018-07-27 20:22:15