Trace number 4292893

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8 2018-06-13SAT (TO)166 2520.13 2463.04

General information on the benchmark

NameStillLife/
StillLife-wastage-19_c18.xml
MD5SUMbc316652a8a0d5c7d33934cb88eaeb44
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark190
Best CPU time to get the best result obtained on this benchmark154.096
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.8.1528841891564 running
8.39/3.98	c 00:01:36.482 [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 103433239, 3 edges, 4 vertices, 1 tuples
8.77/4.02	c 00:01:36.522 [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 1336762904, 3 edges, 4 vertices, 1 tuples
8.77/4.02	c 00:01:36.524 [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 103433239, 3 edges, 4 vertices, 1 tuples
8.77/4.04	c 00:01:36.541 [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 1336762904, 3 edges, 4 vertices, 1 tuples
8.77/4.04	c 00:01:36.543 [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 371932487, 3 edges, 4 vertices, 1 tuples
8.77/4.05	c 00:01:36.556 [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 1881585646, 3 edges, 4 vertices, 1 tuples
8.77/4.05	c 00:01:36.558 [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 371932487, 3 edges, 4 vertices, 1 tuples
8.77/4.07	c 00:01:36.572 [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 1881585646, 3 edges, 4 vertices, 1 tuples
8.77/4.07	c 00:01:36.574 [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
8.77/4.09	c 00:01:36.586 [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
8.77/4.09	c 00:01:36.587 [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
8.77/4.09	c 00:01:36.593 [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
8.77/4.09	c 00:01:36.594 [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
8.77/4.10	c 00:01:36.600 [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
8.77/4.10	c 00:01:36.601 [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
8.77/4.10	c 00:01:36.607 [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
15.44/6.27	o 135
17.14/6.92	o 136
17.14/6.93	o 137
17.14/6.95	o 138
17.14/6.97	o 140
17.14/7.00	o 143
17.14/7.01	o 144
17.48/7.07	o 147
17.48/7.07	o 148
18.70/7.50	o 150
18.70/7.52	o 151
18.70/7.54	o 152
18.70/7.56	o 153
18.70/7.58	o 154
18.70/7.59	o 155
63.08/44.28	o 156
64.13/45.15	o 157
67.25/47.82	o 158
190.10/168.96	o 159
270.34/247.85	o 160
270.34/247.86	o 161
434.15/409.32	o 162
780.81/750.73	o 163
885.68/853.93	o 164
1389.76/1350.39	o 165
1952.86/1904.75	o 166
2520.07/2463.01	Exception in thread "main" java.util.concurrent.TimeoutException
2520.07/2463.01		at concrete.MAC.mac(MAC.scala:188)
2520.07/2463.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2463.01		at scala.util.Try$.apply(Try.scala:209)
2520.07/2463.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2463.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2463.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2463.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2463.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2463.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2463.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2463.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2463.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2463.01		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2463.01		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2463.01		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2463.01		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2463.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2463.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2463.01		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2463.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2463.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2463.01		at scala.util.Success.map(Try.scala:209)
2520.07/2463.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2463.02		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2463.02		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2463.02		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2463.02		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2463.02		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2463.02		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2463.02		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2463.02		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2463.02		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2463.02		at scala.App.main(App.scala:76)
2520.07/2463.02		at scala.App.main$(App.scala:74)
2520.07/2463.02		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2463.02		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2463.02	v <instantiation cost="166">
2520.07/2463.02	v       <list>
2520.07/2463.02	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
2520.07/2463.02	v       </list>
2520.07/2463.02	v       <values>
2520.07/2463.02	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 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 2 1 0 1 0 0 1 1 2 1 2 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 2 2 0 1 1 0 0 0 1 0 0 0 1 0 0 0 2 1 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 1 2 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 2 1 0 0 0 2 1 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 0 11 24 32 40 54 63 66 71 78 82 83 85 86 87 88 91 96 103 109 123 134 166
2520.07/2463.02	v       </values>
2520.07/2463.02	v     </instantiation>
2520.07/2463.02	s SATISFIABLE

Verifier Data 

OK	166

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292893-1532296892/watcher-4292893-1532296892 -o /tmp/evaluation-result-4292893-1532296892/solver-4292893-1532296892 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=379737717 HOME/instance-4292893-1532296892.xml 

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

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

solver pid=5830, runsolver pid=5827

[startup+0.10014 s]*
/proc/loadavg: 1.71 1.46 1.37 3/208 5887
/proc/meminfo: memFree=22449496/32770624 swapFree=67108860/67108860
[pid=5830] ppid=5827 vsize=9972712 memory=18856 CPUtime=0.08 cores=1,3,5,7
/proc/5830/stat : 5830 (java) S 5827 5830 5182 0 -1 1077944320 4373 12926 0 0 1 0 5 2 20 0 6 0 47252382 10212057088 4714 33554432000 4194304 4196468 140722096637120 140722096619664 140072724954871 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
/proc/5830/statm: 2493178 4714 1934 1 0 2481616 0
[pid=5830/tid=5883] ppid=5827 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5883/stat : 5883 (java) R 5827 5830 5182 0 -1 4202560 2190 12926 0 0 0 0 5 2 20 0 6 0 47252391 10212057088 4714 33554432000 4194304 4196468 140722096637120 140072696791632 140072724976797 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5884] ppid=5827 vsize=9972712 memory=5793855667472320953 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5884/stat : 5884 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 6 0 47252392 10212057088 4714 33554432000 4194304 4196468 140722096637120 140072729196944 140072724965077 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5885] ppid=5827 vsize=9972712 memory=140416462427776 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5885/stat : 5885 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 6 0 47252392 10212057088 4714 33554432000 4194304 4196468 140722096637120 140072644016400 140072724965077 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5886] ppid=5827 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5886/stat : 5886 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 6 0 47252392 10212057088 4714 33554432000 4194304 4196468 140722096637120 140072642964112 140072724965077 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5887] ppid=5827 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5887/stat : 5887 (java) S 5827 5830 5182 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 6 0 47252392 10212057088 4714 33554432000 4194304 4196468 140722096637120 140072641911312 140072724965077 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB

[startup+0.210389 s]*
/proc/loadavg: 1.71 1.46 1.37 3/217 5896
/proc/meminfo: memFree=22426104/32770624 swapFree=67108860/67108860
[pid=5830] ppid=5827 vsize=10818856 memory=41864 CPUtime=0.26 cores=1,3,5,7
/proc/5830/stat : 5830 (java) S 5827 5830 5182 0 -1 1077944320 8365 12926 0 0 17 2 5 2 20 0 15 0 47252382 11078508544 10466 33554432000 4194304 4196468 140722096637120 140722096619664 140072724954871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
/proc/5830/statm: 2704714 10466 2931 1 0 2667149 0
[pid=5830/tid=5883] ppid=5827 vsize=10818856 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/5830/task/5883/stat : 5883 (java) R 5827 5830 5182 0 -1 4202560 4906 12926 0 0 10 1 5 2 20 0 15 0 47252391 11078508544 10466 33554432000 4194304 4196468 140722096637120 140072696752528 140072706518435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5884] ppid=5827 vsize=10818856 memory=4211974142667218314 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5884/stat : 5884 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252392 11078508544 10466 33554432000 4194304 4196468 140722096637120 140072729196944 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5885] ppid=5827 vsize=10818856 memory=140416462427776 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5885/stat : 5885 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252392 11078508544 10466 33554432000 4194304 4196468 140722096637120 140072644016400 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5886] ppid=5827 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5886/stat : 5886 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252392 11078508544 10466 33554432000 4194304 4196468 140722096637120 140072642964112 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5887] ppid=5827 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5887/stat : 5887 (java) S 5827 5830 5182 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 47252392 11078508544 10466 33554432000 4194304 4196468 140722096637120 140072641911312 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5888] ppid=5827 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5888/stat : 5888 (java) S 5827 5830 5182 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 47252393 11078508544 10466 33554432000 4194304 4196468 140722096637120 140072251624048 140072724966018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5889] ppid=5827 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5889/stat : 5889 (java) S 5827 5830 5182 0 -1 1077944384 13 12926 0 0 0 0 5 2 20 0 15 0 47252394 11078508544 10466 33554432000 4194304 4196468 140722096637120 140072171070752 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5890] ppid=5827 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5890/stat : 5890 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252394 11078508544 10466 33554432000 4194304 4196468 140722096637120 140071567091312 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5891] ppid=5827 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5891/stat : 5891 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11078508544 10466 33554432000 4194304 4196468 140722096637120 140071259691600 140072724973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5892] ppid=5827 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5830/task/5892/stat : 5892 (java) S 5827 5830 5182 0 -1 1077944384 373 12926 0 0 1 0 5 2 20 0 15 0 47252397 11078508544 10466 33554432000 4194304 4196468 140722096637120 140072250570864 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5893] ppid=5827 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5893/stat : 5893 (java) S 5827 5830 5182 0 -1 1077944384 244 12926 0 0 0 0 5 2 20 0 15 0 47252397 11078508544 10466 33554432000 4194304 4196468 140722096637120 140072249518064 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5894] ppid=5827 vsize=10818856 memory=140416462427776 CPUtime=0.1 cores=1,3,5,7
/proc/5830/task/5894/stat : 5894 (java) S 5827 5830 5182 0 -1 1077944384 626 12926 0 0 3 0 5 2 20 0 15 0 47252397 11078508544 10466 33554432000 4194304 4196468 140722096637120 140072248465776 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5895] ppid=5827 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5895/stat : 5895 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11078508544 10466 33554432000 4194304 4196468 140722096637120 140071226132960 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5896] ppid=5827 vsize=10818856 memory=140416462427776 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5896/stat : 5896 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252397 11078508544 10466 33554432000 4194304 4196468 140722096637120 140072247413680 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 41864 KiB

