Trace number 4292926

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.8-SuperNG 2018-06-13SAT (TO)102 2520.06 2465.93

General information on the benchmark

NameStillLife/
StillLife-wastage-14_c18.xml
MD5SUM24e7c51735ec9671261d78753301e43f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark104
Best CPU time to get the best result obtained on this benchmark59.3102
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

0.97/0.73	c Concrete v3.8.1528841891564 running
8.05/3.75	c 00:34:21.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1786. 'extension(false, x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: MDD 56112634, 3 edges, 4 vertices, 1 tuples
8.05/3.77	c 00:34:21.657 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1825. 'extension(false, x[1][14]=[0‥1], x[2][14]=[0‥1]) :: init: true :: relation: MDD 707250996, 3 edges, 4 vertices, 1 tuples
8.05/3.77	c 00:34:21.659 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1832. 'extension(x[13][1]=[0‥1], x[14][1]=[0‥1], false) :: init: true :: relation: MDD 56112634, 3 edges, 4 vertices, 1 tuples
8.05/3.79	c 00:34:21.672 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1871. 'extension(x[13][14]=[0‥1], x[14][14]=[0‥1], false) :: init: true :: relation: MDD 707250996, 3 edges, 4 vertices, 1 tuples
8.05/3.79	c 00:34:21.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1876. 'extension(false, x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: MDD 1956296628, 3 edges, 4 vertices, 1 tuples
8.40/3.80	c 00:34:21.687 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1915. 'extension(false, x[14][1]=[0‥1], x[14][2]=[0‥1]) :: init: true :: relation: MDD 1630968203, 3 edges, 4 vertices, 1 tuples
8.40/3.80	c 00:34:21.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1918. 'extension(x[1][13]=[0‥1], x[1][14]=[0‥1], false) :: init: true :: relation: MDD 1956296628, 3 edges, 4 vertices, 1 tuples
8.40/3.82	c 00:34:21.702 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1957. 'extension(x[14][13]=[0‥1], x[14][14]=[0‥1], false) :: init: true :: relation: MDD 1630968203, 3 edges, 4 vertices, 1 tuples
8.40/3.82	c 00:34:21.704 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1961. 'extension(x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.40/3.83	c 00:34:21.715 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1985. 'extension(x[1][14]=[0‥1], x[2][14]=[0‥1]) :: init: true :: relation: Empty MDD
8.40/3.83	c 00:34:21.716 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1989. 'extension(x[13][1]=[0‥1], x[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.40/3.84	c 00:34:21.721 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2013. 'extension(x[13][14]=[0‥1], x[14][14]=[0‥1]) :: init: true :: relation: Empty MDD
8.40/3.84	c 00:34:21.722 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2017. 'extension(x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
8.40/3.84	c 00:34:21.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2043. 'extension(x[14][1]=[0‥1], x[14][2]=[0‥1]) :: init: true :: relation: Empty MDD
8.40/3.84	c 00:34:21.728 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2049. 'extension(x[1][13]=[0‥1], x[1][14]=[0‥1]) :: init: true :: relation: Empty MDD
8.40/3.85	c 00:34:21.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2075. 'extension(x[14][13]=[0‥1], x[14][14]=[0‥1]) :: init: true :: relation: Empty MDD
12.61/5.35	o 74
12.61/5.39	o 75
15.15/6.21	o 76
15.15/6.22	o 77
15.44/6.36	o 78
15.44/6.39	o 79
16.10/6.60	o 80
16.10/6.61	o 81
18.52/7.96	o 82
19.48/8.50	o 83
21.26/9.98	o 84
21.26/9.99	o 85
28.83/16.05	o 86
28.83/16.10	o 87
35.62/22.06	o 88
36.75/23.02	o 89
38.41/24.52	o 90
38.41/24.53	o 91
60.35/43.81	o 92
97.48/78.22	o 93
103.65/84.10	o 94
103.76/84.12	o 95
186.56/165.33	o 96
222.15/200.48	o 97
229.76/207.97	o 98
574.96/548.17	o 99
654.40/626.42	o 100
720.34/691.44	o 101
2351.85/2300.15	o 102
2520.00/2465.91	Exception in thread "main" java.util.concurrent.TimeoutException
2520.00/2465.91		at concrete.MAC.mac(MAC.scala:188)
2520.00/2465.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2465.91		at scala.util.Try$.apply(Try.scala:209)
2520.00/2465.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2465.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2465.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2465.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2465.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2465.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2465.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2465.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2465.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2465.91		at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2465.91		at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2465.91		at concrete.MAC.nextSolution(MAC.scala:355)
2520.00/2465.91		at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2465.91		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2465.91		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2465.91		at concrete.Solver.foreach(Solver.scala:68)
2520.00/2465.91		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2465.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2465.91		at scala.util.Success.map(Try.scala:209)
2520.00/2465.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2465.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2465.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2465.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2465.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2465.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2465.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2465.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2465.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2465.91		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2465.91		at scala.App.main(App.scala:76)
2520.00/2465.91		at scala.App.main$(App.scala:74)
2520.00/2465.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2465.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2465.92	v <instantiation cost="102">
2520.00/2465.92	v       <list>
2520.00/2465.92	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
2520.00/2465.92	v       </list>
2520.00/2465.92	v       <values>
2520.00/2465.92	v         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 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 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 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 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 1 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 6 11 15 17 18 20 21 21 24 26 27 29 32 34 35 40 102
2520.00/2465.92	v       </values>
2520.00/2465.92	v     </instantiation>
2520.00/2465.92	s SATISFIABLE

Verifier Data

OK	102

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292926-1532298857/watcher-4292926-1532298857 -o /tmp/evaluation-result-4292926-1532298857/solver-4292926-1532298857 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=377250782 -superng HOME/instance-4292926-1532298857.xml 

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

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


