Trace number 4259810

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.4SAT (TO)253 252.144 220.16901

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-24.xml
MD5SUMe0f1e7fd363778103a4292aa9d177ae8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark289
Best CPU time to get the best result obtained on this benchmark251.842
Satisfiable
(Un)Satisfiability was proved
Number of variables1379
Number of constraints824
Number of domains4
Minimum domain size2
Maximum domain size1353
Distribution of domain sizes[{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}]
Minimum variable degree1
Maximum variable degree27
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity28
Distribution of constraint arities[{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}]
Number of extensional constraints672
Number of intensional constraints121
Distribution of constraint types[{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.27/2.17	c Concrete v3.4 running
13.73/5.78	% 18:34:30.173 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4785. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 2095710480, 3 edges, 4 vertices, 1 tuples
14.07/5.81	% 18:34:30.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4854. 'extension(false, x[1][24]: {[0?1]}, x[2][24]: {[0?1]}) :: init: true :: relation: MDD 1422883946, 3 edges, 4 vertices, 1 tuples
14.07/5.81	% 18:34:30.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4859. 'extension(x[23][1]: {[0?1]}, x[24][1]: {[0?1]}, false) :: init: true :: relation: MDD 2095710480, 3 edges, 4 vertices, 1 tuples
14.07/5.82	% 18:34:30.210 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4928. 'extension(x[23][24]: {[0?1]}, x[24][24]: {[0?1]}, false) :: init: true :: relation: MDD 1422883946, 3 edges, 4 vertices, 1 tuples
14.07/5.82	% 18:34:30.211 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 4932. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 501991708, 3 edges, 4 vertices, 1 tuples
14.07/5.83	% 18:34:30.223 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5001. 'extension(false, x[24][1]: {[0?1]}, x[24][2]: {[0?1]}) :: init: true :: relation: MDD 412375354, 3 edges, 4 vertices, 1 tuples
14.07/5.83	% 18:34:30.224 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5004. 'extension(x[1][23]: {[0?1]}, x[1][24]: {[0?1]}, false) :: init: true :: relation: MDD 501991708, 3 edges, 4 vertices, 1 tuples
14.07/5.85	% 18:34:30.236 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5073. 'extension(x[24][23]: {[0?1]}, x[24][24]: {[0?1]}, false) :: init: true :: relation: MDD 412375354, 3 edges, 4 vertices, 1 tuples
14.07/5.85	% 18:34:30.238 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5077. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
14.07/5.85	% 18:34:30.242 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5121. 'extension(x[1][24]: {[0?1]}, x[2][24]: {[0?1]}) :: init: true :: relation: Empty MDD
14.07/5.85	% 18:34:30.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5125. 'extension(x[23][1]: {[0?1]}, x[24][1]: {[0?1]}) :: init: true :: relation: Empty MDD
14.07/5.86	% 18:34:30.247 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5169. 'extension(x[23][24]: {[0?1]}, x[24][24]: {[0?1]}) :: init: true :: relation: Empty MDD
14.07/5.86	% 18:34:30.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5173. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
14.07/5.86	% 18:34:30.252 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5219. 'extension(x[24][1]: {[0?1]}, x[24][2]: {[0?1]}) :: init: true :: relation: Empty MDD
14.07/5.86	% 18:34:30.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5225. 'extension(x[1][23]: {[0?1]}, x[1][24]: {[0?1]}) :: init: true :: relation: Empty MDD
14.07/5.87	% 18:34:30.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5271. 'extension(x[24][23]: {[0?1]}, x[24][24]: {[0?1]}) :: init: true :: relation: Empty MDD
25.78/10.50	o 17
26.02/10.68	o 42
26.26/10.78	o 43
26.48/10.88	o 44
27.01/11.02	o 45
27.01/11.10	o 46
27.32/11.18	o 47
27.51/11.27	o 48
27.73/11.34	o 49
27.93/11.42	o 50
28.22/11.53	o 51
28.49/11.61	o 52
28.49/11.69	o 219
28.75/11.78	o 220
29.02/11.88	o 221
29.12/11.96	o 222
29.26/12.05	o 223
29.39/12.13	o 224
29.50/12.21	o 225
29.50/12.28	o 226
29.61/12.35	o 231
29.73/12.43	o 232
29.86/12.57	o 233
30.15/12.75	o 234
30.34/12.82	o 235
30.46/12.90	o 236
30.63/13.06	o 237
30.98/13.31	o 238
31.57/13.85	o 239
32.19/14.39	o 240
32.31/14.48	o 241
33.51/15.43	o 242
33.90/15.71	o 243
33.90/15.78	o 244
44.01/24.58	o 245
76.13/52.52	o 246
76.45/52.86	o 247
77.43/53.76	o 248
121.41/93.96	o 249
203.24/172.56	o 250
203.35/172.64	o 251
203.85/173.16	o 252
205.75/174.93	o 253
252.05/220.12	java.util.concurrent.TimeoutException
252.05/220.12		at concrete.MAC.mac(MAC.scala:74)
252.05/220.12		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.05/220.12		at scala.util.Try$.apply(Try.scala:209)
252.05/220.12		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.05/220.12		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.05/220.12		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.05/220.12		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.05/220.12		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.05/220.12		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.05/220.12		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.05/220.12		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.05/220.12		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.05/220.12		at concrete.MAC.oneRun(MAC.scala:146)
252.05/220.12		at concrete.MAC.nextSolution(MAC.scala:166)
252.05/220.12		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.05/220.12		at concrete.ProblemState.map(ProblemState.scala:203)
252.05/220.12		at concrete.ProblemState.map(ProblemState.scala:188)
252.05/220.12		at concrete.MAC.nextSolution(MAC.scala:195)
252.05/220.12		at concrete.Solver.hasNext(Solver.scala:202)
252.05/220.12		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.05/220.12		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.05/220.12		at concrete.Solver.toStream(Solver.scala:73)
252.05/220.12		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.05/220.12		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.05/220.12		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.05/220.12		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.05/220.12		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.05/220.12		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.05/220.12		at scala.util.Success.map(Try.scala:209)
252.05/220.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.05/220.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.05/220.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.05/220.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.05/220.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.05/220.12		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.05/220.12		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.05/220.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.05/220.12		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.05/220.12		at scala.collection.immutable.List.foreach(List.scala:389)
252.05/220.12		at scala.App.main(App.scala:76)
252.05/220.12		at scala.App.main$(App.scala:74)
252.05/220.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.05/220.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.05/220.13	v <instantiation cost="253">
252.05/220.13	v       <list>
252.05/220.13	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] z
252.05/220.13	v       </list>
252.05/220.13	v       <values>
252.05/220.13	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 0 1 1 1 2 1 1 2 1 1 2 2 2 2 2 2 2 2 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 2 2 2 1 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 2 2 1 1 2 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 2 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 2 2 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 2 0 0 1 1 0 2 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 2 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 1 1 2 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 20 50 63 74 82 86 91 98 105 110 114 121 126 131 137 148 161 170 179 185 189 195 204 208 221 236 253
252.05/220.13	v       </values>
252.05/220.13	v     </instantiation>
252.05/220.13	s SATISFIABLE

Verifier Data 

OK	253

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259810-1502642912/watcher-4259810-1502642912 -o /tmp/evaluation-result-4259810-1502642912/solver-4259810-1502642912 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259810-1502642912.xml 

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

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


[startup+0.100132 s]*
/proc/loadavg: 2.36 1.92 1.96 3/209 26132
/proc/meminfo: memFree=29783220/32770624 swapFree=67108860/67108860
[pid=26095] ppid=26092 vsize=9636 memory=1508 CPUtime=0.01 cores=1,3,5,7
/proc/26095/stat : 26095 (bash) S 26092 26095 8289 0 -1 4202496 893 6484 0 0 0 0 0 1 20 0 1 0 112106353 9867264 377 18446744073709551615 4194304 5098028 140720783911904 140720783905912 139853441403904 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 6 0 0 7196144 7232144 18763776 140720783913460 140720783913545 140720783913545 140720783917034 0
/proc/26095/statm: 2409 377 297 221 0 118 0
[pid=26125] ppid=26095 vsize=9636 memory=700 CPUtime=0 cores=1,3,5,7
/proc/26125/stat : 26125 (bash) S 26095 26095 8289 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 1 0 112106361 9867264 175 18446744073709551615 4194304 5098028 140720783911904 140720783904584 139853441229436 0 65536 1 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18763776 140720783913460 140720783913545 140720783913545 140720783917034 0
/proc/26125/statm: 2409 175 95 221 0 118 0
[pid=26126] ppid=26125 vsize=10085928 memory=18316 CPUtime=0.01 cores=1,3,5,7
/proc/26126/stat : 26126 (java) S 26125 26095 8289 0 -1 1077944320 3900 0 0 0 1 0 0 0 20 0 8 0 112106361 10327990272 4579 18446744073709551615 4194304 4196468 140736481318848 140736481301392 140023733980919 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15069184 140736481325656 140736481325670 140736481325670 140736481329103 0
/proc/26126/statm: 2521482 4579 2062 1 0 2510979 0
[pid=26126/tid=26128] ppid=26125 vsize=10085928 memory=8326441112148417179 CPUtime=0.01 cores=1,3,5,7
/proc/26126/task/26128/stat : 26128 (java) R 26125 26095 8289 0 -1 4202560 2589 0 0 0 1 0 0 0 20 0 8 0 112106362 10327990272 4579 18446744073709551615 4194304 4196468 140736481318848 140023738214056 140023718061406 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15069184 140736481325656 140736481325670 140736481325670 140736481329103 0
[pid=26126/tid=26129] ppid=26125 vsize=10085928 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/26126/task/26129/stat : 26129 (java) S 26125 26095 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 112106362 10327990272 4579 18446744073709551615 4194304 4196468 140736481318848 140023664400784 140023733991125 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15069184 140736481325656 140736481325670 140736481325670 140736481329103 0
[pid=26126/tid=26130] ppid=26125 vsize=10085928 memory=140666662880896 CPUtime=0 cores=1,3,5,7
/proc/26126/task/26130/stat : 26130 (java) S 26125 26095 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 112106362 10327990272 4579 18446744073709551615 4194304 4196468 140736481318848 140023663347984 140023733991125 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15069184 140736481325656 140736481325670 140736481325670 140736481329103 0
[pid=26126/tid=26131] ppid=26125 vsize=10085928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26126/task/26131/stat : 26131 (java) S 26125 26095 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 112106362 10327990272 4579 18446744073709551615 4194304 4196468 140736481318848 140023662295696 140023733991125 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15069184 140736481325656 140736481325670 140736481325670 140736481329103 0
[pid=26126/tid=26132] ppid=26125 vsize=10085928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26126/task/26132/stat : 26132 (java) S 26125 26095 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 112106362 10327990272 4579 18446744073709551615 4194304 4196468 140736481318848 140023661242896 140023733991125 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15069184 140736481325656 140736481325670 140736481325670 140736481329103 0
[pid=26126/tid=26133] ppid=26125 vsize=10085928 memory=140666662880896 CPUtime=0 cores=1,3,5,7
/proc/26126/task/26133/stat : 26133 (java) S 26125 26095 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 112106364 10327990272 4579 18446744073709551615 4194304 4196468 140736481318848 140023230306928 140023733992066 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15069184 140736481325656 140736481325670 140736481325670 140736481329103 0
[pid=26126/tid=26134] ppid=26125 vsize=10085928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26126/task/26134/stat : 26134 (java) S 26125 26095 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 8 0 112106364 10327990272 4579 18446744073709551615 4194304 4196468 140736481318848 140023229252896 140023733991125 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15069184 140736481325656 140736481325670 140736481325670 140736481329103 0
[pid=26126/tid=26135] ppid=26125 vsize=10086956 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26126/task/26135/stat : 26135 (java) R 26125 26095 8289 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 9 0 112106364 10329042944 4579 18446744073709551615 4194304 4196468 140736481318848 140023738214056 140023726720769 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15069184 140736481325656 140736481325670 140736481325670 140736481329103 0
[pid=26127] ppid=26125 vsize=9872 memory=972 CPUtime=0 cores=1,3,5,7
/proc/26127/stat : 26127 (awk) S 26125 26095 8289 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 112106361 10108928 243 18446744073709551615 4194304 4609284 140731338148432 140731338147608 140625145670656 0 0 1 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 6897664 140731338154624 140731338154654 140731338154654 140731338158059 0
/proc/26127/statm: 2468 243 203 102 0 88 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10115072 KiB
Current children cumulated memory: 21496 KiB

[startup+0.210612 s]*
/proc/loadavg: 2.36 1.92 1.96 3/206 26149
/proc/meminfo: memFree=29783916/32770624 swapFree=67108860/67108860
[pid=26095] ppid=26092 vsize=13507924 memory=17484 CPUtime=0.09 cores=1,3,5,7
/proc/26095/stat : 26095 (java) S 26092 26095 8289 0 -1 1077944320 4599 12770 0 0 1 1 5 2 20 0 8 0 112106353 13832114176 4371 18446744073709551615 4194304 4196468 140721342790528 140721342773072 140021817167607 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
/proc/26095/statm: 3376981 4371 2024 1 0 3366478 0
[pid=26095/tid=26145] ppid=26092 vsize=13507924 memory=7077796292425249400 CPUtime=0.08 cores=1,3,5,7
/proc/26095/task/26145/stat : 26145 (java) R 26092 26095 8289 0 -1 4202560 2413 12770 0 0 1 0 5 2 20 0 8 0 112106373 13832114176 4371 18446744073709551615 4194304 4196468 140721342790528 140021821400744 140021800533728 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26146] ppid=26092 vsize=13507924 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26146/stat : 26146 (java) S 26092 26095 8289 0 -1 1077944384 1 12770 0 0 0 0 5 2 20 0 8 0 112106373 13832114176 4371 18446744073709551615 4194304 4196468 140721342790528 140021774133520 140021817177813 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26147] ppid=26092 vsize=13507924 memory=140666662880896 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26147/stat : 26147 (java) S 26092 26095 8289 0 -1 1077944384 1 12770 0 0 0 0 5 2 20 0 8 0 112106373 13832114176 4371 18446744073709551615 4194304 4196468 140721342790528 140021415995792 140021817177813 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26148] ppid=26092 vsize=13507924 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26148/stat : 26148 (java) S 26092 26095 8289 0 -1 1077944384 1 12770 0 0 0 0 5 2 20 0 8 0 112106373 13832114176 4371 18446744073709551615 4194304 4196468 140721342790528 140021414943248 140021817177813 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26149] ppid=26092 vsize=13507924 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26149/stat : 26149 (java) S 26092 26095 8289 0 -1 1077944384 2 12770 0 0 0 0 5 2 20 0 8 0 112106373 13832114176 4371 18446744073709551615 4194304 4196468 140721342790528 140021413890704 140021817177813 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26150] ppid=26092 vsize=13507924 memory=140666662880896 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26150/stat : 26150 (java) S 26092 26095 8289 0 -1 1077944384 2 12770 0 0 0 0 5 2 20 0 8 0 112106375 13832114176 4371 18446744073709551615 4194304 4196468 140721342790528 140021295184368 140021817178754 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26151] ppid=26092 vsize=13507924 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26151/stat : 26151 (java) S 26092 26095 8289 0 -1 1077944384 32 12770 0 0 0 0 5 2 20 0 8 0 112106375 13832114176 4371 18446744073709551615 4194304 4196468 140721342790528 140021294129488 140021817177813 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13507924 KiB
Current children cumulated memory: 17484 KiB