[startup+0.310506 s]*
/proc/loadavg: 1.71 1.46 1.37 3/217 5896
/proc/meminfo: memFree=22416880/32770624 swapFree=67108860/67108860
[pid=5830] ppid=5827 vsize=10819352 memory=53200 CPUtime=0.38 cores=1,3,5,7
/proc/5830/stat : 5830 (java) S 5827 5830 5182 0 -1 1077944320 10388 12926 0 0 28 3 5 2 20 0 15 0 47252382 11079016448 13300 33554432000 4194304 4196468 140722096637120 140722096619664 140072724954871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
/proc/5830/statm: 2704838 13300 3062 1 0 2667149 0
[pid=5830/tid=5883] ppid=5827 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/5830/task/5883/stat : 5883 (java) R 5827 5830 5182 0 -1 4202560 6929 12926 0 0 19 2 5 2 20 0 15 0 47252391 11079016448 13300 33554432000 4194304 4196468 140722096637120 140072696766880 140072724976797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5884] ppid=5827 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5884/stat : 5884 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252392 11079016448 13300 33554432000 4194304 4196468 140722096637120 140072729196944 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5885] ppid=5827 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5885/stat : 5885 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252392 11079016448 13300 33554432000 4194304 4196468 140722096637120 140072644016400 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5886] ppid=5827 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5886/stat : 5886 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252392 11079016448 13300 33554432000 4194304 4196468 140722096637120 140072642964112 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5887] ppid=5827 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5887/stat : 5887 (java) S 5827 5830 5182 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 47252392 11079016448 13300 33554432000 4194304 4196468 140722096637120 140072641911312 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5888] ppid=5827 vsize=10819352 memory=140416462427775 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5888/stat : 5888 (java) S 5827 5830 5182 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 47252393 11079016448 13300 33554432000 4194304 4196468 140722096637120 140072251624048 140072724966018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5889] ppid=5827 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5889/stat : 5889 (java) S 5827 5830 5182 0 -1 1077944384 13 12926 0 0 0 0 5 2 20 0 15 0 47252394 11079016448 13300 33554432000 4194304 4196468 140722096637120 140072171070752 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5890] ppid=5827 vsize=10819352 memory=140416462427776 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5890/stat : 5890 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252394 11079016448 13300 33554432000 4194304 4196468 140722096637120 140071567091312 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5891] ppid=5827 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5891/stat : 5891 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11079016448 13300 33554432000 4194304 4196468 140722096637120 140071259691600 140072724973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5892] ppid=5827 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5830/task/5892/stat : 5892 (java) S 5827 5830 5182 0 -1 1077944384 374 12926 0 0 2 0 5 2 20 0 15 0 47252397 11079016448 13300 33554432000 4194304 4196468 140722096637120 140072250570864 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5893] ppid=5827 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5830/task/5893/stat : 5893 (java) S 5827 5830 5182 0 -1 1077944384 244 12926 0 0 1 0 5 2 20 0 15 0 47252397 11079016448 13300 33554432000 4194304 4196468 140722096637120 140072249518064 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5894] ppid=5827 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5830/task/5894/stat : 5894 (java) R 5827 5830 5182 0 -1 4202560 633 12926 0 0 5 0 5 2 20 0 15 0 47252397 11079016448 13300 33554432000 4194304 4196468 140722096637120 140072248465776 140072704344132 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5895] ppid=5827 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5895/stat : 5895 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11079016448 13300 33554432000 4194304 4196468 140722096637120 140071226132960 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5896] ppid=5827 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5896/stat : 5896 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252397 11079016448 13300 33554432000 4194304 4196468 140722096637120 140072247413680 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53200 KiB

