Trace number 4262054

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT7870242 2029.28 586.36902

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-tai80a.xml
MD5SUMc9a66f606132a3c8760ec6756f0c4250
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark7129639
Best CPU time to get the best result obtained on this benchmark2519.7
Satisfiable
(Un)Satisfiability was proved
Number of variables6480
Number of constraints3128
Number of domains2
Minimum domain size80
Maximum domain size100
Distribution of domain sizes[{"size":80,"count":80},{"size":100,"count":3127}]
Minimum variable degree0
Maximum variable degree80
Distribution of variable degrees[{"degree":0,"count":3273},{"degree":2,"count":3127},{"degree":77,"count":3},{"degree":78,"count":14},{"degree":79,"count":29},{"degree":80,"count":34}]
Minimum constraint arity3
Maximum constraint arity80
Distribution of constraint arities[{"arity":3,"count":3127},{"arity":80,"count":1}]
Number of extensional constraints3127
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":3127},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

3.21/2.19	c Concrete v3.4 running
463.42/187.65	o 7870242
1924.38/559.48	Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.38/559.48		at mdd.BDDNode.$anonfun$filterModifiedTrie$1(BDD.scala:299)
1924.38/559.48		at mdd.BDDNode$$Lambda$632/35008870.apply(Unknown Source)
1924.38/559.48		at mdd.TSMap.getOrElseUpdate(TSSet.scala:50)
1924.38/559.48		at mdd.BDDNode.filterModifiedTrie(BDD.scala:290)
1924.38/559.48		at mdd.BDDNode.$anonfun$filterModifiedTrie$1(BDD.scala:291)
1924.38/559.48		at mdd.BDDNode$$Lambda$632/35008870.apply(Unknown Source)
1924.38/559.48		at mdd.TSMap.getOrElseUpdate(TSSet.scala:50)
1924.38/559.48		at mdd.BDDNode.filterModifiedTrie(BDD.scala:290)
1924.38/559.48		at mdd.BDDNode.$anonfun$filterModifiedTrie$1(BDD.scala:291)
1924.38/559.48		at mdd.BDDNode$$Lambda$632/35008870.apply(Unknown Source)
1924.38/559.48		at mdd.TSMap.getOrElseUpdate(TSSet.scala:50)
1924.38/559.48		at mdd.BDDNode.filterModifiedTrie(BDD.scala:290)
1924.38/559.48		at mdd.BDDNode.$anonfun$filterModifiedTrie$1(BDD.scala:291)
1924.38/559.48		at mdd.BDDNode$$Lambda$632/35008870.apply(Unknown Source)
1924.38/559.48		at mdd.TSMap.getOrElseUpdate(TSSet.scala:50)
1924.38/559.48		at mdd.BDDNode.filterModifiedTrie(BDD.scala:290)
1924.38/559.48		at mdd.BDDNode.$anonfun$filterModifiedTrie$1(BDD.scala:291)
1924.38/559.48		at mdd.BDDNode$$Lambda$632/35008870.apply(Unknown Source)
1924.38/559.48		at mdd.TSMap.getOrElseUpdate(TSSet.scala:50)
1924.38/559.48		at mdd.BDDNode.filterModifiedTrie(BDD.scala:290)
1924.38/559.48		at mdd.BDDNode.$anonfun$filterModifiedTrie$1(BDD.scala:291)
1924.38/559.48		at mdd.BDDNode$$Lambda$632/35008870.apply(Unknown Source)
1924.38/559.48		at mdd.TSMap.getOrElseUpdate(TSSet.scala:50)
1924.38/559.48		at mdd.BDDNode.filterModifiedTrie(BDD.scala:290)
1924.38/559.48		at mdd.BDDNode.$anonfun$filterModifiedTrie$1(BDD.scala:291)
1924.38/559.48		at mdd.BDDNode$$Lambda$632/35008870.apply(Unknown Source)
1924.38/559.48		at mdd.TSMap.getOrElseUpdate(TSSet.scala:50)
1924.38/559.48		at mdd.BDDNode.filterModifiedTrie(BDD.scala:290)
1924.38/559.48		at mdd.BDDNode.$anonfun$filterModifiedTrie$1(BDD.scala:291)
1924.38/559.48		at mdd.BDDNode$$Lambda$632/35008870.apply(Unknown Source)
1924.38/559.48		at mdd.TSMap.getOrElseUpdate(TSSet.scala:50)
1924.38/559.48		at mdd.BDDNode.filterModifiedTrie(BDD.scala:290)
2029.08/586.20	v <instantiation cost="7870242">
2029.08/586.20	v       <list>
2029.08/586.20	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[10][11] d[10][12] d[10][13] d[10][14] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][54] d[30][55] d[30][56] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][78] d[31][79] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][56] d[38][57] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][76] d[47][77] d[47][78] d[47][79] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[68][69] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][78] d[69][79] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[75][76] d[75][77] d[75][78] d[75][79] d[76][77] d[76][78] d[76][79] d[77][78] d[77][79] d[78][79]
2029.08/586.20	v       </list>
2029.08/586.20	v       <values>
2029.08/586.20	v         66 1 0 48 33 14 59 5 41 35 3 74 70 11 6 51 37 50 76 30 75 62 23 16 2 19 71 9 57 55 73 40 13 42 15 45 46 61 38 28 77 54 43 63 60 27 72 58 18 53 79 8 49 34 47 68 56 52 20 17 31 32 36 64 12 4 44 25 78 67 10 29 26 39 21 24 22 7 69 65 14 36 18 10 61 73 67 62 77 75 77 96 27 34 81 32 2 22 57 46 97 88 18 68 21 26 96 87 65 77 39 39 72 31 68 48 94 96 48 13 61 97 54 83 28 57 39 33 26 99 54 36 20 77 42 92 66 60 89 32 9 45 26 82 97 56 54 47 49 7 56 56 37 34 40 42 85 60 21 70 76 66 20 44 13 76 0 22 48 85 4 11 60 41 37 62 77 54 15 21 74 57 51 46 72 6 87 90 94 41 10 99 4 77 36 62 60 79 15 86 77 63 13 96 2 25 90 99 91 56 44 74 56 45 83 26 87 29 89 29 72 2 14 46 89 3 53 71 32 65 83 40 94 59 48 29 86 75 76 41 57 91 82 11 1 6 6 6 18 82 21 26 20 56 12 0 95 9 15 89 74 35 18 40 36 79 21 71 93 76 35 61 77 61 1 40 11 11 76 35 8 58 10 82 45 11 85 30 71 1 89 69 56 59 50 44 56 26 80 27 63 82 91 39 85 0 84 25 2 4 84 8 94 39 19 18 57 95 84 89 52 18 21 73 70 57 71 52 30 48 67 27 93 21 41 23 31 1 0 37 12 29 31 79 26 36 47 77 75 96 68 58 25 26 39 86 17 49 10 46 60 45 62 92 39 54 74 76 57 15 26 12 39 67 27 81 34 97 68 81 42 22 85 40 78 84 9 71 32 13 7 82 28 92 67 15 58 65 11 86 91 94 98 6 57 40 9 45 80 92 48 38 29 80 31 1 26 98 4 3 49 22 15 50 93 44 81 61 92 74 48 55 53 65 35 38 88 3 44 53 94 79 83 41 16 97 2 30 32 0 15 29 16 94 70 80 61 22 27 81 78 0 70 75 5 59 59 45 52 29 31 36 6 25 95 57 16 34 7 49 49 51 98 44 5 54 94 81 8 99 47 68 53 92 52 99 96 64 93 18 26 86 58 47 34 44 40 3 78 35 98 85 93 62 3 80 26 94 32 19 73 8 87 80 20 4 86 8 47 39 53 70 17 23 64 40 32 34 99 3 86 70 57 70 41 69 48 29 9 61 80 39 63 84 73 23 47 5 22 2 15 94 72 12 42 11 76 18 31 16 54 73 94 48 13 4 42 61 39 54 45 44 85 14 84 22 35 72 45 9 82 17 7 91 44 73 9 30 40 73 60 25 32 39 2 51 27 82 72 36 67 71 12 72 71 34 22 24 18 67 69 92 22 40 58 72 46 56 56 86 96 63 79 1 43 69 45 69 10 91 75 93 98 22 26 28 24 42 56 97 66 3 81 33 27 58 62 49 1 44 99 35 91 71 83 13 46 12 62 70 45 18 49 63 94 59 1 41 70 76 99 80 98 41 85 10 84 64 51 47 40 46 12 37 40 71 1 44 64 20 27 22 0 39 50 44 58 31 4 31 62 14 91 26 20 30 85 85 55 76 82 24 99 69 48 76 80 30 91 3 21 17 87 7 95 49 91 95 9 4 26 66 47 34 93 23 2 48 35 65 28 88 64 6 46 12 25 66 85 72 55 34 12 21 79 26 69 14 73 27 40 89 22 62 46 63 21 89 38 73 54 27 97 13 54 97 57 6 24 30 97 91 60 8 66 79 6 91 86 31 3 81 26 96 25 76 94 95 23 97 81 75 68 5 15 56 86 97 92 0 43 17 36 39 28 5 82 39 94 75 3 69 6 61 37 32 26 62 86 29 62 83 96 77 62 50 65 60 48 53 23 62 5 29 43 93 84 62 98 91 95 49 2 3 82 76 66 15 28 48 42 62 66 82 1 0 62 42 44 51 15 67 7 7 31 26 85 52 71 99 22 1 96 50 36 88 99 30 16 39 89 90 64 75 54 37 98 67 87 37 25 27 55 55 62 32 36 55 53 15 66 45 84 83 62 26 27 57 62 54 37 46 61 78 28 89 62 49 34 1 79 99 42 98 81 47 80 35 40 33 3 33 97 63 24 88 70 25 67 74 17 16 22 20 90 97 55 28 92 76 21 26 89 91 56 0 3 72 44 90 90 88 25 10 80 34 63 3 45 17 76 8 89 75 51 52 15 67 64 55 89 62 17 26 26 93 3 92 85 64 13 21 7 46 50 17 81 60 60 29 74 63 53 23 24 38 59 27 31 48 91 94 1 3 66 47 18 58 8 55 59 19 46 52 44 11 64 20 84 77 14 81 26 60 29 53 12 53 5 54 89 88 17 19 79 85 95 37 93 5 44 50 76 95 81 53 90 56 75 68 4 54 85 58 84 37 99 84 75 49 99 92 87 71 97 66 99 94 53 24 47 64 25 94 8 64 22 33 19 83 20 68 65 46 80 28 71 10 79 12 85 66 69 28 99 68 20 90 6 51 38 45 56 57 4 43 35 52 47 65 12 48 81 9 61 87 47 76 56 67 21 42 67 49 3 69 78 22 45 44 82 52 13 77 16 19 75 14 21 59 57 5 90 13 6 46 39 44 66 33 27 27 64 33 55 92 60 71 10 88 86 79 57 21 74 10 25 97 84 83 84 0 89 11 23 63 64 2 89 91 27 63 22 70 70 8 53 17 6 12 41 82 72 8 32 57 63 74 41 58 32 1 44 88 83 57 55 8 2 35 84 84 26 48 83 82 26 29 92 30 91 87 41 99 91 12 20 25 66 38 45 28 26 29 76 73 74 44 67 31 75 11 78 2 50 32 19 92 75 92 64 3 15 82 33 36 61 53 96 12 80 24 5 18 12 9 32 90 85 66 62 97 8 24 21 22 84 80 59 51 19 40 91 97 46 50 15 76 32 12 29 57 43 60 66 98 59 51 10 55 53 48 7 77 10 14 30 50 46 14 8 57 68 70 97 30 17 99 79 23 3 93 0 96 63 21 96 3 68 66 20 10 81 54 9 76 32 61 78 91 12 74 26 15 87 21 27 72 52 23 99 19 2 11 31 69 86 85 81 52 96 32 29 72 91 48 25 27 23 86 62 86 62 52 1 13 50 14 80 47 95 68 84 68 90 69 9 24 79 84 3 18 70 55 28 17 91 68 27 30 64 4 83 61 84 24 37 19 47 10 36 3 76 69 93 5 43 7 83 33 81 15 27 47 0 72 42 64 99 82 78 5 43 2 36 11 0 96 8 83 2 4 10 38 69 94 86 54 41 74 32 74 99 98 55 1 51 80 16 62 32 23 63 74 25 31 18 92 45 94 5 14 33 39 30 98 30 87 53 93 30 81 20 29 30 17 26 25 55 62 45 79 18 73 58 5 50 73 91 98 72 29 11 46 46 73 22 84 64 14 36 78 70 6 20 56 12 26 3 63 63 8 56 97 39 82 44 25 19 7 84 53 6 35 16 91 74 45 84 86 30 48 4 4 87 60 77 71 41 77 69 29 1 75 0 60 36 99 62 21 20 56 30 2 10 27 33 27 66 28 78 26 60 43 49 41 70 26 62 17 9 30 32 76 32 73 3 9 38 43 9 42 54 4 17 61 21 88 22 68 1 89 84 75 33 29 81 39 77 94 12 90 79 56 75 13 95 25 31 87 49 11 88 76 20 54 15 74 52 43 84 79 39 55 10 93 56 20 60 51 41 65 18 70 82 44 33 81 59 6 41 15 89 37 93 57 82 72 41 45 68 1 8 25 46 59 58 85 27 21 72 7 19 33 62 17 96 87 55 47 91 38 3 61 30 26 69 6 3 51 35 56 8 34 53 85 7 13 76 68 30 35 33 78 85 58 49 39 50 53 58 21 87 32 53 67 54 94 50 62 42 29 30 12 10 66 21 89 75 40 93 79 81 73 42 29 75 89 36 29 35 34 40 19 54 42 55 72 84 64 87 56 79 6 80 9 48 80 54 15 94 34 12 46 37 63 13 22 1 85 19 96 96 43 15 78 20 58 25 23 85 49 23 89 38 76 20 0 83 17 20 29 63 24 24 28 16 94 80 9 29 62 35 30 37 27 86 98 22 51 71 50 70 65 87 85 58 81 22 34 92 61 55 55 12 19 69 41 94 16 39 8 84 97 32 74 0 78 78 33 34 46 30 95 20 21 94 8 5 98 61 76 56 20 44 30 74 87 54 56 67 23 78 71 68 94 31 33 81 83 55 48 79 25 16 72 3 92 62 84 81 25 59 87 69 11 47 44 32 48 46 31 50 87 96 46 22 53 35 44 47 68 12 58 16 54 48 12 69 52 88 2 66 53 39 31 72 32 82 6 17 23 21 83 3 82 55 24 35 28 59 49 82 91 37 15 60 30 4 98 50 73 69 87 4 72 96 51 22 44 69 48 1 8 96 1 75 74 63 90 52 90 33 35 44 94 91 64 60 22 66 35 91 21 17 70 97 85 5 37 18 91 96 87 80 51 44 8 71 92 6 56 32 45 34 88 20 28 44 23 35 92 13 9 41 45 75 48 96 63 85 38 44 42 3 40 61 5 30 69 22 78 84 31 21 30 26 90 98 3 28 89 28 32 44 95 67 38 49 46 20 18 4 70 13 28 81 53 93 19 56 79 58 66 4 57 30 1 21 95 51 17 92 55 15 9 98 27 62 1 56 25 47 5 75 30 67 79 84 84 22 97 84 30 13 0 10 28 51 53 3 81 72 79 2 34 8 46 80 33 1 32 11 10 56 90 9 88 47 25 56 26 98 54 21 80 15 35 46 24 25 5 21 79 81 17 90 60 21 87 31 29 25 67 19 27 69 31 94 59 29 67 69 41 39 41 48 85 27 24 16 2 54 81 68 66 6 1 5 92 73 6 53 28 63 24 41 34 27 86 65 54 36 74 69 93 7 24 56 81 67 98 64 51 15 57 20 41 66 24 16 46 26 18 71 17 23 30 62 28 91 22 50 5 53 4 71 27 21 13 23 77 19 78 65 65 59 1 59 76 81 44 3 84 45 75 98 37 51 84 28 96 63 92 38 45 22 79 89 13 89 41 30 85 87 57 90 36 69 52 73 87 71 44 58 64 90 80 25 14 94 96 90 2 74 71 57 17 90 38 0 63 34 76 61 11 82 13 65 33 99 35 57 69 56 28 17 80 72 92 84 5 3 90 66 15 9 54 15 67 8 94 31 78 89 11 81 52 7 31 35 51 63 10 49 58 0 78 19 15 7 55 76 4 78 90 12 22 87 79 69 98 5 29 95 51 54 21 6 17 3 21 70 62 94 42 45 4 17 71 1 73 31 74 14 30 58 87 75 10 33 72 42 57 47 11 48 45 79 98 56 9 35 69 9 26 72 6 78 88 33 71 96 88 14 52 25 89 37 59 69 57 95 63 41 48 7 37 35 1 40 77 18 36 75 3 53 40 32 36 88 58 43 48 48 77 58 18 38 98 31 54 9 41 0 11 55 26 75 40 66 50 10 43 23 10 91 81 3 37 57 22 50 33 71 30 37 90 80 37 89 47 88 77 81 73 23 32 24 4 93 95 93 54 91 55 18 45 42 72 17 36 49 60 56 59 6 56 52 75 18 74 91 77 80 73 31 24 91 81 93 27 85 13 21 45 64 2 88 38 85 36 19 51 2 23 74 3 58 21 73 13 9 17 69 76 11 92 21 11 4 77 41 45 10 42 14 38 49 16 49 52 69 87 92 13 7 96 87 52 35 33 86 62 23 13 98 58 3 9 35 2 27 66 87 30 33 49 68 33 24 25 48 19 16 78 18 29 37 19 50 65 13 17 92 32 48 37 76 55 6 17 58 30 56 13 0 23 64 97 31 83 43 43 3 80 21 26 94 57 54 7 78 62 85 99 18 37 49 19 70 2 49 80 12 62 75 42 6 48 60 83 28 85 67 23 10 2 15 56 85 42 44 50 49 68 82 1 63 93 93 99 29 20 44 46 1 35 28 63 28 29 37 45 40 15 37 54 12 68 80 0 52 75 77 80 38 23 17 17 25 12 65 18 40 13 89 62 86 61 46 45 9 96 52 76 99 3 40 53 74 0 24 61 43 27 47 36 5 65 84 23 26 48 72 31 12 79 37 49 27 80 55 10 2 91 82 47 35 82 49 73 5 35 13 1 84 42 24 78 35 16 1 73 63 4 89 78 51 17 71 91 25 97 55 67 74 85 28 15 71 50 28 3 22 58 22 94 81 19 63 87 67 53 82 96 70 60 39 92 11 74 43 88 81 13 46 8 64 82 54 93 53 43 46 68 30 4 62 20 37 58 22 46 55 22 62 34 50 59 28 84 88 98 99 47 65 10 92 44 87 49 85 29 31 11 61 33 17 92 28 56 12 66 33 2 78 55 61 23 33 5 13 46 17 53 8 46 67 93 52 52 12 36 19 60 40 1 60 34 67 19 49 17 54 44 19 29 97 96 61 93 93 46 97 20 12 64 66 53 87 53 68 91 61 1 17 80 73 51 54 93 67 12 70 44 46 43 43 71 66 92 10 22 86 72 79 24 57 18 3 3 89 7 54 28 64 79 11 87 80 52 21 2 76 0 92 0 31 89 45 28 61 74 64 74 69 5 40 36 9 77 43 80 16 45 80 99 10 77 66 55 12 38 11 76 81 72 29 9 29 33 13 63 98 9 79 52 27 28 49 37 9 0 2 90 3 89 99 0 60 97 85 79 42 12 45 81 83 93 98 13 42 74 64 7 37 5 79 95 76 25 66 93 98 64 16 67 99 99 87 66 47 13 79 83 30 5 17 75 20 39 49 29 80 9 40 83 79 3 61 71 70 82 1 95 20 42 90 30 70 42 85 28 10 40 91 98 65 94 34 41 14 17 2 23 25 67 17 73 2 21 12 24 57 93 48 8 93 37 99 3 48 30 87 50 2 71 2 32 78 99 53 59 54 70 1 71 49 67 21 68 60 96 35 14 40 27 26 87 5 4 31 51 17 41 26 85 97 86 79 18 78 99 69 18 89 9 44 57 60 4 75 10 12 35 58 86 85 80 26 20 13 85 88 26 23 69 94 55 54 91 23 1 88 68 69 99 17 88 38 71 30 35 90 19 10 27 8 97 49 24 73 23 71 32 49 92 38 26 70 67 91 28 43 6 6 84 35 7 9 20 55 47 30 29 91
2029.08/586.20	v       </values>
2029.08/586.20	v     </instantiation>
2029.08/586.20	s SATISFIABLE

