2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8-SuperNG 2018-06-13	SAT (TO)	113	2520.1	2459.04

0.99/1.52	c Concrete v3.8.1528841891564 running
8.00/4.60	c 00:21:29.814 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1936. 'extension(false, x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: MDD 827248723, 3 edges, 4 vertices, 1 tuples
8.00/4.62	c 00:21:29.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1978. 'extension(false, x[1][15]=[0‥1], x[2][15]=[0‥1]) :: init: true :: relation: MDD 2036704540, 3 edges, 4 vertices, 1 tuples
8.00/4.62	c 00:21:29.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 1985. 'extension(x[14][1]=[0‥1], x[15][1]=[0‥1], false) :: init: true :: relation: MDD 827248723, 3 edges, 4 vertices, 1 tuples
8.00/4.64	c 00:21:29.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2027. 'extension(x[14][15]=[0‥1], x[15][15]=[0‥1], false) :: init: true :: relation: MDD 2036704540, 3 edges, 4 vertices, 1 tuples
8.00/4.64	c 00:21:29.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2032. 'extension(false, x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: MDD 1123664282, 3 edges, 4 vertices, 1 tuples
8.00/4.65	c 00:21:29.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2074. 'extension(false, x[15][1]=[0‥1], x[15][2]=[0‥1]) :: init: true :: relation: MDD 164733543, 3 edges, 4 vertices, 1 tuples
8.00/4.65	c 00:21:29.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2077. 'extension(x[1][14]=[0‥1], x[1][15]=[0‥1], false) :: init: true :: relation: MDD 1123664282, 3 edges, 4 vertices, 1 tuples
8.00/4.67	c 00:21:29.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2119. 'extension(x[15][14]=[0‥1], x[15][15]=[0‥1], false) :: init: true :: relation: MDD 164733543, 3 edges, 4 vertices, 1 tuples
8.00/4.67	c 00:21:29.890 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2123. 'extension(x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.00/4.68	c 00:21:29.900 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2149. 'extension(x[1][15]=[0‥1], x[2][15]=[0‥1]) :: init: true :: relation: Empty MDD
8.00/4.68	c 00:21:29.901 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2153. 'extension(x[14][1]=[0‥1], x[15][1]=[0‥1]) :: init: true :: relation: Empty MDD
8.00/4.69	c 00:21:29.906 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2179. 'extension(x[14][15]=[0‥1], x[15][15]=[0‥1]) :: init: true :: relation: Empty MDD
8.00/4.69	c 00:21:29.907 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2183. 'extension(x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
8.00/4.69	c 00:21:29.912 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2211. 'extension(x[15][1]=[0‥1], x[15][2]=[0‥1]) :: init: true :: relation: Empty MDD
8.00/4.69	c 00:21:29.914 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2217. 'extension(x[1][14]=[0‥1], x[1][15]=[0‥1]) :: init: true :: relation: Empty MDD
8.35/4.70	c 00:21:29.919 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2245. 'extension(x[15][14]=[0‥1], x[15][15]=[0‥1]) :: init: true :: relation: Empty MDD
13.15/6.39	o 75
13.48/6.45	o 76
16.25/7.46	o 77
16.25/7.48	o 78
16.25/7.49	o 79
16.51/7.53	o 80
16.78/7.63	o 81
16.78/7.64	o 82
16.78/7.66	o 83
16.78/7.67	o 84
17.97/8.10	o 85
17.97/8.11	o 86
18.23/8.17	o 87
18.45/8.23	o 88
19.09/8.62	o 89
19.09/8.63	o 90
19.09/8.64	o 91
19.09/8.65	o 92
19.09/8.66	o 93
19.35/8.71	o 94
21.22/10.05	o 95
21.78/10.59	o 96
21.78/10.59	o 97
21.89/10.60	o 98
21.89/10.60	o 99
21.89/10.61	o 100
21.89/10.62	o 101
21.89/10.62	o 102
29.50/17.23	o 103
58.33/42.68	o 104
58.33/42.69	o 105
58.56/42.85	o 106
218.62/197.48	o 107
514.22/488.27	o 108
514.22/488.28	o 109
515.14/489.16	o 110
913.61/880.98	o 111
945.24/912.02	o 112
1166.45/1129.51	o 113
2520.05/2459.01	Exception in thread "main" java.util.concurrent.TimeoutException
2520.05/2459.01		at concrete.MAC.mac(MAC.scala:188)
2520.05/2459.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2459.01		at scala.util.Try$.apply(Try.scala:209)
2520.05/2459.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2459.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2459.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2459.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2459.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2459.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2459.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2459.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2459.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2459.01		at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2459.01		at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2459.01		at concrete.MAC.nextSolution(MAC.scala:355)
2520.05/2459.01		at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2459.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2459.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2459.01		at concrete.Solver.foreach(Solver.scala:68)
2520.05/2459.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2459.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2459.01		at scala.util.Success.map(Try.scala:209)
2520.05/2459.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2459.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2459.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2459.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2459.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2459.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2459.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2459.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2459.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2459.01		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2459.01		at scala.App.main(App.scala:76)
2520.05/2459.01		at scala.App.main$(App.scala:74)
2520.05/2459.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2459.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2459.02	v <instantiation cost="113">
2520.05/2459.02	v       <list>
2520.05/2459.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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
2520.05/2459.02	v       </list>
2520.05/2459.02	v       <values>
2520.05/2459.02	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 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 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 6 13 16 20 21 23 26 26 28 31 37 39 40 45 46 51 58 113
2520.05/2459.02	v       </values>
2520.05/2459.02	v     </instantiation>
2520.05/2459.02	s SATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292898-1532298084/watcher-4292898-1532298084 -o /tmp/evaluation-result-4292898-1532298084/solver-4292898-1532298084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3500 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=754879412 -superng HOME/instance-4292898-1532298084.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=3527, runsolver pid=3522