[startup+0.700797 s]
/proc/loadavg: 1.71 1.46 1.37 3/217 5896
/proc/meminfo: memFree=22404724/32770624 swapFree=67108860/67108860
[pid=5830] ppid=5827 vsize=10819352 memory=86728 CPUtime=0.99 cores=1,3,5,7
/proc/5830/stat : 5830 (java) S 5827 5830 5182 0 -1 1077944320 16849 12926 0 0 87 5 5 2 20 0 15 0 47252382 11079016448 21682 33554432000 4194304 4196468 140722096637120 140722096619664 140072724954871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
/proc/5830/statm: 2704838 21682 3244 1 0 2667149 0
[pid=5830/tid=5883] ppid=5827 vsize=10819352 memory=15712 CPUtime=0.66 cores=1,3,5,7
/proc/5830/task/5883/stat : 5883 (java) R 5827 5830 5182 0 -1 4202560 12387 12926 0 0 55 4 5 2 20 0 15 0 47252391 11079016448 21682 33554432000 4194304 4196468 140722096637120 140072696775696 140072705230746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5884] ppid=5827 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5884/stat : 5884 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252392 11079016448 21682 33554432000 4194304 4196468 140722096637120 140072729196944 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5885] ppid=5827 vsize=10819352 memory=288230583132500317 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5885/stat : 5885 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252392 11079016448 21682 33554432000 4194304 4196468 140722096637120 140072644016400 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5886] ppid=5827 vsize=10819352 memory=14408211646139281 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5886/stat : 5886 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252392 11079016448 21682 33554432000 4194304 4196468 140722096637120 140072642964112 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5887] ppid=5827 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5887/stat : 5887 (java) S 5827 5830 5182 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 47252392 11079016448 21682 33554432000 4194304 4196468 140722096637120 140072641911312 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5888] ppid=5827 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5888/stat : 5888 (java) S 5827 5830 5182 0 -1 1077944384 5 12926 0 0 0 0 5 2 20 0 15 0 47252393 11079016448 21682 33554432000 4194304 4196468 140722096637120 140072251624048 140072724966018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5889] ppid=5827 vsize=10819352 memory=140416305635936 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5889/stat : 5889 (java) S 5827 5830 5182 0 -1 1077944384 13 12926 0 0 0 0 5 2 20 0 15 0 47252394 11079016448 21682 33554432000 4194304 4196468 140722096637120 140072171070752 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5890] ppid=5827 vsize=10819352 memory=140419660776778 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5890/stat : 5890 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252394 11079016448 21682 33554432000 4194304 4196468 140722096637120 140071567091312 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5891] ppid=5827 vsize=10819352 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5891/stat : 5891 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11079016448 21682 33554432000 4194304 4196468 140722096637120 140071259691600 140072724973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5892] ppid=5827 vsize=10819352 memory=6153431502485413986 CPUtime=0.14 cores=1,3,5,7
/proc/5830/task/5892/stat : 5892 (java) S 5827 5830 5182 0 -1 1077944384 607 12926 0 0 7 0 5 2 20 0 15 0 47252397 11079016448 21682 33554432000 4194304 4196468 140722096637120 140072250570864 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5893] ppid=5827 vsize=10819352 memory=7881696724453321575 CPUtime=0.17 cores=1,3,5,7
/proc/5830/task/5893/stat : 5893 (java) S 5827 5830 5182 0 -1 1077944384 919 12926 0 0 10 0 5 2 20 0 15 0 47252397 11079016448 21682 33554432000 4194304 4196468 140722096637120 140072249518064 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5894] ppid=5827 vsize=10819352 memory=7444843076533644388 CPUtime=0.2 cores=1,3,5,7
/proc/5830/task/5894/stat : 5894 (java) S 5827 5830 5182 0 -1 1077944384 717 12926 0 0 13 0 5 2 20 0 15 0 47252397 11079016448 21682 33554432000 4194304 4196468 140722096637120 140072248465776 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5895] ppid=5827 vsize=10819352 memory=8514726395715218844 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5895/stat : 5895 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11079016448 21682 33554432000 4194304 4196468 140722096637120 140071226132960 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5896] ppid=5827 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5896/stat : 5896 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252397 11079016448 21682 33554432000 4194304 4196468 140722096637120 140072247413680 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86728 KiB