Verifier Data 

OK	7870242

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-4262054-1502430154/watcher-4262054-1502430154 -o /tmp/evaluation-result-4262054-1502430154/solver-4262054-1502430154 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4959 --watchdog 2580 bin/concrete HOME/instance-4262054-1502430154.xml 

pid=11232
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.57 1.35 1.34 4/198 11235
/proc/meminfo: memFree=29930836/32770624 swapFree=0/446260
[pid=11235] ppid=11232 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11235/stat : 11235 (runsolver) D 11232 11235 4896 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 142668316 24240128 107 18446744073709551615 4194304 4338465 140733162046192 140733162043832 140619744416471 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 26898432 140733162053841 140733162054217 140733162054217 140733162057674 0
/proc/11235/statm: 5918 107 54 36 0 2156 0

[startup+0.100065 s]
/proc/loadavg: 1.57 1.35 1.34 4/198 11235
/proc/meminfo: memFree=29930836/32770624 swapFree=0/446260
[pid=11235] ppid=11232 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/11235/stat : 11235 (bash) S 11232 11235 4896 0 -1 4202496 854 6179 0 0 0 0 0 1 20 0 1 0 142668316 9867264 366 18446744073709551615 4194304 5098028 140728855140800 140728855134536 140528106302464 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 8 0 0 7196144 7232144 14704640 140728855147028 140728855147113 140728855147113 140728855150570 0
/proc/11235/statm: 2409 366 287 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200236 s]
/proc/loadavg: 1.57 1.35 1.34 4/198 11235
/proc/meminfo: memFree=29930836/32770624 swapFree=0/446260
[pid=11235] ppid=11232 vsize=356956 CPUtime=0.07 cores=0,2,4,6
/proc/11235/stat : 11235 (java) S 11232 11235 4896 0 -1 1077944320 2590 12604 0 0 0 0 5 2 20 0 2 0 142668316 365522944 1371 18446744073709551615 4194304 4196468 140725887427056 140725887409600 140693023866615 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
/proc/11235/statm: 89239 1371 1036 1 0 79209 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 356956