[startup+0.100131 s]*
/proc/loadavg: 1.55 1.68 1.67 1/190 3532
/proc/meminfo: memFree=29138408/32770624 swapFree=67108860/67108860
[pid=3527] ppid=3522 vsize=33976 memory=460 CPUtime=0 cores=1,3,5,7
/proc/3527/stat : 3527 (runsolver) D 3522 3527 3468 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 1 0 47371664 34791424 115 33554432000 4194304 4346622 140727916759200 140727916755688 139878251829751 0 0 4096 24578 18446744071581916792 0 0 17 5 0 0 0 0 0 6446216 6449568 32714752 140727916766031 140727916766468 140727916766468 140727916769226 0
/proc/3527/statm: 8494 115 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB

[startup+0.20964 s]*
/proc/loadavg: 1.55 1.68 1.67 1/190 3532
/proc/meminfo: memFree=29134832/32770624 swapFree=67108860/67108860
[pid=3527] ppid=3522 vsize=33976 memory=460 CPUtime=0 cores=1,3,5,7
/proc/3527/stat : 3527 (runsolver) D 3522 3527 3468 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 1 0 47371664 34791424 115 33554432000 4194304 4346622 140727916759200 140727916755688 139878251829751 0 0 4096 24578 18446744071580419588 0 0 17 5 0 0 19 0 0 6446216 6449568 32714752 140727916766031 140727916766468 140727916766468 140727916769226 0
/proc/3527/statm: 8494 115 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB

[startup+0.309392 s]*
/proc/loadavg: 1.55 1.68 1.67 1/190 3532
/proc/meminfo: memFree=29134184/32770624 swapFree=67108860/67108860
[pid=3527] ppid=3522 vsize=33976 memory=460 CPUtime=0 cores=1,3,5,7
/proc/3527/stat : 3527 (runsolver) D 3522 3527 3468 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 1 0 47371664 34791424 115 33554432000 4194304 4346622 140727916759200 140727916755688 139878251829751 0 0 4096 24578 18446744071580419588 0 0 17 5 0 0 19 0 0 6446216 6449568 32714752 140727916766031 140727916766468 140727916766468 140727916769226 0
/proc/3527/statm: 8494 115 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB

[startup+0.700327 s]
/proc/loadavg: 1.55 1.68 1.67 1/190 3532
/proc/meminfo: memFree=29135776/32770624 swapFree=67108860/67108860
[pid=3527] ppid=3522 vsize=168 memory=4 CPUtime=0 cores=1,3,5,7
/proc/3527/stat : 3527 (xcsp-3-concrete) D 3522 3527 3468 0 -1 4194304 117 0 0 0 0 0 0 0 20 0 1 0 47371664 172032 1 33554432000 0 0 140731895387250 140727916755688 139878251829751 0 0 4096 0 18446744071580431491 0 0 17 5 0 0 45 0 0 0 0 6320128 140731895387250 0 0 0 0
/proc/3527/statm: 42 1 0 0 0 34 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 168 KiB
Current children cumulated memory: 4 KiB

[startup+1.50071 s]
/proc/loadavg: 1.55 1.68 1.67 2/218 3662
/proc/meminfo: memFree=29086676/32770624 swapFree=67108860/67108860
[pid=3527] ppid=3522 vsize=10819352 memory=88708 CPUtime=0.99 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3522 3527 3468 0 -1 1077944320 16801 13150 0 1 87 4 5 3 20 0 15 0 47371664 11079016448 22177 33554432000 4194304 4196468 140720367449120 140720367431664 139821760798455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 72 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
/proc/3527/statm: 2704838 22177 3247 1 0 2667149 0
[pid=3527/tid=3636] ppid=3522 vsize=10819352 memory=15796 CPUtime=0.68 cores=1,3,5,7
/proc/3527/task/3636/stat : 3636 (java) R 3522 3527 3468 0 -1 4202560 12383 13150 0 1 57 3 5 3 20 0 15 0 47371752 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821732619280 139821744878942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3641] ppid=3522 vsize=10819352 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3641/stat : 3641 (java) S 3522 3527 3468 0 -1 1077944384 1 13150 0 1 0 0 5 3 20 0 15 0 47371753 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821765040400 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3642] ppid=3522 vsize=10819352 memory=2344 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3642/stat : 3642 (java) S 3522 3527 3468 0 -1 1077944384 1 13150 0 1 0 0 5 3 20 0 15 0 47371753 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821663930768 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3643] ppid=3522 vsize=10819352 memory=1724 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3643/stat : 3643 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371753 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821662878224 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3644] ppid=3522 vsize=10819352 memory=1004 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3644/stat : 3644 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371753 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821661825680 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3645] ppid=3522 vsize=10819352 memory=14004 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3645/stat : 3645 (java) S 3522 3527 3468 0 -1 1077944384 5 13150 0 1 0 0 5 3 20 0 15 0 47371754 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821219346928 139821760809602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3647] ppid=3522 vsize=10819352 memory=796 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3647/stat : 3647 (java) S 3522 3527 3468 0 -1 1077944384 33 13150 0 1 0 0 5 3 20 0 15 0 47371755 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821218293152 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3649] ppid=3522 vsize=10819352 memory=1712 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3649/stat : 3649 (java) S 3522 3527 3468 0 -1 1077944384 1 13150 0 1 0 0 5 3 20 0 15 0 47371755 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821116810736 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3651] ppid=3522 vsize=10819352 memory=1792 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3651/stat : 3651 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371758 11079016448 22177 33554432000 4194304 4196468 140720367449120 139820512832208 139821760817051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3652] ppid=3522 vsize=10819352 memory=956 CPUtime=0.14 cores=1,3,5,7
/proc/3527/task/3652/stat : 3652 (java) S 3522 3527 3468 0 -1 1077944384 863 13150 0 1 6 0 5 3 20 0 15 0 47371758 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821083252720 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3653] ppid=3522 vsize=10819352 memory=2340 CPUtime=0.17 cores=1,3,5,7
/proc/3527/task/3653/stat : 3653 (java) R 3522 3527 3468 0 -1 1077944384 682 13150 0 1 9 0 5 3 20 0 15 0 47371758 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821082200176 139821760809602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3654] ppid=3522 vsize=10819352 memory=932 CPUtime=0.2 cores=1,3,5,7
/proc/3527/task/3654/stat : 3654 (java) R 3522 3527 3468 0 -1 4202560 636 13150 0 1 12 0 5 3 20 0 15 0 47371758 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821081147632 139821744878942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3659] ppid=3522 vsize=10819352 memory=1568 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3659/stat : 3659 (java) S 3522 3527 3468 0 -1 1077944384 3 13150 0 1 0 0 5 3 20 0 15 0 47371758 11079016448 22177 33554432000 4194304 4196468 140720367449120 139820043070048 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3661] ppid=3522 vsize=10819352 memory=2240 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3661/stat : 3661 (java) S 3522 3527 3468 0 -1 1077944384 1 13150 0 1 0 0 5 3 20 0 15 0 47371758 11079016448 22177 33554432000 4194304 4196468 140720367449120 139821080095536 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88708 KiB

