Trace number 4302616

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.9.2-SuperNGSAT (TO)159 252.126 227.352

General information on the benchmark

NameStillLife/
StillLife-wastage-19_c18.xml
MD5SUMbc316652a8a0d5c7d33934cb88eaeb44
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark168
Best CPU time to get the best result obtained on this benchmark252.144
Satisfiable
(Un)Satisfiability was proved
Number of variables904
Number of constraints559
Number of domains4
Minimum domain size2
Maximum domain size883
Distribution of domain sizes[{"size":2,"count":441},{"size":3,"count":441},{"size":362,"count":1},{"size":883,"count":21}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":438},{"degree":3,"count":24},{"degree":4,"count":76},{"degree":8,"count":72},{"degree":9,"count":289},{"degree":22,"count":1}]
Minimum constraint arity2
Maximum constraint arity23
Distribution of constraint arities[{"arity":2,"count":97},{"arity":3,"count":76},{"arity":10,"count":361},{"arity":21,"count":4},{"arity":22,"count":1},{"arity":23,"count":20}]
Number of extensional constraints437
Number of intensional constraints96
Distribution of constraint types[{"type":"extension","count":437},{"type":"intension","count":96},{"type":"sum","count":22},{"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.99/0.74	c Concrete v3.9.2.1532736233296 running
8.67/3.99	c 21:40:15.660 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2576. 'extension(false, x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: MDD 969014795, 3 edges, 4 vertices, 1 tuples
9.04/4.02	c 21:40:15.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2630. 'extension(false, x[1][19]=[0‥1], x[2][19]=[0‥1]) :: init: true :: relation: MDD 914039525, 3 edges, 4 vertices, 1 tuples
9.04/4.02	c 21:40:15.691 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2637. 'extension(x[18][1]=[0‥1], x[19][1]=[0‥1], false) :: init: true :: relation: MDD 969014795, 3 edges, 4 vertices, 1 tuples
9.04/4.04	c 21:40:15.708 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2691. 'extension(x[18][19]=[0‥1], x[19][19]=[0‥1], false) :: init: true :: relation: MDD 914039525, 3 edges, 4 vertices, 1 tuples
9.04/4.04	c 21:40:15.710 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2696. 'extension(false, x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: MDD 774095232, 3 edges, 4 vertices, 1 tuples
9.04/4.05	c 21:40:15.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2750. 'extension(false, x[19][1]=[0‥1], x[19][2]=[0‥1]) :: init: true :: relation: MDD 1747025217, 3 edges, 4 vertices, 1 tuples
9.04/4.06	c 21:40:15.726 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2753. 'extension(x[1][18]=[0‥1], x[1][19]=[0‥1], false) :: init: true :: relation: MDD 774095232, 3 edges, 4 vertices, 1 tuples
9.04/4.07	c 21:40:15.741 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2807. 'extension(x[19][18]=[0‥1], x[19][19]=[0‥1], false) :: init: true :: relation: MDD 1747025217, 3 edges, 4 vertices, 1 tuples
9.04/4.07	c 21:40:15.743 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2811. 'extension(x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
9.04/4.09	c 21:40:15.756 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2845. 'extension(x[1][19]=[0‥1], x[2][19]=[0‥1]) :: init: true :: relation: Empty MDD
9.04/4.09	c 21:40:15.756 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2849. 'extension(x[18][1]=[0‥1], x[19][1]=[0‥1]) :: init: true :: relation: Empty MDD
9.04/4.10	c 21:40:15.762 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2883. 'extension(x[18][19]=[0‥1], x[19][19]=[0‥1]) :: init: true :: relation: Empty MDD
9.04/4.10	c 21:40:15.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2887. 'extension(x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
9.38/4.10	c 21:40:15.770 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2923. 'extension(x[19][1]=[0‥1], x[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
9.38/4.10	c 21:40:15.771 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2929. 'extension(x[1][18]=[0‥1], x[1][19]=[0‥1]) :: init: true :: relation: Empty MDD
9.38/4.11	c 21:40:15.777 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2965. 'extension(x[19][18]=[0‥1], x[19][19]=[0‥1]) :: init: true :: relation: Empty MDD
16.62/6.52	o 140
16.62/6.59	o 141
16.89/6.61	o 142
16.89/6.63	o 143
19.80/8.00	o 145
19.80/8.02	o 146
19.80/8.04	o 147
19.80/8.05	o 148
19.80/8.06	o 149
21.50/8.73	o 150
21.50/8.74	o 151
21.50/8.75	o 152
34.20/18.11	o 153
38.87/22.16	o 154
38.87/22.19	o 155
97.57/74.94	o 156
97.57/74.95	o 157
97.57/74.96	o 158
238.55/214.28	o 159
252.07/227.31	Exception in thread "main" java.util.concurrent.TimeoutException
252.07/227.31		at concrete.MAC.mac(MAC.scala:188)
252.07/227.31		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.07/227.31		at scala.util.Try$.apply(Try.scala:209)
252.07/227.31		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.07/227.31		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.07/227.31		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.07/227.31		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.07/227.31		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.07/227.31		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.07/227.31		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.07/227.31		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.07/227.31		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.07/227.31		at concrete.MAC.oneRun(MAC.scala:253)
252.07/227.31		at concrete.MAC.nextSolution(MAC.scala:272)
252.07/227.31		at concrete.MAC.nextSolution(MAC.scala:355)
252.07/227.31		at concrete.Solver.hasNext(Solver.scala:166)
252.07/227.31		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.07/227.31		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.07/227.31		at concrete.Solver.foreach(Solver.scala:68)
252.07/227.31		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.07/227.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.07/227.31		at scala.util.Success.map(Try.scala:209)
252.07/227.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.07/227.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.07/227.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.07/227.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.07/227.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.07/227.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.07/227.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.07/227.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.07/227.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.07/227.31		at scala.collection.immutable.List.foreach(List.scala:389)
252.07/227.31		at scala.App.main(App.scala:76)
252.07/227.31		at scala.App.main$(App.scala:74)
252.07/227.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.07/227.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.07/227.32	v <instantiation cost="159">
252.07/227.32	v       <list>
252.07/227.32	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] z
252.07/227.32	v       </list>
252.07/227.32	v       <values>
252.07/227.32	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 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 0 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 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 2 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 2 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 1 0 2 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 2 1 1 2 2 1 1 2 1 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 9 18 23 32 37 42 48 48 53 65 74 79 88 96 105 108 114 120 125 147 162 159
252.07/227.32	v       </values>
252.07/227.32	v     </instantiation>
252.07/227.32	s SATISFIABLE

Verifier Data 

OK	159

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302616-1532893211/watcher-4302616-1532893211 -o /tmp/evaluation-result-4302616-1532893211/solver-4302616-1532893211 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=868099235 -superng HOME/instance-4302616-1532893211.xml 

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

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


[startup+0.10014 s]*
/proc/loadavg: 2.20 2.13 2.09 3/207 14006
/proc/meminfo: memFree=22857420/32770624 swapFree=67108404/67108860
[pid=13949] ppid=13946 vsize=10021560 memory=17340 CPUtime=0.09 cores=1,3,5,7
/proc/13949/stat : 13949 (java) S 13946 13949 12222 0 -1 1077944320 4507 13267 0 0 1 0 5 3 20 0 6 0 106884262 10262077440 4335 33554432000 4194304 4196468 140720988626672 140720988609216 139712398565111 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
/proc/13949/statm: 2505390 4335 1957 1 0 2493828 0
[pid=13949/tid=14002] ppid=13946 vsize=10088124 memory=4279135703913103502 CPUtime=0.09 cores=1,3,5,7
/proc/13949/task/14002/stat : 14002 (java) R 13946 13949 12222 0 -1 4202560 2382 13267 0 0 1 0 5 3 20 0 7 0 106884271 10330238976 4401 33554432000 4194304 4196468 140720988626672 139712370408208 139712380854432 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14003] ppid=13946 vsize=10088124 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14003/stat : 14003 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 7 0 106884272 10330238976 4401 33554432000 4194304 4196468 140720988626672 139712402807312 139712398575317 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14004] ppid=13946 vsize=10088124 memory=139967766836864 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14004/stat : 14004 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 7 0 106884272 10330238976 4401 33554432000 4194304 4196468 140720988626672 139712268143248 139712398575317 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14005] ppid=13946 vsize=10088124 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14005/stat : 14005 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 7 0 106884272 10330238976 4401 33554432000 4194304 4196468 140720988626672 139711936850192 139712398575317 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14006] ppid=13946 vsize=10088124 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14006/stat : 14006 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 7 0 106884272 10330238976 4401 33554432000 4194304 4196468 140720988626672 139711935797648 139712398575317 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14007] ppid=13946 vsize=10088124 memory=139967766836864 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14007/stat : 14007 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 7 0 106884273 10330238976 4401 33554432000 4194304 4196468 140720988626672 139711824530160 139712398576258 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10021560 KiB
Current children cumulated memory: 17340 KiB

