Trace number 4259811

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)314 252.11501 221.64799

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-26.xml
MD5SUMa21a0b86f7fa853bf556b3925b3cd061
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark338
Best CPU time to get the best result obtained on this benchmark251.815
Satisfiable
(Un)Satisfiability was proved
Number of variables1597
Number of constraints944
Number of domains4
Minimum domain size2
Maximum domain size1569
Distribution of domain sizes[{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}]
Minimum variable degree1
Maximum variable degree29
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}]
Number of extensional constraints780
Number of intensional constraints131
Distribution of constraint types[{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"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.45/2.20	c Concrete v3.4 running
14.56/6.01	% 18:41:51.443 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5385. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 337816703, 3 edges, 4 vertices, 1 tuples
14.56/6.03	% 18:41:51.467 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5460. 'extension(false, x[1][26]: {[0?1]}, x[2][26]: {[0?1]}) :: init: true :: relation: MDD 1493642909, 3 edges, 4 vertices, 1 tuples
14.56/6.03	% 18:41:51.469 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5465. 'extension(x[25][1]: {[0?1]}, x[26][1]: {[0?1]}, false) :: init: true :: relation: MDD 337816703, 3 edges, 4 vertices, 1 tuples
14.56/6.05	% 18:41:51.485 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5540. 'extension(x[25][26]: {[0?1]}, x[26][26]: {[0?1]}, false) :: init: true :: relation: MDD 1493642909, 3 edges, 4 vertices, 1 tuples
14.56/6.05	% 18:41:51.486 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5544. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 581364120, 3 edges, 4 vertices, 1 tuples
14.56/6.06	% 18:41:51.498 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5619. 'extension(false, x[26][1]: {[0?1]}, x[26][2]: {[0?1]}) :: init: true :: relation: MDD 1872012709, 3 edges, 4 vertices, 1 tuples
14.56/6.06	% 18:41:51.499 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5622. 'extension(x[1][25]: {[0?1]}, x[1][26]: {[0?1]}, false) :: init: true :: relation: MDD 581364120, 3 edges, 4 vertices, 1 tuples
14.56/6.08	% 18:41:51.513 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5697. 'extension(x[26][25]: {[0?1]}, x[26][26]: {[0?1]}, false) :: init: true :: relation: MDD 1872012709, 3 edges, 4 vertices, 1 tuples
14.56/6.08	% 18:41:51.515 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5701. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
14.56/6.08	% 18:41:51.519 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5749. 'extension(x[1][26]: {[0?1]}, x[2][26]: {[0?1]}) :: init: true :: relation: Empty MDD
14.56/6.08	% 18:41:51.520 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5753. 'extension(x[25][1]: {[0?1]}, x[26][1]: {[0?1]}) :: init: true :: relation: Empty MDD
14.56/6.09	% 18:41:51.525 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5801. 'extension(x[25][26]: {[0?1]}, x[26][26]: {[0?1]}) :: init: true :: relation: Empty MDD
14.56/6.09	% 18:41:51.525 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5805. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
14.56/6.09	% 18:41:51.530 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5855. 'extension(x[26][1]: {[0?1]}, x[26][2]: {[0?1]}) :: init: true :: relation: Empty MDD
14.56/6.09	% 18:41:51.531 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5861. 'extension(x[1][25]: {[0?1]}, x[1][26]: {[0?1]}) :: init: true :: relation: Empty MDD
14.56/6.10	% 18:41:51.536 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 5911. 'extension(x[26][25]: {[0?1]}, x[26][26]: {[0?1]}) :: init: true :: relation: Empty MDD
28.27/12.14	o 10
28.54/12.27	o 11
28.79/12.39	o 12
28.97/12.49	o 13
29.25/12.59	o 14
29.51/12.67	o 15
29.70/12.79	o 16
29.86/12.89	o 17
30.00/12.98	o 18
30.11/13.06	o 19
30.22/13.15	o 20
30.33/13.22	o 26
30.43/13.31	o 27
30.53/13.40	o 28
30.53/13.49	o 29
30.88/13.63	o 30
31.18/13.78	o 31
31.36/13.86	o 32
31.65/14.03	o 33
31.75/14.12	o 34
31.87/14.21	o 35
31.87/14.29	o 36
32.07/14.44	o 37
32.20/14.53	o 38
32.30/14.61	o 39
32.42/14.70	o 245
32.54/14.82	o 246
33.19/15.11	o 247
33.47/15.26	o 248
34.07/15.41	o 249
34.18/15.51	o 250
34.29/15.64	o 251
34.39/15.75	o 252
34.62/15.92	o 253
34.84/16.13	o 254
34.95/16.24	o 255
35.22/16.41	o 256
35.43/16.61	o 257
35.53/16.73	o 258
35.64/16.85	o 259
35.97/17.17	o 260
36.23/17.38	o 261
36.34/17.49	o 262
36.55/17.60	o 263
36.65/17.71	o 264
36.76/17.82	o 265
36.86/17.94	o 266
36.99/18.05	o 267
37.46/18.33	o 268
37.58/18.44	o 269
37.91/18.72	o 270
38.14/18.92	o 271
39.10/19.71	o 272
39.20/19.83	o 273
39.34/19.97	o 274
39.92/20.32	o 275
40.03/20.43	o 276
40.25/20.65	o 277
40.37/20.76	o 278
40.91/21.26	o 279
41.03/21.36	o 280
41.13/21.48	o 281
41.35/21.61	o 282
41.82/22.05	o 283
41.94/22.16	o 284
42.36/22.58	o 285
42.58/22.78	o 286
42.72/22.89	o 287
44.24/24.26	o 288
44.39/24.37	o 289
44.83/24.74	o 290
44.95/24.84	o 291
45.17/25.04	o 292
45.27/25.15	o 293
45.48/25.33	o 294
45.60/25.43	o 295
45.70/25.53	o 296
46.29/26.02	o 297
46.50/26.28	o 298
46.72/26.42	o 299
53.80/32.84	o 300
54.03/33.03	o 301
54.15/33.13	o 302
55.11/34.10	o 303
57.83/36.48	o 304
57.94/36.58	o 305
59.51/37.91	o 306
90.40/66.45	o 307
91.23/67.29	o 308
91.76/67.79	o 309
92.33/68.28	o 310
185.00/156.50	o 311
186.70/158.06	o 312
187.41/158.77	o 313
243.71/213.52	o 314
252.05/221.60	java.util.concurrent.TimeoutException
252.05/221.60		at concrete.MAC.mac(MAC.scala:74)
252.05/221.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.05/221.60		at scala.util.Try$.apply(Try.scala:209)
252.05/221.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.05/221.60		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.05/221.60		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.05/221.60		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.05/221.60		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.05/221.60		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.05/221.60		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.05/221.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.05/221.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.05/221.60		at concrete.MAC.oneRun(MAC.scala:146)
252.05/221.60		at concrete.MAC.nextSolution(MAC.scala:166)
252.05/221.60		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.05/221.60		at concrete.ProblemState.map(ProblemState.scala:203)
252.05/221.60		at concrete.ProblemState.map(ProblemState.scala:188)
252.05/221.60		at concrete.MAC.nextSolution(MAC.scala:195)
252.05/221.60		at concrete.Solver.hasNext(Solver.scala:202)
252.05/221.60		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.05/221.60		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.05/221.60		at concrete.Solver.toStream(Solver.scala:73)
252.05/221.61		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.05/221.61		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.05/221.61		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.05/221.61		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.05/221.61		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.05/221.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.05/221.61		at scala.util.Success.map(Try.scala:209)
252.05/221.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.05/221.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.05/221.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.05/221.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.05/221.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.05/221.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.05/221.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.05/221.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.05/221.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.05/221.61		at scala.collection.immutable.List.foreach(List.scala:389)
252.05/221.61		at scala.App.main(App.scala:76)
252.05/221.61		at scala.App.main$(App.scala:74)
252.05/221.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.05/221.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.05/221.61	v <instantiation cost="314">
252.05/221.61	v       <list>
252.05/221.61	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[0][26] x[0][27] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] 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[0][26] w[0][27] 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[1][26] w[1][27] 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[2][26] w[2][27] 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[3][26] w[3][27] 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[4][26] w[4][27] 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[5][26] w[5][27] 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[6][26] w[6][27] 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[7][26] w[7][27] 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[8][26] w[8][27] 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[9][26] w[9][27] 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[10][26] w[10][27] 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[11][26] w[11][27] 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[12][26] w[12][27] 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[13][26] w[13][27] 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[14][26] w[14][27] 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[15][26] w[15][27] 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[16][26] w[16][27] 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[17][26] w[17][27] 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[18][26] w[18][27] 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[19][26] w[19][27] 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[20][26] w[20][27] 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[21][26] w[21][27] 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[22][26] w[22][27] 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[23][26] w[23][27] 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[24][26] w[24][27] 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] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] 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] ws[26] ws[27] z
252.05/221.61	v       </list>
252.05/221.61	v       <values>
252.05/221.61	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 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 0 1 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 2 2 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 0 0 0 0 0 2 0 0 1 2 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 2 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 2 1 1 2 1 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 2 2 0 0 0 1 1 1 0 0 0 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 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 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 2 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 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 14 30 41 52 55 58 64 66 70 82 95 107 118 125 128 134 140 141 145 151 155 160 164 171 178 181 189 200 314
252.05/221.61	v       </values>
252.05/221.61	v     </instantiation>
252.05/221.61	s SATISFIABLE