[startup+0.108875 s]*
/proc/loadavg: 1.38 1.22 1.30 3/208 5451
/proc/meminfo: memFree=21728040/32770624 swapFree=67108860/67108860
[pid=5393] ppid=5390 vsize=10355560 memory=22684 CPUtime=0.09 cores=1,3,5,7
/proc/5393/stat : 5393 (java) S 5390 5393 4818 0 -1 1077944320 4809 12931 0 0 2 0 5 2 20 0 9 0 47449003 10604093440 5671 33554432000 4194304 4196468 140729408908912 140729408891456 140349228437239 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
/proc/5393/statm: 2588890 5671 2102 1 0 2551431 0
[pid=5393/tid=5446] ppid=5390 vsize=10355560 memory=-8456765882338951107 CPUtime=0.09 cores=1,3,5,7
/proc/5393/task/5446/stat : 5446 (java) R 5390 5393 4818 0 -1 4202560 2614 12931 0 0 2 0 5 2 20 0 9 0 47449012 10604093440 5671 33554432000 4194304 4196468 140729408908912 140349200273264 140349228459165 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5447] ppid=5390 vsize=10355560 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5447/stat : 5447 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 9 0 47449012 10604093440 5671 33554432000 4194304 4196468 140729408908912 140349232679952 140349228447445 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5448] ppid=5390 vsize=10355560 memory=140437478516352 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5448/stat : 5448 (java) S 5390 5393 4818 0 -1 1077944384 2 12931 0 0 0 0 5 2 20 0 9 0 47449012 10604093440 5671 33554432000 4194304 4196468 140729408908912 140349131570320 140349228447445 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5449] ppid=5390 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5449/stat : 5449 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 9 0 47449012 10604093440 5671 33554432000 4194304 4196468 140729408908912 140349130517264 140349228447445 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5450] ppid=5390 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5450/stat : 5450 (java) S 5390 5393 4818 0 -1 1077944384 2 12931 0 0 0 0 5 2 20 0 9 0 47449012 10604093440 5671 33554432000 4194304 4196468 140729408908912 140348799970192 140349228447445 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5451] ppid=5390 vsize=10355560 memory=140437478516352 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5451/stat : 5451 (java) S 5390 5393 4818 0 -1 1077944384 2 12931 0 0 0 0 5 2 20 0 9 0 47449014 10604093440 5671 33554432000 4194304 4196468 140729408908912 140348687649008 140349228448386 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5452] ppid=5390 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5452/stat : 5452 (java) S 5390 5393 4818 0 -1 1077944384 13 12931 0 0 0 0 5 2 20 0 9 0 47449014 10604093440 5671 33554432000 4194304 4196468 140729408908912 140348122719392 140349228447445 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5453] ppid=5390 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5453/stat : 5453 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 9 0 47449015 10604093440 5671 33554432000 4194304 4196468 140729408908912 140347988501296 140349228447445 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 22684 KiB

[startup+0.210099 s]*
/proc/loadavg: 1.38 1.22 1.30 3/216 5459
/proc/meminfo: memFree=21706460/32770624 swapFree=67108860/67108860
[pid=5393] ppid=5390 vsize=10818856 memory=44020 CPUtime=0.25 cores=1,3,5,7
/proc/5393/stat : 5393 (java) S 5390 5393 4818 0 -1 1077944320 8955 12931 0 0 17 1 5 2 20 0 15 0 47449003 11078508544 11005 33554432000 4194304 4196468 140729408908912 140729408891456 140349228437239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
/proc/5393/statm: 2704714 11005 2912 1 0 2667149 0
[pid=5393/tid=5446] ppid=5390 vsize=10818856 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/5393/task/5446/stat : 5446 (java) R 5390 5393 4818 0 -1 4202560 5692 12931 0 0 11 1 5 2 20 0 15 0 47449012 11078508544 11071 33554432000 4194304 4196468 140729408908912 140349200234896 140349228459165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5447] ppid=5390 vsize=10818856 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5447/stat : 5447 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449012 11078508544 11071 33554432000 4194304 4196468 140729408908912 140349232679952 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5448] ppid=5390 vsize=10818856 memory=140437478537140 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5448/stat : 5448 (java) S 5390 5393 4818 0 -1 1077944384 2 12931 0 0 0 0 5 2 20 0 15 0 47449012 11078508544 11071 33554432000 4194304 4196468 140729408908912 140349131570320 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5449] ppid=5390 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5449/stat : 5449 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449012 11078508544 11137 33554432000 4194304 4196468 140729408908912 140349130517264 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5450] ppid=5390 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5450/stat : 5450 (java) S 5390 5393 4818 0 -1 1077944384 2 12931 0 0 0 0 5 2 20 0 15 0 47449012 11078508544 11137 33554432000 4194304 4196468 140729408908912 140348799970192 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5451] ppid=5390 vsize=10818856 memory=140437478516352 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5451/stat : 5451 (java) S 5390 5393 4818 0 -1 1077944384 2 12931 0 0 0 0 5 2 20 0 15 0 47449014 11078508544 11137 33554432000 4194304 4196468 140729408908912 140348687649008 140349228448386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5452] ppid=5390 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5452/stat : 5452 (java) S 5390 5393 4818 0 -1 1077944384 13 12931 0 0 0 0 5 2 20 0 15 0 47449014 11078508544 11137 33554432000 4194304 4196468 140729408908912 140348122719392 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5453] ppid=5390 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5453/stat : 5453 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449015 11078508544 11137 33554432000 4194304 4196468 140729408908912 140347988501232 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5454] ppid=5390 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5454/stat : 5454 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11078508544 11137 33554432000 4194304 4196468 140729408908912 140347748210640 140349228455835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5455] ppid=5390 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5393/task/5455/stat : 5455 (java) S 5390 5393 4818 0 -1 1077944384 527 12931 0 0 1 0 5 2 20 0 15 0 47449017 11078508544 11137 33554432000 4194304 4196468 140729408908912 140348686596848 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5456] ppid=5390 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5456/stat : 5456 (java) S 5390 5393 4818 0 -1 1077944384 55 12931 0 0 0 0 5 2 20 0 15 0 47449017 11078508544 11137 33554432000 4194304 4196468 140729408908912 140348685544304 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5457] ppid=5390 vsize=10818856 memory=140437478516352 CPUtime=0.1 cores=1,3,5,7
/proc/5393/task/5457/stat : 5457 (java) S 5390 5393 4818 0 -1 1077944384 560 12931 0 0 3 0 5 2 20 0 15 0 47449017 11078508544 11137 33554432000 4194304 4196468 140729408908912 140348684491248 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5458] ppid=5390 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5458/stat : 5458 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11078508544 11137 33554432000 4194304 4196468 140729408908912 140347714653024 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5459] ppid=5390 vsize=10818856 memory=140437478516352 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5459/stat : 5459 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449018 11078508544 11137 33554432000 4194304 4196468 140729408908912 140348683438640 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 44020 KiB