[startup+0.311771 s]*
/proc/loadavg: 2.36 1.92 1.96 5/215 26158
/proc/meminfo: memFree=29775372/32770624 swapFree=67108860/67108860
[pid=26095] ppid=26092 vsize=13974356 memory=29112 CPUtime=0.2 cores=1,3,5,7
/proc/26095/stat : 26095 (java) S 26092 26095 8289 0 -1 1077944320 6631 12770 0 0 12 1 5 2 20 0 15 0 112106353 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140721342773072 140021817167607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
/proc/26095/statm: 3493589 7278 2902 1 0 3482965 0
[pid=26095/tid=26145] ppid=26092 vsize=13974356 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/26095/task/26145/stat : 26145 (java) R 26092 26095 8289 0 -1 4202560 3148 12770 0 0 7 0 5 2 20 0 15 0 112106373 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021821399920 140021795170215 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26146] ppid=26092 vsize=13974356 memory=664954298467758088 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26146/stat : 26146 (java) S 26092 26095 8289 0 -1 1077944384 1 12770 0 0 0 0 5 2 20 0 15 0 112106373 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021774133520 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26147] ppid=26092 vsize=13974356 memory=140666662880896 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26147/stat : 26147 (java) S 26092 26095 8289 0 -1 1077944384 1 12770 0 0 0 0 5 2 20 0 15 0 112106373 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021415995792 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26148] ppid=26092 vsize=13974356 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26148/stat : 26148 (java) S 26092 26095 8289 0 -1 1077944384 1 12770 0 0 0 0 5 2 20 0 15 0 112106373 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021414943248 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26149] ppid=26092 vsize=13974356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26149/stat : 26149 (java) S 26092 26095 8289 0 -1 1077944384 2 12770 0 0 0 0 5 2 20 0 15 0 112106373 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021413890704 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26150] ppid=26092 vsize=13974356 memory=140666662880896 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26150/stat : 26150 (java) S 26092 26095 8289 0 -1 1077944384 2 12770 0 0 0 0 5 2 20 0 15 0 112106375 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021295184368 140021817178754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26151] ppid=26092 vsize=13974356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26151/stat : 26151 (java) S 26092 26095 8289 0 -1 1077944384 33 12770 0 0 0 0 5 2 20 0 15 0 112106375 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021294130592 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26152] ppid=26092 vsize=13974356 memory=2273 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26152/stat : 26152 (java) S 26092 26095 8289 0 -1 1077944384 21 12770 0 0 0 0 5 2 20 0 15 0 112106375 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021293078000 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26153] ppid=26092 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26153/stat : 26153 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021292026576 140021817186203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26154] ppid=26092 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26095/task/26154/stat : 26154 (java) S 26092 26095 8289 0 -1 1077944384 611 12770 0 0 1 0 5 2 20 0 15 0 112106378 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021290973168 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26155] ppid=26092 vsize=13974356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26155/stat : 26155 (java) R 26092 26095 8289 0 -1 1077944384 138 12770 0 0 0 0 5 2 20 0 15 0 112106378 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021289920720 140021817177813 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26156] ppid=26092 vsize=13974356 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/26095/task/26156/stat : 26156 (java) R 26092 26095 8289 0 -1 4202560 516 12770 0 0 2 0 5 2 20 0 15 0 112106378 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021288862432 140021809404734 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26157] ppid=26092 vsize=13974356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26157/stat : 26157 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021287815776 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26158] ppid=26092 vsize=13974356 memory=140666662880896 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26158/stat : 26158 (java) S 26092 26095 8289 0 -1 1077944384 1 12770 0 0 0 0 5 2 20 0 15 0 112106382 14309740544 7278 18446744073709551615 4194304 4196468 140721342790528 140021286763312 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 29112 KiB