Verifier Data 

OK	314

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259811-1502643353/watcher-4259811-1502643353 -o /tmp/evaluation-result-4259811-1502643353/solver-4259811-1502643353 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259811-1502643353.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
Current StackSize limit: 8192 KiB

solver pid=26637, runsolver pid=26634

[startup+0.100107 s]*
/proc/loadavg: 1.81 1.84 1.90 3/202 26646
/proc/meminfo: memFree=29766816/32770624 swapFree=67108860/67108860
[pid=26637] ppid=26634 vsize=9636 memory=1440 CPUtime=0.01 cores=1,3,5,7
/proc/26637/stat : 26637 (bash) R 26634 26637 8289 0 -1 4202496 804 5301 0 0 0 0 0 1 20 0 1 0 112150458 9867264 360 18446744073709551615 4194304 5098028 140731639633200 140731639630856 140191036681216 0 0 5 65536 0 0 0 17 3 0 0 9 0 0 7196144 7232144 14745600 140731639640564 140731639640649 140731639640649 140731639644138 0
/proc/26637/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1440 KiB

[startup+0.209873 s]*
/proc/loadavg: 1.81 1.84 1.90 2/217 26682
/proc/meminfo: memFree=29754152/32770624 swapFree=67108860/67108860
[pid=26637] ppid=26634 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/26637/stat : 26637 (bash) S 26634 26637 8289 0 -1 4202496 899 6472 0 0 0 0 0 1 20 0 1 0 112150458 9867264 378 18446744073709551615 4194304 5098028 140731639633200 140731639627208 140191036681216 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 14745600 140731639640564 140731639640649 140731639640649 140731639644138 0
/proc/26637/statm: 2409 378 297 221 0 118 0
[pid=26667] ppid=26637 vsize=9636 memory=708 CPUtime=0 cores=1,3,5,7
/proc/26667/stat : 26667 (bash) S 26637 26637 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 112150469 9867264 177 18446744073709551615 4194304 5098028 140731639633200 140731639625880 140191036506748 0 65536 1 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14745600 140731639640564 140731639640649 140731639640649 140731639644138 0
/proc/26667/statm: 2409 177 96 221 0 118 0
[pid=26668] ppid=26667 vsize=10551876 memory=22992 CPUtime=0.05 cores=1,3,5,7
/proc/26668/stat : 26668 (java) S 26667 26637 8289 0 -1 1077944320 4672 0 0 0 4 1 0 0 20 0 15 0 112150469 10805121024 5748 18446744073709551615 4194304 4196468 140723374568464 140723374551008 140362863230711 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22757376 140723374576216 140723374576230 140723374576230 140723374579663 0
/proc/26668/statm: 2637969 5748 2595 1 0 2627466 0
[pid=26668/tid=26670] ppid=26667 vsize=10551864 memory=7022364594140610616 CPUtime=0.04 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (java) R 26667 26637 8289 0 -1 4202560 2799 0 0 0 4 0 0 0 20 0 15 0 112150469 10805108736 6262 18446744073709551615 4194304 4196468 140723374568464 140362867473192 140362855947674 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22757376 140723374576216 140723374576230 140723374576230 140723374579663 0
[pid=26668/tid=26671] ppid=26667 vsize=10551876 memory=4294975260 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (java) S 26667 26637 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112150470 10805121024 6262 18446744073709551615 4194304 4196468 140723374568464 140362474248848 140362863240917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140723374576216 140723374576230 140723374576230 140723374579663 0
[pid=26668/tid=26672] ppid=26667 vsize=10551876 memory=140509427455498 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26672/stat : 26672 (java) S 26667 26637 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112150470 10805121024 6267 18446744073709551615 4194304 4196468 140723374568464 140362473196048 140362863240917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140723374576216 140723374576230 140723374576230 140723374579663 0
[pid=26668/tid=26673] ppid=26667 vsize=10551876 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26673/stat : 26673 (java) S 26667 26637 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 112150470 10805121024 6267 18446744073709551615 4194304 4196468 140723374568464 140362472143248 140362863240917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140723374576216 140723374576230 140723374576230 140723374579663 0
[pid=26668/tid=26674] ppid=26667 vsize=10551876 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26674/stat : 26674 (java) S 26667 26637 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 112150470 10805121024 6267 18446744073709551615 4194304 4196468 140723374568464 140362471090448 140362863240917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140723374576216 140723374576230 140723374576230 140723374579663 0
[pid=26668/tid=26676] ppid=26667 vsize=10551876 memory=140509426480768 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26676/stat : 26676 (java) S 26667 26637 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 12 0 112150472 10805121024 6248 18446744073709551615 4194304 4196468 140723374568464 140362425595424 140362863240917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140723374576216 140723374576230 140723374576230 140723374579663 0
[pid=26668/tid=26677] ppid=26667 vsize=10551876 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26677/stat : 26677 (java) S 26667 26637 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 12 0 112150472 10805121024 6248 18446744073709551615 4194304 4196468 140723374568464 140362424542576 140362863240917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22757376 140723374576216 140723374576230 140723374576230 140723374579663 0
[pid=26668/tid=26678] ppid=26667 vsize=10551876 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26678/stat : 26678 (java) S 26667 26637 8289 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 12 0 112150474 10805121024 6248 18446744073709551615 4194304 4196468 140723374568464 140362423490544 140362863240917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140723374576216 140723374576230 140723374576230 140723374579663 0
[pid=26668/tid=26679] ppid=26667 vsize=10551876 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26679/stat : 26679 (java) R 26667 26637 8289 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 12 0 112150474 10805121024 6262 18446744073709551615 4194304 4196468 140723374568464 140362422438256 140362863241858 256 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22757376 140723374576216 140723374576230 140723374576230 140723374579663 0
[pid=26668/tid=26680] ppid=26667 vsize=10551876 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26680/stat : 26680 (java) R 26667 26637 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 112150474 10805121024 6317 18446744073709551615 4194304 4196468 140723374568464 140362421385456 140362863241858 256 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22757376 140723374576216 140723374576230 140723374576230 140723374579663 0
[pid=26669] ppid=26667 vsize=9876 memory=972 CPUtime=0 cores=1,3,5,7
/proc/26669/stat : 26669 (awk) S 26667 26637 8289 0 -1 4202496 415 0 0 0 0 0 0 0 20 0 1 0 112150469 10113024 243 18446744073709551615 4194304 4609284 140730227980608 140730227979784 140389201964032 0 0 1 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 16560128 140730227982976 140730227983006 140730227983006 140730227986411 0
/proc/26669/statm: 2469 243 203 102 0 89 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10581024 KiB
Current children cumulated memory: 26184 KiB