[startup+0.210037 s]*
/proc/loadavg: 2.20 2.13 2.09 3/216 14015
/proc/meminfo: memFree=22835332/32770624 swapFree=67108404/67108860
[pid=13949] ppid=13946 vsize=10982744 memory=45616 CPUtime=0.26 cores=1,3,5,7
/proc/13949/stat : 13949 (java) S 13946 13949 12222 0 -1 1077944320 8759 13267 0 0 16 2 5 3 20 0 15 0 106884262 11246329856 11404 33554432000 4194304 4196468 140720988626672 140720988609216 139712398565111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
/proc/13949/statm: 2745686 11404 2943 1 0 2708109 0
[pid=13949/tid=14002] ppid=13946 vsize=10982776 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/13949/task/14002/stat : 14002 (java) R 13946 13949 12222 0 -1 4202560 5700 13267 0 0 11 1 5 3 20 0 15 0 106884271 11246362624 11799 33554432000 4194304 4196468 140720988626672 139712370389920 139712391244829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14003] ppid=13946 vsize=10982776 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14003/stat : 14003 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246362624 11799 33554432000 4194304 4196468 140720988626672 139712402807312 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14004] ppid=13946 vsize=10982776 memory=139967767448168 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14004/stat : 14004 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246362624 11799 33554432000 4194304 4196468 140720988626672 139712268143248 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14005] ppid=13946 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14005/stat : 14005 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246362624 11799 33554432000 4194304 4196468 140720988626672 139711936850192 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14006] ppid=13946 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14006/stat : 14006 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246362624 11865 33554432000 4194304 4196468 140720988626672 139711935797648 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14007] ppid=13946 vsize=10982776 memory=139967766836864 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14007/stat : 14007 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884273 11246362624 11865 33554432000 4194304 4196468 140720988626672 139711824530160 139712398576258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14008] ppid=13946 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14008/stat : 14008 (java) S 13946 13949 12222 0 -1 1077944384 13 13267 0 0 0 0 5 3 20 0 15 0 106884274 11246362624 11865 33554432000 4194304 4196468 140720988626672 139711273232032 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14009] ppid=13946 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14009/stat : 14009 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884274 11246362624 11865 33554432000 4194304 4196468 140720988626672 139711125382384 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14010] ppid=13946 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14010/stat : 14010 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11246362624 11931 33554432000 4194304 4196468 140720988626672 139710817982928 139712398583707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14011] ppid=13946 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14011/stat : 14011 (java) S 13946 13949 12222 0 -1 1077944384 442 13267 0 0 0 0 5 3 20 0 15 0 106884277 11246362624 11931 33554432000 4194304 4196468 140720988626672 139711823476976 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14012] ppid=13946 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14012/stat : 14012 (java) S 13946 13949 12222 0 -1 1077944384 181 13267 0 0 0 0 5 3 20 0 15 0 106884277 11246362624 11931 33554432000 4194304 4196468 140720988626672 139711822424432 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14013] ppid=13946 vsize=10982776 memory=139967766836864 CPUtime=0.11 cores=1,3,5,7
/proc/13949/task/14013/stat : 14013 (java) S 13946 13949 12222 0 -1 1077944384 613 13267 0 0 3 0 5 3 20 0 15 0 106884277 11246362624 11931 33554432000 4194304 4196468 140720988626672 139711821371376 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14014] ppid=13946 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14014/stat : 14014 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11246362624 11997 33554432000 4194304 4196468 140720988626672 139710387186016 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14015] ppid=13946 vsize=10982776 memory=139967766836864 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14015/stat : 14015 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884277 11246362624 11997 33554432000 4194304 4196468 140720988626672 139711820319792 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45616 KiB