[startup+0.3088 s]
/proc/loadavg: 1.57 1.35 1.34 4/198 11235
/proc/meminfo: memFree=29930836/32770624 swapFree=0/446260
[pid=11235] ppid=11232 vsize=13974356 CPUtime=0.16 cores=0,2,4,6
/proc/11235/stat : 11235 (java) S 11232 11235 4896 0 -1 1077944320 6450 12604 0 0 8 1 5 2 20 0 15 0 142668316 14309740544 7109 18446744073709551615 4194304 4196468 140725887427056 140725887409600 140693023866615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
/proc/11235/statm: 3493589 7109 2822 1 0 3482965 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13974356

[startup+0.700185 s]
/proc/loadavg: 1.57 1.35 1.34 4/198 11235
/proc/meminfo: memFree=29930836/32770624 swapFree=0/446260
[pid=11235] ppid=11232 vsize=13974784 CPUtime=0.71 cores=0,2,4,6
/proc/11235/stat : 11235 (java) S 11232 11235 4896 0 -1 1077944320 14154 12604 0 0 60 4 5 2 20 0 15 0 142668316 14310178816 15094 18446744073709551615 4194304 4196468 140725887427056 140725887409600 140693023866615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
/proc/11235/statm: 3493696 15094 3116 1 0 3482965 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784