[startup+3.1106 s]
/proc/loadavg: 1.55 1.68 1.67 7/218 3662
/proc/meminfo: memFree=28784484/32770624 swapFree=67108860/67108860
[pid=3527] ppid=3522 vsize=10840416 memory=196400 CPUtime=3.92 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3522 3527 3468 0 -1 1077944320 34172 13150 1 1 371 13 5 3 20 0 15 0 47371664 11100585984 49100 33554432000 4194304 4196468 140720367449120 140720367431664 139821760798455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 72 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
/proc/3527/statm: 2710104 49100 3485 1 0 2671757 0
[pid=3527/tid=3636] ppid=3522 vsize=10840416 memory=279756185051072 CPUtime=2.22 cores=1,3,5,7
/proc/3527/task/3636/stat : 3636 (java) R 3522 3527 3468 0 -1 4202560 23155 13150 1 1 208 6 5 3 20 0 15 0 47371752 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821732629136 139821744878942 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3641] ppid=3522 vsize=10840416 memory=5787217125581349970 CPUtime=0.09 cores=1,3,5,7
/proc/3527/task/3641/stat : 3641 (java) S 3522 3527 3468 0 -1 1077944384 27 13150 0 1 1 0 5 3 20 0 15 0 47371753 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821765040400 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3642] ppid=3522 vsize=10840416 memory=1512 CPUtime=0.09 cores=1,3,5,7
/proc/3527/task/3642/stat : 3642 (java) S 3522 3527 3468 0 -1 1077944384 27 13150 0 1 1 0 5 3 20 0 15 0 47371753 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821663930768 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3643] ppid=3522 vsize=10840416 memory=88708 CPUtime=0.09 cores=1,3,5,7
/proc/3527/task/3643/stat : 3643 (java) S 3522 3527 3468 0 -1 1077944384 61 13150 0 1 1 0 5 3 20 0 15 0 47371753 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821662878224 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3644] ppid=3522 vsize=10840416 memory=15796 CPUtime=0.09 cores=1,3,5,7
/proc/3527/task/3644/stat : 3644 (java) S 3522 3527 3468 0 -1 1077944384 177 13150 0 1 1 0 5 3 20 0 15 0 47371753 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821661825680 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3645] ppid=3522 vsize=10840416 memory=1296 CPUtime=0.09 cores=1,3,5,7
/proc/3527/task/3645/stat : 3645 (java) S 3522 3527 3468 0 -1 1077944384 902 13150 0 1 1 0 5 3 20 0 15 0 47371754 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821219346928 139821760809602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3647] ppid=3522 vsize=10840416 memory=2344 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3647/stat : 3647 (java) S 3522 3527 3468 0 -1 1077944384 33 13150 0 1 0 0 5 3 20 0 15 0 47371755 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821218293216 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3649] ppid=3522 vsize=10840416 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3649/stat : 3649 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371755 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821116810752 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3651] ppid=3522 vsize=10840416 memory=288230621803970871 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3651/stat : 3651 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371758 11100585984 49100 33554432000 4194304 4196468 140720367449120 139820512832208 139821760817051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3652] ppid=3522 vsize=10840416 memory=16105879074244697 CPUtime=0.51 cores=1,3,5,7
/proc/3527/task/3652/stat : 3652 (java) R 3522 3527 3468 0 -1 4202560 2286 13150 0 1 42 1 5 3 20 0 15 0 47371758 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821083232416 139821740646690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3653] ppid=3522 vsize=10840416 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/3527/task/3653/stat : 3653 (java) S 3522 3527 3468 0 -1 1077944384 1448 13150 0 1 40 1 5 3 20 0 15 0 47371758 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821082200176 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3654] ppid=3522 vsize=10840416 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/3527/task/3654/stat : 3654 (java) R 3522 3527 3468 0 -1 4202560 3856 13150 0 1 73 1 5 3 20 0 15 0 47371758 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821081147632 139821739783143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3659] ppid=3522 vsize=10840416 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3659/stat : 3659 (java) S 3522 3527 3468 0 -1 1077944384 3 13150 0 1 0 0 5 3 20 0 15 0 47371758 11100585984 49100 33554432000 4194304 4196468 140720367449120 139820043070048 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3661] ppid=3522 vsize=10840416 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3661/stat : 3661 (java) S 3522 3527 3468 0 -1 1077944384 6 13150 0 1 0 0 5 3 20 0 15 0 47371758 11100585984 49100 33554432000 4194304 4196468 140720367449120 139821080095536 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
Current children cumulated CPU time: 3.92 s
Current children cumulated vsize: 10840416 KiB
Current children cumulated memory: 196400 KiB