[startup+0.310466 s]*
/proc/loadavg: 2.20 2.13 2.09 3/216 14015
/proc/meminfo: memFree=22821688/32770624 swapFree=67108404/67108860
[pid=13949] ppid=13946 vsize=10983192 memory=56076 CPUtime=0.39 cores=1,3,5,7
/proc/13949/stat : 13949 (java) S 13946 13949 12222 0 -1 1077944320 10632 13267 0 0 28 3 5 3 20 0 15 0 106884262 11246788608 14019 33554432000 4194304 4196468 140720988626672 140720988609216 139712398565111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
/proc/13949/statm: 2745798 14019 3062 1 0 2708109 0
[pid=13949/tid=14002] ppid=13946 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/13949/task/14002/stat : 14002 (java) R 13946 13949 12222 0 -1 4202560 7159 13267 0 0 20 1 5 3 20 0 15 0 106884271 11246788608 14019 33554432000 4194304 4196468 140720988626672 139712370377120 139712382645598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14003] ppid=13946 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14003/stat : 14003 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246788608 14019 33554432000 4194304 4196468 140720988626672 139712402807312 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14004] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14004/stat : 14004 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246788608 14019 33554432000 4194304 4196468 140720988626672 139712268143248 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14005] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14005/stat : 14005 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246788608 14019 33554432000 4194304 4196468 140720988626672 139711936850192 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14006] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14006/stat : 14006 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246788608 14019 33554432000 4194304 4196468 140720988626672 139711935797648 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14007] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14007/stat : 14007 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884273 11246788608 14019 33554432000 4194304 4196468 140720988626672 139711824530160 139712398576258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14008] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14008/stat : 14008 (java) S 13946 13949 12222 0 -1 1077944384 13 13267 0 0 0 0 5 3 20 0 15 0 106884274 11246788608 14019 33554432000 4194304 4196468 140720988626672 139711273232032 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14009] ppid=13946 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14009/stat : 14009 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884274 11246788608 14019 33554432000 4194304 4196468 140720988626672 139711125382384 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14010] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14010/stat : 14010 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11246788608 14019 33554432000 4194304 4196468 140720988626672 139710817982928 139712398583707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14011] ppid=13946 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13949/task/14011/stat : 14011 (java) S 13946 13949 12222 0 -1 1077944384 445 13267 0 0 1 0 5 3 20 0 15 0 106884277 11246788608 14019 33554432000 4194304 4196468 140720988626672 139711823476976 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14012] ppid=13946 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/13949/task/14012/stat : 14012 (java) S 13946 13949 12222 0 -1 1077944384 184 13267 0 0 1 0 5 3 20 0 15 0 106884277 11246788608 14019 33554432000 4194304 4196468 140720988626672 139711822424432 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14013] ppid=13946 vsize=10983192 memory=139967766836864 CPUtime=0.13 cores=1,3,5,7
/proc/13949/task/14013/stat : 14013 (java) S 13946 13949 12222 0 -1 1077944384 621 13267 0 0 5 0 5 3 20 0 15 0 106884277 11246788608 14019 33554432000 4194304 4196468 140720988626672 139711821371376 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14014] ppid=13946 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14014/stat : 14014 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11246788608 14019 33554432000 4194304 4196468 140720988626672 139710387186016 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14015] ppid=13946 vsize=10983192 memory=139967766836864 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14015/stat : 14015 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884277 11246788608 14019 33554432000 4194304 4196468 140720988626672 139711820319792 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56076 KiB