[startup+1.50076 s]
/proc/loadavg: 1.65 1.45 1.37 3/217 5896
/proc/meminfo: memFree=22357764/32770624 swapFree=67108860/67108860
[pid=5830] ppid=5827 vsize=10834252 memory=184700 CPUtime=2.54 cores=1,3,5,7
/proc/5830/stat : 5830 (java) S 5827 5830 5182 0 -1 1077944320 24255 12926 0 0 238 9 5 2 20 0 15 0 47252382 11094274048 46175 33554432000 4194304 4196468 140722096637120 140722096619664 140072724954871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
/proc/5830/statm: 2708563 46175 3474 1 0 2670221 0
[pid=5830/tid=5883] ppid=5827 vsize=10834252 memory=7157735280196997478 CPUtime=1.41 cores=1,3,5,7
/proc/5830/task/5883/stat : 5883 (java) R 5827 5830 5182 0 -1 4202560 17634 12926 0 0 129 5 5 2 20 0 15 0 47252391 11094274048 46175 33554432000 4194304 4196468 140722096637120 140072696773464 140072709035358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5884] ppid=5827 vsize=10834252 memory=6009865030943138659 CPUtime=0.08 cores=1,3,5,7
/proc/5830/task/5884/stat : 5884 (java) S 5827 5830 5182 0 -1 1077944384 15 12926 0 0 1 0 5 2 20 0 15 0 47252392 11094274048 46175 33554432000 4194304 4196468 140722096637120 140072729196944 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5885] ppid=5827 vsize=10834252 memory=7091874606707201126 CPUtime=0.08 cores=1,3,5,7
/proc/5830/task/5885/stat : 5885 (java) S 5827 5830 5182 0 -1 1077944384 178 12926 0 0 1 0 5 2 20 0 15 0 47252392 11094274048 46175 33554432000 4194304 4196468 140722096637120 140072644016400 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5886] ppid=5827 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5830/task/5886/stat : 5886 (java) S 5827 5830 5182 0 -1 1077944384 27 12926 0 0 1 0 5 2 20 0 15 0 47252392 11094274048 46175 33554432000 4194304 4196468 140722096637120 140072642964112 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5887] ppid=5827 vsize=10834252 memory=165705072823583 CPUtime=0.08 cores=1,3,5,7
/proc/5830/task/5887/stat : 5887 (java) S 5827 5830 5182 0 -1 1077944384 60 12926 0 0 1 0 5 2 20 0 15 0 47252392 11094274048 46175 33554432000 4194304 4196468 140722096637120 140072641911312 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5888] ppid=5827 vsize=10834252 memory=262769 CPUtime=0.08 cores=1,3,5,7
/proc/5830/task/5888/stat : 5888 (java) S 5827 5830 5182 0 -1 1077944384 93 12926 0 0 1 0 5 2 20 0 15 0 47252393 11094274048 46175 33554432000 4194304 4196468 140722096637120 140072251624048 140072724966018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5889] ppid=5827 vsize=10834252 memory=4638778398332768848 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5889/stat : 5889 (java) S 5827 5830 5182 0 -1 1077944384 14 12926 0 0 0 0 5 2 20 0 15 0 47252394 11094274048 46175 33554432000 4194304 4196468 140722096637120 140072171070816 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5890] ppid=5827 vsize=10834252 memory=6935649255759568960 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5890/stat : 5890 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252394 11094274048 46175 33554432000 4194304 4196468 140722096637120 140071567091328 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5891] ppid=5827 vsize=10834252 memory=280832610664688 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5891/stat : 5891 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11094274048 46175 33554432000 4194304 4196468 140722096637120 140071259691600 140072724973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5892] ppid=5827 vsize=10834252 memory=4638778398332698723 CPUtime=0.32 cores=1,3,5,7
/proc/5830/task/5892/stat : 5892 (java) S 5827 5830 5182 0 -1 1077944384 893 12926 0 0 25 0 5 2 20 0 15 0 47252397 11094274048 46175 33554432000 4194304 4196468 140722096637120 140072250570864 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5893] ppid=5827 vsize=10834252 memory=9050717494022144173 CPUtime=0.4 cores=1,3,5,7
/proc/5830/task/5893/stat : 5893 (java) S 5827 5830 5182 0 -1 1077944384 1463 12926 0 0 33 0 5 2 20 0 15 0 47252397 11094274048 46175 33554432000 4194304 4196468 140722096637120 140072249518064 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5894] ppid=5827 vsize=10834252 memory=6943526294502006880 CPUtime=0.48 cores=1,3,5,7
/proc/5830/task/5894/stat : 5894 (java) S 5827 5830 5182 0 -1 1077944384 1685 12926 0 0 41 0 5 2 20 0 15 0 47252397 11094274048 46175 33554432000 4194304 4196468 140722096637120 140072248465776 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5895] ppid=5827 vsize=10834252 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5895/stat : 5895 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11094274048 46198 33554432000 4194304 4196468 140722096637120 140071226132960 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5896] ppid=5827 vsize=10834252 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5896/stat : 5896 (java) S 5827 5830 5182 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 47252397 11094274048 46198 33554432000 4194304 4196468 140722096637120 140072247413680 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 10834252 KiB

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