[startup+0.700703 s]
/proc/loadavg: 2.36 1.92 1.96 3/215 26158
/proc/meminfo: memFree=29751444/32770624 swapFree=67108860/67108860
[pid=26095] ppid=26092 vsize=13974784 memory=59816 CPUtime=0.71 cores=1,3,5,7
/proc/26095/stat : 26095 (java) S 26092 26095 8289 0 -1 1077944320 14007 12770 0 0 60 4 5 2 20 0 15 0 112106353 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140721342773072 140021817167607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
/proc/26095/statm: 3493696 14954 3130 1 0 3482965 0
[pid=26095/tid=26145] ppid=26092 vsize=13974784 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/26095/task/26145/stat : 26145 (java) R 26092 26095 8289 0 -1 4202560 10330 12770 0 0 43 3 5 2 20 0 15 0 112106373 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021821389712 140021797443297 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26146] ppid=26092 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26146/stat : 26146 (java) S 26092 26095 8289 0 -1 1077944384 1 12770 0 0 0 0 5 2 20 0 15 0 112106373 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021774133520 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26147] ppid=26092 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26147/stat : 26147 (java) S 26092 26095 8289 0 -1 1077944384 1 12770 0 0 0 0 5 2 20 0 15 0 112106373 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021415995792 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26148] ppid=26092 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26148/stat : 26148 (java) S 26092 26095 8289 0 -1 1077944384 1 12770 0 0 0 0 5 2 20 0 15 0 112106373 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021414943248 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26149] ppid=26092 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26149/stat : 26149 (java) S 26092 26095 8289 0 -1 1077944384 2 12770 0 0 0 0 5 2 20 0 15 0 112106373 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021413890704 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26150] ppid=26092 vsize=13974784 memory=170 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26150/stat : 26150 (java) S 26092 26095 8289 0 -1 1077944384 5 12770 0 0 0 0 5 2 20 0 15 0 112106375 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021295184368 140021817178754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26151] ppid=26092 vsize=13974784 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26151/stat : 26151 (java) S 26092 26095 8289 0 -1 1077944384 33 12770 0 0 0 0 5 2 20 0 15 0 112106375 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021294130592 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26152] ppid=26092 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26152/stat : 26152 (java) S 26092 26095 8289 0 -1 1077944384 21 12770 0 0 0 0 5 2 20 0 15 0 112106375 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021293078000 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26153] ppid=26092 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26153/stat : 26153 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021292026576 140021817186203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26154] ppid=26092 vsize=13974784 memory=26 CPUtime=0.1 cores=1,3,5,7
/proc/26095/task/26154/stat : 26154 (java) S 26092 26095 8289 0 -1 1077944384 640 12770 0 0 3 0 5 2 20 0 15 0 112106378 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021290973168 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26155] ppid=26092 vsize=13974784 memory=52468 CPUtime=0.1 cores=1,3,5,7
/proc/26095/task/26155/stat : 26155 (java) S 26092 26095 8289 0 -1 1077944384 200 12770 0 0 3 0 5 2 20 0 15 0 112106378 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021289920624 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26156] ppid=26092 vsize=13974784 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/26095/task/26156/stat : 26156 (java) S 26092 26095 8289 0 -1 1077944384 616 12770 0 0 10 0 5 2 20 0 15 0 112106378 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021288868080 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26157] ppid=26092 vsize=13974784 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26157/stat : 26157 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021287815776 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26158] ppid=26092 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26158/stat : 26158 (java) S 26092 26095 8289 0 -1 1077944384 1 12770 0 0 0 0 5 2 20 0 15 0 112106382 14310178816 14954 18446744073709551615 4194304 4196468 140721342790528 140021286763312 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59816 KiB