[startup+0.700774 s]
/proc/loadavg: 2.20 2.13 2.09 3/216 14015
/proc/meminfo: memFree=22812880/32770624 swapFree=67108404/67108860
[pid=13949] ppid=13946 vsize=10983192 memory=88768 CPUtime=0.99 cores=1,3,5,7
/proc/13949/stat : 13949 (java) S 13946 13949 12222 0 -1 1077944320 16795 13267 0 0 87 4 5 3 20 0 15 0 106884262 11246788608 22192 33554432000 4194304 4196468 140720988626672 140720988609216 139712398565111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
/proc/13949/statm: 2745798 22192 3242 1 0 2708109 0
[pid=13949/tid=14002] ppid=13946 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/13949/task/14002/stat : 14002 (java) R 13946 13949 12222 0 -1 4202560 12253 13267 0 0 56 2 5 3 20 0 15 0 106884271 11246788608 22192 33554432000 4194304 4196468 140720988626672 139712370385936 139712380128671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14003] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14003/stat : 14003 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246788608 22192 33554432000 4194304 4196468 140720988626672 139712402807312 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14004] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14004/stat : 14004 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246788608 22192 33554432000 4194304 4196468 140720988626672 139712268143248 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14005] ppid=13946 vsize=10983192 memory=279935230935280 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14005/stat : 14005 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246788608 22192 33554432000 4194304 4196468 140720988626672 139711936850192 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14006] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14006/stat : 14006 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884272 11246788608 22192 33554432000 4194304 4196468 140720988626672 139711935797648 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14007] ppid=13946 vsize=10983192 memory=279935230935280 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14007/stat : 14007 (java) S 13946 13949 12222 0 -1 1077944384 5 13267 0 0 0 0 5 3 20 0 15 0 106884273 11246788608 22192 33554432000 4194304 4196468 140720988626672 139711824530160 139712398576258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14008] ppid=13946 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14008/stat : 14008 (java) S 13946 13949 12222 0 -1 1077944384 13 13267 0 0 0 0 5 3 20 0 15 0 106884274 11246788608 22192 33554432000 4194304 4196468 140720988626672 139711273232032 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14009] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14009/stat : 14009 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884274 11246788608 22192 33554432000 4194304 4196468 140720988626672 139711125382384 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14010] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14010/stat : 14010 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11246788608 22192 33554432000 4194304 4196468 140720988626672 139710817982928 139712398583707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14011] ppid=13946 vsize=10983192 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/13949/task/14011/stat : 14011 (java) S 13946 13949 12222 0 -1 1077944384 1076 13267 0 0 10 0 5 3 20 0 15 0 106884277 11246788608 22192 33554432000 4194304 4196468 140720988626672 139711823476976 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14012] ppid=13946 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/13949/task/14012/stat : 14012 (java) S 13946 13949 12222 0 -1 1077944384 545 13267 0 0 6 0 5 3 20 0 15 0 106884277 11246788608 22192 33554432000 4194304 4196468 140720988626672 139711822424432 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14013] ppid=13946 vsize=10983192 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/13949/task/14013/stat : 14013 (java) S 13946 13949 12222 0 -1 1077944384 692 13267 0 0 13 0 5 3 20 0 15 0 106884277 11246788608 22192 33554432000 4194304 4196468 140720988626672 139711821371376 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14014] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14014/stat : 14014 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11246788608 22192 33554432000 4194304 4196468 140720988626672 139710387186016 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14015] ppid=13946 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14015/stat : 14015 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884277 11246788608 22192 33554432000 4194304 4196468 140720988626672 139711820319792 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88768 KiB

[startup+1.50157 s]
/proc/loadavg: 2.20 2.13 2.09 4/216 14015
/proc/meminfo: memFree=22766564/32770624 swapFree=67108404/67108860
[pid=13949] ppid=13946 vsize=10998092 memory=190012 CPUtime=2.9 cores=1,3,5,7
/proc/13949/stat : 13949 (java) S 13946 13949 12222 0 -1 1077944320 26862 13267 0 0 272 10 5 3 20 0 15 0 106884262 11262046208 47503 33554432000 4194304 4196468 140720988626672 140720988609216 139712398565111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
/proc/13949/statm: 2749523 47503 3467 1 0 2711181 0
[pid=13949/tid=14002] ppid=13946 vsize=10998092 memory=-7751062316387021378 CPUtime=1.43 cores=1,3,5,7
/proc/13949/task/14002/stat : 14002 (java) R 13946 13949 12222 0 -1 4202560 17343 13267 0 0 130 5 5 3 20 0 15 0 106884271 11262046208 47503 33554432000 4194304 4196468 140720988626672 139712370382064 139712398587037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14003] ppid=13946 vsize=10998092 memory=-6298953081951440413 CPUtime=0.09 cores=1,3,5,7
/proc/13949/task/14003/stat : 14003 (java) S 13946 13949 12222 0 -1 1077944384 61 13267 0 0 1 0 5 3 20 0 15 0 106884272 11262046208 47503 33554432000 4194304 4196468 140720988626672 139712402807312 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14004] ppid=13946 vsize=10998092 memory=-2026666227646604569 CPUtime=0.09 cores=1,3,5,7
/proc/13949/task/14004/stat : 14004 (java) S 13946 13949 12222 0 -1 1077944384 34 13267 0 0 1 0 5 3 20 0 15 0 106884272 11262046208 47503 33554432000 4194304 4196468 140720988626672 139712268143248 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14005] ppid=13946 vsize=10998092 memory=119596 CPUtime=0.09 cores=1,3,5,7
/proc/13949/task/14005/stat : 14005 (java) S 13946 13949 12222 0 -1 1077944384 172 13267 0 0 1 0 5 3 20 0 15 0 106884272 11262046208 47503 33554432000 4194304 4196468 140720988626672 139711936850192 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14006] ppid=13946 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13949/task/14006/stat : 14006 (java) S 13946 13949 12222 0 -1 1077944384 21 13267 0 0 1 0 5 3 20 0 15 0 106884272 11262046208 47503 33554432000 4194304 4196468 140720988626672 139711935797648 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14007] ppid=13946 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13949/task/14007/stat : 14007 (java) S 13946 13949 12222 0 -1 1077944384 53 13267 0 0 1 0 5 3 20 0 15 0 106884273 11262046208 47503 33554432000 4194304 4196468 140720988626672 139711824530160 139712398576258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14008] ppid=13946 vsize=10998092 memory=279935231001952 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14008/stat : 14008 (java) S 13946 13949 12222 0 -1 1077944384 13 13267 0 0 0 0 5 3 20 0 15 0 106884274 11262046208 47503 33554432000 4194304 4196468 140720988626672 139711273232032 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14009] ppid=13946 vsize=10998092 memory=279935231409440 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14009/stat : 14009 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884274 11262046208 47503 33554432000 4194304 4196468 140720988626672 139711125382384 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14010] ppid=13946 vsize=10998092 memory=139967616433904 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14010/stat : 14010 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11262046208 47503 33554432000 4194304 4196468 140720988626672 139710817982928 139712398583707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14011] ppid=13946 vsize=10998092 memory=7810487918915055718 CPUtime=0.57 cores=1,3,5,7
/proc/13949/task/14011/stat : 14011 (java) R 13946 13949 12222 0 -1 4202560 2955 13267 0 0 49 0 5 3 20 0 15 0 106884277 11262046208 47503 33554432000 4194304 4196468 140720988626672 139711823463520 139712380109315 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14012] ppid=13946 vsize=10998092 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/13949/task/14012/stat : 14012 (java) R 13946 13949 12222 0 -1 4202560 2278 13267 0 0 44 1 5 3 20 0 15 0 106884277 11262046208 47503 33554432000 4194304 4196468 140720988626672 139711822403984 139712398586458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14013] ppid=13946 vsize=10998092 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/13949/task/14013/stat : 14013 (java) S 13946 13949 12222 0 -1 1077944384 1726 13267 0 0 41 1 5 3 20 0 15 0 106884277 11262046208 47503 33554432000 4194304 4196468 140720988626672 139711821371376 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14014] ppid=13946 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14014/stat : 14014 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11262046208 47503 33554432000 4194304 4196468 140720988626672 139710387186016 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14015] ppid=13946 vsize=10998092 memory=6339371730082 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14015/stat : 14015 (java) S 13946 13949 12222 0 -1 1077944384 1 13267 0 0 0 0 5 3 20 0 15 0 106884277 11262046208 47503 33554432000 4194304 4196468 140720988626672 139711820319792 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0

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