/proc/5830/task/5883/stat : 5883 (java) R 5827 5830 5182 0 -1 4202560 96075 12926 0 0 229677 53 5 2 20 0 15 0 47252391 11180277760 238314 33554432000 4194304 4196468 140722096637120 140072696790224 140072343780679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5884] ppid=5827 vsize=10918240 memory=1175 CPUtime=11.96 cores=1,3,5,7
/proc/5830/task/5884/stat : 5884 (java) S 5827 5830 5182 0 -1 1077944384 13079 12926 0 0 1136 53 5 2 20 0 15 0 47252392 11180277760 238314 33554432000 4194304 4196468 140722096637120 140072729196944 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5885] ppid=5827 vsize=10918240 memory=953256 CPUtime=11.98 cores=1,3,5,7
/proc/5830/task/5885/stat : 5885 (java) S 5827 5830 5182 0 -1 1077944384 13268 12926 0 0 1138 53 5 2 20 0 15 0 47252392 11180277760 238314 33554432000 4194304 4196468 140722096637120 140072644016400 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5886] ppid=5827 vsize=10918240 memory=953256 CPUtime=11.98 cores=1,3,5,7
/proc/5830/task/5886/stat : 5886 (java) S 5827 5830 5182 0 -1 1077944384 15872 12926 0 0 1137 54 5 2 20 0 15 0 47252392 11180277760 238314 33554432000 4194304 4196468 140722096637120 140072642964112 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5887] ppid=5827 vsize=10918240 memory=953256 CPUtime=11.93 cores=1,3,5,7
/proc/5830/task/5887/stat : 5887 (java) S 5827 5830 5182 0 -1 1077944384 11417 12926 0 0 1134 52 5 2 20 0 15 0 47252392 11180277760 238314 33554432000 4194304 4196468 140722096637120 140072641911312 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5888] ppid=5827 vsize=10918240 memory=953256 CPUtime=10.74 cores=1,3,5,7
/proc/5830/task/5888/stat : 5888 (java) S 5827 5830 5182 0 -1 1077944384 14309 12926 0 0 1015 52 5 2 20 0 15 0 47252393 11180277760 238314 33554432000 4194304 4196468 140722096637120 140072251624048 140072724966018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5889] ppid=5827 vsize=10918240 memory=280832612139776 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5889/stat : 5889 (java) S 5827 5830 5182 0 -1 1077944384 17 12926 0 0 0 0 5 2 20 0 15 0 47252394 11180277760 238314 33554432000 4194304 4196468 140722096637120 140072171070880 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5890] ppid=5827 vsize=10918240 memory=953256 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5890/stat : 5890 (java) S 5827 5830 5182 0 -1 1077944384 5 12926 0 0 0 0 5 2 20 0 15 0 47252394 11180277760 238314 33554432000 4194304 4196468 140722096637120 140071567091328 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5891] ppid=5827 vsize=10918240 memory=953256 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5891/stat : 5891 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11180277760 238314 33554432000 4194304 4196468 140722096637120 140071259691600 140072724973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5892] ppid=5827 vsize=10918240 memory=953256 CPUtime=8.33 cores=1,3,5,7
/proc/5830/task/5892/stat : 5892 (java) S 5827 5830 5182 0 -1 1077944384 33849 12926 0 0 822 4 5 2 20 0 15 0 47252397 11180277760 238314 33554432000 4194304 4196468 140722096637120 140072250570864 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5893] ppid=5827 vsize=10918240 memory=953256 CPUtime=8.01 cores=1,3,5,7
/proc/5830/task/5893/stat : 5893 (java) S 5827 5830 5182 0 -1 1077944384 34152 12926 0 0 787 7 5 2 20 0 15 0 47252397 11180277760 238314 33554432000 4194304 4196468 140722096637120 140072249518064 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5894] ppid=5827 vsize=10918240 memory=953256 CPUtime=4 cores=1,3,5,7
/proc/5830/task/5894/stat : 5894 (java) S 5827 5830 5182 0 -1 1077944384 43341 12926 0 0 385 8 5 2 20 0 15 0 47252397 11180277760 238314 33554432000 4194304 4196468 140722096637120 140072248465776 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5895] ppid=5827 vsize=10918240 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5895/stat : 5895 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11180277760 238314 33554432000 4194304 4196468 140722096637120 140071226132960 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5896] ppid=5827 vsize=10918240 memory=953256 CPUtime=1.36 cores=1,3,5,7
/proc/5830/task/5896/stat : 5896 (java) S 5827 5830 5182 0 -1 1077944384 957 12926 0 0 56 73 5 2 20 0 15 0 47252397 11180277760 238314 33554432000 4194304 4196468 140722096637120 140072247413680 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
Current children cumulated CPU time: 2377.14 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 953256 KiB