[startup+0.310427 s]*
/proc/loadavg: 1.81 1.84 1.90 2/214 26699
/proc/meminfo: memFree=29755912/32770624 swapFree=67108860/67108860
[pid=26637] ppid=26634 vsize=13907308 memory=21932 CPUtime=0.14 cores=1,3,5,7
/proc/26637/stat : 26637 (java) S 26634 26637 8289 0 -1 1077944320 5807 12468 0 0 5 1 5 3 20 0 14 0 112150458 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 140727734301040 139787972198135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
/proc/26637/statm: 3476827 5483 2570 1 0 3466324 0
[pid=26637/tid=26687] ppid=26634 vsize=13907308 memory=-8774313645642428999 CPUtime=0.12 cores=1,3,5,7
/proc/26637/task/26687/stat : 26687 (java) D 26634 26637 8289 0 -1 4202560 3064 12468 0 0 4 0 5 3 20 0 14 0 112150481 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139787976435616 139787972220157 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26688] ppid=26634 vsize=13907308 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26688/stat : 26688 (java) S 26634 26637 8289 0 -1 1077944384 1 12468 0 0 0 0 5 3 20 0 14 0 112150481 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139787906632208 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26689] ppid=26634 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26689/stat : 26689 (java) S 26634 26637 8289 0 -1 1077944384 1 12468 0 0 0 0 5 3 20 0 14 0 112150481 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139787905579664 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26690] ppid=26634 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26690/stat : 26690 (java) S 26634 26637 8289 0 -1 1077944384 1 12468 0 0 0 0 5 3 20 0 14 0 112150481 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139787904526608 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26691] ppid=26634 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26691/stat : 26691 (java) S 26634 26637 8289 0 -1 1077944384 2 12468 0 0 0 0 5 3 20 0 14 0 112150481 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139787903474064 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26692] ppid=26634 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26692/stat : 26692 (java) S 26634 26637 8289 0 -1 1077944384 2 12468 0 0 0 0 5 3 20 0 14 0 112150483 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139786888895216 139787972209282 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26693] ppid=26634 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26693/stat : 26693 (java) S 26634 26637 8289 0 -1 1077944384 33 12468 0 0 0 0 5 3 20 0 14 0 112150483 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139786887841440 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26694] ppid=26634 vsize=13907308 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26694/stat : 26694 (java) S 26634 26637 8289 0 -1 1077944384 21 12468 0 0 0 0 5 3 20 0 14 0 112150483 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139786886788336 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26695] ppid=26634 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26695/stat : 26695 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 14 0 112150486 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139786885736912 139787972216731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26696] ppid=26634 vsize=13907308 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26696/stat : 26696 (java) S 26634 26637 8289 0 -1 1077944384 300 12468 0 0 0 0 5 3 20 0 14 0 112150486 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139786884684016 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26697] ppid=26634 vsize=13907308 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26697/stat : 26697 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 14 0 112150486 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139786883631472 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26698] ppid=26634 vsize=13907308 memory=140509426480768 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26698/stat : 26698 (java) S 26634 26637 8289 0 -1 1077944384 218 12468 0 0 0 0 5 3 20 0 14 0 112150486 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139786882578416 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26699] ppid=26634 vsize=13907308 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26699/stat : 26699 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 14 0 112150486 14241083392 5483 18446744073709551615 4194304 4196468 140727734318496 139786881526112 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 21932 KiB