[startup+1.50903 s]
/proc/loadavg: 2.33 1.92 1.96 3/215 26158
/proc/meminfo: memFree=29708512/32770624 swapFree=67108860/67108860
[pid=26095] ppid=26092 vsize=13985408 memory=170588 CPUtime=1.96 cores=1,3,5,7
/proc/26095/stat : 26095 (java) S 26092 26095 8289 0 -1 1077944320 30009 12770 0 0 179 10 5 2 20 0 15 0 112106353 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140721342773072 140021817167607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
/proc/26095/statm: 3496352 42647 3373 1 0 3485525 0
[pid=26095/tid=26145] ppid=26092 vsize=13985408 memory=54256 CPUtime=1.29 cores=1,3,5,7
/proc/26095/task/26145/stat : 26145 (java) R 26092 26095 8289 0 -1 4202560 22482 12770 0 0 116 6 5 2 20 0 15 0 112106373 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021821375104 140021802862678 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26146] ppid=26092 vsize=13985408 memory=126184 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26146/stat : 26146 (java) S 26092 26095 8289 0 -1 1077944384 45 12770 0 0 0 0 5 2 20 0 15 0 112106373 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021774133520 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26147] ppid=26092 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26095/task/26147/stat : 26147 (java) S 26092 26095 8289 0 -1 1077944384 61 12770 0 0 1 0 5 2 20 0 15 0 112106373 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021415995792 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26148] ppid=26092 vsize=13985408 memory=2872 CPUtime=0.08 cores=1,3,5,7
/proc/26095/task/26148/stat : 26148 (java) S 26092 26095 8289 0 -1 1077944384 49 12770 0 0 1 0 5 2 20 0 15 0 112106373 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021414943248 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26149] ppid=26092 vsize=13985408 memory=-8253362762722141311 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26149/stat : 26149 (java) S 26092 26095 8289 0 -1 1077944384 204 12770 0 0 0 0 5 2 20 0 15 0 112106373 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021413890704 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26150] ppid=26092 vsize=13985408 memory=7100839861465685612 CPUtime=0.08 cores=1,3,5,7
/proc/26095/task/26150/stat : 26150 (java) S 26092 26095 8289 0 -1 1077944384 1646 12770 0 0 1 0 5 2 20 0 15 0 112106375 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021295184368 140021817178754 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26151] ppid=26092 vsize=13985408 memory=-7175204567652784766 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26151/stat : 26151 (java) S 26092 26095 8289 0 -1 1077944384 54 12770 0 0 0 0 5 2 20 0 15 0 112106375 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021294130592 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26152] ppid=26092 vsize=13985408 memory=1152 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26152/stat : 26152 (java) S 26092 26095 8289 0 -1 1077944384 43 12770 0 0 0 0 5 2 20 0 15 0 112106375 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021293078016 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26153] ppid=26092 vsize=13985408 memory=2360 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26153/stat : 26153 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021292026576 140021817186203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26154] ppid=26092 vsize=13985408 memory=13412 CPUtime=0.21 cores=1,3,5,7
/proc/26095/task/26154/stat : 26154 (java) S 26092 26095 8289 0 -1 1077944384 983 12770 0 0 14 0 5 2 20 0 15 0 112106378 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021290973168 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26155] ppid=26092 vsize=13985408 memory=7163046007325353842 CPUtime=0.26 cores=1,3,5,7
/proc/26095/task/26155/stat : 26155 (java) S 26092 26095 8289 0 -1 1077944384 825 12770 0 0 19 0 5 2 20 0 15 0 112106378 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021289920624 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26156] ppid=26092 vsize=13985408 memory=7163046007325353842 CPUtime=0.3 cores=1,3,5,7
/proc/26095/task/26156/stat : 26156 (java) S 26092 26095 8289 0 -1 1077944384 1455 12770 0 0 23 0 5 2 20 0 15 0 112106378 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021288868080 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26157] ppid=26092 vsize=13985408 memory=7163046007325353842 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26157/stat : 26157 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021287815776 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26158] ppid=26092 vsize=13985408 memory=7512114578044973668 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26158/stat : 26158 (java) S 26092 26095 8289 0 -1 1077944384 6 12770 0 0 0 0 5 2 20 0 15 0 112106382 14321057792 42647 18446744073709551615 4194304 4196468 140721342790528 140021286763312 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
Current children cumulated CPU time: 1.96 s

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