/proc/13949/task/14002/stat : 14002 (java) R 13946 13949 12222 0 -1 4202560 60323 13267 0 0 16076 43 5 3 20 0 15 0 106884271 11348049920 702488 33554432000 4194304 4196468 140720988626672 139712370400560 139711969603389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14003] ppid=13946 vsize=11082080 memory=2809952 CPUtime=0.92 cores=1,3,5,7
/proc/13949/task/14003/stat : 14003 (java) S 13946 13949 12222 0 -1 1077944384 3310 13267 0 0 63 21 5 3 20 0 15 0 106884272 11348049920 702488 33554432000 4194304 4196468 140720988626672 139712402807312 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14004] ppid=13946 vsize=11082080 memory=2809952 CPUtime=0.9 cores=1,3,5,7
/proc/13949/task/14004/stat : 14004 (java) S 13946 13949 12222 0 -1 1077944384 1445 13267 0 0 62 20 5 3 20 0 15 0 106884272 11348049920 702488 33554432000 4194304 4196468 140720988626672 139712268143248 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14005] ppid=13946 vsize=11082080 memory=279935231306720 CPUtime=0.91 cores=1,3,5,7
/proc/13949/task/14005/stat : 14005 (java) S 13946 13949 12222 0 -1 1077944384 3911 13267 0 0 63 20 5 3 20 0 15 0 106884272 11348049920 702488 33554432000 4194304 4196468 140720988626672 139711936850192 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14006] ppid=13946 vsize=11082080 memory=2809952 CPUtime=0.9 cores=1,3,5,7
/proc/13949/task/14006/stat : 14006 (java) S 13946 13949 12222 0 -1 1077944384 3155 13267 0 0 62 20 5 3 20 0 15 0 106884272 11348049920 702488 33554432000 4194304 4196468 140720988626672 139711935797648 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14007] ppid=13946 vsize=11082080 memory=2809952 CPUtime=0.17 cores=1,3,5,7
/proc/13949/task/14007/stat : 14007 (java) S 13946 13949 12222 0 -1 1077944384 7838 13267 0 0 8 1 5 3 20 0 15 0 106884273 11348049920 702488 33554432000 4194304 4196468 140720988626672 139711824530160 139712398576258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14008] ppid=13946 vsize=11082080 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14008/stat : 14008 (java) S 13946 13949 12222 0 -1 1077944384 17 13267 0 0 0 0 5 3 20 0 15 0 106884274 11348049920 702488 33554432000 4194304 4196468 140720988626672 139711273232096 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14009] ppid=13946 vsize=11082080 memory=2809952 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14009/stat : 14009 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884274 11348049920 702488 33554432000 4194304 4196468 140720988626672 139711125382400 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14010] ppid=13946 vsize=11082080 memory=2809952 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14010/stat : 14010 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11348049920 702488 33554432000 4194304 4196468 140720988626672 139710817982928 139712398583707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14011] ppid=13946 vsize=11082080 memory=9 CPUtime=8.71 cores=1,3,5,7
/proc/13949/task/14011/stat : 14011 (java) S 13946 13949 12222 0 -1 1077944384 20143 13267 0 0 859 4 5 3 20 0 15 0 106884277 11348049920 702488 33554432000 4194304 4196468 140720988626672 139711823476976 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14012] ppid=13946 vsize=11082080 memory=2809952 CPUtime=8.84 cores=1,3,5,7
/proc/13949/task/14012/stat : 14012 (java) S 13946 13949 12222 0 -1 1077944384 19446 13267 0 0 870 6 5 3 20 0 15 0 106884277 11348049920 702488 33554432000 4194304 4196468 140720988626672 139711822424432 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14013] ppid=13946 vsize=11082080 memory=1300 CPUtime=3.94 cores=1,3,5,7
/proc/13949/task/14013/stat : 14013 (java) S 13946 13949 12222 0 -1 1077944384 16597 13267 0 0 379 7 5 3 20 0 15 0 106884277 11348049920 702488 33554432000 4194304 4196468 140720988626672 139711821371376 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14014] ppid=13946 vsize=11082080 memory=2809952 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14014/stat : 14014 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11348049920 702488 33554432000 4194304 4196468 140720988626672 139710387186016 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14015] ppid=13946 vsize=11082080 memory=2809952 CPUtime=0.16 cores=1,3,5,7
/proc/13949/task/14015/stat : 14015 (java) S 13946 13949 12222 0 -1 1077944384 269 13267 0 0 4 4 5 3 20 0 15 0 106884277 11348049920 702488 33554432000 4194304 4196468 140720988626672 139711820319792 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
Current children cumulated CPU time: 186.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2809952 KiB