[startup+0.700716 s]
/proc/loadavg: 1.81 1.84 1.90 3/215 26700
/proc/meminfo: memFree=29727624/32770624 swapFree=67108860/67108860
[pid=26637] ppid=26634 vsize=13974784 memory=57344 CPUtime=0.65 cores=1,3,5,7
/proc/26637/stat : 26637 (java) S 26634 26637 8289 0 -1 1077944320 13875 12468 0 0 54 3 5 3 20 0 15 0 112150458 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 140727734301040 139787972198135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
/proc/26637/statm: 3493696 14336 3106 1 0 3482965 0
[pid=26637/tid=26687] ppid=26634 vsize=13974784 memory=4168 CPUtime=0.5 cores=1,3,5,7
/proc/26637/task/26687/stat : 26687 (java) R 26634 26637 8289 0 -1 4202560 10254 12468 0 0 40 2 5 3 20 0 15 0 112150481 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139787976416864 139787972210070 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26688] ppid=26634 vsize=13974784 memory=281018636521440 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26688/stat : 26688 (java) S 26634 26637 8289 0 -1 1077944384 1 12468 0 0 0 0 5 3 20 0 15 0 112150481 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139787906632208 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26689] ppid=26634 vsize=13974784 memory=288230617509003574 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26689/stat : 26689 (java) S 26634 26637 8289 0 -1 1077944384 1 12468 0 0 0 0 5 3 20 0 15 0 112150481 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139787905579664 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26690] ppid=26634 vsize=13974784 memory=31115 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26690/stat : 26690 (java) S 26634 26637 8289 0 -1 1077944384 1 12468 0 0 0 0 5 3 20 0 15 0 112150481 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139787904526608 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26691] ppid=26634 vsize=13974784 memory=7445690782683522647 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26691/stat : 26691 (java) S 26634 26637 8289 0 -1 1077944384 2 12468 0 0 0 0 5 3 20 0 15 0 112150481 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139787903474064 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26692] ppid=26634 vsize=13974784 memory=7300728970739542608 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26692/stat : 26692 (java) S 26634 26637 8289 0 -1 1077944384 5 12468 0 0 0 0 5 3 20 0 15 0 112150483 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139786888895216 139787972209282 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26693] ppid=26634 vsize=13974784 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26693/stat : 26693 (java) S 26634 26637 8289 0 -1 1077944384 33 12468 0 0 0 0 5 3 20 0 15 0 112150483 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139786887841440 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26694] ppid=26634 vsize=13974784 memory=4628975313049980278 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26694/stat : 26694 (java) S 26634 26637 8289 0 -1 1077944384 21 12468 0 0 0 0 5 3 20 0 15 0 112150483 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139786886788336 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26695] ppid=26634 vsize=13974784 memory=4132774494331964790 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26695/stat : 26695 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139786885736912 139787972216731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26696] ppid=26634 vsize=13974784 memory=4137282616176187523 CPUtime=0.11 cores=1,3,5,7
/proc/26637/task/26696/stat : 26696 (java) R 26634 26637 8289 0 -1 4202560 709 12468 0 0 3 0 5 3 20 0 15 0 112150486 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139786884684016 139787952863280 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26697] ppid=26634 vsize=13974784 memory=-6586667735541663136 CPUtime=0.09 cores=1,3,5,7
/proc/26637/task/26697/stat : 26697 (java) R 26634 26637 8289 0 -1 1077944384 142 12468 0 0 1 0 5 3 20 0 15 0 112150486 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139786883631472 139787972209282 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26698] ppid=26634 vsize=13974784 memory=7682475212697334586 CPUtime=0.17 cores=1,3,5,7
/proc/26637/task/26698/stat : 26698 (java) R 26634 26637 8289 0 -1 4202560 544 12468 0 0 9 0 5 3 20 0 15 0 112150486 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139786882578416 139787579162745 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26699] ppid=26634 vsize=13974784 memory=-2970219127293634922 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26699/stat : 26699 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139786881526112 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26700] ppid=26634 vsize=13974784 memory=-2331055268852096867 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26700/stat : 26700 (java) S 26634 26637 8289 0 -1 1077944384 1 12468 0 0 0 0 5 3 20 0 15 0 112150491 14310178816 14336 18446744073709551615 4194304 4196468 140727734318496 139786880474160 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 57344 KiB