[startup+1.50067 s]
/proc/loadavg: 1.57 1.35 1.34 4/213 11298
/proc/meminfo: memFree=29831736/32770624 swapFree=0/446764
[pid=11235] ppid=11232 vsize=13985408 CPUtime=1.91 cores=0,2,4,6
/proc/11235/stat : 11235 (java) S 11232 11235 4896 0 -1 1077944320 27815 12604 0 0 174 10 5 2 20 0 15 0 142668316 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140725887409600 140693023866615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
/proc/11235/statm: 3496352 43095 3377 1 0 3485525 0
[pid=11235/tid=11285] ppid=11232 vsize=13985408 CPUtime=1.3 cores=0,2,4,6
/proc/11235/task/11285/stat : 11285 (java) R 11232 11235 4896 0 -1 4202560 21228 12604 0 0 116 7 5 2 20 0 15 0 142668336 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140693028087664 140693005804483 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11286] ppid=11232 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11286/stat : 11286 (java) S 11232 11235 4896 0 -1 1077944384 45 12604 0 0 0 0 5 2 20 0 15 0 142668337 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692623977232 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11287] ppid=11232 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11235/task/11287/stat : 11287 (java) S 11232 11235 4896 0 -1 1077944384 35 12604 0 0 1 0 5 2 20 0 15 0 142668337 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692622924688 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11288] ppid=11232 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11235/task/11288/stat : 11288 (java) S 11232 11235 4896 0 -1 1077944384 34 12604 0 0 1 0 5 2 20 0 15 0 142668337 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692621872144 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11289] ppid=11232 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11235/task/11289/stat : 11289 (java) S 11232 11235 4896 0 -1 1077944384 201 12604 0 0 1 0 5 2 20 0 15 0 142668337 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692620819600 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11290] ppid=11232 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/11235/task/11290/stat : 11290 (java) S 11232 11235 4896 0 -1 1077944384 1205 12604 0 0 1 0 5 2 20 0 15 0 142668338 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692007618544 140693023877762 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11291] ppid=11232 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11291/stat : 11291 (java) R 11232 11235 4896 0 -1 4202560 54 12604 0 0 0 0 5 2 20 0 15 0 142668338 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692006564768 140693023878550 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11292] ppid=11232 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11292/stat : 11292 (java) R 11232 11235 4896 0 -1 1077944384 21 12604 0 0 0 0 5 2 20 0 15 0 142668339 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692005512176 140693023876821 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11293] ppid=11232 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11293/stat : 11293 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 15 0 142668341 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692004460752 140693023885211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11294] ppid=11232 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/11235/task/11294/stat : 11294 (java) S 11232 11235 4896 0 -1 1077944384 956 12604 0 0 16 0 5 2 20 0 15 0 142668341 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692003408368 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11295] ppid=11232 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/11235/task/11295/stat : 11295 (java) S 11232 11235 4896 0 -1 1077944384 731 12604 0 0 13 0 5 2 20 0 15 0 142668341 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692002355824 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11296] ppid=11232 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/11235/task/11296/stat : 11296 (java) R 11232 11235 4896 0 -1 4202560 1165 12604 0 0 22 0 5 2 20 0 15 0 142668341 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692001299152 140693023867280 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11297] ppid=11232 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11297/stat : 11297 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 15 0 142668342 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140692000250976 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11298] ppid=11232 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11298/stat : 11298 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 15 0 142668345 14321057792 43095 18446744073709551615 4194304 4196468 140725887427056 140691999197488 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13985408