[startup+222.31 s]
/proc/loadavg: 1.73 1.93 2.03 3/215 14150
/proc/meminfo: memFree=18838864/32770624 swapFree=67108404/67108860
[pid=13949] ppid=13946 vsize=11082080 memory=2536416 CPUtime=247.02 cores=1,3,5,7
/proc/13949/stat : 13949 (java) S 13946 13949 12222 0 -1 1077944320 161826 13267 0 0 24539 155 5 3 20 0 15 0 106884262 11348049920 634104 33554432000 4194304 4196468 140720988626672 140720988609216 139712398565111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
/proc/13949/statm: 2770520 634104 3530 1 0 2732173 0
[pid=13949/tid=14002] ppid=13946 vsize=11082080 memory=2554372 CPUtime=221.09 cores=1,3,5,7
/proc/13949/task/14002/stat : 14002 (java) R 13946 13949 12222 0 -1 4202560 64424 13267 0 0 22057 44 5 3 20 0 15 0 106884271 11348049920 634104 33554432000 4194304 4196468 140720988626672 139712370400400 139711972651473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14003] ppid=13946 vsize=11082080 memory=2554372 CPUtime=1.07 cores=1,3,5,7
/proc/13949/task/14003/stat : 14003 (java) S 13946 13949 12222 0 -1 1077944384 3614 13267 0 0 77 22 5 3 20 0 15 0 106884272 11348049920 634104 33554432000 4194304 4196468 140720988626672 139712402807312 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14004] ppid=13946 vsize=11082080 memory=2554372 CPUtime=1.04 cores=1,3,5,7
/proc/13949/task/14004/stat : 14004 (java) S 13946 13949 12222 0 -1 1077944384 1513 13267 0 0 76 20 5 3 20 0 15 0 106884272 11348049920 634104 33554432000 4194304 4196468 140720988626672 139712268143248 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14005] ppid=13946 vsize=11082080 memory=2560524 CPUtime=1.06 cores=1,3,5,7
/proc/13949/task/14005/stat : 14005 (java) S 13946 13949 12222 0 -1 1077944384 4700 13267 0 0 77 21 5 3 20 0 15 0 106884272 11348049920 634104 33554432000 4194304 4196468 140720988626672 139711936850192 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14006] ppid=13946 vsize=11082080 memory=2578528 CPUtime=1.05 cores=1,3,5,7
/proc/13949/task/14006/stat : 14006 (java) S 13946 13949 12222 0 -1 1077944384 4391 13267 0 0 76 21 5 3 20 0 15 0 106884272 11348049920 634104 33554432000 4194304 4196468 140720988626672 139711935797648 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14007] ppid=13946 vsize=11082080 memory=928 CPUtime=0.19 cores=1,3,5,7
/proc/13949/task/14007/stat : 14007 (java) S 13946 13949 12222 0 -1 1077944384 8162 13267 0 0 9 2 5 3 20 0 15 0 106884273 11348049920 634104 33554432000 4194304 4196468 140720988626672 139711824530160 139712398576258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14008] ppid=13946 vsize=11082080 memory=2596528 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14008/stat : 14008 (java) S 13946 13949 12222 0 -1 1077944384 17 13267 0 0 0 0 5 3 20 0 15 0 106884274 11348049920 634104 33554432000 4194304 4196468 140720988626672 139711273232096 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14009] ppid=13946 vsize=11082080 memory=2623712 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14009/stat : 14009 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884274 11348049920 634104 33554432000 4194304 4196468 140720988626672 139711125382400 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14010] ppid=13946 vsize=11082080 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14010/stat : 14010 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11348049920 634104 33554432000 4194304 4196468 140720988626672 139710817982928 139712398583707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14011] ppid=13946 vsize=11082080 memory=2560524 CPUtime=9.06 cores=1,3,5,7
/proc/13949/task/14011/stat : 14011 (java) S 13946 13949 12222 0 -1 1077944384 27586 13267 0 0 893 5 5 3 20 0 15 0 106884277 11348049920 634104 33554432000 4194304 4196468 140720988626672 139711823476976 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14012] ppid=13946 vsize=11082080 memory=4012 CPUtime=8.94 cores=1,3,5,7
/proc/13949/task/14012/stat : 14012 (java) S 13946 13949 12222 0 -1 1077944384 24546 13267 0 0 880 6 5 3 20 0 15 0 106884277 11348049920 634104 33554432000 4194304 4196468 140720988626672 139711822424432 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14013] ppid=13946 vsize=11082080 memory=2536416 CPUtime=3.95 cores=1,3,5,7
/proc/13949/task/14013/stat : 14013 (java) S 13946 13949 12222 0 -1 1077944384 20368 13267 0 0 380 7 5 3 20 0 15 0 106884277 11348049920 634104 33554432000 4194304 4196468 140720988626672 139711821371376 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14014] ppid=13946 vsize=11082080 memory=2536416 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14014/stat : 14014 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11348049920 634104 33554432000 4194304 4196468 140720988626672 139710387186016 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14015] ppid=13946 vsize=11082080 memory=2582164 CPUtime=0.18 cores=1,3,5,7
/proc/13949/task/14015/stat : 14015 (java) S 13946 13949 12222 0 -1 1077944384 300 13267 0 0 5 5 5 3 20 0 15 0 106884277 11348049920 634104 33554432000 4194304 4196468 140720988626672 139711820319792 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
Current children cumulated CPU time: 247.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2536416 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+227.31 s]
/proc/loadavg: 1.67 1.92 2.02 3/215 14150
/proc/meminfo: memFree=18776416/32770624 swapFree=67108404/67108860
[pid=13949] ppid=13946 vsize=11082080 memory=2506676 CPUtime=252.07 cores=1,3,5,7
/proc/13949/stat : 13949 (java) S 13946 13949 12222 0 -1 1077944320 162298 13267 0 0 25044 155 5 3 20 0 15 0 106884262 11348049920 626669 33554432000 4194304 4196468 140720988626672 140720988609216 139712398565111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
/proc/13949/statm: 2770520 626669 3530 1 0 2732173 0
[pid=13949/tid=14002] ppid=13946 vsize=11082080 memory=2396 CPUtime=226.07 cores=1,3,5,7
/proc/13949/task/14002/stat : 14002 (java) R 13946 13949 12222 0 -1 4202560 64607 13267 0 0 22555 44 5 3 20 0 15 0 106884271 11348049920 626669 33554432000 4194304 4196468 140720988626672 139712370400432 139711968825224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14003] ppid=13946 vsize=11082080 memory=2536416 CPUtime=1.08 cores=1,3,5,7
/proc/13949/task/14003/stat : 14003 (java) S 13946 13949 12222 0 -1 1077944384 3620 13267 0 0 78 22 5 3 20 0 15 0 106884272 11348049920 626669 33554432000 4194304 4196468 140720988626672 139712402807312 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14004] ppid=13946 vsize=11082080 memory=2560524 CPUtime=1.06 cores=1,3,5,7
/proc/13949/task/14004/stat : 14004 (java) S 13946 13949 12222 0 -1 1077944384 1526 13267 0 0 78 20 5 3 20 0 15 0 106884272 11348049920 626669 33554432000 4194304 4196468 140720988626672 139712268143248 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14005] ppid=13946 vsize=11082080 memory=164 CPUtime=1.07 cores=1,3,5,7
/proc/13949/task/14005/stat : 14005 (java) S 13946 13949 12222 0 -1 1077944384 4706 13267 0 0 78 21 5 3 20 0 15 0 106884272 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711936850192 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14006] ppid=13946 vsize=11082080 memory=2623712 CPUtime=1.06 cores=1,3,5,7
/proc/13949/task/14006/stat : 14006 (java) S 13946 13949 12222 0 -1 1077944384 4395 13267 0 0 77 21 5 3 20 0 15 0 106884272 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711935797648 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14007] ppid=13946 vsize=11082080 memory=2596528 CPUtime=0.19 cores=1,3,5,7
/proc/13949/task/14007/stat : 14007 (java) S 13946 13949 12222 0 -1 1077944384 8172 13267 0 0 9 2 5 3 20 0 15 0 106884273 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711824530160 139712398576258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14008] ppid=13946 vsize=11082080 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14008/stat : 14008 (java) S 13946 13949 12222 0 -1 1077944384 17 13267 0 0 0 0 5 3 20 0 15 0 106884274 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711273232096 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14009] ppid=13946 vsize=11082080 memory=2560524 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14009/stat : 14009 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884274 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711125382400 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14010] ppid=13946 vsize=11082080 memory=2554372 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14010/stat : 14010 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139710817982928 139712398583707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14011] ppid=13946 vsize=11082080 memory=2554372 CPUtime=9.07 cores=1,3,5,7
/proc/13949/task/14011/stat : 14011 (java) S 13946 13949 12222 0 -1 1077944384 27640 13267 0 0 894 5 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711823476976 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14012] ppid=13946 vsize=11082080 memory=2512832 CPUtime=8.94 cores=1,3,5,7
/proc/13949/task/14012/stat : 14012 (java) S 13946 13949 12222 0 -1 1077944384 24581 13267 0 0 880 6 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711822424432 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14013] ppid=13946 vsize=11082080 memory=2512832 CPUtime=3.96 cores=1,3,5,7
/proc/13949/task/14013/stat : 14013 (java) S 13946 13949 12222 0 -1 1077944384 20529 13267 0 0 381 7 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711821371376 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14014] ppid=13946 vsize=11082080 memory=2530260 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14014/stat : 14014 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139710387186016 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14015] ppid=13946 vsize=11082080 memory=2536416 CPUtime=0.18 cores=1,3,5,7
/proc/13949/task/14015/stat : 14015 (java) S 13946 13949 12222 0 -1 1077944384 300 13267 0 0 5 5 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711820319792 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2506676 KiB

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