[startup+2382.3 s]
/proc/loadavg: 1.64 1.63 1.55 6/215 6100
/proc/meminfo: memFree=21462876/32770624 swapFree=67108860/67108860
[pid=5830] ppid=5827 vsize=10918240 memory=955304 CPUtime=2438.11 cores=1,3,5,7
/proc/5830/stat : 5830 (java) S 5827 5830 5182 0 -1 1077944320 279667 12926 0 0 243444 360 5 2 20 0 15 0 47252382 11180277760 238826 33554432000 4194304 4196468 140722096637120 140722096619664 140072724954871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
/proc/5830/statm: 2729560 238826 3532 1 0 2691213 0
[pid=5830/tid=5883] ppid=5827 vsize=10918240 memory=955304 CPUtime=2356.7 cores=1,3,5,7
/proc/5830/task/5883/stat : 5883 (java) R 5827 5830 5182 0 -1 4202560 96685 12926 0 0 235610 53 5 2 20 0 15 0 47252391 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072696790144 140072343473876 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5884] ppid=5827 vsize=10918240 memory=955304 CPUtime=12.29 cores=1,3,5,7
/proc/5830/task/5884/stat : 5884 (java) S 5827 5830 5182 0 -1 1077944384 13099 12926 0 0 1168 54 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072729196944 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5885] ppid=5827 vsize=10918240 memory=955304 CPUtime=12.31 cores=1,3,5,7
/proc/5830/task/5885/stat : 5885 (java) S 5827 5830 5182 0 -1 1077944384 13291 12926 0 0 1170 54 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072644016400 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5886] ppid=5827 vsize=10918240 memory=955304 CPUtime=12.31 cores=1,3,5,7
/proc/5830/task/5886/stat : 5886 (java) S 5827 5830 5182 0 -1 1077944384 15992 12926 0 0 1169 55 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072642964112 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5887] ppid=5827 vsize=10918240 memory=1408 CPUtime=12.26 cores=1,3,5,7
/proc/5830/task/5887/stat : 5887 (java) S 5827 5830 5182 0 -1 1077944384 11544 12926 0 0 1166 53 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072641911312 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5888] ppid=5827 vsize=10918240 memory=280832612454080 CPUtime=11.03 cores=1,3,5,7
/proc/5830/task/5888/stat : 5888 (java) S 5827 5830 5182 0 -1 1077944384 14519 12926 0 0 1042 54 5 2 20 0 15 0 47252393 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072251624048 140072724966018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5889] ppid=5827 vsize=10918240 memory=955304 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5889/stat : 5889 (java) S 5827 5830 5182 0 -1 1077944384 17 12926 0 0 0 0 5 2 20 0 15 0 47252394 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072171070880 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5890] ppid=5827 vsize=10918240 memory=955304 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5890/stat : 5890 (java) S 5827 5830 5182 0 -1 1077944384 5 12926 0 0 0 0 5 2 20 0 15 0 47252394 11180277760 238826 33554432000 4194304 4196468 140722096637120 140071567091328 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5891] ppid=5827 vsize=10918240 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5891/stat : 5891 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140071259691600 140072724973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5892] ppid=5827 vsize=10918240 memory=4140 CPUtime=8.33 cores=1,3,5,7
/proc/5830/task/5892/stat : 5892 (java) S 5827 5830 5182 0 -1 1077944384 33851 12926 0 0 822 4 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072250570864 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5893] ppid=5827 vsize=10918240 memory=955304 CPUtime=8.01 cores=1,3,5,7
/proc/5830/task/5893/stat : 5893 (java) S 5827 5830 5182 0 -1 1077944384 34154 12926 0 0 787 7 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072249518064 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5894] ppid=5827 vsize=10918240 memory=4140 CPUtime=4 cores=1,3,5,7
/proc/5830/task/5894/stat : 5894 (java) S 5827 5830 5182 0 -1 1077944384 43343 12926 0 0 385 8 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072248465776 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5895] ppid=5827 vsize=10918240 memory=955304 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5895/stat : 5895 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140071226132960 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5896] ppid=5827 vsize=10918240 memory=1196 CPUtime=1.39 cores=1,3,5,7
/proc/5830/task/5896/stat : 5896 (java) S 5827 5830 5182 0 -1 1077944384 973 12926 0 0 58 74 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072247413680 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
Current children cumulated CPU time: 2438.11 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 955304 KiB