[startup+3.10066 s]
/proc/loadavg: 1.77 1.40 1.35 4/213 11298
/proc/meminfo: memFree=29756664/32770624 swapFree=0/446764
[pid=11235] ppid=11232 vsize=13995836 CPUtime=5.58 cores=0,2,4,6
/proc/11235/stat : 11235 (java) S 11232 11235 4896 0 -1 1077944320 34692 12604 0 0 537 14 5 2 20 0 15 0 142668316 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140725887409600 140693023866615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
/proc/11235/statm: 3498959 52588 3450 1 0 3487573 0
[pid=11235/tid=11285] ppid=11232 vsize=13995836 CPUtime=2.88 cores=0,2,4,6
/proc/11235/task/11285/stat : 11285 (java) R 11232 11235 4896 0 -1 4202560 23941 12604 0 0 273 8 5 2 20 0 15 0 142668336 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140693028101672 140693002944147 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11286] ppid=11232 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11286/stat : 11286 (java) S 11232 11235 4896 0 -1 1077944384 45 12604 0 0 0 0 5 2 20 0 15 0 142668337 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692623977232 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11287] ppid=11232 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/11235/task/11287/stat : 11287 (java) S 11232 11235 4896 0 -1 1077944384 35 12604 0 0 1 0 5 2 20 0 15 0 142668337 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692622924688 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11288] ppid=11232 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/11235/task/11288/stat : 11288 (java) S 11232 11235 4896 0 -1 1077944384 34 12604 0 0 1 0 5 2 20 0 15 0 142668337 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692621872144 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11289] ppid=11232 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/11235/task/11289/stat : 11289 (java) S 11232 11235 4896 0 -1 1077944384 201 12604 0 0 1 0 5 2 20 0 15 0 142668337 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692620819600 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11290] ppid=11232 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/11235/task/11290/stat : 11290 (java) S 11232 11235 4896 0 -1 1077944384 1205 12604 0 0 1 0 5 2 20 0 15 0 142668338 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692007618544 140693023877762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11291] ppid=11232 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11291/stat : 11291 (java) S 11232 11235 4896 0 -1 1077944384 57 12604 0 0 0 0 5 2 20 0 15 0 142668338 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692006564832 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11292] ppid=11232 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11292/stat : 11292 (java) S 11232 11235 4896 0 -1 1077944384 43 12604 0 0 0 0 5 2 20 0 15 0 142668339 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692005512192 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11293] ppid=11232 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11293/stat : 11293 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 15 0 142668341 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692004460752 140693023885211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11294] ppid=11232 vsize=13995836 CPUtime=1 cores=0,2,4,6
/proc/11235/task/11294/stat : 11294 (java) S 11232 11235 4896 0 -1 1077944384 2747 12604 0 0 93 0 5 2 20 0 15 0 142668341 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692003408368 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11295] ppid=11232 vsize=13995836 CPUtime=0.87 cores=0,2,4,6
/proc/11235/task/11295/stat : 11295 (java) S 11232 11235 4896 0 -1 1077944384 1531 12604 0 0 79 1 5 2 20 0 15 0 142668341 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692002355824 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11296] ppid=11232 vsize=13995836 CPUtime=0.92 cores=0,2,4,6
/proc/11235/task/11296/stat : 11296 (java) S 11232 11235 4896 0 -1 1077944384 2692 12604 0 0 84 1 5 2 20 0 15 0 142668341 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692001303280 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11297] ppid=11232 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11297/stat : 11297 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 15 0 142668342 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140692000250976 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11298] ppid=11232 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11298/stat : 11298 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 15 0 142668345 14331736064 52588 18446744073709551615 4194304 4196468 140725887427056 140691999197488 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 13995836

[startup+6.3018 s]
/proc/loadavg: 1.77 1.40 1.35 3/213 11298
/proc/meminfo: memFree=29664980/32770624 swapFree=0/446764
[pid=11235] ppid=11232 vsize=13997884 CPUtime=10.62 cores=0,2,4,6
/proc/11235/stat : 11235 (java) S 11232 11235 4896 0 -1 1077944320 53037 12604 0 0 1034 21 5 2 20 0 15 0 142668316 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140725887409600 140693023866615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
/proc/11235/statm: 3499471 77918 3465 1 0 3488085 0
[pid=11235/tid=11285] ppid=11232 vsize=13997884 CPUtime=6.06 cores=0,2,4,6
/proc/11235/task/11285/stat : 11285 (java) R 11232 11235 4896 0 -1 4202560 35326 12604 0 0 588 11 5 2 20 0 15 0 142668336 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140693028101632 140693023878550 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11286] ppid=11232 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/11235/task/11286/stat : 11286 (java) S 11232 11235 4896 0 -1 1077944384 101 12604 0 0 1 1 5 2 20 0 15 0 142668337 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692623977232 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11287] ppid=11232 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/11235/task/11287/stat : 11287 (java) S 11232 11235 4896 0 -1 1077944384 130 12604 0 0 1 0 5 2 20 0 15 0 142668337 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692622924688 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11288] ppid=11232 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/11235/task/11288/stat : 11288 (java) S 11232 11235 4896 0 -1 1077944384 50 12604 0 0 2 0 5 2 20 0 15 0 142668337 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692621872144 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11289] ppid=11232 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/11235/task/11289/stat : 11289 (java) S 11232 11235 4896 0 -1 1077944384 254 12604 0 0 1 0 5 2 20 0 15 0 142668337 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692620819600 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11290] ppid=11232 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/11235/task/11290/stat : 11290 (java) S 11232 11235 4896 0 -1 1077944384 1379 12604 0 0 1 0 5 2 20 0 15 0 142668338 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692007618544 140693023877762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11291] ppid=11232 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11291/stat : 11291 (java) S 11232 11235 4896 0 -1 1077944384 57 12604 0 0 0 0 5 2 20 0 15 0 142668338 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692006564832 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11292] ppid=11232 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11292/stat : 11292 (java) S 11232 11235 4896 0 -1 1077944384 43 12604 0 0 0 0 5 2 20 0 15 0 142668339 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692005512192 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11293] ppid=11232 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11293/stat : 11293 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 15 0 142668341 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692004460752 140693023885211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11294] ppid=11232 vsize=13997884 CPUtime=1.77 cores=0,2,4,6
/proc/11235/task/11294/stat : 11294 (java) S 11232 11235 4896 0 -1 1077944384 4949 12604 0 0 169 1 5 2 20 0 15 0 142668341 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692003408368 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11295] ppid=11232 vsize=13997884 CPUtime=1.56 cores=0,2,4,6
/proc/11235/task/11295/stat : 11295 (java) S 11232 11235 4896 0 -1 1077944384 3958 12604 0 0 148 1 5 2 20 0 15 0 142668341 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692002355824 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11296] ppid=11232 vsize=13997884 CPUtime=1.25 cores=0,2,4,6
/proc/11235/task/11296/stat : 11296 (java) R 11232 11235 4896 0 -1 4202560 4612 12604 0 0 116 2 5 2 20 0 15 0 142668341 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692001300280 140693002500563 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11297] ppid=11232 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11297/stat : 11297 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 15 0 142668342 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140692000250976 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11298] ppid=11232 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11298/stat : 11298 (java) S 11232 11235 4896 0 -1 1077944384 20 12604 0 0 0 0 5 2 20 0 15 0 142668345 14333833216 77918 18446744073709551615 4194304 4196468 140725887427056 140691999197488 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
Current children cumulated CPU time (s) 10.62
Current children cumulated vsize (KiB) 13997884