[startup+227.352 s]
# the end of solver process 13949 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.514 s, system=1.61266 s

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

[startup+227.31 s]
/proc/loadavg: 1.67 1.92 2.02 3/215 14150
/proc/meminfo: memFree=18776416/32770624 swapFree=67108404/67108860
[pid=13949] ppid=13946 vsize=11082080 memory=2506676 CPUtime=252.07 cores=1,3,5,7
/proc/13949/stat : 13949 (java) S 13946 13949 12222 0 -1 1077944320 162298 13267 0 0 25044 155 5 3 20 0 15 0 106884262 11348049920 626669 33554432000 4194304 4196468 140720988626672 140720988609216 139712398565111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
/proc/13949/statm: 2770520 626669 3530 1 0 2732173 0
[pid=13949/tid=14002] ppid=13946 vsize=11082080 memory=2396 CPUtime=226.07 cores=1,3,5,7
/proc/13949/task/14002/stat : 14002 (java) R 13946 13949 12222 0 -1 4202560 64607 13267 0 0 22555 44 5 3 20 0 15 0 106884271 11348049920 626669 33554432000 4194304 4196468 140720988626672 139712370400432 139711968825224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14003] ppid=13946 vsize=11082080 memory=2536416 CPUtime=1.08 cores=1,3,5,7
/proc/13949/task/14003/stat : 14003 (java) S 13946 13949 12222 0 -1 1077944384 3620 13267 0 0 78 22 5 3 20 0 15 0 106884272 11348049920 626669 33554432000 4194304 4196468 140720988626672 139712402807312 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14004] ppid=13946 vsize=11082080 memory=2560524 CPUtime=1.06 cores=1,3,5,7
/proc/13949/task/14004/stat : 14004 (java) S 13946 13949 12222 0 -1 1077944384 1526 13267 0 0 78 20 5 3 20 0 15 0 106884272 11348049920 626669 33554432000 4194304 4196468 140720988626672 139712268143248 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14005] ppid=13946 vsize=11082080 memory=164 CPUtime=1.07 cores=1,3,5,7
/proc/13949/task/14005/stat : 14005 (java) S 13946 13949 12222 0 -1 1077944384 4706 13267 0 0 78 21 5 3 20 0 15 0 106884272 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711936850192 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14006] ppid=13946 vsize=11082080 memory=2623712 CPUtime=1.06 cores=1,3,5,7
/proc/13949/task/14006/stat : 14006 (java) S 13946 13949 12222 0 -1 1077944384 4395 13267 0 0 77 21 5 3 20 0 15 0 106884272 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711935797648 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14007] ppid=13946 vsize=11082080 memory=2596528 CPUtime=0.19 cores=1,3,5,7
/proc/13949/task/14007/stat : 14007 (java) S 13946 13949 12222 0 -1 1077944384 8172 13267 0 0 9 2 5 3 20 0 15 0 106884273 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711824530160 139712398576258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14008] ppid=13946 vsize=11082080 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14008/stat : 14008 (java) S 13946 13949 12222 0 -1 1077944384 17 13267 0 0 0 0 5 3 20 0 15 0 106884274 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711273232096 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14009] ppid=13946 vsize=11082080 memory=2560524 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14009/stat : 14009 (java) S 13946 13949 12222 0 -1 1077944384 2 13267 0 0 0 0 5 3 20 0 15 0 106884274 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711125382400 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14010] ppid=13946 vsize=11082080 memory=2554372 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14010/stat : 14010 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139710817982928 139712398583707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14011] ppid=13946 vsize=11082080 memory=2554372 CPUtime=9.07 cores=1,3,5,7
/proc/13949/task/14011/stat : 14011 (java) S 13946 13949 12222 0 -1 1077944384 27640 13267 0 0 894 5 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711823476976 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14012] ppid=13946 vsize=11082080 memory=2512832 CPUtime=8.94 cores=1,3,5,7
/proc/13949/task/14012/stat : 14012 (java) S 13946 13949 12222 0 -1 1077944384 24581 13267 0 0 880 6 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711822424432 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14013] ppid=13946 vsize=11082080 memory=2512832 CPUtime=3.96 cores=1,3,5,7
/proc/13949/task/14013/stat : 14013 (java) S 13946 13949 12222 0 -1 1077944384 20529 13267 0 0 381 7 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711821371376 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14014] ppid=13946 vsize=11082080 memory=2530260 CPUtime=0.08 cores=1,3,5,7
/proc/13949/task/14014/stat : 14014 (java) S 13946 13949 12222 0 -1 1077944384 3 13267 0 0 0 0 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139710387186016 139712398575317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
[pid=13949/tid=14015] ppid=13946 vsize=11082080 memory=2536416 CPUtime=0.18 cores=1,3,5,7
/proc/13949/task/14015/stat : 14015 (java) S 13946 13949 12222 0 -1 1077944384 300 13267 0 0 5 5 5 3 20 0 15 0 106884277 11348049920 626669 33554432000 4194304 4196468 140720988626672 139711820319792 139712398576258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36892672 140720988629609 140720988632417 140720988632417 140720988635087 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2506676 KiB