[startup+1.50066 s]
/proc/loadavg: 1.81 1.84 1.90 3/215 26700
/proc/meminfo: memFree=29686656/32770624 swapFree=67108860/67108860
[pid=26637] ppid=26634 vsize=13985408 memory=146332 CPUtime=1.86 cores=1,3,5,7
/proc/26637/stat : 26637 (java) S 26634 26637 8289 0 -1 1077944320 26691 12468 0 0 170 8 5 3 20 0 15 0 112150458 14321057792 36583 18446744073709551615 4194304 4196468 140727734318496 140727734301040 139787972198135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
/proc/26637/statm: 3496352 36583 3346 1 0 3485525 0
[pid=26637/tid=26687] ppid=26634 vsize=13985408 memory=4168 CPUtime=1.29 cores=1,3,5,7
/proc/26637/task/26687/stat : 26687 (java) S 26634 26637 8289 0 -1 1077944384 21209 12468 0 0 116 5 5 3 20 0 15 0 112150481 14321057792 36583 18446744073709551615 4194304 4196468 140727734318496 139787976421888 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26688] ppid=26634 vsize=13985408 memory=-8774313645642428999 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26688/stat : 26688 (java) R 26634 26637 8289 0 -1 1077944384 22 12468 0 0 0 0 5 3 20 0 15 0 112150481 14321057792 36583 18446744073709551615 4194304 4196468 140727734318496 139787906632272 139787972208341 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26689] ppid=26634 vsize=13985408 memory=4134606225630022328 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26689/stat : 26689 (java) S 26634 26637 8289 0 -1 1077944384 37 12468 0 0 0 0 5 3 20 0 15 0 112150481 14321057792 36583 18446744073709551615 4194304 4196468 140727734318496 139787905579664 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26690] ppid=26634 vsize=13985408 memory=-8918990855134196790 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26690/stat : 26690 (java) S 26634 26637 8289 0 -1 1077944384 23 12468 0 0 0 0 5 3 20 0 15 0 112150481 14321057792 36583 18446744073709551615 4194304 4196468 140727734318496 139787904526608 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26691] ppid=26634 vsize=13985408 memory=-5345911753256963030 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26691/stat : 26691 (java) S 26634 26637 8289 0 -1 1077944384 180 12468 0 0 0 0 5 3 20 0 15 0 112150481 14321057792 36583 18446744073709551615 4194304 4196468 140727734318496 139787903474064 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26692] ppid=26634 vsize=13985408 memory=-3761991693426146123 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26692/stat : 26692 (java) R 26634 26637 8289 0 -1 4202560 30 12468 0 0 0 0 5 3 20 0 15 0 112150483 14321057792 36583 18446744073709551615 4194304 4196468 140727734318496 139786888893696 139787965294971 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26693] ppid=26634 vsize=13985408 memory=4196912344889787449 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26693/stat : 26693 (java) S 26634 26637 8289 0 -1 1077944384 33 12468 0 0 0 0 5 3 20 0 15 0 112150483 14321057792 37095 18446744073709551615 4194304 4196468 140727734318496 139786887841440 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26694] ppid=26634 vsize=13985408 memory=7893295687695687954 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26694/stat : 26694 (java) S 26634 26637 8289 0 -1 1077944384 21 12468 0 0 0 0 5 3 20 0 15 0 112150483 14321057792 37095 18446744073709551615 4194304 4196468 140727734318496 139786886788336 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26695] ppid=26634 vsize=13985408 memory=6545530160350 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26695/stat : 26695 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14321057792 37095 18446744073709551615 4194304 4196468 140727734318496 139786885736912 139787972216731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26696] ppid=26634 vsize=13985408 memory=288230617509003574 CPUtime=0.24 cores=1,3,5,7
/proc/26637/task/26696/stat : 26696 (java) S 26634 26637 8289 0 -1 1077944384 1127 12468 0 0 16 0 5 3 20 0 15 0 112150486 14321057792 37095 18446744073709551615 4194304 4196468 140727734318496 139786884684016 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26697] ppid=26634 vsize=13985408 memory=15825482134324680 CPUtime=0.21 cores=1,3,5,7
/proc/26637/task/26697/stat : 26697 (java) S 26634 26637 8289 0 -1 1077944384 547 12468 0 0 13 0 5 3 20 0 15 0 112150486 14321057792 37095 18446744073709551615 4194304 4196468 140727734318496 139786883631472 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26698] ppid=26634 vsize=13985408 memory=4040 CPUtime=0.3 cores=1,3,5,7
/proc/26637/task/26698/stat : 26698 (java) S 26634 26637 8289 0 -1 1077944384 1298 12468 0 0 22 0 5 3 20 0 15 0 112150486 14321057792 37095 18446744073709551615 4194304 4196468 140727734318496 139786882575920 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26699] ppid=26634 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26699/stat : 26699 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14321057792 37095 18446744073709551615 4194304 4196468 140727734318496 139786881526112 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26700] ppid=26634 vsize=13985408 memory=11204 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26700/stat : 26700 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150491 14321057792 37095 18446744073709551615 4194304 4196468 140727734318496 139786880474160 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 146332 KiB

[startup+3.11036 s]
/proc/loadavg: 1.81 1.84 1.90 4/214 26700
/proc/meminfo: memFree=29421920/32770624 swapFree=67108860/67108860
[pid=26637] ppid=26634 vsize=13997884 memory=223856 CPUtime=5.58 cores=1,3,5,7
/proc/26637/stat : 26637 (java) S 26634 26637 8289 0 -1 1077944320 40460 12468 0 0 536 14 5 3 20 0 15 0 112150458 14333833216 55964 18446744073709551615 4194304 4196468 140727734318496 140727734301040 139787972198135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
/proc/26637/statm: 3499471 55964 3446 1 0 3488085 0
[pid=26637/tid=26687] ppid=26634 vsize=13997884 memory=8 CPUtime=2.87 cores=1,3,5,7
/proc/26637/task/26687/stat : 26687 (java) R 26634 26637 8289 0 -1 4202560 29337 12468 0 0 272 7 5 3 20 0 15 0 112150481 14333833216 55964 18446744073709551615 4194304 4196468 140727734318496 139787976413544 139787579258927 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26688] ppid=26634 vsize=13997884 memory=8 CPUtime=0.08 cores=1,3,5,7

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