/proc/26095/task/26145/stat : 26145 (java) R 26092 26095 8289 0 -1 4202560 53511 12770 0 0 10066 34 5 2 20 0 15 0 112106373 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021821399440 140021474796235 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26146] ppid=26092 vsize=14006076 memory=281333108722440 CPUtime=0.83 cores=1,3,5,7
/proc/26095/task/26146/stat : 26146 (java) S 26092 26095 8289 0 -1 1077944384 2131 12770 0 0 61 15 5 2 20 0 15 0 112106373 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021774133520 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26147] ppid=26092 vsize=14006076 memory=4168 CPUtime=0.81 cores=1,3,5,7
/proc/26095/task/26147/stat : 26147 (java) S 26092 26095 8289 0 -1 1077944384 3200 12770 0 0 60 14 5 2 20 0 15 0 112106373 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021415995792 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26148] ppid=26092 vsize=14006076 memory=54256 CPUtime=0.82 cores=1,3,5,7
/proc/26095/task/26148/stat : 26148 (java) S 26092 26095 8289 0 -1 1077944384 1093 12770 0 0 61 14 5 2 20 0 15 0 112106373 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021414943248 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26149] ppid=26092 vsize=14006076 memory=2116248 CPUtime=0.81 cores=1,3,5,7
/proc/26095/task/26149/stat : 26149 (java) S 26092 26095 8289 0 -1 1077944384 871 12770 0 0 60 14 5 2 20 0 15 0 112106373 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021413890704 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26150] ppid=26092 vsize=14006076 memory=15876 CPUtime=0.27 cores=1,3,5,7
/proc/26095/task/26150/stat : 26150 (java) S 26092 26095 8289 0 -1 1077944384 9686 12770 0 0 19 1 5 2 20 0 15 0 112106375 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021295184368 140021817178754 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26151] ppid=26092 vsize=14006076 memory=2102548 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26151/stat : 26151 (java) S 26092 26095 8289 0 -1 1077944384 67 12770 0 0 0 0 5 2 20 0 15 0 112106375 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021294130656 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26152] ppid=26092 vsize=14006076 memory=2102548 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26152/stat : 26152 (java) S 26092 26095 8289 0 -1 1077944384 46 12770 0 0 0 0 5 2 20 0 15 0 112106375 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021293078016 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26153] ppid=26092 vsize=14006076 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26153/stat : 26153 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021292026576 140021817186203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26154] ppid=26092 vsize=14006076 memory=2440 CPUtime=11.18 cores=1,3,5,7
/proc/26095/task/26154/stat : 26154 (java) S 26092 26095 8289 0 -1 1077944384 21032 12770 0 0 1107 4 5 2 20 0 15 0 112106378 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021290973168 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26155] ppid=26092 vsize=14006076 memory=1724 CPUtime=11.14 cores=1,3,5,7
/proc/26095/task/26155/stat : 26155 (java) S 26092 26095 8289 0 -1 1077944384 17070 12770 0 0 1103 4 5 2 20 0 15 0 112106378 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021289920624 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26156] ppid=26092 vsize=14006076 memory=-8774313645642428999 CPUtime=3.87 cores=1,3,5,7
/proc/26095/task/26156/stat : 26156 (java) S 26092 26095 8289 0 -1 1077944384 21583 12770 0 0 372 8 5 2 20 0 15 0 112106378 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021288868080 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26157] ppid=26092 vsize=14006076 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26157/stat : 26157 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021287815776 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26158] ppid=26092 vsize=14006076 memory=2106008 CPUtime=0.11 cores=1,3,5,7
/proc/26095/task/26158/stat : 26158 (java) S 26092 26095 8289 0 -1 1077944384 1058 12770 0 0 2 2 5 2 20 0 15 0 112106382 14342221824 527648 18446744073709551615 4194304 4196468 140721342790528 140021286763312 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
Current children cumulated CPU time: 130.41 s
Current children cumulated vsize: 14006076 KiB
Current children cumulated memory: 2110592 KiB

