Trace number 4259808

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)94 252.099 225.35201

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-14.xml
MD5SUM24e7c51735ec9671261d78753301e43f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark103
Best CPU time to get the best result obtained on this benchmark251.89101
Satisfiable
(Un)Satisfiability was proved
Number of variables529
Number of constraints344
Number of domains4
Minimum domain size2
Maximum domain size513
Distribution of domain sizes[{"size":2,"count":256},{"size":3,"count":256},{"size":197,"count":1},{"size":513,"count":16}]
Minimum variable degree1
Maximum variable degree17
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":253},{"degree":3,"count":19},{"degree":4,"count":56},{"degree":8,"count":52},{"degree":9,"count":144},{"degree":17,"count":1}]
Minimum constraint arity2
Maximum constraint arity18
Distribution of constraint arities[{"arity":2,"count":72},{"arity":3,"count":56},{"arity":10,"count":196},{"arity":16,"count":4},{"arity":17,"count":1},{"arity":18,"count":15}]
Number of extensional constraints252
Number of intensional constraints71
Distribution of constraint types[{"type":"extension","count":252},{"type":"intension","count":71},{"type":"sum","count":17},{"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.31/2.19	c Concrete v3.4 running
9.98/4.51	% 18:37:21.244 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2265. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 703644914, 3 edges, 4 vertices, 1 tuples
9.98/4.53	% 18:37:21.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2304. 'extension(false, x[1][14]: {[0?1]}, x[2][14]: {[0?1]}) :: init: true :: relation: MDD 319061373, 3 edges, 4 vertices, 1 tuples
10.98/4.81	% 18:37:21.264 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2309. 'extension(x[13][1]: {[0?1]}, x[14][1]: {[0?1]}, false) :: init: true :: relation: MDD 703644914, 3 edges, 4 vertices, 1 tuples
10.98/4.81	% 18:37:21.271 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2348. 'extension(x[13][14]: {[0?1]}, x[14][14]: {[0?1]}, false) :: init: true :: relation: MDD 319061373, 3 edges, 4 vertices, 1 tuples
10.98/4.81	% 18:37:21.272 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2352. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 78377968, 3 edges, 4 vertices, 1 tuples
10.98/4.81	% 18:37:21.279 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2391. 'extension(false, x[14][1]: {[0?1]}, x[14][2]: {[0?1]}) :: init: true :: relation: MDD 142261320, 3 edges, 4 vertices, 1 tuples
10.98/4.81	% 18:37:21.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2394. 'extension(x[1][13]: {[0?1]}, x[1][14]: {[0?1]}, false) :: init: true :: relation: MDD 78377968, 3 edges, 4 vertices, 1 tuples
10.98/4.81	% 18:37:21.288 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2433. 'extension(x[14][13]: {[0?1]}, x[14][14]: {[0?1]}, false) :: init: true :: relation: MDD 142261320, 3 edges, 4 vertices, 1 tuples
10.98/4.81	% 18:37:21.290 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2437. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
10.98/4.81	% 18:37:21.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2461. 'extension(x[1][14]: {[0?1]}, x[2][14]: {[0?1]}) :: init: true :: relation: Empty MDD
10.98/4.81	% 18:37:21.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2465. 'extension(x[13][1]: {[0?1]}, x[14][1]: {[0?1]}) :: init: true :: relation: Empty MDD
10.98/4.81	% 18:37:21.296 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2489. 'extension(x[13][14]: {[0?1]}, x[14][14]: {[0?1]}) :: init: true :: relation: Empty MDD
10.98/4.81	% 18:37:21.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2493. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
10.98/4.81	% 18:37:21.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2519. 'extension(x[14][1]: {[0?1]}, x[14][2]: {[0?1]}) :: init: true :: relation: Empty MDD
10.98/4.81	% 18:37:21.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2525. 'extension(x[1][13]: {[0?1]}, x[1][14]: {[0?1]}) :: init: true :: relation: Empty MDD
10.98/4.81	% 18:37:21.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2551. 'extension(x[14][13]: {[0?1]}, x[14][14]: {[0?1]}) :: init: true :: relation: Empty MDD
15.93/6.41	o 22
15.93/6.46	o 23
15.93/6.49	o 42
16.22/6.53	o 53
16.22/6.57	o 71
16.53/6.61	o 72
17.15/6.87	o 73
17.46/6.98	o 74
18.05/7.17	o 75
18.63/7.30	o 76
18.82/7.43	o 77
21.44/8.66	o 78
21.44/8.69	o 79
22.28/9.21	o 80
22.28/9.23	o 81
24.01/10.61	o 82
24.01/10.65	o 83
30.05/15.38	o 84
30.18/15.41	o 85
30.18/15.45	o 86
30.18/15.47	o 87
30.50/15.62	o 88
30.50/15.65	o 89
63.59/44.44	o 90
122.90/98.62	o 91
160.53/135.64	o 92
160.53/135.69	o 93
236.90/210.58	o 94
252.02/225.30	java.util.concurrent.TimeoutException
252.02/225.30		at concrete.MAC.mac(MAC.scala:74)
252.02/225.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.02/225.30		at scala.util.Try$.apply(Try.scala:209)
252.02/225.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/225.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/225.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/225.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/225.31		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.02/225.31		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/225.31		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/225.31		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/225.31		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/225.31		at concrete.MAC.oneRun(MAC.scala:146)
252.02/225.31		at concrete.MAC.nextSolution(MAC.scala:166)
252.02/225.31		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.02/225.31		at concrete.ProblemState.map(ProblemState.scala:203)
252.02/225.31		at concrete.ProblemState.map(ProblemState.scala:188)
252.02/225.31		at concrete.MAC.nextSolution(MAC.scala:195)
252.02/225.31		at concrete.Solver.hasNext(Solver.scala:202)
252.02/225.31		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.02/225.31		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.02/225.31		at concrete.Solver.toStream(Solver.scala:73)
252.02/225.31		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.02/225.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.02/225.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.02/225.31		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.02/225.31		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.02/225.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/225.31		at scala.util.Success.map(Try.scala:209)
252.02/225.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.02/225.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.02/225.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.02/225.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.02/225.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.02/225.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/225.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/225.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/225.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/225.31		at scala.collection.immutable.List.foreach(List.scala:389)
252.02/225.31		at scala.App.main(App.scala:76)
252.02/225.31		at scala.App.main$(App.scala:74)
252.02/225.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.02/225.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/225.31	v <instantiation cost="94">
252.02/225.31	v       <list>
252.02/225.31	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
252.02/225.31	v       </list>
252.02/225.31	v       <values>
252.02/225.31	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 2 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 2 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 7 13 19 24 27 29 31 34 38 45 51 52 55 59 66 72 94
252.02/225.31	v       </values>
252.02/225.31	v     </instantiation>
252.02/225.31	s SATISFIABLE

Verifier Data

OK	94

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

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

running on 4 cores: 0,2,4,6

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=26230, runsolver pid=26227

[startup+0.10011 s]*
/proc/loadavg: 2.06 1.92 1.95 2/205 26263
/proc/meminfo: memFree=29534468/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=9636 memory=1512 CPUtime=0.01 cores=0,2,4,6
/proc/26230/stat : 26230 (bash) S 26227 26230 8289 0 -1 4202496 895 6489 0 0 0 0 0 1 20 0 1 0 112123587 9867264 378 18446744073709551615 4194304 5098028 140725074082448 140725074076456 140483520105472 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 7 0 0 7196144 7232144 28012544 140725074088436 140725074088521 140725074088521 140725074092010 0
/proc/26230/statm: 2409 378 297 221 0 118 0
[pid=26260] ppid=26230 vsize=9636 memory=708 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (bash) S 26230 26230 8289 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 1 0 112123597 9867264 177 18446744073709551615 4194304 5098028 140725074082448 140725074075128 140483519931004 0 65536 1 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 28012544 140725074088436 140725074088521 140725074088521 140725074092010 0
/proc/26260/statm: 2409 177 96 221 0 118 0
[pid=26261] ppid=26260 vsize=9936720 memory=16196 CPUtime=0.01 cores=0,2,4,6
/proc/26261/stat : 26261 (java) S 26260 26230 8289 0 -1 1077944320 3383 0 0 0 1 0 0 0 20 0 6 0 112123597 10175201280 4049 18446744073709551615 4194304 4196468 140720773596944 140720773579488 140206246907639 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
/proc/26261/statm: 2484180 4049 1906 1 0 2473677 0
[pid=26261/tid=26263] ppid=26260 vsize=9936720 memory=8326441112148417179 CPUtime=0 cores=0,2,4,6
/proc/26261/task/26263/stat : 26263 (java) R 26260 26230 8289 0 -1 4202560 2117 0 0 0 0 0 0 0 20 0 6 0 112123597 10175201280 4115 18446744073709551615 4194304 4196468 140720773596944 140206251143760 140206246929565 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
[pid=26261/tid=26264] ppid=26260 vsize=9936720 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/26261/task/26264/stat : 26264 (java) S 26260 26230 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112123598 10175201280 4115 18446744073709551615 4194304 4196468 140720773596944 140205858089488 140206246917845 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
[pid=26261/tid=26265] ppid=26260 vsize=9936720 memory=140154482620032 CPUtime=0 cores=0,2,4,6
/proc/26261/task/26265/stat : 26265 (java) S 26260 26230 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112123598 10175201280 4115 18446744073709551615 4194304 4196468 140720773596944 140205857036944 140206246917845 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
[pid=26261/tid=26266] ppid=26260 vsize=9936720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26261/task/26266/stat : 26266 (java) S 26260 26230 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 112123598 10175201280 4115 18446744073709551615 4194304 4196468 140720773596944 140205855983888 140206246917845 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
[pid=26261/tid=26267] ppid=26260 vsize=9936720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26261/task/26267/stat : 26267 (java) S 26260 26230 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 112123598 10175201280 4115 18446744073709551615 4194304 4196468 140720773596944 140205854931344 140206246917845 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140720773599832 140720773599846 140720773599846 140720773603279 0
[pid=26262] ppid=26260 vsize=9872 memory=972 CPUtime=0 cores=0,2,4,6
/proc/26262/stat : 26262 (awk) S 26260 26230 8289 0 -1 4202496 391 0 0 0 0 0 0 0 20 0 1 0 112123597 10108928 243 18446744073709551615 4194304 4609284 140727483056256 140727483055432 140237255707648 0 0 1 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 38096896 140727483060864 140727483060894 140727483060894 140727483064299 0
/proc/26262/statm: 2468 243 203 102 0 88 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 9965864 KiB
Current children cumulated memory: 19388 KiB

[startup+0.210635 s]*
/proc/loadavg: 2.06 1.92 1.95 3/207 26285
/proc/meminfo: memFree=29530552/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=13574488 memory=16680 CPUtime=0.1 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 4942 12655 0 0 2 0 6 2 20 0 9 0 112123587 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3393622 4170 2082 1 0 3383119 0
[pid=26230/tid=26280] ppid=26227 vsize=13574488 memory=7077796292425249400 CPUtime=0.1 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 2735 12655 0 0 2 0 6 2 20 0 9 0 112123606 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140118104442000 140118086269356 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=13574488 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 9 0 112123607 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=13574488 memory=140154482620032 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 9 0 112123607 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=13574488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 9 0 112123607 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=13574488 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2 12655 0 0 0 0 6 2 20 0 9 0 112123607 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=13574488 memory=140154482620032 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 2 12655 0 0 0 0 6 2 20 0 9 0 112123608 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=13574488 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 33 12655 0 0 0 0 6 2 20 0 9 0 112123609 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140117577032992 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=13574488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 21 12655 0 0 0 0 6 2 20 0 9 0 112123609 13900275712 4170 18446744073709551615 4194304 4196468 140734015121728 140117575980720 140118100211413 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13574488 KiB
Current children cumulated memory: 16680 KiB

[startup+0.310264 s]*
/proc/loadavg: 2.06 1.92 1.95 4/215 26293
/proc/meminfo: memFree=29517800/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=13974356 memory=33020 CPUtime=0.23 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 7065 12655 0 0 14 1 6 2 20 0 15 0 112123587 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3493589 8255 2937 1 0 3482965 0
[pid=26230/tid=26280] ppid=26227 vsize=13974356 memory=7077796292425249400 CPUtime=0.18 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 3582 12655 0 0 9 1 6 2 20 0 15 0 112123606 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140118104361720 140118080476419 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=13974356 memory=664954298467758088 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=13974356 memory=280308862167376 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=13974356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=13974356 memory=140154379563471 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2 12655 0 0 0 0 6 2 20 0 15 0 112123607 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=13974356 memory=140154482620032 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 2 12655 0 0 0 0 6 2 20 0 15 0 112123608 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=13974356 memory=67 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 33 12655 0 0 0 0 6 2 20 0 15 0 112123609 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117577032992 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=13974356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 21 12655 0 0 0 0 6 2 20 0 15 0 112123609 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117575980656 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=13974356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=13974356 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 534 12655 0 0 1 0 6 2 20 0 15 0 112123612 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=13974356 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 217 12655 0 0 0 0 6 2 20 0 15 0 112123612 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=13974356 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 513 12655 0 0 3 0 6 2 20 0 15 0 112123612 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=13974356 memory=140154482620032 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=13974356 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123615 14309740544 8255 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 33020 KiB

[startup+0.700822 s]
/proc/loadavg: 2.06 1.92 1.95 3/215 26293
/proc/meminfo: memFree=29495232/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=13974784 memory=60152 CPUtime=0.73 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 14058 12655 0 0 61 4 6 2 20 0 15 0 112123587 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3493696 15038 3134 1 0 3482965 0
[pid=26230/tid=26280] ppid=26227 vsize=13974784 memory=54256 CPUtime=0.55 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 10450 12655 0 0 44 3 6 2 20 0 15 0 112123606 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140118104417616 140118080477005 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=13974784 memory=170 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=13974784 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123607 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2 12655 0 0 0 0 6 2 20 0 15 0 112123607 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 5 12655 0 0 0 0 6 2 20 0 15 0 112123608 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=13974784 memory=26 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 33 12655 0 0 0 0 6 2 20 0 15 0 112123609 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117577032992 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=13974784 memory=53296 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 21 12655 0 0 0 0 6 2 20 0 15 0 112123609 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117575980656 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=13974784 memory=-8774313645642428999 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=13974784 memory=4872558044660077418 CPUtime=0.11 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 614 12655 0 0 3 0 6 2 20 0 15 0 112123612 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=13974784 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 224 12655 0 0 2 0 6 2 20 0 15 0 112123612 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=13974784 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 548 12655 0 0 10 0 6 2 20 0 15 0 112123612 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=13974784 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 1 12655 0 0 0 0 6 2 20 0 15 0 112123615 14310178816 15038 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 60152 KiB

[startup+1.5007 s]
/proc/loadavg: 2.06 1.92 1.95 3/215 26293
/proc/meminfo: memFree=29461496/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=13985408 memory=172900 CPUtime=1.96 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 29987 12655 0 0 178 10 6 2 20 0 15 0 112123587 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3496352 43225 3368 1 0 3485525 0
[pid=26230/tid=26280] ppid=26227 vsize=13985408 memory=4288 CPUtime=1.32 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 23575 12655 0 0 118 6 6 2 20 0 15 0 112123606 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140118104427600 140118084511823 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=13985408 memory=-7522837582236181595 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 212 12655 0 0 1 0 6 2 20 0 15 0 112123607 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=13985408 memory=6944613755495348631 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 47 12655 0 0 1 0 6 2 20 0 15 0 112123607 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=13985408 memory=7090185688094042478 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 32 12655 0 0 1 0 6 2 20 0 15 0 112123607 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=13985408 memory=7518306928696583506 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 55 12655 0 0 1 0 6 2 20 0 15 0 112123607 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=13985408 memory=5787213904088285286 CPUtime=0.09 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 740 12655 0 0 1 0 6 2 20 0 15 0 112123608 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=13985408 memory=4168 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 56 12655 0 0 0 0 6 2 20 0 15 0 112123609 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117577033056 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 44 12655 0 0 0 0 6 2 20 0 15 0 112123609 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117575980656 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=13985408 memory=3756200729085419205 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=13985408 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 1161 12655 0 0 18 0 6 2 20 0 15 0 112123612 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=13985408 memory=170 CPUtime=0.19 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 513 12655 0 0 11 0 6 2 20 0 15 0 112123612 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=13985408 memory=1 CPUtime=0.31 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 1390 12655 0 0 23 0 6 2 20 0 15 0 112123612 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=13985408 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=13985408 memory=18436 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 5 12655 0 0 0 0 6 2 20 0 15 0 112123615 14321057792 43225 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 172900 KiB

[startup+3.11595 s]

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

/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 59658 12655 0 0 16051 32 6 2 20 0 15 0 112123606 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140118104435664 140117691067496 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=14071612 memory=1424300 CPUtime=0.82 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 2279 12655 0 0 68 6 6 2 20 0 15 0 112123607 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=14071612 memory=1419164 CPUtime=0.84 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 5243 12655 0 0 70 6 6 2 20 0 15 0 112123607 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=14071612 memory=1414612 CPUtime=0.83 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 2386 12655 0 0 69 6 6 2 20 0 15 0 112123607 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=14071612 memory=1427888 CPUtime=0.83 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 1201 12655 0 0 70 5 6 2 20 0 15 0 112123607 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=14071612 memory=1414612 CPUtime=0.41 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 3885 12655 0 0 29 4 6 2 20 0 15 0 112123608 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=14071612 memory=1427888 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 80 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117577033056 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=14071612 memory=1410508 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 52 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117575980672 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=14071612 memory=1472508 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=14071612 memory=6944656592455359580 CPUtime=10.01 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 23550 12655 0 0 988 5 6 2 20 0 15 0 112123612 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=14071612 memory=1417688 CPUtime=9.83 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 18668 12655 0 0 970 5 6 2 20 0 15 0 112123612 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=14071612 memory=1724 CPUtime=3.86 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 20864 12655 0 0 372 6 6 2 20 0 15 0 112123612 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=14071612 memory=1415640 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=14071612 memory=1419164 CPUtime=0.16 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 125 12655 0 0 4 4 6 2 20 0 15 0 112123615 14409330688 353139 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 187.89 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1412556 KiB

[startup+222.301 s]
/proc/loadavg: 1.82 1.83 1.90 3/217 26442
/proc/meminfo: memFree=28002188/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=14071612 memory=1195348 CPUtime=248.94 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 153378 12655 0 0 24795 91 6 2 20 0 15 0 112123587 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3517903 298837 3490 1 0 3506517 0
[pid=26230/tid=26280] ppid=26227 vsize=14071612 memory=1240820 CPUtime=220.35 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 62287 12655 0 0 21995 32 6 2 20 0 15 0 112123606 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140118104435408 140117691067499 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=14071612 memory=1231712 CPUtime=1.15 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 3137 12655 0 0 100 7 6 2 20 0 15 0 112123607 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=14071612 memory=1226584 CPUtime=1.18 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 6645 12655 0 0 103 7 6 2 20 0 15 0 112123607 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=14071612 memory=1216836 CPUtime=1.19 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 2791 12655 0 0 103 8 6 2 20 0 15 0 112123607 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=14071612 memory=1209140 CPUtime=1.18 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2076 12655 0 0 103 7 6 2 20 0 15 0 112123607 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=14071612 memory=1196372 CPUtime=0.56 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 4402 12655 0 0 41 7 6 2 20 0 15 0 112123608 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=14071612 memory=1200976 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 85 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117577033056 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=14071612 memory=1195348 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 52 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117575980672 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=14071612 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=14071612 memory=1203540 CPUtime=10.01 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 23552 12655 0 0 988 5 6 2 20 0 15 0 112123612 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=14071612 memory=9878424783013 CPUtime=9.84 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 19531 12655 0 0 971 5 6 2 20 0 15 0 112123612 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=14071612 memory=1228 CPUtime=3.88 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 26480 12655 0 0 374 6 6 2 20 0 15 0 112123612 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=14071612 memory=14356 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=14071612 memory=1196372 CPUtime=0.19 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 183 12655 0 0 5 6 6 2 20 0 15 0 112123615 14409330688 298837 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 248.94 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1195348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+225.301 s]
/proc/loadavg: 1.84 1.83 1.90 3/217 26442
/proc/meminfo: memFree=28016140/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=14071612 memory=1179444 CPUtime=252.02 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 154717 12655 0 0 25103 91 6 2 20 0 15 0 112123587 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3517903 294861 3490 1 0 3506517 0
[pid=26230/tid=26280] ppid=26227 vsize=14071612 memory=0 CPUtime=223.32 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 62304 12655 0 0 22292 32 6 2 20 0 15 0 112123606 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118104435328 140117706349776 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=14071612 memory=1189192 CPUtime=1.17 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 3143 12655 0 0 102 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=14071612 memory=1209140 CPUtime=1.2 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 6648 12655 0 0 105 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=14071612 memory=1216836 CPUtime=1.21 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 2794 12655 0 0 105 8 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=14071612 memory=1182524 CPUtime=1.2 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2085 12655 0 0 105 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=14071612 memory=1184576 CPUtime=0.57 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 4406 12655 0 0 42 7 6 2 20 0 15 0 112123608 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=14071612 memory=1181496 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 85 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117577033056 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=14071612 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 52 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117575980672 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=14071612 memory=1231712 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=14071612 memory=928 CPUtime=10.01 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 23552 12655 0 0 988 5 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=14071612 memory=1620 CPUtime=9.87 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 20828 12655 0 0 974 5 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=14071612 memory=1196372 CPUtime=3.88 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 26480 12655 0 0 374 6 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=14071612 memory=1196372 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=14071612 memory=1239916 CPUtime=0.19 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 183 12655 0 0 5 6 6 2 20 0 15 0 112123615 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1179444 KiB

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

[startup+225.352 s]
# the end of solver process 26230 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.135 s, system=0.963911 s

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

[startup+225.301 s]
/proc/loadavg: 1.84 1.83 1.90 3/217 26442
/proc/meminfo: memFree=28016140/32770624 swapFree=67108860/67108860
[pid=26230] ppid=26227 vsize=14071612 memory=1179444 CPUtime=252.02 cores=0,2,4,6
/proc/26230/stat : 26230 (java) S 26227 26230 8289 0 -1 1077944320 154717 12655 0 0 25103 91 6 2 20 0 15 0 112123587 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140734015104272 140118100201207 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
/proc/26230/statm: 3517903 294861 3490 1 0 3506517 0
[pid=26230/tid=26280] ppid=26227 vsize=14071612 memory=0 CPUtime=223.32 cores=0,2,4,6
/proc/26230/task/26280/stat : 26280 (java) R 26227 26230 8289 0 -1 4202560 62304 12655 0 0 22292 32 6 2 20 0 15 0 112123606 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118104435328 140117706349776 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26281] ppid=26227 vsize=14071612 memory=1189192 CPUtime=1.17 cores=0,2,4,6
/proc/26230/task/26281/stat : 26281 (java) S 26227 26230 8289 0 -1 1077944384 3143 12655 0 0 102 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118019615120 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26282] ppid=26227 vsize=14071612 memory=1209140 CPUtime=1.2 cores=0,2,4,6
/proc/26230/task/26282/stat : 26282 (java) S 26227 26230 8289 0 -1 1077944384 6648 12655 0 0 105 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118018562320 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26283] ppid=26227 vsize=14071612 memory=1216836 CPUtime=1.21 cores=0,2,4,6
/proc/26230/task/26283/stat : 26283 (java) S 26227 26230 8289 0 -1 1077944384 2794 12655 0 0 105 8 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118017510032 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26284] ppid=26227 vsize=14071612 memory=1182524 CPUtime=1.2 cores=0,2,4,6
/proc/26230/task/26284/stat : 26284 (java) S 26227 26230 8289 0 -1 1077944384 2085 12655 0 0 105 7 6 2 20 0 15 0 112123607 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140118016457232 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26285] ppid=26227 vsize=14071612 memory=1184576 CPUtime=0.57 cores=0,2,4,6
/proc/26230/task/26285/stat : 26285 (java) S 26227 26230 8289 0 -1 1077944384 4406 12655 0 0 42 7 6 2 20 0 15 0 112123608 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117578087024 140118100212354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26286] ppid=26227 vsize=14071612 memory=1181496 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26286/stat : 26286 (java) S 26227 26230 8289 0 -1 1077944384 85 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117577033056 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26287] ppid=26227 vsize=14071612 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26287/stat : 26287 (java) S 26227 26230 8289 0 -1 1077944384 52 12655 0 0 0 0 6 2 20 0 15 0 112123609 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117575980672 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26288] ppid=26227 vsize=14071612 memory=1231712 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26288/stat : 26288 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117574928976 140118100219803 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26289] ppid=26227 vsize=14071612 memory=928 CPUtime=10.01 cores=0,2,4,6
/proc/26230/task/26289/stat : 26289 (java) S 26227 26230 8289 0 -1 1077944384 23552 12655 0 0 988 5 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117573875824 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26290] ppid=26227 vsize=14071612 memory=1620 CPUtime=9.87 cores=0,2,4,6
/proc/26230/task/26290/stat : 26290 (java) S 26227 26230 8289 0 -1 1077944384 20828 12655 0 0 974 5 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117572823024 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26291] ppid=26227 vsize=14071612 memory=1196372 CPUtime=3.88 cores=0,2,4,6
/proc/26230/task/26291/stat : 26291 (java) S 26227 26230 8289 0 -1 1077944384 26480 12655 0 0 374 6 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117571770736 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26292] ppid=26227 vsize=14071612 memory=1196372 CPUtime=0.08 cores=0,2,4,6
/proc/26230/task/26292/stat : 26292 (java) S 26227 26230 8289 0 -1 1077944384 3 12655 0 0 0 0 6 2 20 0 15 0 112123612 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117570718176 140118100211413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
[pid=26230/tid=26293] ppid=26227 vsize=14071612 memory=1239916 CPUtime=0.19 cores=0,2,4,6
/proc/26230/task/26293/stat : 26293 (java) S 26227 26230 8289 0 -1 1077944384 183 12655 0 0 5 6 6 2 20 0 15 0 112123615 14409330688 294861 18446744073709551615 4194304 4196468 140734015121728 140117569665968 140118100212354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7237632 140734015125424 140734015128209 140734015128209 140734015131599 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1179444 KiB