/proc/26637/task/26687/stat : 26687 (java) R 26634 26637 8289 0 -1 4202560 57331 12468 0 0 4977 28 5 3 20 0 15 0 112150481 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139787976430944 139787582544399 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26688] ppid=26634 vsize=14071612 memory=1667740 CPUtime=0.57 cores=1,3,5,7
/proc/26637/task/26688/stat : 26688 (java) S 26634 26637 8289 0 -1 1077944384 559 12468 0 0 42 7 5 3 20 0 15 0 112150481 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139787906632208 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26689] ppid=26634 vsize=14071612 memory=1667740 CPUtime=0.58 cores=1,3,5,7
/proc/26637/task/26689/stat : 26689 (java) S 26634 26637 8289 0 -1 1077944384 507 12468 0 0 43 7 5 3 20 0 15 0 112150481 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139787905579664 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26690] ppid=26634 vsize=14071612 memory=281018637499296 CPUtime=0.59 cores=1,3,5,7
/proc/26637/task/26690/stat : 26690 (java) S 26634 26637 8289 0 -1 1077944384 1199 12468 0 0 43 8 5 3 20 0 15 0 112150481 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139787904526608 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26691] ppid=26634 vsize=14071612 memory=1516868 CPUtime=0.56 cores=1,3,5,7
/proc/26637/task/26691/stat : 26691 (java) S 26634 26637 8289 0 -1 1077944384 2725 12468 0 0 41 7 5 3 20 0 15 0 112150481 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139787903474064 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26692] ppid=26634 vsize=14071612 memory=281018636784016 CPUtime=0.26 cores=1,3,5,7
/proc/26637/task/26692/stat : 26692 (java) S 26634 26637 8289 0 -1 1077944384 11955 12468 0 0 18 0 5 3 20 0 15 0 112150483 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139786888895216 139787972209282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26693] ppid=26634 vsize=14071612 memory=1516868 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26693/stat : 26693 (java) S 26634 26637 8289 0 -1 1077944384 62 12468 0 0 0 0 5 3 20 0 15 0 112150483 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139786887841504 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26694] ppid=26634 vsize=14071612 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26694/stat : 26694 (java) S 26634 26637 8289 0 -1 1077944384 49 12468 0 0 0 0 5 3 20 0 15 0 112150483 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139786886788352 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26695] ppid=26634 vsize=14071612 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26695/stat : 26695 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139786885736912 139787972216731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26696] ppid=26634 vsize=14071612 memory=281018636905232 CPUtime=9.28 cores=1,3,5,7
/proc/26637/task/26696/stat : 26696 (java) S 26634 26637 8289 0 -1 1077944384 16991 12468 0 0 914 6 5 3 20 0 15 0 112150486 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139786884684016 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26697] ppid=26634 vsize=14071612 memory=0 CPUtime=9.24 cores=1,3,5,7
/proc/26637/task/26697/stat : 26697 (java) S 26634 26637 8289 0 -1 1077944384 16205 12468 0 0 913 3 5 3 20 0 15 0 112150486 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139786883631472 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26698] ppid=26634 vsize=14071612 memory=7007712420471858773 CPUtime=3.18 cores=1,3,5,7
/proc/26637/task/26698/stat : 26698 (java) S 26634 26637 8289 0 -1 1077944384 16402 12468 0 0 305 5 5 3 20 0 15 0 112150486 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139786882578416 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26699] ppid=26634 vsize=14071612 memory=2440 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26699/stat : 26699 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139786881526112 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26700] ppid=26634 vsize=14071612 memory=1724 CPUtime=0.1 cores=1,3,5,7
/proc/26637/task/26700/stat : 26700 (java) S 26634 26637 8289 0 -1 1077944384 803 12468 0 0 1 1 5 3 20 0 15 0 112150491 14409330688 439463 18446744073709551615 4194304 4196468 140727734318496 139786880474160 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
Current children cumulated CPU time: 73.89 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1757852 KiB

[startup+102.301 s]
/proc/loadavg: 2.08 1.92 1.93 3/213 26702
/proc/meminfo: memFree=26886536/32770624 swapFree=67108860/67108860
[pid=26637] ppid=26634 vsize=14071612 memory=1995968 CPUtime=127.95 cores=1,3,5,7
/proc/26637/stat : 26637 (java) S 26634 26637 8289 0 -1 1077944320 141309 12468 0 0 12684 103 5 3 20 0 15 0 112150458 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 140727734301040 139787972198135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
/proc/26637/statm: 3517903 498992 3487 1 0 3506517 0
[pid=26637/tid=26687] ppid=26634 vsize=14071612 memory=2001104 CPUtime=101.07 cores=1,3,5,7
/proc/26637/task/26687/stat : 26687 (java) R 26634 26637 8289 0 -1 4202560 61178 12468 0 0 10068 31 5 3 20 0 15 0 112150481 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139787976429168 139787600687720 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26688] ppid=26634 vsize=14071612 memory=2003180 CPUtime=0.79 cores=1,3,5,7
/proc/26637/task/26688/stat : 26688 (java) S 26634 26637 8289 0 -1 1077944384 695 12468 0 0 59 12 5 3 20 0 15 0 112150481 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139787906632208 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26689] ppid=26634 vsize=14071612 memory=2003160 CPUtime=0.8 cores=1,3,5,7
/proc/26637/task/26689/stat : 26689 (java) S 26634 26637 8289 0 -1 1077944384 650 12468 0 0 60 12 5 3 20 0 15 0 112150481 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139787905579664 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26690] ppid=26634 vsize=14071612 memory=9878424783013 CPUtime=0.82 cores=1,3,5,7
/proc/26637/task/26690/stat : 26690 (java) S 26634 26637 8289 0 -1 1077944384 1459 12468 0 0 60 14 5 3 20 0 15 0 112150481 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139787904526608 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26691] ppid=26634 vsize=14071612 memory=1153700 CPUtime=0.78 cores=1,3,5,7
/proc/26637/task/26691/stat : 26691 (java) S 26634 26637 8289 0 -1 1077944384 3165 12468 0 0 58 12 5 3 20 0 15 0 112150481 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139787903474064 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26692] ppid=26634 vsize=14071612 memory=-8823246064971903881 CPUtime=0.29 cores=1,3,5,7
/proc/26637/task/26692/stat : 26692 (java) S 26634 26637 8289 0 -1 1077944384 12328 12468 0 0 20 1 5 3 20 0 15 0 112150483 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139786888895216 139787972209282 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26693] ppid=26634 vsize=14071612 memory=2006260 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26693/stat : 26693 (java) S 26634 26637 8289 0 -1 1077944384 67 12468 0 0 0 0 5 3 20 0 15 0 112150483 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139786887841504 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26694] ppid=26634 vsize=14071612 memory=2006260 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26694/stat : 26694 (java) S 26634 26637 8289 0 -1 1077944384 49 12468 0 0 0 0 5 3 20 0 15 0 112150483 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139786886788352 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26695] ppid=26634 vsize=14071612 memory=2005764 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26695/stat : 26695 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139786885736912 139787972216731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26696] ppid=26634 vsize=14071612 memory=1296 CPUtime=10.2 cores=1,3,5,7
/proc/26637/task/26696/stat : 26696 (java) S 26634 26637 8289 0 -1 1077944384 19646 12468 0 0 1006 6 5 3 20 0 15 0 112150486 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139786884684016 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26697] ppid=26634 vsize=14071612 memory=0 CPUtime=10.18 cores=1,3,5,7
/proc/26637/task/26697/stat : 26697 (java) S 26634 26637 8289 0 -1 1077944384 18037 12468 0 0 1006 4 5 3 20 0 15 0 112150486 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139786883631472 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26698] ppid=26634 vsize=14071612 memory=5793107290708328552 CPUtime=3.53 cores=1,3,5,7
/proc/26637/task/26698/stat : 26698 (java) S 26634 26637 8289 0 -1 1077944384 21047 12468 0 0 339 6 5 3 20 0 15 0 112150486 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139786882578416 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26699] ppid=26634 vsize=14071612 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26699/stat : 26699 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139786881526112 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26700] ppid=26634 vsize=14071612 memory=4638778419807604048 CPUtime=0.12 cores=1,3,5,7
/proc/26637/task/26700/stat : 26700 (java) S 26634 26637 8289 0 -1 1077944384 827 12468 0 0 2 2 5 3 20 0 15 0 112150491 14409330688 498992 18446744073709551615 4194304 4196468 140727734318496 139786880474160 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
Current children cumulated CPU time: 127.95 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1995968 KiB