[startup+162.301 s]
/proc/loadavg: 1.88 1.89 1.94 3/215 26165
/proc/meminfo: memFree=27080952/32770624 swapFree=67108860/67108860
[pid=26095] ppid=26092 vsize=14006076 memory=1861556 CPUtime=192.82 cores=1,3,5,7
/proc/26095/stat : 26095 (java) S 26092 26095 8289 0 -1 1077944320 142810 12770 0 0 19150 125 5 2 20 0 15 0 112106353 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140721342773072 140021817167607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
/proc/26095/statm: 3501519 465389 3488 1 0 3490133 0
[pid=26095/tid=26145] ppid=26092 vsize=14006076 memory=1908756 CPUtime=160.6 cores=1,3,5,7
/proc/26095/task/26145/stat : 26145 (java) R 26092 26095 8289 0 -1 4202560 55888 12770 0 0 16018 35 5 2 20 0 15 0 112106373 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021821401712 140021473901333 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26146] ppid=26092 vsize=14006076 memory=1892340 CPUtime=1.24 cores=1,3,5,7
/proc/26095/task/26146/stat : 26146 (java) S 26092 26095 8289 0 -1 1077944384 3935 12770 0 0 100 17 5 2 20 0 15 0 112106373 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021774133520 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26147] ppid=26092 vsize=14006076 memory=0 CPUtime=1.22 cores=1,3,5,7
/proc/26095/task/26147/stat : 26147 (java) S 26092 26095 8289 0 -1 1077944384 3481 12770 0 0 99 16 5 2 20 0 15 0 112106373 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021415995792 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26148] ppid=26092 vsize=14006076 memory=1874380 CPUtime=1.23 cores=1,3,5,7
/proc/26095/task/26148/stat : 26148 (java) S 26092 26095 8289 0 -1 1077944384 1242 12770 0 0 100 16 5 2 20 0 15 0 112106373 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021414943248 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26149] ppid=26092 vsize=14006076 memory=1871816 CPUtime=1.21 cores=1,3,5,7
/proc/26095/task/26149/stat : 26149 (java) S 26092 26095 8289 0 -1 1077944384 1079 12770 0 0 99 15 5 2 20 0 15 0 112106373 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021413890704 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26150] ppid=26092 vsize=14006076 memory=1862580 CPUtime=0.32 cores=1,3,5,7
/proc/26095/task/26150/stat : 26150 (java) S 26092 26095 8289 0 -1 1077944384 10020 12770 0 0 23 2 5 2 20 0 15 0 112106375 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021295184368 140021817178754 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26151] ppid=26092 vsize=14006076 memory=33344 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26151/stat : 26151 (java) S 26092 26095 8289 0 -1 1077944384 67 12770 0 0 0 0 5 2 20 0 15 0 112106375 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021294130656 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26152] ppid=26092 vsize=14006076 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26152/stat : 26152 (java) S 26092 26095 8289 0 -1 1077944384 46 12770 0 0 0 0 5 2 20 0 15 0 112106375 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021293078016 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26153] ppid=26092 vsize=14006076 memory=640 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26153/stat : 26153 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021292026576 140021817186203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26154] ppid=26092 vsize=14006076 memory=1862580 CPUtime=11.6 cores=1,3,5,7
/proc/26095/task/26154/stat : 26154 (java) S 26092 26095 8289 0 -1 1077944384 21662 12770 0 0 1149 4 5 2 20 0 15 0 112106378 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021290973168 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26155] ppid=26092 vsize=14006076 memory=1296 CPUtime=11.67 cores=1,3,5,7
/proc/26095/task/26155/stat : 26155 (java) S 26092 26095 8289 0 -1 1077944384 20489 12770 0 0 1155 5 5 2 20 0 15 0 112106378 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021289920624 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26156] ppid=26092 vsize=14006076 memory=2440 CPUtime=4.09 cores=1,3,5,7
/proc/26095/task/26156/stat : 26156 (java) S 26092 26095 8289 0 -1 1077944384 21648 12770 0 0 394 8 5 2 20 0 15 0 112106378 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021288868080 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26157] ppid=26092 vsize=14006076 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26157/stat : 26157 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021287815776 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26158] ppid=26092 vsize=14006076 memory=1884128 CPUtime=0.14 cores=1,3,5,7
/proc/26095/task/26158/stat : 26158 (java) S 26092 26095 8289 0 -1 1077944384 1097 12770 0 0 3 4 5 2 20 0 15 0 112106382 14342221824 465389 18446744073709551615 4194304 4196468 140721342790528 140021286763312 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
Current children cumulated CPU time: 192.82 s
Current children cumulated vsize: 14006076 KiB
Current children cumulated memory: 1861556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+220.11 s]
/proc/loadavg: 1.62 1.83 1.92 3/214 26294
/proc/meminfo: memFree=28105576/32770624 swapFree=67108860/67108860
[pid=26095] ppid=26092 vsize=14006076 memory=1617740 CPUtime=252.05 cores=1,3,5,7
/proc/26095/stat : 26095 (java) S 26092 26095 8289 0 -1 1077944320 160413 12770 0 0 25062 136 5 2 20 0 15 0 112106353 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140721342773072 140021817167607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
/proc/26095/statm: 3501519 404435 3494 1 0 3490133 0
[pid=26095/tid=26145] ppid=26092 vsize=14006076 memory=1617740 CPUtime=217.89 cores=1,3,5,7
/proc/26095/task/26145/stat : 26145 (java) R 26092 26095 8289 0 -1 4202560 59090 12770 0 0 21747 35 5 2 20 0 15 0 112106373 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021821401872 140021454671968 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26146] ppid=26092 vsize=14006076 memory=1626460 CPUtime=1.68 cores=1,3,5,7
/proc/26095/task/26146/stat : 26146 (java) S 26092 26095 8289 0 -1 1077944384 4599 12770 0 0 143 18 5 2 20 0 15 0 112106373 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021774133520 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26147] ppid=26092 vsize=14006076 memory=1626460 CPUtime=1.66 cores=1,3,5,7
/proc/26095/task/26147/stat : 26147 (java) S 26092 26095 8289 0 -1 1077944384 4140 12770 0 0 142 17 5 2 20 0 15 0 112106373 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021415995792 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26148] ppid=26092 vsize=14006076 memory=1624412 CPUtime=1.67 cores=1,3,5,7
/proc/26095/task/26148/stat : 26148 (java) S 26092 26095 8289 0 -1 1077944384 3362 12770 0 0 142 18 5 2 20 0 15 0 112106373 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021414943248 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26149] ppid=26092 vsize=14006076 memory=0 CPUtime=1.66 cores=1,3,5,7
/proc/26095/task/26149/stat : 26149 (java) S 26092 26095 8289 0 -1 1077944384 1795 12770 0 0 141 18 5 2 20 0 15 0 112106373 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021413890704 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26150] ppid=26092 vsize=14006076 memory=1648488 CPUtime=0.37 cores=1,3,5,7
/proc/26095/task/26150/stat : 26150 (java) S 26092 26095 8289 0 -1 1077944384 10365 12770 0 0 27 3 5 2 20 0 15 0 112106375 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021295184368 140021817178754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26151] ppid=26092 vsize=14006076 memory=1659264 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26151/stat : 26151 (java) S 26092 26095 8289 0 -1 1077944384 71 12770 0 0 0 0 5 2 20 0 15 0 112106375 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021294130656 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26152] ppid=26092 vsize=14006076 memory=1680292 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26152/stat : 26152 (java) S 26092 26095 8289 0 -1 1077944384 46 12770 0 0 0 0 5 2 20 0 15 0 112106375 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021293078016 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26153] ppid=26092 vsize=14006076 memory=1680280 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26153/stat : 26153 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021292026576 140021817186203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26154] ppid=26092 vsize=14006076 memory=1633648 CPUtime=11.66 cores=1,3,5,7
/proc/26095/task/26154/stat : 26154 (java) S 26092 26095 8289 0 -1 1077944384 25384 12770 0 0 1155 4 5 2 20 0 15 0 112106378 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021290973168 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26155] ppid=26092 vsize=14006076 memory=1617740 CPUtime=11.68 cores=1,3,5,7
/proc/26095/task/26155/stat : 26155 (java) S 26092 26095 8289 0 -1 1077944384 21610 12770 0 0 1156 5 5 2 20 0 15 0 112106378 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021289920624 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26156] ppid=26092 vsize=14006076 memory=0 CPUtime=4.11 cores=1,3,5,7
/proc/26095/task/26156/stat : 26156 (java) S 26092 26095 8289 0 -1 1077944384 26662 12770 0 0 395 9 5 2 20 0 15 0 112106378 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021288868080 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26157] ppid=26092 vsize=14006076 memory=1626460 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26157/stat : 26157 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021287815776 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26158] ppid=26092 vsize=14006076 memory=1626460 CPUtime=0.18 cores=1,3,5,7
/proc/26095/task/26158/stat : 26158 (java) S 26092 26095 8289 0 -1 1077944384 1133 12770 0 0 5 6 5 2 20 0 15 0 112106382 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021286763312 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14006076 KiB
Current children cumulated memory: 1617740 KiB

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