[startup+12.7008 s]
/proc/loadavg: 1.87 1.42 1.36 3/213 11298
/proc/meminfo: memFree=28846444/32770624 swapFree=0/446760
[pid=11235] ppid=11232 vsize=13999932 CPUtime=19.03 cores=0,2,4,6
/proc/11235/stat : 11235 (java) S 11232 11235 4896 0 -1 1077944320 68051 12604 0 0 1851 45 5 2 20 0 15 0 142668316 14335930368 273295 18446744073709551615 4194304 4196468 140725887427056 140725887409600 140693023866615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
/proc/11235/statm: 3499983 273295 3474 1 0 3488597 0
[pid=11235/tid=11285] ppid=11232 vsize=13999932 CPUtime=12.37 cores=0,2,4,6
/proc/11235/task/11285/stat : 11285 (java) R 11232 11235 4896 0 -1 4202560 38110 12604 0 0 1207 23 5 2 20 0 15 0 142668336 14335930368 273295 18446744073709551615 4194304 4196468 140725887427056 140693028100104 140692680326250 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11286] ppid=11232 vsize=13999932 CPUtime=0.16 cores=0,2,4,6
/proc/11235/task/11286/stat : 11286 (java) S 11232 11235 4896 0 -1 1077944384 753 12604 0 0 6 3 5 2 20 0 15 0 142668337 14335930368 273295 18446744073709551615 4194304 4196468 140725887427056 140692623977232 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11287] ppid=11232 vsize=13999932 CPUtime=0.16 cores=0,2,4,6
/proc/11235/task/11287/stat : 11287 (java) S 11232 11235 4896 0 -1 1077944384 257 12604 0 0 6 3 5 2 20 0 15 0 142668337 14335930368 273295 18446744073709551615 4194304 4196468 140725887427056 140692622924688 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11288] ppid=11232 vsize=13999932 CPUtime=0.16 cores=0,2,4,6
/proc/11235/task/11288/stat : 11288 (java) S 11232 11235 4896 0 -1 1077944384 589 12604 0 0 6 3 5 2 20 0 15 0 142668337 14335930368 273295 18446744073709551615 4194304 4196468 140725887427056 140692621872144 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11289] ppid=11232 vsize=13999932 CPUtime=0.16 cores=0,2,4,6
/proc/11235/task/11289/stat : 11289 (java) S 11232 11235 4896 0 -1 1077944384 369 12604 0 0 6 3 5 2 20 0 15 0 142668337 14335930368 273295 18446744073709551615 4194304 4196468 140725887427056 140692620819600 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11290] ppid=11232 vsize=13999932 CPUtime=0.1 cores=0,2,4,6
/proc/11235/task/11290/stat : 11290 (java) S 11232 11235 4896 0 -1 1077944384 2157 12604 0 0 3 0 5 2 20 0 15 0 142668338 14335930368 273295 18446744073709551615 4194304 4196468 140725887427056 140692007618544 140693023877762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11291] ppid=11232 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11291/stat : 11291 (java) S 11232 11235 4896 0 -1 1077944384 62 12604 0 0 0 0 5 2 20 0 15 0 142668338 14335930368 273295 18446744073709551615 4194304 4196468 140725887427056 140692006564832 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11292] ppid=11232 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11292/stat : 11292 (java) S 11232 11235 4896 0 -1 1077944384 49 12604 0 0 0 0 5 2 20 0 15 0 142668339 14335930368 273295 18446744073709551615 4194304 4196468 140725887427056 140692005512192 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11293] ppid=11232 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11293/stat : 11293 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 15 0 142668341 14335930368 273295 18446744073709551615 4194304 4196468 140725887427056 140692004460752 140693023885211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0

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


[startup+584.008 s]
/proc/loadavg: 4.74 3.95 2.66 6/214 11457
/proc/meminfo: memFree=18648240/32770624 swapFree=0/446788
[pid=11235] ppid=11232 vsize=14136128 CPUtime=2020.48 cores=0,2,4,6
/proc/11235/stat : 11235 (java) S 11232 11235 4896 0 -1 1077944320 5683818 12604 0 0 200941 1100 5 2 20 0 16 0 142668316 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140725887409600 140693023866615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
/proc/11235/statm: 3534032 2954787 3493 1 0 3522646 0
[pid=11235/tid=11285] ppid=11232 vsize=14136128 CPUtime=100.76 cores=0,2,4,6
/proc/11235/task/11285/stat : 11285 (java) S 11232 11235 4896 0 -1 1077944384 91832 12604 0 0 10010 59 5 2 20 0 16 0 142668336 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140693028107296 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11286] ppid=11232 vsize=14136128 CPUtime=475.73 cores=0,2,4,6
/proc/11235/task/11286/stat : 11286 (java) R 11232 11235 4896 0 -1 4202560 1308139 12604 0 0 47305 261 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692623977232 140693008862967 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11287] ppid=11232 vsize=14136128 CPUtime=475.65 cores=0,2,4,6
/proc/11235/task/11287/stat : 11287 (java) R 11232 11235 4896 0 -1 4202560 1352301 12604 0 0 47297 261 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692622924576 140693008863184 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11288] ppid=11232 vsize=14136128 CPUtime=474.79 cores=0,2,4,6
/proc/11235/task/11288/stat : 11288 (java) R 11232 11235 4896 0 -1 4202560 1313099 12604 0 0 47220 252 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692621872344 140693008565374 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11289] ppid=11232 vsize=14136128 CPUtime=476.59 cores=0,2,4,6
/proc/11235/task/11289/stat : 11289 (java) R 11232 11235 4896 0 -1 4202560 1351544 12604 0 0 47415 237 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692620819800 140693005476370 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11290] ppid=11232 vsize=14136128 CPUtime=3.97 cores=0,2,4,6
/proc/11235/task/11290/stat : 11290 (java) S 11232 11235 4896 0 -1 1077944384 206491 12604 0 0 381 9 5 2 20 0 16 0 142668338 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692007617088 140693023876821 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11291] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11291/stat : 11291 (java) S 11232 11235 4896 0 -1 1077944384 130 12604 0 0 0 0 5 2 20 0 16 0 142668338 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692006564896 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11292] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11292/stat : 11292 (java) S 11232 11235 4896 0 -1 1077944384 86 12604 0 0 0 0 5 2 20 0 16 0 142668339 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692005512192 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11293] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11293/stat : 11293 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692004460752 140693023885211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11294] ppid=11232 vsize=14136128 CPUtime=5.45 cores=0,2,4,6
/proc/11235/task/11294/stat : 11294 (java) S 11232 11235 4896 0 -1 1077944384 21951 12604 0 0 534 4 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692003399648 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11295] ppid=11232 vsize=14136128 CPUtime=5.15 cores=0,2,4,6
/proc/11235/task/11295/stat : 11295 (java) S 11232 11235 4896 0 -1 1077944384 21618 12604 0 0 505 3 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692002355872 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11296] ppid=11232 vsize=14136128 CPUtime=2.34 cores=0,2,4,6
/proc/11235/task/11296/stat : 11296 (java) S 11232 11235 4896 0 -1 1077944384 13577 12604 0 0 222 5 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692001303040 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11297] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11297/stat : 11297 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 16 0 142668342 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692000250976 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11298] ppid=11232 vsize=14136128 CPUtime=0.56 cores=0,2,4,6
/proc/11235/task/11298/stat : 11298 (java) S 11232 11235 4896 0 -1 1077944384 868 12604 0 0 22 27 5 2 20 0 16 0 142668345 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140691999197488 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11457] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11457/stat : 11457 (java) S 11232 11235 4896 0 -1 1077944384 24 12604 0 0 0 0 5 2 20 0 16 0 142726156 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140691363491056 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
Current children cumulated CPU time (s) 2020.48
Current children cumulated vsize (KiB) 14136128