[startup+0.310045 s]*
/proc/loadavg: 1.38 1.22 1.30 3/216 5459
/proc/meminfo: memFree=21695668/32770624 swapFree=67108860/67108860
[pid=5393] ppid=5390 vsize=10819352 memory=53768 CPUtime=0.38 cores=1,3,5,7
/proc/5393/stat : 5393 (java) S 5390 5393 4818 0 -1 1077944320 10585 12931 0 0 29 2 5 2 20 0 15 0 47449003 11079016448 13442 33554432000 4194304 4196468 140729408908912 140729408891456 140349228437239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
/proc/5393/statm: 2704838 13442 3043 1 0 2667149 0
[pid=5393/tid=5446] ppid=5390 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/5393/task/5446/stat : 5446 (java) R 5390 5393 4818 0 -1 4202560 7219 12931 0 0 20 1 5 2 20 0 15 0 47449012 11079016448 13442 33554432000 4194304 4196468 140729408908912 140349200249248 140349210000848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5447] ppid=5390 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5447/stat : 5447 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449012 11079016448 13442 33554432000 4194304 4196468 140729408908912 140349232679952 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5448] ppid=5390 vsize=10819352 memory=140437478523345 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5448/stat : 5448 (java) S 5390 5393 4818 0 -1 1077944384 2 12931 0 0 0 0 5 2 20 0 15 0 47449012 11079016448 13442 33554432000 4194304 4196468 140729408908912 140349131570320 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5449] ppid=5390 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5449/stat : 5449 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449012 11079016448 13442 33554432000 4194304 4196468 140729408908912 140349130517264 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5450] ppid=5390 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5450/stat : 5450 (java) S 5390 5393 4818 0 -1 1077944384 2 12931 0 0 0 0 5 2 20 0 15 0 47449012 11079016448 13442 33554432000 4194304 4196468 140729408908912 140348799970192 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5451] ppid=5390 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5451/stat : 5451 (java) S 5390 5393 4818 0 -1 1077944384 2 12931 0 0 0 0 5 2 20 0 15 0 47449014 11079016448 13442 33554432000 4194304 4196468 140729408908912 140348687649008 140349228448386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5452] ppid=5390 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5452/stat : 5452 (java) S 5390 5393 4818 0 -1 1077944384 13 12931 0 0 0 0 5 2 20 0 15 0 47449014 11079016448 13442 33554432000 4194304 4196468 140729408908912 140348122719392 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5453] ppid=5390 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5453/stat : 5453 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449015 11079016448 13442 33554432000 4194304 4196468 140729408908912 140347988501232 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5454] ppid=5390 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5454/stat : 5454 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11079016448 13442 33554432000 4194304 4196468 140729408908912 140347748210640 140349228455835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5455] ppid=5390 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5393/task/5455/stat : 5455 (java) S 5390 5393 4818 0 -1 1077944384 528 12931 0 0 1 0 5 2 20 0 15 0 47449017 11079016448 13442 33554432000 4194304 4196468 140729408908912 140348686596848 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5456] ppid=5390 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5393/task/5456/stat : 5456 (java) S 5390 5393 4818 0 -1 1077944384 55 12931 0 0 1 0 5 2 20 0 15 0 47449017 11079016448 13442 33554432000 4194304 4196468 140729408908912 140348685544304 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5457] ppid=5390 vsize=10819352 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/5393/task/5457/stat : 5457 (java) S 5390 5393 4818 0 -1 1077944384 568 12931 0 0 5 0 5 2 20 0 15 0 47449017 11079016448 13442 33554432000 4194304 4196468 140729408908912 140348684491248 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5458] ppid=5390 vsize=10819352 memory=140437478516352 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5458/stat : 5458 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11079016448 13442 33554432000 4194304 4196468 140729408908912 140347714653024 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5459] ppid=5390 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5459/stat : 5459 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449018 11079016448 13442 33554432000 4194304 4196468 140729408908912 140348683438640 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53768 KiB