[startup+220.169 s]
# the end of solver process 26095 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.736 s, system=1.40839 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+220.11 s]
/proc/loadavg: 1.62 1.83 1.92 3/214 26294
/proc/meminfo: memFree=28105576/32770624 swapFree=67108860/67108860
[pid=26095] ppid=26092 vsize=14006076 memory=1617740 CPUtime=252.05 cores=1,3,5,7
/proc/26095/stat : 26095 (java) S 26092 26095 8289 0 -1 1077944320 160413 12770 0 0 25062 136 5 2 20 0 15 0 112106353 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140721342773072 140021817167607 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
/proc/26095/statm: 3501519 404435 3494 1 0 3490133 0
[pid=26095/tid=26145] ppid=26092 vsize=14006076 memory=1617740 CPUtime=217.89 cores=1,3,5,7
/proc/26095/task/26145/stat : 26145 (java) R 26092 26095 8289 0 -1 4202560 59090 12770 0 0 21747 35 5 2 20 0 15 0 112106373 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021821401872 140021454671968 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26146] ppid=26092 vsize=14006076 memory=1626460 CPUtime=1.68 cores=1,3,5,7
/proc/26095/task/26146/stat : 26146 (java) S 26092 26095 8289 0 -1 1077944384 4599 12770 0 0 143 18 5 2 20 0 15 0 112106373 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021774133520 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26147] ppid=26092 vsize=14006076 memory=1626460 CPUtime=1.66 cores=1,3,5,7
/proc/26095/task/26147/stat : 26147 (java) S 26092 26095 8289 0 -1 1077944384 4140 12770 0 0 142 17 5 2 20 0 15 0 112106373 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021415995792 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26148] ppid=26092 vsize=14006076 memory=1624412 CPUtime=1.67 cores=1,3,5,7
/proc/26095/task/26148/stat : 26148 (java) S 26092 26095 8289 0 -1 1077944384 3362 12770 0 0 142 18 5 2 20 0 15 0 112106373 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021414943248 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26149] ppid=26092 vsize=14006076 memory=0 CPUtime=1.66 cores=1,3,5,7
/proc/26095/task/26149/stat : 26149 (java) S 26092 26095 8289 0 -1 1077944384 1795 12770 0 0 141 18 5 2 20 0 15 0 112106373 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021413890704 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26150] ppid=26092 vsize=14006076 memory=1648488 CPUtime=0.37 cores=1,3,5,7
/proc/26095/task/26150/stat : 26150 (java) S 26092 26095 8289 0 -1 1077944384 10365 12770 0 0 27 3 5 2 20 0 15 0 112106375 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021295184368 140021817178754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26151] ppid=26092 vsize=14006076 memory=1659264 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26151/stat : 26151 (java) S 26092 26095 8289 0 -1 1077944384 71 12770 0 0 0 0 5 2 20 0 15 0 112106375 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021294130656 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26152] ppid=26092 vsize=14006076 memory=1680292 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26152/stat : 26152 (java) S 26092 26095 8289 0 -1 1077944384 46 12770 0 0 0 0 5 2 20 0 15 0 112106375 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021293078016 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26153] ppid=26092 vsize=14006076 memory=1680280 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26153/stat : 26153 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021292026576 140021817186203 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26154] ppid=26092 vsize=14006076 memory=1633648 CPUtime=11.66 cores=1,3,5,7
/proc/26095/task/26154/stat : 26154 (java) S 26092 26095 8289 0 -1 1077944384 25384 12770 0 0 1155 4 5 2 20 0 15 0 112106378 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021290973168 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26155] ppid=26092 vsize=14006076 memory=1617740 CPUtime=11.68 cores=1,3,5,7
/proc/26095/task/26155/stat : 26155 (java) S 26092 26095 8289 0 -1 1077944384 21610 12770 0 0 1156 5 5 2 20 0 15 0 112106378 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021289920624 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26156] ppid=26092 vsize=14006076 memory=0 CPUtime=4.11 cores=1,3,5,7
/proc/26095/task/26156/stat : 26156 (java) S 26092 26095 8289 0 -1 1077944384 26662 12770 0 0 395 9 5 2 20 0 15 0 112106378 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021288868080 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26157] ppid=26092 vsize=14006076 memory=1626460 CPUtime=0.07 cores=1,3,5,7
/proc/26095/task/26157/stat : 26157 (java) S 26092 26095 8289 0 -1 1077944384 3 12770 0 0 0 0 5 2 20 0 15 0 112106378 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021287815776 140021817177813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
[pid=26095/tid=26158] ppid=26092 vsize=14006076 memory=1626460 CPUtime=0.18 cores=1,3,5,7
/proc/26095/task/26158/stat : 26158 (java) S 26092 26095 8289 0 -1 1077944384 1133 12770 0 0 5 6 5 2 20 0 15 0 112106382 14342221824 404435 18446744073709551615 4194304 4196468 140721342790528 140021286763312 140021817178754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21221376 140721342793648 140721342796433 140721342796433 140721342799823 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14006076 KiB
Current children cumulated memory: 1617740 KiB