[startup+585.601 s]
/proc/loadavg: 4.74 3.95 2.66 6/214 11457
/proc/meminfo: memFree=18648188/32770624 swapFree=0/446788
[pid=11235] ppid=11232 vsize=14136128 CPUtime=2026.83 cores=0,2,4,6
/proc/11235/stat : 11235 (java) S 11232 11235 4896 0 -1 1077944320 5684102 12604 0 0 201576 1100 5 2 20 0 16 0 142668316 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140725887409600 140693023866615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
/proc/11235/statm: 3534032 2954787 3493 1 0 3522646 0
[pid=11235/tid=11285] ppid=11232 vsize=14136128 CPUtime=100.76 cores=0,2,4,6
/proc/11235/task/11285/stat : 11285 (java) S 11232 11235 4896 0 -1 1077944384 91832 12604 0 0 10010 59 5 2 20 0 16 0 142668336 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140693028107296 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11286] ppid=11232 vsize=14136128 CPUtime=477.32 cores=0,2,4,6
/proc/11235/task/11286/stat : 11286 (java) R 11232 11235 4896 0 -1 4202560 1308308 12604 0 0 47464 261 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692623977432 140693008565360 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11287] ppid=11232 vsize=14136128 CPUtime=477.24 cores=0,2,4,6
/proc/11235/task/11287/stat : 11287 (java) R 11232 11235 4896 0 -1 4202560 1352301 12604 0 0 47456 261 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692622924576 140693008863108 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11288] ppid=11232 vsize=14136128 CPUtime=476.36 cores=0,2,4,6
/proc/11235/task/11288/stat : 11288 (java) R 11232 11235 4896 0 -1 4202560 1313214 12604 0 0 47377 252 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692621872344 140693008565408 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11289] ppid=11232 vsize=14136128 CPUtime=478.18 cores=0,2,4,6
/proc/11235/task/11289/stat : 11289 (java) R 11232 11235 4896 0 -1 4202560 1351544 12604 0 0 47574 237 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692620819800 140693008862996 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11290] ppid=11232 vsize=14136128 CPUtime=3.97 cores=0,2,4,6
/proc/11235/task/11290/stat : 11290 (java) S 11232 11235 4896 0 -1 1077944384 206491 12604 0 0 381 9 5 2 20 0 16 0 142668338 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692007617088 140693023876821 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11291] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11291/stat : 11291 (java) S 11232 11235 4896 0 -1 1077944384 130 12604 0 0 0 0 5 2 20 0 16 0 142668338 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692006564896 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11292] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11292/stat : 11292 (java) S 11232 11235 4896 0 -1 1077944384 86 12604 0 0 0 0 5 2 20 0 16 0 142668339 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692005512192 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11293] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11293/stat : 11293 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692004460752 140693023885211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11294] ppid=11232 vsize=14136128 CPUtime=5.45 cores=0,2,4,6
/proc/11235/task/11294/stat : 11294 (java) S 11232 11235 4896 0 -1 1077944384 21951 12604 0 0 534 4 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692003399648 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11295] ppid=11232 vsize=14136128 CPUtime=5.15 cores=0,2,4,6
/proc/11235/task/11295/stat : 11295 (java) S 11232 11235 4896 0 -1 1077944384 21618 12604 0 0 505 3 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692002355872 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11296] ppid=11232 vsize=14136128 CPUtime=2.34 cores=0,2,4,6
/proc/11235/task/11296/stat : 11296 (java) S 11232 11235 4896 0 -1 1077944384 13577 12604 0 0 222 5 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692001303040 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11297] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11297/stat : 11297 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 16 0 142668342 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692000250976 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11298] ppid=11232 vsize=14136128 CPUtime=0.56 cores=0,2,4,6
/proc/11235/task/11298/stat : 11298 (java) S 11232 11235 4896 0 -1 1077944384 868 12604 0 0 22 27 5 2 20 0 16 0 142668345 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140691999197488 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11457] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11457/stat : 11457 (java) S 11232 11235 4896 0 -1 1077944384 24 12604 0 0 0 0 5 2 20 0 16 0 142726156 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140691363491056 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
Current children cumulated CPU time (s) 2026.83
Current children cumulated vsize (KiB) 14136128

[startup+586.001 s]
/proc/loadavg: 4.74 3.95 2.66 6/214 11457
/proc/meminfo: memFree=18648188/32770624 swapFree=0/446788
[pid=11235] ppid=11232 vsize=14136128 CPUtime=2028.43 cores=0,2,4,6
/proc/11235/stat : 11235 (java) S 11232 11235 4896 0 -1 1077944320 5684102 12604 0 0 201736 1100 5 2 20 0 16 0 142668316 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140725887409600 140693023866615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
/proc/11235/statm: 3534032 2954787 3493 1 0 3522646 0
[pid=11235/tid=11285] ppid=11232 vsize=14136128 CPUtime=100.76 cores=0,2,4,6
/proc/11235/task/11285/stat : 11285 (java) S 11232 11235 4896 0 -1 1077944384 91832 12604 0 0 10010 59 5 2 20 0 16 0 142668336 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140693028107296 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11286] ppid=11232 vsize=14136128 CPUtime=477.72 cores=0,2,4,6
/proc/11235/task/11286/stat : 11286 (java) R 11232 11235 4896 0 -1 4202560 1308308 12604 0 0 47504 261 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692623977432 140693005476420 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11287] ppid=11232 vsize=14136128 CPUtime=477.64 cores=0,2,4,6
/proc/11235/task/11287/stat : 11287 (java) R 11232 11235 4896 0 -1 4202560 1352301 12604 0 0 47496 261 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692622924576 140693005476260 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11288] ppid=11232 vsize=14136128 CPUtime=476.76 cores=0,2,4,6
/proc/11235/task/11288/stat : 11288 (java) R 11232 11235 4896 0 -1 4202560 1313214 12604 0 0 47417 252 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692621872344 140693008565408 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11289] ppid=11232 vsize=14136128 CPUtime=478.58 cores=0,2,4,6
/proc/11235/task/11289/stat : 11289 (java) R 11232 11235 4896 0 -1 4202560 1351544 12604 0 0 47614 237 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692620819800 140693008863019 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11290] ppid=11232 vsize=14136128 CPUtime=3.97 cores=0,2,4,6
/proc/11235/task/11290/stat : 11290 (java) S 11232 11235 4896 0 -1 1077944384 206491 12604 0 0 381 9 5 2 20 0 16 0 142668338 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692007617088 140693023876821 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11291] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11291/stat : 11291 (java) S 11232 11235 4896 0 -1 1077944384 130 12604 0 0 0 0 5 2 20 0 16 0 142668338 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692006564896 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11292] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11292/stat : 11292 (java) S 11232 11235 4896 0 -1 1077944384 86 12604 0 0 0 0 5 2 20 0 16 0 142668339 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692005512192 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11293] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11293/stat : 11293 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692004460752 140693023885211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11294] ppid=11232 vsize=14136128 CPUtime=5.45 cores=0,2,4,6
/proc/11235/task/11294/stat : 11294 (java) S 11232 11235 4896 0 -1 1077944384 21951 12604 0 0 534 4 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692003399648 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11295] ppid=11232 vsize=14136128 CPUtime=5.15 cores=0,2,4,6
/proc/11235/task/11295/stat : 11295 (java) S 11232 11235 4896 0 -1 1077944384 21618 12604 0 0 505 3 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692002355872 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11296] ppid=11232 vsize=14136128 CPUtime=2.34 cores=0,2,4,6
/proc/11235/task/11296/stat : 11296 (java) S 11232 11235 4896 0 -1 1077944384 13577 12604 0 0 222 5 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692001303040 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11297] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11297/stat : 11297 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 16 0 142668342 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692000250976 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11298] ppid=11232 vsize=14136128 CPUtime=0.56 cores=0,2,4,6
/proc/11235/task/11298/stat : 11298 (java) S 11232 11235 4896 0 -1 1077944384 868 12604 0 0 22 27 5 2 20 0 16 0 142668345 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140691999197488 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11457] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11457/stat : 11457 (java) S 11232 11235 4896 0 -1 1077944384 24 12604 0 0 0 0 5 2 20 0 16 0 142726156 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140691363491056 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
Current children cumulated CPU time (s) 2028.43
Current children cumulated vsize (KiB) 14136128