[startup+2442.3 s]
/proc/loadavg: 1.47 1.59 1.54 3/215 6101
/proc/meminfo: memFree=21462916/32770624 swapFree=67108860/67108860
[pid=5830] ppid=5827 vsize=10918240 memory=955304 CPUtime=2499.02 cores=1,3,5,7
/proc/5830/stat : 5830 (java) S 5827 5830 5182 0 -1 1077944320 280848 12926 0 0 249528 367 5 2 20 0 15 0 47252382 11180277760 238826 33554432000 4194304 4196468 140722096637120 140722096619664 140072724954871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
/proc/5830/statm: 2729560 238826 3532 1 0 2691213 0
[pid=5830/tid=5883] ppid=5827 vsize=10918240 memory=955304 CPUtime=2416.04 cores=1,3,5,7
/proc/5830/task/5883/stat : 5883 (java) R 5827 5830 5182 0 -1 4202560 97326 12926 0 0 241543 54 5 2 20 0 15 0 47252391 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072696787568 140072342584391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5884] ppid=5827 vsize=10918240 memory=955304 CPUtime=12.61 cores=1,3,5,7
/proc/5830/task/5884/stat : 5884 (java) S 5827 5830 5182 0 -1 1077944384 13196 12926 0 0 1199 55 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072729196944 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5885] ppid=5827 vsize=10918240 memory=955304 CPUtime=12.63 cores=1,3,5,7
/proc/5830/task/5885/stat : 5885 (java) S 5827 5830 5182 0 -1 1077944384 13395 12926 0 0 1200 56 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072644016400 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5886] ppid=5827 vsize=10918240 memory=280832612454080 CPUtime=12.63 cores=1,3,5,7
/proc/5830/task/5886/stat : 5886 (java) S 5827 5830 5182 0 -1 1077944384 16056 12926 0 0 1200 56 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072642964112 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5887] ppid=5827 vsize=10918240 memory=955304 CPUtime=12.58 cores=1,3,5,7
/proc/5830/task/5887/stat : 5887 (java) S 5827 5830 5182 0 -1 1077944384 11588 12926 0 0 1196 55 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072641911312 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5888] ppid=5827 vsize=10918240 memory=955304 CPUtime=11.3 cores=1,3,5,7
/proc/5830/task/5888/stat : 5888 (java) S 5827 5830 5182 0 -1 1077944384 14728 12926 0 0 1067 56 5 2 20 0 15 0 47252393 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072251624048 140072724966018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5889] ppid=5827 vsize=10918240 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5889/stat : 5889 (java) S 5827 5830 5182 0 -1 1077944384 17 12926 0 0 0 0 5 2 20 0 15 0 47252394 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072171070880 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5890] ppid=5827 vsize=10918240 memory=955304 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5890/stat : 5890 (java) S 5827 5830 5182 0 -1 1077944384 5 12926 0 0 0 0 5 2 20 0 15 0 47252394 11180277760 238826 33554432000 4194304 4196468 140722096637120 140071567091328 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5891] ppid=5827 vsize=10918240 memory=955304 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5891/stat : 5891 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140071259691600 140072724973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5892] ppid=5827 vsize=10918240 memory=955304 CPUtime=8.33 cores=1,3,5,7
/proc/5830/task/5892/stat : 5892 (java) S 5827 5830 5182 0 -1 1077944384 33853 12926 0 0 822 4 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072250570864 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5893] ppid=5827 vsize=10918240 memory=955304 CPUtime=8.01 cores=1,3,5,7
/proc/5830/task/5893/stat : 5893 (java) S 5827 5830 5182 0 -1 1077944384 34156 12926 0 0 787 7 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072249518064 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5894] ppid=5827 vsize=10918240 memory=955304 CPUtime=4 cores=1,3,5,7
/proc/5830/task/5894/stat : 5894 (java) S 5827 5830 5182 0 -1 1077944384 43345 12926 0 0 385 8 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072248465776 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5895] ppid=5827 vsize=10918240 memory=955304 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5895/stat : 5895 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140071226132960 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5896] ppid=5827 vsize=10918240 memory=955304 CPUtime=1.43 cores=1,3,5,7
/proc/5830/task/5896/stat : 5896 (java) S 5827 5830 5182 0 -1 1077944384 989 12926 0 0 60 76 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072247413680 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
Current children cumulated CPU time: 2499.02 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 955304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2463 s]*
/proc/loadavg: 1.41 1.57 1.53 3/215 6101
/proc/meminfo: memFree=21462856/32770624 swapFree=67108860/67108860
[pid=5830] ppid=5827 vsize=10918240 memory=955304 CPUtime=2520.07 cores=1,3,5,7
/proc/5830/stat : 5830 (java) S 5827 5830 5182 0 -1 1077944320 281492 12926 0 0 251629 371 5 2 20 0 15 0 47252382 11180277760 238826 33554432000 4194304 4196468 140722096637120 140722096619664 140072724954871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
/proc/5830/statm: 2729560 238826 3532 1 0 2691213 0
[pid=5830/tid=5883] ppid=5827 vsize=10918240 memory=8112282956445269571 CPUtime=2436.5 cores=1,3,5,7
/proc/5830/task/5883/stat : 5883 (java) R 5827 5830 5182 0 -1 4202560 97583 12926 0 0 243589 54 5 2 20 0 15 0 47252391 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072696789408 140072342970503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5884] ppid=5827 vsize=10918240 memory=-7003737579269690708 CPUtime=12.73 cores=1,3,5,7
/proc/5830/task/5884/stat : 5884 (java) S 5827 5830 5182 0 -1 1077944384 13229 12926 0 0 1210 56 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072729196944 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5885] ppid=5827 vsize=10918240 memory=3164 CPUtime=12.74 cores=1,3,5,7
/proc/5830/task/5885/stat : 5885 (java) S 5827 5830 5182 0 -1 1077944384 13483 12926 0 0 1211 56 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072644016400 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5886] ppid=5827 vsize=10918240 memory=955304 CPUtime=12.75 cores=1,3,5,7
/proc/5830/task/5886/stat : 5886 (java) S 5827 5830 5182 0 -1 1077944384 16131 12926 0 0 1211 57 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072642964112 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5887] ppid=5827 vsize=10918240 memory=4104 CPUtime=12.69 cores=1,3,5,7
/proc/5830/task/5887/stat : 5887 (java) S 5827 5830 5182 0 -1 1077944384 11590 12926 0 0 1207 55 5 2 20 0 15 0 47252392 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072641911312 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5888] ppid=5827 vsize=10918240 memory=1408 CPUtime=11.4 cores=1,3,5,7
/proc/5830/task/5888/stat : 5888 (java) S 5827 5830 5182 0 -1 1077944384 14909 12926 0 0 1077 56 5 2 20 0 15 0 47252393 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072251624048 140072724966018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5889] ppid=5827 vsize=10918240 memory=3136 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5889/stat : 5889 (java) S 5827 5830 5182 0 -1 1077944384 17 12926 0 0 0 0 5 2 20 0 15 0 47252394 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072171070880 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5890] ppid=5827 vsize=10918240 memory=996908 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5890/stat : 5890 (java) S 5827 5830 5182 0 -1 1077944384 5 12926 0 0 0 0 5 2 20 0 15 0 47252394 11180277760 238826 33554432000 4194304 4196468 140722096637120 140071567091328 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5891] ppid=5827 vsize=10918240 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5891/stat : 5891 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140071259691600 140072724973467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5892] ppid=5827 vsize=10918240 memory=1952 CPUtime=8.33 cores=1,3,5,7
/proc/5830/task/5892/stat : 5892 (java) S 5827 5830 5182 0 -1 1077944384 33855 12926 0 0 822 4 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072250570864 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5893] ppid=5827 vsize=10918240 memory=955304 CPUtime=8.01 cores=1,3,5,7
/proc/5830/task/5893/stat : 5893 (java) S 5827 5830 5182 0 -1 1077944384 34158 12926 0 0 787 7 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072249518064 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5894] ppid=5827 vsize=10918240 memory=4140 CPUtime=4 cores=1,3,5,7
/proc/5830/task/5894/stat : 5894 (java) S 5827 5830 5182 0 -1 1077944384 43347 12926 0 0 385 8 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072248465776 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5895] ppid=5827 vsize=10918240 memory=15764 CPUtime=0.07 cores=1,3,5,7
/proc/5830/task/5895/stat : 5895 (java) S 5827 5830 5182 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140071226132960 140072724965077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
[pid=5830/tid=5896] ppid=5827 vsize=10918240 memory=1296 CPUtime=1.43 cores=1,3,5,7
/proc/5830/task/5896/stat : 5896 (java) S 5827 5830 5182 0 -1 1077944384 991 12926 0 0 60 76 5 2 20 0 15 0 47252397 11180277760 238826 33554432000 4194304 4196468 140722096637120 140072247413680 140072724966018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39104512 140722096638575 140722096641372 140722096641372 140722096644047 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 955304 KiB

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