[startup+0.700767 s]
/proc/loadavg: 1.38 1.22 1.30 7/216 5459
/proc/meminfo: memFree=21686612/32770624 swapFree=67108860/67108860
[pid=5393] ppid=5390 vsize=10819352 memory=86752 CPUtime=0.97 cores=1,3,5,7
/proc/5393/stat : 5393 (java) S 5390 5393 4818 0 -1 1077944320 16807 12931 0 0 86 4 5 2 20 0 15 0 47449003 11079016448 21688 33554432000 4194304 4196468 140729408908912 140729408891456 140349228437239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
/proc/5393/statm: 2704838 21688 3237 1 0 2667149 0
[pid=5393/tid=5446] ppid=5390 vsize=10819352 memory=140441135612453 CPUtime=0.66 cores=1,3,5,7
/proc/5393/task/5446/stat : 5446 (java) R 5390 5393 4818 0 -1 4202560 12521 12931 0 0 57 2 5 2 20 0 15 0 47449012 11079016448 21688 33554432000 4194304 4196468 140729408908912 140349200258064 140349210000749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5447] ppid=5390 vsize=10819352 memory=140441135612474 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5447/stat : 5447 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449012 11079016448 21688 33554432000 4194304 4196468 140729408908912 140349232679952 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5448] ppid=5390 vsize=10819352 memory=140441135612475 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5448/stat : 5448 (java) S 5390 5393 4818 0 -1 1077944384 2 12931 0 0 0 0 5 2 20 0 15 0 47449012 11079016448 21688 33554432000 4194304 4196468 140729408908912 140349131570320 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5449] ppid=5390 vsize=10819352 memory=140441135612477 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5449/stat : 5449 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449012 11079016448 21688 33554432000 4194304 4196468 140729408908912 140349130517264 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5450] ppid=5390 vsize=10819352 memory=140441135612483 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5450/stat : 5450 (java) S 5390 5393 4818 0 -1 1077944384 2 12931 0 0 0 0 5 2 20 0 15 0 47449012 11079016448 21688 33554432000 4194304 4196468 140729408908912 140348799970192 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5451] ppid=5390 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5451/stat : 5451 (java) S 5390 5393 4818 0 -1 1077944384 5 12931 0 0 0 0 5 2 20 0 15 0 47449014 11079016448 21688 33554432000 4194304 4196468 140729408908912 140348687649008 140349228448386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5452] ppid=5390 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5452/stat : 5452 (java) S 5390 5393 4818 0 -1 1077944384 13 12931 0 0 0 0 5 2 20 0 15 0 47449014 11079016448 21688 33554432000 4194304 4196468 140729408908912 140348122719392 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5453] ppid=5390 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5453/stat : 5453 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449015 11079016448 21688 33554432000 4194304 4196468 140729408908912 140347988501232 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5454] ppid=5390 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5454/stat : 5454 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11079016448 21688 33554432000 4194304 4196468 140729408908912 140347748210640 140349228455835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5455] ppid=5390 vsize=10819352 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/5393/task/5455/stat : 5455 (java) S 5390 5393 4818 0 -1 1077944384 805 12931 0 0 7 0 5 2 20 0 15 0 47449017 11079016448 21688 33554432000 4194304 4196468 140729408908912 140348686596848 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5456] ppid=5390 vsize=10819352 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/5393/task/5456/stat : 5456 (java) S 5390 5393 4818 0 -1 1077944384 637 12931 0 0 9 0 5 2 20 0 15 0 47449017 11079016448 21688 33554432000 4194304 4196468 140729408908912 140348685544304 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5457] ppid=5390 vsize=10819352 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/5393/task/5457/stat : 5457 (java) S 5390 5393 4818 0 -1 1077944384 624 12931 0 0 12 0 5 2 20 0 15 0 47449017 11079016448 21688 33554432000 4194304 4196468 140729408908912 140348684491248 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5458] ppid=5390 vsize=10819352 memory=5 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5458/stat : 5458 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11079016448 21688 33554432000 4194304 4196468 140729408908912 140347714653024 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5459] ppid=5390 vsize=10819352 memory=18464 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5459/stat : 5459 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449018 11079016448 21688 33554432000 4194304 4196468 140729408908912 140348683438640 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86752 KiB

[startup+1.50074 s]
/proc/loadavg: 1.38 1.22 1.30 4/216 5459
/proc/meminfo: memFree=21639660/32770624 swapFree=67108860/67108860
[pid=5393] ppid=5390 vsize=10834252 memory=181340 CPUtime=2.42 cores=1,3,5,7
/proc/5393/stat : 5393 (java) S 5390 5393 4818 0 -1 1077944320 23920 12931 0 0 227 8 5 2 20 0 15 0 47449003 11094274048 45335 33554432000 4194304 4196468 140729408908912 140729408891456 140349228437239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
/proc/5393/statm: 2708563 45335 3471 1 0 2670221 0
[pid=5393/tid=5446] ppid=5390 vsize=10834252 memory=110768 CPUtime=1.43 cores=1,3,5,7
/proc/5393/task/5446/stat : 5446 (java) R 5390 5393 4818 0 -1 4202560 17739 12931 0 0 131 5 5 2 20 0 15 0 47449012 11094274048 45335 33554432000 4194304 4196468 140729408908912 140349200245216 140349228459165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5447] ppid=5390 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5393/task/5447/stat : 5447 (java) S 5390 5393 4818 0 -1 1077944384 176 12931 0 0 1 0 5 2 20 0 15 0 47449012 11094274048 45335 33554432000 4194304 4196468 140729408908912 140349232679952 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5448] ppid=5390 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5393/task/5448/stat : 5448 (java) S 5390 5393 4818 0 -1 1077944384 24 12931 0 0 1 0 5 2 20 0 15 0 47449012 11094274048 45335 33554432000 4194304 4196468 140729408908912 140349131570320 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5449] ppid=5390 vsize=10834252 memory=140437377731408 CPUtime=0.08 cores=1,3,5,7
/proc/5393/task/5449/stat : 5449 (java) S 5390 5393 4818 0 -1 1077944384 24 12931 0 0 1 0 5 2 20 0 15 0 47449012 11094274048 45335 33554432000 4194304 4196468 140729408908912 140349130517264 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5450] ppid=5390 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5393/task/5450/stat : 5450 (java) S 5390 5393 4818 0 -1 1077944384 57 12931 0 0 1 0 5 2 20 0 15 0 47449012 11094274048 45335 33554432000 4194304 4196468 140729408908912 140348799970192 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5451] ppid=5390 vsize=10834252 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/5393/task/5451/stat : 5451 (java) S 5390 5393 4818 0 -1 1077944384 63 12931 0 0 1 0 5 2 20 0 15 0 47449014 11094274048 45335 33554432000 4194304 4196468 140729408908912 140348687649008 140349228448386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5452] ppid=5390 vsize=10834252 memory=-7452431979323206951 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5452/stat : 5452 (java) S 5390 5393 4818 0 -1 1077944384 14 12931 0 0 0 0 5 2 20 0 15 0 47449014 11094274048 45335 33554432000 4194304 4196468 140729408908912 140348122719456 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5453] ppid=5390 vsize=10834252 memory=280874755035648 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5453/stat : 5453 (java) S 5390 5393 4818 0 -1 1077944384 1 12931 0 0 0 0 5 2 20 0 15 0 47449015 11094274048 45335 33554432000 4194304 4196468 140729408908912 140347988501248 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5454] ppid=5390 vsize=10834252 memory=10799 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5454/stat : 5454 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11094274048 45335 33554432000 4194304 4196468 140729408908912 140347748210640 140349228455835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5455] ppid=5390 vsize=10834252 memory=25313 CPUtime=0.31 cores=1,3,5,7
/proc/5393/task/5455/stat : 5455 (java) S 5390 5393 4818 0 -1 1077944384 1295 12931 0 0 24 0 5 2 20 0 15 0 47449017 11094274048 45335 33554432000 4194304 4196468 140729408908912 140348686596848 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5456] ppid=5390 vsize=10834252 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/5393/task/5456/stat : 5456 (java) S 5390 5393 4818 0 -1 1077944384 895 12931 0 0 25 0 5 2 20 0 15 0 47449017 11094274048 45335 33554432000 4194304 4196468 140729408908912 140348685544304 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5457] ppid=5390 vsize=10834252 memory=321013415751723303 CPUtime=0.45 cores=1,3,5,7
/proc/5393/task/5457/stat : 5457 (java) S 5390 5393 4818 0 -1 1077944384 1438 12931 0 0 38 0 5 2 20 0 15 0 47449017 11094274048 45335 33554432000 4194304 4196468 140729408908912 140348684491248 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0

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