[startup+586.201 s]
/proc/loadavg: 4.74 3.95 2.66 6/214 11457
/proc/meminfo: memFree=18648188/32770624 swapFree=0/446788
[pid=11235] ppid=11232 vsize=14136128 CPUtime=2029.08 cores=0,2,4,6
/proc/11235/stat : 11235 (java) S 11232 11235 4896 0 -1 1077944320 5684102 12604 0 0 201801 1100 5 2 20 0 16 0 142668316 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140725887409600 140693023866615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
/proc/11235/statm: 3534032 2954787 3493 1 0 3522646 0
[pid=11235/tid=11285] ppid=11232 vsize=14136128 CPUtime=100.76 cores=0,2,4,6
/proc/11235/task/11285/stat : 11285 (java) S 11232 11235 4896 0 -1 1077944384 91832 12604 0 0 10010 59 5 2 20 0 16 0 142668336 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140693028107296 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11286] ppid=11232 vsize=14136128 CPUtime=477.87 cores=0,2,4,6
/proc/11235/task/11286/stat : 11286 (java) S 11232 11235 4896 0 -1 1077944384 1308308 12604 0 0 47519 261 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692623977232 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11287] ppid=11232 vsize=14136128 CPUtime=477.79 cores=0,2,4,6
/proc/11235/task/11287/stat : 11287 (java) S 11232 11235 4896 0 -1 1077944384 1352301 12604 0 0 47511 261 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692622924688 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11288] ppid=11232 vsize=14136128 CPUtime=476.91 cores=0,2,4,6
/proc/11235/task/11288/stat : 11288 (java) S 11232 11235 4896 0 -1 1077944384 1313214 12604 0 0 47432 252 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692621872144 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11289] ppid=11232 vsize=14136128 CPUtime=478.73 cores=0,2,4,6
/proc/11235/task/11289/stat : 11289 (java) S 11232 11235 4896 0 -1 1077944384 1351544 12604 0 0 47629 237 5 2 20 0 16 0 142668337 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692620819600 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11290] ppid=11232 vsize=14136128 CPUtime=4.02 cores=0,2,4,6
/proc/11235/task/11290/stat : 11290 (java) R 11232 11235 4896 0 -1 4202560 206491 12604 0 0 386 9 5 2 20 0 16 0 142668338 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692007617088 140693002236795 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11291] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11291/stat : 11291 (java) S 11232 11235 4896 0 -1 1077944384 130 12604 0 0 0 0 5 2 20 0 16 0 142668338 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692006564896 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11292] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11292/stat : 11292 (java) S 11232 11235 4896 0 -1 1077944384 86 12604 0 0 0 0 5 2 20 0 16 0 142668339 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692005512192 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11293] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11293/stat : 11293 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692004460752 140693023885211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11294] ppid=11232 vsize=14136128 CPUtime=5.45 cores=0,2,4,6
/proc/11235/task/11294/stat : 11294 (java) S 11232 11235 4896 0 -1 1077944384 21951 12604 0 0 534 4 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692003399648 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11295] ppid=11232 vsize=14136128 CPUtime=5.15 cores=0,2,4,6
/proc/11235/task/11295/stat : 11295 (java) S 11232 11235 4896 0 -1 1077944384 21618 12604 0 0 505 3 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692002355872 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11296] ppid=11232 vsize=14136128 CPUtime=2.34 cores=0,2,4,6
/proc/11235/task/11296/stat : 11296 (java) S 11232 11235 4896 0 -1 1077944384 13577 12604 0 0 222 5 5 2 20 0 16 0 142668341 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692001303040 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11297] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11297/stat : 11297 (java) S 11232 11235 4896 0 -1 1077944384 3 12604 0 0 0 0 5 2 20 0 16 0 142668342 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140692000250976 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11298] ppid=11232 vsize=14136128 CPUtime=0.56 cores=0,2,4,6
/proc/11235/task/11298/stat : 11298 (java) S 11232 11235 4896 0 -1 1077944384 868 12604 0 0 22 27 5 2 20 0 16 0 142668345 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140691999197488 140693023877762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
[pid=11235/tid=11457] ppid=11232 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/11235/task/11457/stat : 11457 (java) S 11232 11235 4896 0 -1 1077944384 24 12604 0 0 0 0 5 2 20 0 16 0 142726156 14475395072 2954787 18446744073709551615 4194304 4196468 140725887427056 140691363491056 140693023876821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7155712 140725887432656 140725887435441 140725887435441 140725887438799 0
Current children cumulated CPU time (s) 2029.08
Current children cumulated vsize (KiB) 14136128

[startup+586.301 s]
/proc/loadavg: 4.74 3.95 2.66 3/200 11457
/proc/meminfo: memFree=22027476/32770624 swapFree=0/446788
[pid=11235] ppid=11232 vsize=0 CPUtime=2029.19 cores=0,2,4,6
/proc/11235/stat : 11235 (java) Z 11232 11235 4896 0 -1 4227084 5684262 12604 0 0 201802 1110 5 2 20 0 2 0 142668316 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/11235/statm: 0 0 0 0 0 0 0
[pid=11235/tid=11288] ppid=11232 vsize=0 CPUtime=477.01 cores=0,2,4,6
/proc/11235/task/11288/stat : 11288 (java) R 11232 11235 4896 0 -1 4203588 1313214 12604 0 0 47432 262 5 2 20 0 2 0 142668337 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2029.19
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 586.369
CPU time (s): 2029.28
CPU user time (s): 2018.09
CPU system time (s): 11.1905
CPU usage (%): 346.075
Max. virtual memory (cumulated for all children) (KiB): 14136128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2018.09
system time used= 11.1905
maximum resident set size= 11819280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5696866
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36787
involuntary context switches= 18938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.78579 second user time and 3.88929 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-11 07:28:10
IDJOB=4262054
IDBENCH=123023
IDSOLVER=2650
FILE ID=node132/4262054-1502430154
RUNJOBID= node132-1502411403-4959
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262054-1502430154/watcher-4262054-1502430154 -o /tmp/evaluation-result-4262054-1502430154/solver-4262054-1502430154 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4959 --watchdog 2580  bin/concrete HOME/instance-4262054-1502430154.xml

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

MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250
RANDOM SEED=19706872

node132.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.74
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.74
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.74
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.74
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:        29931716 kB
MemAvailable:   30777792 kB
Buffers:          290928 kB
Cached:           865880 kB
SwapCached:            0 kB
Active:          1909388 kB
Inactive:         495272 kB
Active(anon):    1248716 kB
Inactive(anon):    49012 kB
Active(file):     660672 kB
Inactive(file):   446260 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             25044 kB
Writeback:             0 kB
AnonPages:       1247368 kB
Mapped:            71964 kB
Shmem:             49852 kB
Slab:             137372 kB
SReclaimable:     109956 kB
SUnreclaim:        27416 kB
KernelStack:        3536 kB
PageTables:         7612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2084352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1153024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61984 MiB
End job on node132 at 2017-08-11 07:37:57