[startup+2463.04 s]
# the end of solver process 5830 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.37 s, system=3.75195 s

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

Child status: 143
Real time (s): 2463.04
CPU time (s): 2520.13
CPU user time (s): 2516.37
CPU system time (s): 3.75195
CPU usage (%): 102.318
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1111400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.37
system time used= 3.75195
maximum resident set size= 1112892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276851
involuntary context switches= 6098


# summary of solver processes directly reported to runsolver:
#   pid: 5830
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.37
#   total CPU system time (s): 3.75195

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2103 second user time and 23.3985 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-23 00:01:32
IDJOB=4292893
IDBENCH=141031
IDSOLVER=2750
FILE ID=node103/4292893-1532296892
RUNJOBID= node103-1532293810-5214
PBS_JOBID= 21018979
Free space on /tmp= 56828 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/StillLife/StillLife-wastage-19_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292893-1532296892/watcher-4292893-1532296892 -o /tmp/evaluation-result-4292893-1532296892/solver-4292893-1532296892 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=379737717 HOME/instance-4292893-1532296892.xml

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

MD5SUM BENCH= bc316652a8a0d5c7d33934cb88eaeb44
RANDOM SEED=379737717

node103.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.48
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.48
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.48
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.48
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:        22455768 kB
MemAvailable:   31000212 kB
Buffers:          243052 kB
Cached:          8502692 kB
SwapCached:            0 kB
Active:          2456112 kB
Inactive:        7279800 kB
Active(anon):     993040 kB
Inactive(anon):    16976 kB
Active(file):    1463072 kB
Inactive(file):  7262824 kB
Unevictable:        7144 kB
Mlocked:            7144 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26736 kB
Writeback:             0 kB
AnonPages:        997512 kB
Mapped:            49452 kB
Shmem:             17036 kB
Slab:             275068 kB
SReclaimable:     247008 kB
SUnreclaim:        28060 kB
KernelStack:        3536 kB
PageTables:         7164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1966496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    743424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56800 MiB
End job on node103 at 2018-07-23 00:42:35