/proc/5393/task/5446/stat : 5446 (java) R 5390 5393 4818 0 -1 4202560 112989 12931 0 0 236052 49 5 2 20 0 15 0 47449012 11180277760 289482 33554432000 4194304 4196468 140729408908912 140349200272704 140348827121006 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5447] ppid=5390 vsize=10918240 memory=1157928 CPUtime=11.31 cores=1,3,5,7
/proc/5393/task/5447/stat : 5447 (java) S 5390 5393 4818 0 -1 1077944384 16330 12931 0 0 1076 48 5 2 20 0 15 0 47449012 11180277760 289482 33554432000 4194304 4196468 140729408908912 140349232679952 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5448] ppid=5390 vsize=10918240 memory=1157928 CPUtime=11.33 cores=1,3,5,7
/proc/5393/task/5448/stat : 5448 (java) S 5390 5393 4818 0 -1 1077944384 16417 12931 0 0 1081 45 5 2 20 0 15 0 47449012 11180277760 289482 33554432000 4194304 4196468 140729408908912 140349131570320 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5449] ppid=5390 vsize=10918240 memory=1157928 CPUtime=11.35 cores=1,3,5,7
/proc/5393/task/5449/stat : 5449 (java) S 5390 5393 4818 0 -1 1077944384 19845 12931 0 0 1084 44 5 2 20 0 15 0 47449012 11180277760 289482 33554432000 4194304 4196468 140729408908912 140349130517264 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5450] ppid=5390 vsize=10918240 memory=1157928 CPUtime=11.35 cores=1,3,5,7
/proc/5393/task/5450/stat : 5450 (java) S 5390 5393 4818 0 -1 1077944384 17718 12931 0 0 1084 44 5 2 20 0 15 0 47449012 11180277760 289482 33554432000 4194304 4196468 140729408908912 140348799970192 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5451] ppid=5390 vsize=10918240 memory=1157928 CPUtime=7.28 cores=1,3,5,7
/proc/5393/task/5451/stat : 5451 (java) S 5390 5393 4818 0 -1 1077944384 17542 12931 0 0 680 41 5 2 20 0 15 0 47449014 11180277760 289482 33554432000 4194304 4196468 140729408908912 140348687649008 140349228448386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5452] ppid=5390 vsize=10918240 memory=1157928 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5452/stat : 5452 (java) S 5390 5393 4818 0 -1 1077944384 15 12931 0 0 0 0 5 2 20 0 15 0 47449014 11180277760 289482 33554432000 4194304 4196468 140729408908912 140348122719520 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5453] ppid=5390 vsize=10918240 memory=1157928 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5453/stat : 5453 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449015 11180277760 289482 33554432000 4194304 4196468 140729408908912 140347988501248 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5454] ppid=5390 vsize=10918240 memory=280874755562712 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5454/stat : 5454 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11180277760 289482 33554432000 4194304 4196468 140729408908912 140347748210640 140349228455835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5455] ppid=5390 vsize=10918240 memory=8112282956445269571 CPUtime=8.49 cores=1,3,5,7
/proc/5393/task/5455/stat : 5455 (java) S 5390 5393 4818 0 -1 1077944384 40321 12931 0 0 835 7 5 2 20 0 15 0 47449017 11180277760 289482 33554432000 4194304 4196468 140729408908912 140348686596848 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5456] ppid=5390 vsize=10918240 memory=4136 CPUtime=8.33 cores=1,3,5,7
/proc/5393/task/5456/stat : 5456 (java) S 5390 5393 4818 0 -1 1077944384 39904 12931 0 0 820 6 5 2 20 0 15 0 47449017 11180277760 289482 33554432000 4194304 4196468 140729408908912 140348685544304 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5457] ppid=5390 vsize=10918240 memory=15900 CPUtime=3.89 cores=1,3,5,7
/proc/5393/task/5457/stat : 5457 (java) S 5390 5393 4818 0 -1 1077944384 44256 12931 0 0 375 7 5 2 20 0 15 0 47449017 11180277760 289482 33554432000 4194304 4196468 140729408908912 140348684491248 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5458] ppid=5390 vsize=10918240 memory=1157928 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5458/stat : 5458 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11180277760 289482 33554432000 4194304 4196468 140729408908912 140347714653024 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5459] ppid=5390 vsize=10918240 memory=1008 CPUtime=1.35 cores=1,3,5,7
/proc/5393/task/5459/stat : 5459 (java) S 5390 5393 4818 0 -1 1077944384 1944 12931 0 0 61 67 5 2 20 0 15 0 47449018 11180277760 289482 33554432000 4194304 4196468 140729408908912 140348683438640 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
Current children cumulated CPU time: 2435.24 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1157928 KiB