[startup+6.30076 s]
/proc/loadavg: 1.66 1.70 1.68 8/218 3662
/proc/meminfo: memFree=28440672/32770624 swapFree=67108860/67108860
[pid=3527] ppid=3522 vsize=10918240 memory=374744 CPUtime=13.15 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3522 3527 3468 0 -1 1077944320 65132 13150 1 1 1285 22 5 3 20 0 15 0 47371664 11180277760 93686 33554432000 4194304 4196468 140720367449120 140720367431664 139821760798455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 72 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
/proc/3527/statm: 2729560 93686 3507 1 0 2691213 0
[pid=3527/tid=3636] ppid=3522 vsize=10918240 memory=268228 CPUtime=5.34 cores=1,3,5,7
/proc/3527/task/3636/stat : 3636 (java) R 3522 3527 3468 0 -1 4202560 43295 13150 1 1 516 10 5 3 20 0 15 0 47371752 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821732632352 139821354788295 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3641] ppid=3522 vsize=10918240 memory=348568 CPUtime=0.11 cores=1,3,5,7
/proc/3527/task/3641/stat : 3641 (java) S 3522 3527 3468 0 -1 1077944384 62 13150 0 1 3 0 5 3 20 0 15 0 47371753 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821765040400 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3642] ppid=3522 vsize=10918240 memory=139878092268065 CPUtime=0.12 cores=1,3,5,7
/proc/3527/task/3642/stat : 3642 (java) S 3522 3527 3468 0 -1 1077944384 60 13150 0 1 4 0 5 3 20 0 15 0 47371753 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821663930768 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3643] ppid=3522 vsize=10918240 memory=266296 CPUtime=0.11 cores=1,3,5,7
/proc/3527/task/3643/stat : 3643 (java) S 3522 3527 3468 0 -1 1077944384 120 13150 0 1 3 0 5 3 20 0 15 0 47371753 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821662878224 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3644] ppid=3522 vsize=10918240 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3527/task/3644/stat : 3644 (java) S 3522 3527 3468 0 -1 1077944384 234 13150 0 1 4 0 5 3 20 0 15 0 47371753 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821661825680 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3645] ppid=3522 vsize=10918240 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3527/task/3645/stat : 3645 (java) S 3522 3527 3468 0 -1 1077944384 2067 13150 0 1 4 0 5 3 20 0 15 0 47371754 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821219346928 139821760809602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3647] ppid=3522 vsize=10918240 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3647/stat : 3647 (java) S 3522 3527 3468 0 -1 1077944384 37 13150 0 1 0 0 5 3 20 0 15 0 47371755 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821218293280 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3649] ppid=3522 vsize=10918240 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3649/stat : 3649 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371755 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821116810752 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3651] ppid=3522 vsize=10918240 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3651/stat : 3651 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371758 11180277760 93686 33554432000 4194304 4196468 140720367449120 139820512832208 139821760817051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3652] ppid=3522 vsize=10918240 memory=1512 CPUtime=2.84 cores=1,3,5,7
/proc/3527/task/3652/stat : 3652 (java) R 3522 3527 3468 0 -1 4202560 5822 13150 0 1 275 1 5 3 20 0 15 0 47371758 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821083239040 139821744355772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3653] ppid=3522 vsize=10918240 memory=88708 CPUtime=2.65 cores=1,3,5,7
/proc/3527/task/3653/stat : 3653 (java) R 3522 3527 3468 0 -1 4202560 3712 13150 0 1 256 1 5 3 20 0 15 0 47371758 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821082180768 139821742342899 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3654] ppid=3522 vsize=10918240 memory=4140 CPUtime=2.26 cores=1,3,5,7
/proc/3527/task/3654/stat : 3654 (java) S 3522 3527 3468 0 -1 1077944384 7521 13150 0 1 215 3 5 3 20 0 15 0 47371758 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821081147632 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3659] ppid=3522 vsize=10918240 memory=15796 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3659/stat : 3659 (java) S 3522 3527 3468 0 -1 1077944384 3 13150 0 1 0 0 5 3 20 0 15 0 47371758 11180277760 93686 33554432000 4194304 4196468 140720367449120 139820043070048 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3661] ppid=3522 vsize=10918240 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3661/stat : 3661 (java) S 3522 3527 3468 0 -1 1077944384 7 13150 0 1 0 0 5 3 20 0 15 0 47371758 11180277760 93686 33554432000 4194304 4196468 140720367449120 139821080095536 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
Current children cumulated CPU time: 13.15 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 374744 KiB