Child status: 143
Real time (s): 220.169
CPU time (s): 252.144
CPU user time (s): 250.736
CPU system time (s): 1.40839
CPU usage (%): 114.523
Max. virtual memory (cumulated for all children) (KiB): 14006076
Max. memory (cumulated for all children) (KiB): 2122392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.736
system time used= 1.40838
maximum resident set size= 2122392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23603
involuntary context switches= 641


# summary of solver processes directly reported to runsolver:
#   pid: 26095
#   total CPU time (s): 252.144
#   total CPU user time (s): 250.736
#   total CPU system time (s): 1.40839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34921 second user time and 2.13962 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 18:34:24
IDJOB=4259810
IDBENCH=115885
IDSOLVER=2646
FILE ID=node133/4259810-1502642912
RUNJOBID= node133-1502641620-25474
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-24.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259810-1502642912/watcher-4259810-1502642912 -o /tmp/evaluation-result-4259810-1502642912/solver-4259810-1502642912 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312  bin/concrete HOME/instance-4259810-1502642912.xml

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

MD5SUM BENCH= e0f1e7fd363778103a4292aa9d177ae8
RANDOM SEED=2077458145

node133.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.17
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.17
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.17
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.17
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:        29793508 kB
MemAvailable:   30427960 kB
Buffers:          235560 kB
Cached:           693968 kB
SwapCached:            0 kB
Active:          2346284 kB
Inactive:         181824 kB
Active(anon):    1539424 kB
Inactive(anon):   100820 kB
Active(file):     806860 kB
Inactive(file):    81004 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             23792 kB
Writeback:             0 kB
AnonPages:       1545196 kB
Mapped:            69724 kB
Shmem:             41660 kB
Slab:             152460 kB
SReclaimable:     124848 kB
SUnreclaim:        27612 kB
KernelStack:        3696 kB
PageTables:         7932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2655720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1304576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-13 18:38:04