[startup+2442.3 s]
/proc/loadavg: 1.47 1.36 1.33 3/217 5690
/proc/meminfo: memFree=20217516/32770624 swapFree=67108860/67108860
[pid=5393] ppid=5390 vsize=10918240 memory=1159976 CPUtime=2496.08 cores=1,3,5,7
/proc/5393/stat : 5393 (java) S 5390 5393 4818 0 -1 1077944320 331031 12931 0 0 249273 328 5 2 20 0 15 0 47449003 11180277760 289994 33554432000 4194304 4196468 140729408908912 140729408891456 140349228437239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
/proc/5393/statm: 2729560 289994 3530 1 0 2691213 0
[pid=5393/tid=5446] ppid=5390 vsize=10918240 memory=1159976 CPUtime=2420.53 cores=1,3,5,7
/proc/5393/task/5446/stat : 5446 (java) R 5390 5393 4818 0 -1 4202560 113601 12931 0 0 241996 50 5 2 20 0 15 0 47449012 11180277760 289994 33554432000 4194304 4196468 140729408908912 140349200272320 140348814354086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5447] ppid=5390 vsize=10918240 memory=1159976 CPUtime=11.59 cores=1,3,5,7
/proc/5393/task/5447/stat : 5447 (java) S 5390 5393 4818 0 -1 1077944384 16463 12931 0 0 1104 48 5 2 20 0 15 0 47449012 11180277760 289994 33554432000 4194304 4196468 140729408908912 140349232679952 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5448] ppid=5390 vsize=10918240 memory=1157928 CPUtime=11.63 cores=1,3,5,7
/proc/5393/task/5448/stat : 5448 (java) S 5390 5393 4818 0 -1 1077944384 16455 12931 0 0 1110 46 5 2 20 0 15 0 47449012 11180277760 289994 33554432000 4194304 4196468 140729408908912 140349131570320 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5449] ppid=5390 vsize=10918240 memory=1157928 CPUtime=11.65 cores=1,3,5,7
/proc/5393/task/5449/stat : 5449 (java) S 5390 5393 4818 0 -1 1077944384 19867 12931 0 0 1113 45 5 2 20 0 15 0 47449012 11180277760 289994 33554432000 4194304 4196468 140729408908912 140349130517264 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5450] ppid=5390 vsize=10918240 memory=1159976 CPUtime=11.64 cores=1,3,5,7
/proc/5393/task/5450/stat : 5450 (java) S 5390 5393 4818 0 -1 1077944384 17827 12931 0 0 1112 45 5 2 20 0 15 0 47449012 11180277760 289994 33554432000 4194304 4196468 140729408908912 140348799970192 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5451] ppid=5390 vsize=10918240 memory=1159976 CPUtime=7.46 cores=1,3,5,7
/proc/5393/task/5451/stat : 5451 (java) S 5390 5393 4818 0 -1 1077944384 17767 12931 0 0 697 42 5 2 20 0 15 0 47449014 11180277760 289994 33554432000 4194304 4196468 140729408908912 140348687649008 140349228448386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5452] ppid=5390 vsize=10918240 memory=1159976 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5452/stat : 5452 (java) S 5390 5393 4818 0 -1 1077944384 15 12931 0 0 0 0 5 2 20 0 15 0 47449014 11180277760 289994 33554432000 4194304 4196468 140729408908912 140348122719520 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5453] ppid=5390 vsize=10918240 memory=280874755562712 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5453/stat : 5453 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449015 11180277760 289994 33554432000 4194304 4196468 140729408908912 140347988501248 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5454] ppid=5390 vsize=10918240 memory=1159976 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5454/stat : 5454 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11180277760 289994 33554432000 4194304 4196468 140729408908912 140347748210640 140349228455835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5455] ppid=5390 vsize=10918240 memory=1159976 CPUtime=8.5 cores=1,3,5,7
/proc/5393/task/5455/stat : 5455 (java) S 5390 5393 4818 0 -1 1077944384 40713 12931 0 0 836 7 5 2 20 0 15 0 47449017 11180277760 289994 33554432000 4194304 4196468 140729408908912 140348686596848 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5456] ppid=5390 vsize=10918240 memory=1159976 CPUtime=8.33 cores=1,3,5,7
/proc/5393/task/5456/stat : 5456 (java) S 5390 5393 4818 0 -1 1077944384 39906 12931 0 0 820 6 5 2 20 0 15 0 47449017 11180277760 289994 33554432000 4194304 4196468 140729408908912 140348685544304 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5457] ppid=5390 vsize=10918240 memory=1159976 CPUtime=3.89 cores=1,3,5,7
/proc/5393/task/5457/stat : 5457 (java) S 5390 5393 4818 0 -1 1077944384 44258 12931 0 0 375 7 5 2 20 0 15 0 47449017 11180277760 289994 33554432000 4194304 4196468 140729408908912 140348684491248 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5458] ppid=5390 vsize=10918240 memory=1159976 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5458/stat : 5458 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11180277760 289994 33554432000 4194304 4196468 140729408908912 140347714653024 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5459] ppid=5390 vsize=10918240 memory=1159976 CPUtime=1.38 cores=1,3,5,7
/proc/5393/task/5459/stat : 5459 (java) S 5390 5393 4818 0 -1 1077944384 1962 12931 0 0 62 69 5 2 20 0 15 0 47449018 11180277760 289994 33554432000 4194304 4196468 140729408908912 140348683438640 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
Current children cumulated CPU time: 2496.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1159976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.9 s]
/proc/loadavg: 1.55 1.38 1.34 3/215 5691
/proc/meminfo: memFree=20223264/32770624 swapFree=67108860/67108860
[pid=5393] ppid=5390 vsize=10918240 memory=1153820 CPUtime=2520 cores=1,3,5,7
/proc/5393/stat : 5393 (java) S 5390 5393 4818 0 -1 1077944320 331988 12931 0 0 251662 331 5 2 20 0 15 0 47449003 11180277760 288455 33554432000 4194304 4196468 140729408908912 140729408891456 140349228437239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
/proc/5393/statm: 2729560 288455 3530 1 0 2691213 0
[pid=5393/tid=5446] ppid=5390 vsize=10918240 memory=1159976 CPUtime=2443.91 cores=1,3,5,7
/proc/5393/task/5446/stat : 5446 (java) R 5390 5393 4818 0 -1 4202560 114136 12931 0 0 244334 50 5 2 20 0 15 0 47449012 11180277760 288455 33554432000 4194304 4196468 140729408908912 140349200271584 140348814354517 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5447] ppid=5390 vsize=10918240 memory=1159976 CPUtime=11.71 cores=1,3,5,7
/proc/5393/task/5447/stat : 5447 (java) S 5390 5393 4818 0 -1 1077944384 16487 12931 0 0 1115 49 5 2 20 0 15 0 47449012 11180277760 288455 33554432000 4194304 4196468 140729408908912 140349232679952 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5448] ppid=5390 vsize=10918240 memory=1159976 CPUtime=11.74 cores=1,3,5,7
/proc/5393/task/5448/stat : 5448 (java) S 5390 5393 4818 0 -1 1077944384 16559 12931 0 0 1121 46 5 2 20 0 15 0 47449012 11180277760 288455 33554432000 4194304 4196468 140729408908912 140349131570320 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5449] ppid=5390 vsize=10918240 memory=1159976 CPUtime=11.76 cores=1,3,5,7
/proc/5393/task/5449/stat : 5449 (java) S 5390 5393 4818 0 -1 1077944384 19917 12931 0 0 1124 45 5 2 20 0 15 0 47449012 11180277760 288455 33554432000 4194304 4196468 140729408908912 140349130517264 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5450] ppid=5390 vsize=10918240 memory=1157924 CPUtime=11.77 cores=1,3,5,7
/proc/5393/task/5450/stat : 5450 (java) S 5390 5393 4818 0 -1 1077944384 17914 12931 0 0 1124 46 5 2 20 0 15 0 47449012 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348799970192 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5451] ppid=5390 vsize=10918240 memory=4136 CPUtime=7.54 cores=1,3,5,7
/proc/5393/task/5451/stat : 5451 (java) S 5390 5393 4818 0 -1 1077944384 17914 12931 0 0 704 43 5 2 20 0 15 0 47449014 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348687649008 140349228448386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5452] ppid=5390 vsize=10918240 memory=1156896 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5452/stat : 5452 (java) S 5390 5393 4818 0 -1 1077944384 15 12931 0 0 0 0 5 2 20 0 15 0 47449014 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348122719520 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5453] ppid=5390 vsize=10918240 memory=1154844 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5453/stat : 5453 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449015 11180277760 288455 33554432000 4194304 4196468 140729408908912 140347988501248 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5454] ppid=5390 vsize=10918240 memory=1153820 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5454/stat : 5454 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11180277760 288455 33554432000 4194304 4196468 140729408908912 140347748210640 140349228455835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5455] ppid=5390 vsize=10918240 memory=1158948 CPUtime=8.5 cores=1,3,5,7
/proc/5393/task/5455/stat : 5455 (java) S 5390 5393 4818 0 -1 1077944384 40715 12931 0 0 836 7 5 2 20 0 15 0 47449017 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348686596848 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5456] ppid=5390 vsize=10918240 memory=1154844 CPUtime=8.33 cores=1,3,5,7
/proc/5393/task/5456/stat : 5456 (java) S 5390 5393 4818 0 -1 1077944384 39908 12931 0 0 820 6 5 2 20 0 15 0 47449017 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348685544304 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5457] ppid=5390 vsize=10918240 memory=1154332 CPUtime=3.89 cores=1,3,5,7
/proc/5393/task/5457/stat : 5457 (java) S 5390 5393 4818 0 -1 1077944384 44260 12931 0 0 375 7 5 2 20 0 15 0 47449017 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348684491248 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5458] ppid=5390 vsize=10918240 memory=1155872 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5458/stat : 5458 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11180277760 288455 33554432000 4194304 4196468 140729408908912 140347714653024 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5459] ppid=5390 vsize=10918240 memory=15900 CPUtime=1.4 cores=1,3,5,7
/proc/5393/task/5459/stat : 5459 (java) S 5390 5393 4818 0 -1 1077944384 1966 12931 0 0 63 70 5 2 20 0 15 0 47449018 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348683438640 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1153820 KiB

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