[startup+12.7008 s]
/proc/loadavg: 1.77 1.72 1.69 3/218 3662
/proc/meminfo: memFree=27431280/32770624 swapFree=67108860/67108860
[pid=3527] ppid=3522 vsize=10918240 memory=821900 CPUtime=24.48 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3522 3527 3468 0 -1 1077944320 85477 13150 1 1 2393 47 5 3 20 0 15 0 47371664 11180277760 205475 33554432000 4194304 4196468 140720367449120 140720367431664 139821760798455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 72 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
/proc/3527/statm: 2729560 205475 3529 1 0 2691213 0
[pid=3527/tid=3636] ppid=3522 vsize=10918240 memory=31327491464315 CPUtime=11.56 cores=1,3,5,7
/proc/3527/task/3636/stat : 3636 (java) R 3522 3527 3468 0 -1 4202560 46415 13150 1 1 1133 15 5 3 20 0 15 0 47371752 11180277760 205475 33554432000 4194304 4196468 140720367449120 139821732632192 139821347630597 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3641] ppid=3522 vsize=10918240 memory=302304366327759148 CPUtime=0.27 cores=1,3,5,7
/proc/3527/task/3641/stat : 3641 (java) S 3522 3527 3468 0 -1 1077944384 1010 13150 0 1 14 5 5 3 20 0 15 0 47371753 11180277760 205475 33554432000 4194304 4196468 140720367449120 139821765040400 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3642] ppid=3522 vsize=10918240 memory=686284 CPUtime=0.26 cores=1,3,5,7
/proc/3527/task/3642/stat : 3642 (java) S 3522 3527 3468 0 -1 1077944384 182 13150 0 1 13 5 5 3 20 0 15 0 47371753 11180277760 205475 33554432000 4194304 4196468 140720367449120 139821663930768 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3643] ppid=3522 vsize=10918240 memory=1424 CPUtime=0.26 cores=1,3,5,7
/proc/3527/task/3643/stat : 3643 (java) S 3522 3527 3468 0 -1 1077944384 599 13150 0 1 13 5 5 3 20 0 15 0 47371753 11180277760 205475 33554432000 4194304 4196468 140720367449120 139821662878224 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3644] ppid=3522 vsize=10918240 memory=18 CPUtime=0.28 cores=1,3,5,7
/proc/3527/task/3644/stat : 3644 (java) S 3522 3527 3468 0 -1 1077944384 1079 13150 0 1 15 5 5 3 20 0 15 0 47371753 11180277760 205475 33554432000 4194304 4196468 140720367449120 139821661825680 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0

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

/proc/3527/task/3636/stat : 3636 (java) R 3522 3527 3468 0 -1 4202560 118093 13150 1 1 229666 50 5 3 20 0 15 0 47371752 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821732632560 139821356310194 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3641] ppid=3522 vsize=10918240 memory=1291632 CPUtime=13.46 cores=1,3,5,7
/proc/3527/task/3641/stat : 3641 (java) S 3522 3527 3468 0 -1 1077944384 30562 13150 0 1 1284 54 5 3 20 0 15 0 47371753 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821765040400 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3642] ppid=3522 vsize=10918240 memory=1291632 CPUtime=13.48 cores=1,3,5,7
/proc/3527/task/3642/stat : 3642 (java) S 3522 3527 3468 0 -1 1077944384 25225 13150 0 1 1286 54 5 3 20 0 15 0 47371753 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821663930768 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3643] ppid=3522 vsize=10918240 memory=1291632 CPUtime=13.47 cores=1,3,5,7
/proc/3527/task/3643/stat : 3643 (java) S 3522 3527 3468 0 -1 1077944384 28614 13150 0 1 1288 51 5 3 20 0 15 0 47371753 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821662878224 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3644] ppid=3522 vsize=10918240 memory=1291632 CPUtime=13.45 cores=1,3,5,7
/proc/3527/task/3644/stat : 3644 (java) S 3522 3527 3468 0 -1 1077944384 22259 13150 0 1 1283 54 5 3 20 0 15 0 47371753 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821661825680 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3645] ppid=3522 vsize=10918240 memory=1291632 CPUtime=7.94 cores=1,3,5,7
/proc/3527/task/3645/stat : 3645 (java) S 3522 3527 3468 0 -1 1077944384 21219 13150 0 1 737 49 5 3 20 0 15 0 47371754 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821219346928 139821760809602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3647] ppid=3522 vsize=10918240 memory=1291632 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3647/stat : 3647 (java) S 3522 3527 3468 0 -1 1077944384 40 13150 0 1 0 0 5 3 20 0 15 0 47371755 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821218293280 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3649] ppid=3522 vsize=10918240 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3649/stat : 3649 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371755 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821116810752 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3651] ppid=3522 vsize=10918240 memory=1291632 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3651/stat : 3651 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371758 11180277760 322908 33554432000 4194304 4196468 140720367449120 139820512832208 139821760817051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3652] ppid=3522 vsize=10918240 memory=4140 CPUtime=9.08 cores=1,3,5,7
/proc/3527/task/3652/stat : 3652 (java) S 3522 3527 3468 0 -1 1077944384 50422 13150 0 1 894 6 5 3 20 0 15 0 47371758 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821083252720 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3653] ppid=3522 vsize=10918240 memory=1291632 CPUtime=8.13 cores=1,3,5,7
/proc/3527/task/3653/stat : 3653 (java) S 3522 3527 3468 0 -1 1077944384 50861 13150 0 1 799 6 5 3 20 0 15 0 47371758 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821082200176 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3654] ppid=3522 vsize=10918240 memory=1291632 CPUtime=3.94 cores=1,3,5,7
/proc/3527/task/3654/stat : 3654 (java) S 3522 3527 3468 0 -1 1077944384 43150 13150 0 1 378 8 5 3 20 0 15 0 47371758 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821081147632 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3659] ppid=3522 vsize=10918240 memory=1291632 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3659/stat : 3659 (java) S 3522 3527 3468 0 -1 1077944384 3 13150 0 1 0 0 5 3 20 0 15 0 47371758 11180277760 322908 33554432000 4194304 4196468 140720367449120 139820043070048 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3661] ppid=3522 vsize=10918240 memory=1291632 CPUtime=1.38 cores=1,3,5,7
/proc/3527/task/3661/stat : 3661 (java) S 3522 3527 3468 0 -1 1077944384 1552 13150 0 1 57 73 5 3 20 0 15 0 47371758 11180277760 322908 33554432000 4194304 4196468 140720367449120 139821080095536 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
Current children cumulated CPU time: 2380.96 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1291632 KiB