[startup+162.301 s]
/proc/loadavg: 1.96 1.92 1.93 3/214 26705
/proc/meminfo: memFree=27227056/32770624 swapFree=67108860/67108860
[pid=26637] ppid=26634 vsize=14071612 memory=1790104 CPUtime=191.25 cores=1,3,5,7
/proc/26637/stat : 26637 (java) S 26634 26637 8289 0 -1 1077944320 156340 12468 0 0 19002 115 5 3 20 0 15 0 112150458 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 140727734301040 139787972198135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
/proc/26637/statm: 3517903 447526 3488 1 0 3506517 0
[pid=26637/tid=26687] ppid=26634 vsize=14071612 memory=0 CPUtime=160.68 cores=1,3,5,7
/proc/26637/task/26687/stat : 26687 (java) R 26634 26637 8289 0 -1 4202560 63112 12468 0 0 16028 32 5 3 20 0 15 0 112150481 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139787976432176 139787596225164 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26688] ppid=26634 vsize=14071612 memory=1801768 CPUtime=1.11 cores=1,3,5,7
/proc/26637/task/26688/stat : 26688 (java) S 26634 26637 8289 0 -1 1077944384 975 12468 0 0 89 14 5 3 20 0 15 0 112150481 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139787906632208 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26689] ppid=26634 vsize=14071612 memory=1797288 CPUtime=1.11 cores=1,3,5,7
/proc/26637/task/26689/stat : 26689 (java) S 26634 26637 8289 0 -1 1077944384 1421 12468 0 0 90 13 5 3 20 0 15 0 112150481 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139787905579664 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26690] ppid=26634 vsize=14071612 memory=1797288 CPUtime=1.13 cores=1,3,5,7
/proc/26637/task/26690/stat : 26690 (java) S 26634 26637 8289 0 -1 1077944384 2760 12468 0 0 90 15 5 3 20 0 15 0 112150481 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139787904526608 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26691] ppid=26634 vsize=14071612 memory=1801836 CPUtime=1.1 cores=1,3,5,7
/proc/26637/task/26691/stat : 26691 (java) S 26634 26637 8289 0 -1 1077944384 3459 12468 0 0 89 13 5 3 20 0 15 0 112150481 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139787903474064 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26692] ppid=26634 vsize=14071612 memory=8 CPUtime=0.33 cores=1,3,5,7
/proc/26637/task/26692/stat : 26692 (java) S 26634 26637 8289 0 -1 1077944384 12654 12468 0 0 24 1 5 3 20 0 15 0 112150483 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139786888895216 139787972209282 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26693] ppid=26634 vsize=14071612 memory=1877472 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26693/stat : 26693 (java) S 26634 26637 8289 0 -1 1077944384 72 12468 0 0 0 0 5 3 20 0 15 0 112150483 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139786887841504 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26694] ppid=26634 vsize=14071612 memory=1797220 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26694/stat : 26694 (java) S 26634 26637 8289 0 -1 1077944384 49 12468 0 0 0 0 5 3 20 0 15 0 112150483 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139786886788352 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26695] ppid=26634 vsize=14071612 memory=4168 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26695/stat : 26695 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139786885736912 139787972216731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26696] ppid=26634 vsize=14071612 memory=1799608 CPUtime=11.12 cores=1,3,5,7
/proc/26637/task/26696/stat : 26696 (java) S 26634 26637 8289 0 -1 1077944384 23184 12468 0 0 1097 7 5 3 20 0 15 0 112150486 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139786884684016 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26697] ppid=26634 vsize=14071612 memory=1799608 CPUtime=11.05 cores=1,3,5,7
/proc/26637/task/26697/stat : 26697 (java) S 26634 26637 8289 0 -1 1077944384 20942 12468 0 0 1092 5 5 3 20 0 15 0 112150486 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139786883631472 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26698] ppid=26634 vsize=14071612 memory=1436 CPUtime=4.05 cores=1,3,5,7
/proc/26637/task/26698/stat : 26698 (java) S 26634 26637 8289 0 -1 1077944384 24700 12468 0 0 390 7 5 3 20 0 15 0 112150486 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139786882578416 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26699] ppid=26634 vsize=14071612 memory=1816544 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26699/stat : 26699 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139786881526112 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26700] ppid=26634 vsize=14071612 memory=1801768 CPUtime=0.16 cores=1,3,5,7
/proc/26637/task/26700/stat : 26700 (java) S 26634 26637 8289 0 -1 1077944384 851 12468 0 0 4 4 5 3 20 0 15 0 112150491 14409330688 447526 18446744073709551615 4194304 4196468 140727734318496 139786880474160 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
Current children cumulated CPU time: 191.25 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1790104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+221.601 s]
/proc/loadavg: 2.32 2.00 1.96 4/215 26836
/proc/meminfo: memFree=28366320/32770624 swapFree=67108860/67108860
[pid=26637] ppid=26634 vsize=14071612 memory=1557524 CPUtime=252.05 cores=1,3,5,7
/proc/26637/stat : 26637 (java) S 26634 26637 8289 0 -1 1077944320 163992 12468 0 0 25066 131 5 3 20 0 15 0 112150458 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 140727734301040 139787972198135 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
/proc/26637/statm: 3517903 389381 3488 1 0 3506517 0
[pid=26637/tid=26687] ppid=26634 vsize=14071612 memory=1563684 CPUtime=219.51 cores=1,3,5,7
/proc/26637/task/26687/stat : 26687 (java) R 26634 26637 8289 0 -1 4202560 65827 12468 0 0 21908 35 5 3 20 0 15 0 112150481 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139787976432176 139787580319136 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26688] ppid=26634 vsize=14071612 memory=-8774313645642428999 CPUtime=1.51 cores=1,3,5,7
/proc/26637/task/26688/stat : 26688 (java) S 26634 26637 8289 0 -1 1077944384 1822 12468 0 0 127 16 5 3 20 0 15 0 112150481 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139787906632208 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26689] ppid=26634 vsize=14071612 memory=1296 CPUtime=1.52 cores=1,3,5,7
/proc/26637/task/26689/stat : 26689 (java) S 26634 26637 8289 0 -1 1077944384 1622 12468 0 0 128 16 5 3 20 0 15 0 112150481 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139787905579664 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26690] ppid=26634 vsize=14071612 memory=2440 CPUtime=1.53 cores=1,3,5,7
/proc/26637/task/26690/stat : 26690 (java) S 26634 26637 8289 0 -1 1077944384 2973 12468 0 0 127 18 5 3 20 0 15 0 112150481 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139787904526608 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26691] ppid=26634 vsize=14071612 memory=1724 CPUtime=1.51 cores=1,3,5,7
/proc/26637/task/26691/stat : 26691 (java) S 26634 26637 8289 0 -1 1077944384 4682 12468 0 0 127 16 5 3 20 0 15 0 112150481 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139787903474064 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26692] ppid=26634 vsize=14071612 memory=4168 CPUtime=0.38 cores=1,3,5,7
/proc/26637/task/26692/stat : 26692 (java) S 26634 26637 8289 0 -1 1077944384 13045 12468 0 0 28 2 5 3 20 0 15 0 112150483 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139786888895216 139787972209282 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26693] ppid=26634 vsize=14071612 memory=54288 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26693/stat : 26693 (java) S 26634 26637 8289 0 -1 1077944384 72 12468 0 0 0 0 5 3 20 0 15 0 112150483 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139786887841504 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26694] ppid=26634 vsize=14071612 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26694/stat : 26694 (java) S 26634 26637 8289 0 -1 1077944384 49 12468 0 0 0 0 5 3 20 0 15 0 112150483 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139786886788352 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26695] ppid=26634 vsize=14071612 memory=2440 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26695/stat : 26695 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139786885736912 139787972216731 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26696] ppid=26634 vsize=14071612 memory=1724 CPUtime=11.23 cores=1,3,5,7
/proc/26637/task/26696/stat : 26696 (java) S 26634 26637 8289 0 -1 1077944384 24276 12468 0 0 1107 8 5 3 20 0 15 0 112150486 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139786884684016 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26697] ppid=26634 vsize=14071612 memory=1563684 CPUtime=11.15 cores=1,3,5,7
/proc/26637/task/26697/stat : 26697 (java) S 26634 26637 8289 0 -1 1077944384 21429 12468 0 0 1102 5 5 3 20 0 15 0 112150486 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139786883631472 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26698] ppid=26634 vsize=14071612 memory=2760 CPUtime=4.13 cores=1,3,5,7
/proc/26637/task/26698/stat : 26698 (java) S 26634 26637 8289 0 -1 1077944384 25172 12468 0 0 398 7 5 3 20 0 15 0 112150486 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139786882578416 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26699] ppid=26634 vsize=14071612 memory=2924 CPUtime=0.08 cores=1,3,5,7
/proc/26637/task/26699/stat : 26699 (java) S 26634 26637 8289 0 -1 1077944384 3 12468 0 0 0 0 5 3 20 0 15 0 112150486 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139786881526112 139787972208341 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
[pid=26637/tid=26700] ppid=26634 vsize=14071612 memory=4068 CPUtime=0.19 cores=1,3,5,7
/proc/26637/task/26700/stat : 26700 (java) S 26634 26637 8289 0 -1 1077944384 862 12468 0 0 5 6 5 3 20 0 15 0 112150491 14409330688 389381 18446744073709551615 4194304 4196468 140727734318496 139786880474160 139787972209282 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33923072 140727734327216 140727734330001 140727734330001 140727734333391 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1557524 KiB

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