[startup+2465.93 s]
# the end of solver process 5393 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.71 s, system=3.35444 s

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

[startup+2465.9 s]
/proc/loadavg: 1.55 1.38 1.34 3/215 5691
/proc/meminfo: memFree=20223264/32770624 swapFree=67108860/67108860
[pid=5393] ppid=5390 vsize=10918240 memory=1153820 CPUtime=2520 cores=1,3,5,7
/proc/5393/stat : 5393 (java) S 5390 5393 4818 0 -1 1077944320 331988 12931 0 0 251662 331 5 2 20 0 15 0 47449003 11180277760 288455 33554432000 4194304 4196468 140729408908912 140729408891456 140349228437239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
/proc/5393/statm: 2729560 288455 3530 1 0 2691213 0
[pid=5393/tid=5446] ppid=5390 vsize=10918240 memory=1159976 CPUtime=2443.91 cores=1,3,5,7
/proc/5393/task/5446/stat : 5446 (java) R 5390 5393 4818 0 -1 4202560 114136 12931 0 0 244334 50 5 2 20 0 15 0 47449012 11180277760 288455 33554432000 4194304 4196468 140729408908912 140349200271584 140348814354517 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5447] ppid=5390 vsize=10918240 memory=1159976 CPUtime=11.71 cores=1,3,5,7
/proc/5393/task/5447/stat : 5447 (java) S 5390 5393 4818 0 -1 1077944384 16487 12931 0 0 1115 49 5 2 20 0 15 0 47449012 11180277760 288455 33554432000 4194304 4196468 140729408908912 140349232679952 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5448] ppid=5390 vsize=10918240 memory=1159976 CPUtime=11.74 cores=1,3,5,7
/proc/5393/task/5448/stat : 5448 (java) S 5390 5393 4818 0 -1 1077944384 16559 12931 0 0 1121 46 5 2 20 0 15 0 47449012 11180277760 288455 33554432000 4194304 4196468 140729408908912 140349131570320 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5449] ppid=5390 vsize=10918240 memory=1159976 CPUtime=11.76 cores=1,3,5,7
/proc/5393/task/5449/stat : 5449 (java) S 5390 5393 4818 0 -1 1077944384 19917 12931 0 0 1124 45 5 2 20 0 15 0 47449012 11180277760 288455 33554432000 4194304 4196468 140729408908912 140349130517264 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5450] ppid=5390 vsize=10918240 memory=1157924 CPUtime=11.77 cores=1,3,5,7
/proc/5393/task/5450/stat : 5450 (java) S 5390 5393 4818 0 -1 1077944384 17914 12931 0 0 1124 46 5 2 20 0 15 0 47449012 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348799970192 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5451] ppid=5390 vsize=10918240 memory=4136 CPUtime=7.54 cores=1,3,5,7
/proc/5393/task/5451/stat : 5451 (java) S 5390 5393 4818 0 -1 1077944384 17914 12931 0 0 704 43 5 2 20 0 15 0 47449014 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348687649008 140349228448386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5452] ppid=5390 vsize=10918240 memory=1156896 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5452/stat : 5452 (java) S 5390 5393 4818 0 -1 1077944384 15 12931 0 0 0 0 5 2 20 0 15 0 47449014 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348122719520 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5453] ppid=5390 vsize=10918240 memory=1154844 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5453/stat : 5453 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449015 11180277760 288455 33554432000 4194304 4196468 140729408908912 140347988501248 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5454] ppid=5390 vsize=10918240 memory=1153820 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5454/stat : 5454 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11180277760 288455 33554432000 4194304 4196468 140729408908912 140347748210640 140349228455835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5455] ppid=5390 vsize=10918240 memory=1158948 CPUtime=8.5 cores=1,3,5,7
/proc/5393/task/5455/stat : 5455 (java) S 5390 5393 4818 0 -1 1077944384 40715 12931 0 0 836 7 5 2 20 0 15 0 47449017 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348686596848 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5456] ppid=5390 vsize=10918240 memory=1154844 CPUtime=8.33 cores=1,3,5,7
/proc/5393/task/5456/stat : 5456 (java) S 5390 5393 4818 0 -1 1077944384 39908 12931 0 0 820 6 5 2 20 0 15 0 47449017 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348685544304 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5457] ppid=5390 vsize=10918240 memory=1154332 CPUtime=3.89 cores=1,3,5,7
/proc/5393/task/5457/stat : 5457 (java) S 5390 5393 4818 0 -1 1077944384 44260 12931 0 0 375 7 5 2 20 0 15 0 47449017 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348684491248 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5458] ppid=5390 vsize=10918240 memory=1155872 CPUtime=0.07 cores=1,3,5,7
/proc/5393/task/5458/stat : 5458 (java) S 5390 5393 4818 0 -1 1077944384 3 12931 0 0 0 0 5 2 20 0 15 0 47449017 11180277760 288455 33554432000 4194304 4196468 140729408908912 140347714653024 140349228447445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
[pid=5393/tid=5459] ppid=5390 vsize=10918240 memory=15900 CPUtime=1.4 cores=1,3,5,7
/proc/5393/task/5459/stat : 5459 (java) S 5390 5393 4818 0 -1 1077944384 1966 12931 0 0 63 70 5 2 20 0 15 0 47449018 11180277760 288455 33554432000 4194304 4196468 140729408908912 140348683438640 140349228448386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6336512 140729408915628 140729408918876 140729408918876 140729408921551 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1153820 KiB