[startup+2382.3 s]
/proc/loadavg: 1.28 1.32 1.36 3/216 3763
/proc/meminfo: memFree=26318244/32770624 swapFree=67108860/67108860
[pid=3527] ppid=3522 vsize=10918240 memory=1301812 CPUtime=2442.02 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3522 3527 3468 0 -1 1077944320 397727 13150 1 1 243826 368 5 3 20 0 15 0 47371664 11180277760 325453 33554432000 4194304 4196468 140720367449120 140720367431664 139821760798455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 72 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
/proc/3527/statm: 2729560 325453 3530 1 0 2691213 0
[pid=3527/tid=3636] ppid=3522 vsize=10918240 memory=1297684 CPUtime=2356.57 cores=1,3,5,7
/proc/3527/task/3636/stat : 3636 (java) R 3522 3527 3468 0 -1 4202560 119346 13150 1 1 235598 51 5 3 20 0 15 0 47371752 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821732632960 139821355308999 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3641] ppid=3522 vsize=10918240 memory=1301784 CPUtime=13.83 cores=1,3,5,7
/proc/3527/task/3641/stat : 3641 (java) S 3522 3527 3468 0 -1 1077944384 30743 13150 0 1 1319 56 5 3 20 0 15 0 47371753 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821765040400 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3642] ppid=3522 vsize=10918240 memory=1299716 CPUtime=13.85 cores=1,3,5,7
/proc/3527/task/3642/stat : 3642 (java) S 3522 3527 3468 0 -1 1077944384 25304 13150 0 1 1322 55 5 3 20 0 15 0 47371753 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821663930768 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3643] ppid=3522 vsize=10918240 memory=1291632 CPUtime=13.82 cores=1,3,5,7
/proc/3527/task/3643/stat : 3643 (java) S 3522 3527 3468 0 -1 1077944384 29325 13150 0 1 1323 51 5 3 20 0 15 0 47371753 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821662878224 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3644] ppid=3522 vsize=10918240 memory=1301632 CPUtime=13.83 cores=1,3,5,7
/proc/3527/task/3644/stat : 3644 (java) S 3522 3527 3468 0 -1 1077944384 22962 13150 0 1 1320 55 5 3 20 0 15 0 47371753 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821661825680 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3645] ppid=3522 vsize=10918240 memory=1301632 CPUtime=8.15 cores=1,3,5,7
/proc/3527/task/3645/stat : 3645 (java) S 3522 3527 3468 0 -1 1077944384 21789 13150 0 1 757 50 5 3 20 0 15 0 47371754 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821219346928 139821760809602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3647] ppid=3522 vsize=10918240 memory=1301784 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3647/stat : 3647 (java) S 3522 3527 3468 0 -1 1077944384 40 13150 0 1 0 0 5 3 20 0 15 0 47371755 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821218293280 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3649] ppid=3522 vsize=10918240 memory=1301784 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3649/stat : 3649 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371755 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821116810752 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3651] ppid=3522 vsize=10918240 memory=1301812 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3651/stat : 3651 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371758 11180277760 325453 33554432000 4194304 4196468 140720367449120 139820512832208 139821760817051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3652] ppid=3522 vsize=10918240 memory=1301784 CPUtime=9.08 cores=1,3,5,7
/proc/3527/task/3652/stat : 3652 (java) S 3522 3527 3468 0 -1 1077944384 50424 13150 0 1 894 6 5 3 20 0 15 0 47371758 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821083252720 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3653] ppid=3522 vsize=10918240 memory=1301812 CPUtime=8.13 cores=1,3,5,7
/proc/3527/task/3653/stat : 3653 (java) S 3522 3527 3468 0 -1 1077944384 50863 13150 0 1 799 6 5 3 20 0 15 0 47371758 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821082200176 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3654] ppid=3522 vsize=10918240 memory=164 CPUtime=3.94 cores=1,3,5,7
/proc/3527/task/3654/stat : 3654 (java) S 3522 3527 3468 0 -1 1077944384 43152 13150 0 1 378 8 5 3 20 0 15 0 47371758 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821081147632 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3659] ppid=3522 vsize=10918240 memory=1301812 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3659/stat : 3659 (java) S 3522 3527 3468 0 -1 1077944384 3 13150 0 1 0 0 5 3 20 0 15 0 47371758 11180277760 325453 33554432000 4194304 4196468 140720367449120 139820043070048 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3661] ppid=3522 vsize=10918240 memory=1196 CPUtime=1.42 cores=1,3,5,7
/proc/3527/task/3661/stat : 3661 (java) S 3522 3527 3468 0 -1 1077944384 1584 13150 0 1 58 76 5 3 20 0 15 0 47371758 11180277760 325453 33554432000 4194304 4196468 140720367449120 139821080095536 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
Current children cumulated CPU time: 2442.02 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1301812 KiB