[startup+221.648 s]
# the end of solver process 26637 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.751 s, system=1.36404 s

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

Child status: 143
Real time (s): 221.648
CPU time (s): 252.115
CPU user time (s): 250.751
CPU system time (s): 1.36404
CPU usage (%): 113.746
Max. virtual memory (cumulated for all children) (KiB): 14071612
Max. memory (cumulated for all children) (KiB): 2017076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.751
system time used= 1.36404
maximum resident set size= 2019156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24381
involuntary context switches= 560


# summary of solver processes directly reported to runsolver:
#   pid: 26637
#   total CPU time (s): 252.115
#   total CPU user time (s): 250.751
#   total CPU system time (s): 1.36404

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.61765 second user time and 1.86024 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 18:41:45
IDJOB=4259811
IDBENCH=115899
IDSOLVER=2646
FILE ID=node133/4259811-1502643353
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-26.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259811-1502643353/watcher-4259811-1502643353 -o /tmp/evaluation-result-4259811-1502643353/solver-4259811-1502643353 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312  bin/concrete HOME/instance-4259811-1502643353.xml

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

MD5SUM BENCH= a21a0b86f7fa853bf556b3925b3cd061
RANDOM SEED=414084946

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:        29768384 kB
MemAvailable:   30403368 kB
Buffers:          235820 kB
Cached:           694256 kB
SwapCached:            0 kB
Active:          2369992 kB
Inactive:         182156 kB
Active(anon):    1562916 kB
Inactive(anon):   100820 kB
Active(file):     807076 kB
Inactive(file):    81336 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             23816 kB
Writeback:             0 kB
AnonPages:       1566956 kB
Mapped:            69952 kB
Shmem:             41660 kB
Slab:             152668 kB
SReclaimable:     124816 kB
SUnreclaim:        27852 kB
KernelStack:        3840 kB
PageTables:         8604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2645352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1335296 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:45:27