Child status: 143
Real time (s): 227.352
CPU time (s): 252.126
CPU user time (s): 250.514
CPU system time (s): 1.61266
CPU usage (%): 110.897
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3056208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.514
system time used= 1.61266
maximum resident set size= 3066448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177006
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= 20774
involuntary context switches= 342


# summary of solver processes directly reported to runsolver:
#   pid: 13949
#   total CPU time (s): 252.126
#   total CPU user time (s): 250.514
#   total CPU system time (s): 1.61266

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4125 second user time and 2.14151 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-29 21:40:11
IDJOB=4302616
IDBENCH=141031
IDSOLVER=2777
FILE ID=node148/4302616-1532893211
RUNJOBID= node148-1532892979-13581
PBS_JOBID= 21022520
Free space on /tmp= 47780 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/StillLife/StillLife-wastage-19_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302616-1532893211/watcher-4302616-1532893211 -o /tmp/evaluation-result-4302616-1532893211/solver-4302616-1532893211 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=868099235 -superng HOME/instance-4302616-1532893211.xml

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

MD5SUM BENCH= bc316652a8a0d5c7d33934cb88eaeb44
RANDOM SEED=868099235

node148.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.50
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.50
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.50
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.50
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:        22865364 kB
MemAvailable:   30906936 kB
Buffers:          244524 kB
Cached:          7948164 kB
SwapCached:          352 kB
Active:          2896384 kB
Inactive:        6373376 kB
Active(anon):    1030816 kB
Inactive(anon):    74228 kB
Active(file):    1865568 kB
Inactive(file):  6299148 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             26484 kB
Writeback:             0 kB
AnonPages:       1067452 kB
Mapped:            57688 kB
Shmem:             25016 kB
Slab:             333600 kB
SReclaimable:     305316 kB
SUnreclaim:        28284 kB
KernelStack:        3568 kB
PageTables:         7620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2229588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    808960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 47752 MiB
End job on node148 at 2018-07-29 21:43:59