[startup+2442.3 s]
/proc/loadavg: 1.31 1.32 1.36 3/216 3764
/proc/meminfo: memFree=26314216/32770624 swapFree=67108860/67108860
[pid=3527] ppid=3522 vsize=10918240 memory=1306180 CPUtime=2503.09 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3522 3527 3468 0 -1 1077944320 398983 13150 1 1 249925 376 5 3 20 0 15 0 47371664 11180277760 326545 33554432000 4194304 4196468 140720367449120 140720367431664 139821760798455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 72 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
/proc/3527/statm: 2729560 326545 3530 1 0 2691213 0
[pid=3527/tid=3636] ppid=3522 vsize=10918240 memory=1306180 CPUtime=2415.87 cores=1,3,5,7
/proc/3527/task/3636/stat : 3636 (java) R 3522 3527 3468 0 -1 4202560 120057 13150 1 1 241528 51 5 3 20 0 15 0 47371752 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821732633904 139821356110117 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3641] ppid=3522 vsize=10918240 memory=1304132 CPUtime=14.21 cores=1,3,5,7
/proc/3527/task/3641/stat : 3641 (java) S 3522 3527 3468 0 -1 1077944384 30813 13150 0 1 1356 57 5 3 20 0 15 0 47371753 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821765040400 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3642] ppid=3522 vsize=10918240 memory=1301632 CPUtime=14.22 cores=1,3,5,7
/proc/3527/task/3642/stat : 3642 (java) S 3522 3527 3468 0 -1 1077944384 25378 13150 0 1 1358 56 5 3 20 0 15 0 47371753 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821663930768 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3643] ppid=3522 vsize=10918240 memory=1304132 CPUtime=14.21 cores=1,3,5,7
/proc/3527/task/3643/stat : 3643 (java) S 3522 3527 3468 0 -1 1077944384 29388 13150 0 1 1359 54 5 3 20 0 15 0 47371753 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821662878224 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3644] ppid=3522 vsize=10918240 memory=1304132 CPUtime=14.2 cores=1,3,5,7
/proc/3527/task/3644/stat : 3644 (java) S 3522 3527 3468 0 -1 1077944384 23062 13150 0 1 1356 56 5 3 20 0 15 0 47371753 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821661825680 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3645] ppid=3522 vsize=10918240 memory=1304132 CPUtime=8.37 cores=1,3,5,7
/proc/3527/task/3645/stat : 3645 (java) S 3522 3527 3468 0 -1 1077944384 22005 13150 0 1 778 51 5 3 20 0 15 0 47371754 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821219346928 139821760809602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3647] ppid=3522 vsize=10918240 memory=1304132 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3647/stat : 3647 (java) S 3522 3527 3468 0 -1 1077944384 40 13150 0 1 0 0 5 3 20 0 15 0 47371755 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821218293280 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3649] ppid=3522 vsize=10918240 memory=1304132 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3649/stat : 3649 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371755 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821116810752 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3651] ppid=3522 vsize=10918240 memory=1304132 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3651/stat : 3651 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139820512832208 139821760817051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3652] ppid=3522 vsize=10918240 memory=1306180 CPUtime=9.08 cores=1,3,5,7
/proc/3527/task/3652/stat : 3652 (java) S 3522 3527 3468 0 -1 1077944384 50426 13150 0 1 894 6 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821083252720 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3653] ppid=3522 vsize=10918240 memory=1304132 CPUtime=8.13 cores=1,3,5,7
/proc/3527/task/3653/stat : 3653 (java) S 3522 3527 3468 0 -1 1077944384 50865 13150 0 1 799 6 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821082200176 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3654] ppid=3522 vsize=10918240 memory=1304132 CPUtime=3.94 cores=1,3,5,7
/proc/3527/task/3654/stat : 3654 (java) S 3522 3527 3468 0 -1 1077944384 43154 13150 0 1 378 8 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821081147632 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3659] ppid=3522 vsize=10918240 memory=1304132 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3659/stat : 3659 (java) S 3522 3527 3468 0 -1 1077944384 3 13150 0 1 0 0 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139820043070048 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3661] ppid=3522 vsize=10918240 memory=1304132 CPUtime=1.45 cores=1,3,5,7
/proc/3527/task/3661/stat : 3661 (java) S 3522 3527 3468 0 -1 1077944384 1600 13150 0 1 60 77 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821080095536 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
Current children cumulated CPU time: 2503.09 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1306180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2459 s]*
/proc/loadavg: 1.69 1.40 1.38 5/216 3895
/proc/meminfo: memFree=27507876/32770624 swapFree=67108860/67108860
[pid=3527] ppid=3522 vsize=10918240 memory=1306180 CPUtime=2520.05 cores=1,3,5,7
/proc/3527/stat : 3527 (java) S 3522 3527 3468 0 -1 1077944320 399101 13150 1 1 251619 378 5 3 20 0 15 0 47371664 11180277760 326545 33554432000 4194304 4196468 140720367449120 140720367431664 139821760798455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 72 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
/proc/3527/statm: 2729560 326545 3530 1 0 2691213 0
[pid=3527/tid=3636] ppid=3522 vsize=10918240 memory=8112282956445269571 CPUtime=2432.4 cores=1,3,5,7
/proc/3527/task/3636/stat : 3636 (java) R 3522 3527 3468 0 -1 4202560 120167 13150 1 1 243180 52 5 3 20 0 15 0 47371752 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821732633984 139821354829457 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3641] ppid=3522 vsize=10918240 memory=-7003737579269690708 CPUtime=14.3 cores=1,3,5,7
/proc/3527/task/3641/stat : 3641 (java) S 3522 3527 3468 0 -1 1077944384 30813 13150 0 1 1365 57 5 3 20 0 15 0 47371753 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821765040400 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3642] ppid=3522 vsize=10918240 memory=1792 CPUtime=14.32 cores=1,3,5,7
/proc/3527/task/3642/stat : 3642 (java) S 3522 3527 3468 0 -1 1077944384 25378 13150 0 1 1367 57 5 3 20 0 15 0 47371753 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821663930768 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3643] ppid=3522 vsize=10918240 memory=956 CPUtime=14.3 cores=1,3,5,7
/proc/3527/task/3643/stat : 3643 (java) S 3522 3527 3468 0 -1 1077944384 29391 13150 0 1 1368 54 5 3 20 0 15 0 47371753 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821662878224 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3644] ppid=3522 vsize=10918240 memory=2340 CPUtime=14.31 cores=1,3,5,7
/proc/3527/task/3644/stat : 3644 (java) S 3522 3527 3468 0 -1 1077944384 23062 13150 0 1 1366 57 5 3 20 0 15 0 47371753 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821661825680 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3645] ppid=3522 vsize=10918240 memory=55 CPUtime=8.43 cores=1,3,5,7
/proc/3527/task/3645/stat : 3645 (java) S 3522 3527 3468 0 -1 1077944384 22010 13150 0 1 783 52 5 3 20 0 15 0 47371754 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821219346928 139821760809602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3647] ppid=3522 vsize=10918240 memory=7662986179138053204 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3647/stat : 3647 (java) S 3522 3527 3468 0 -1 1077944384 40 13150 0 1 0 0 5 3 20 0 15 0 47371755 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821218293280 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3649] ppid=3522 vsize=10918240 memory=7301857172715104592 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3649/stat : 3649 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371755 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821116810752 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3651] ppid=3522 vsize=10918240 memory=7957689449132282197 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3651/stat : 3651 (java) S 3522 3527 3468 0 -1 1077944384 2 13150 0 1 0 0 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139820512832208 139821760817051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3652] ppid=3522 vsize=10918240 memory=5860704123725310038 CPUtime=9.08 cores=1,3,5,7
/proc/3527/task/3652/stat : 3652 (java) S 3522 3527 3468 0 -1 1077944384 50426 13150 0 1 894 6 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821083252720 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3653] ppid=3522 vsize=10918240 memory=5860704123725310038 CPUtime=8.13 cores=1,3,5,7
/proc/3527/task/3653/stat : 3653 (java) S 3522 3527 3468 0 -1 1077944384 50865 13150 0 1 799 6 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821082200176 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3654] ppid=3522 vsize=10918240 memory=5860704123725310038 CPUtime=3.94 cores=1,3,5,7
/proc/3527/task/3654/stat : 3654 (java) S 3522 3527 3468 0 -1 1077944384 43154 13150 0 1 378 8 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821081147632 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3659] ppid=3522 vsize=10918240 memory=7957689449132282197 CPUtime=0.08 cores=1,3,5,7
/proc/3527/task/3659/stat : 3659 (java) S 3522 3527 3468 0 -1 1077944384 3 13150 0 1 0 0 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139820043070048 139821760808661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
[pid=3527/tid=3661] ppid=3522 vsize=10918240 memory=1301812 CPUtime=1.46 cores=1,3,5,7
/proc/3527/task/3661/stat : 3661 (java) S 3522 3527 3468 0 -1 1077944384 1600 13150 0 1 60 78 5 3 20 0 15 0 47371758 11180277760 326545 33554432000 4194304 4196468 140720367449120 139821080095536 139821760809602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6717440 140720367450284 140720367453532 140720367453532 140720367456207 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1306180 KiB

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