Child status: 143
Real time (s): 2465.93
CPU time (s): 2520.06
CPU user time (s): 2516.71
CPU system time (s): 3.35444
CPU usage (%): 102.195
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1569284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.71
system time used= 3.35444
maximum resident set size= 1571876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217179
involuntary context switches= 5349


# summary of solver processes directly reported to runsolver:
#   pid: 5393
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.71
#   total CPU system time (s): 3.35444

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0346 second user time and 22.5655 second system time

The end

Launcher Data

Begin job on node150 at 2018-07-23 00:34:17
IDJOB=4292926
IDBENCH=141039
IDSOLVER=2751
FILE ID=node150/4292926-1532298857
RUNJOBID= node150-1532297041-4850
PBS_JOBID= 21018991
Free space on /tmp= 57228 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/StillLife/StillLife-wastage-14_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292926-1532298857/watcher-4292926-1532298857 -o /tmp/evaluation-result-4292926-1532298857/solver-4292926-1532298857 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=377250782 -superng HOME/instance-4292926-1532298857.xml

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

MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f
RANDOM SEED=377250782

node150.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.76
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.76
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.76
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.76
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:        21737328 kB
MemAvailable:   30792920 kB
Buffers:          197600 kB
Cached:          9066156 kB
SwapCached:            0 kB
Active:          2300940 kB
Inactive:        8161588 kB
Active(anon):    1157248 kB
Inactive(anon):    61468 kB
Active(file):    1143692 kB
Inactive(file):  8100120 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26724 kB
Writeback:             0 kB
AnonPages:       1206524 kB
Mapped:            49452 kB
Shmem:             17032 kB
Slab:             267820 kB
SReclaimable:     240240 kB
SUnreclaim:        27580 kB
KernelStack:        3504 kB
PageTables:         7572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2140320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    940032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57200 MiB
End job on node150 at 2018-07-23 01:15:23