Child status: 143
Real time (s): 225.352
CPU time (s): 252.099
CPU user time (s): 251.135
CPU system time (s): 0.963911
CPU usage (%): 111.869
Max. virtual memory (cumulated for all children) (KiB): 14071612
Max. memory (cumulated for all children) (KiB): 1628480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.135
system time used= 0.963911
maximum resident set size= 1631532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26430
involuntary context switches= 715


# summary of solver processes directly reported to runsolver:
#   pid: 26230
#   total CPU time (s): 252.099
#   total CPU user time (s): 251.135
#   total CPU system time (s): 0.963911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40177 second user time and 2.18687 second system time

The end

Launcher Data

Begin job on node133 at 2017-08-13 18:37:16
IDJOB=4259808
IDBENCH=115889
IDSOLVER=2646
FILE ID=node133/4259808-1502643084
RUNJOBID= node133-1502641620-25473
PBS_JOBID= 
Free space on /tmp= 62008 MiB

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

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

MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f
RANDOM SEED=1922862475

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:        29535764 kB
MemAvailable:   30170388 kB
Buffers:          235608 kB
Cached:           694408 kB
SwapCached:            0 kB
Active:          2599760 kB
Inactive:         182264 kB
Active(anon):    1793176 kB
Inactive(anon):   100820 kB
Active(file):     806584 kB
Inactive(file):    81444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24412 kB
Writeback:             0 kB
AnonPages:       1852344 kB
Mapped:            69780 kB
Shmem:             41660 kB
Slab:             152652 kB
SReclaimable:     124864 kB
SUnreclaim:        27788 kB
KernelStack:        3504 kB
PageTables:         8800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2722764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1628160 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:41:02