[startup+2459.04 s]
# the end of solver process 3527 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.26 s, system=3.83254 s

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

Child status: 143
Real time (s): 2459.04
CPU time (s): 2520.1
CPU user time (s): 2516.26
CPU system time (s): 3.83254
CPU usage (%): 102.483
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1752288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.26
system time used= 3.83254
maximum resident set size= 1766652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413316
page faults= 2
swaps= 0
block input operations= 3440
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235328
involuntary context switches= 7076


# summary of solver processes directly reported to runsolver:
#   pid: 3527
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.26
#   total CPU system time (s): 3.83254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1187 second user time and 22.9366 second system time

The end

Name	StillLife/ StillLife-wastage-15_c18.xml
MD5SUM	e301970dbbdacc0ad69519f2afe54420
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	119
Best CPU time to get the best result obtained on this benchmark	66.0119
Satisfiable
(Un)Satisfiability was proved
Number of variables	596
Number of constraints	383
Number of domains	4
Minimum domain size	2
Maximum domain size	579
Distribution of domain sizes	[{"size":2,"count":289},{"size":3,"count":289},{"size":226,"count":1},{"size":579,"count":17}]
Minimum variable degree	1
Maximum variable degree	18
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":286},{"degree":3,"count":20},{"degree":4,"count":60},{"degree":8,"count":56},{"degree":9,"count":169},{"degree":18,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	19
Distribution of constraint arities	[{"arity":2,"count":77},{"arity":3,"count":60},{"arity":10,"count":225},{"arity":17,"count":4},{"arity":18,"count":1},{"arity":19,"count":16}]
Number of extensional constraints	285
Number of intensional constraints	76
Distribution of constraint types	[{"type":"extension","count":285},{"type":"intension","count":76},{"type":"sum","count":18},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4292898

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data