2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	171	2520.06	2463.33

1.00/0.92	c Concrete v3.9.2.1532736233296 running
9.46/4.27	c 04:32:19.583 [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 468950278, 3 edges, 4 vertices, 1 tuples
9.81/4.30	c 04:32:19.612 [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 1046302571, 3 edges, 4 vertices, 1 tuples
9.81/4.30	c 04:32:19.614 [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 468950278, 3 edges, 4 vertices, 1 tuples
9.81/4.32	c 04:32:19.631 [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 1046302571, 3 edges, 4 vertices, 1 tuples
9.81/4.32	c 04:32:19.633 [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 1188390859, 3 edges, 4 vertices, 1 tuples
9.81/4.33	c 04:32:19.646 [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 1140202235, 3 edges, 4 vertices, 1 tuples
9.81/4.33	c 04:32:19.648 [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 1188390859, 3 edges, 4 vertices, 1 tuples
9.81/4.35	c 04:32:19.662 [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 1140202235, 3 edges, 4 vertices, 1 tuples
9.81/4.35	c 04:32:19.664 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2811. 'extension(x[1][1]=[0‥1], x[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
9.81/4.36	c 04:32:19.676 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2845. 'extension(x[1][19]=[0‥1], x[2][19]=[0‥1]) :: init: true :: relation: Empty MDD
9.81/4.37	c 04:32:19.677 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2849. 'extension(x[18][1]=[0‥1], x[19][1]=[0‥1]) :: init: true :: relation: Empty MDD
9.81/4.37	c 04:32:19.683 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2883. 'extension(x[18][19]=[0‥1], x[19][19]=[0‥1]) :: init: true :: relation: Empty MDD
9.81/4.37	c 04:32:19.684 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2887. 'extension(x[1][1]=[0‥1], x[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
9.81/4.38	c 04:32:19.691 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2923. 'extension(x[19][1]=[0‥1], x[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
9.81/4.38	c 04:32:19.692 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 2929. 'extension(x[1][18]=[0‥1], x[1][19]=[0‥1]) :: init: true :: relation: Empty MDD
9.81/4.38	c 04:32:19.698 [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.51/6.31	o 132
16.15/6.56	o 139
16.43/6.61	o 141
16.43/6.67	o 142
17.69/7.34	o 149
17.69/7.36	o 150
17.69/7.37	o 151
17.93/7.44	o 152
21.09/9.47	o 153
21.09/9.49	o 154
21.41/9.61	o 155
21.41/9.63	o 156
21.41/9.64	o 157
25.29/12.85	o 158
35.76/21.71	o 159
35.99/21.94	o 160
36.33/22.21	o 161
37.67/23.46	o 162
75.74/56.62	o 163
76.26/57.16	o 164
76.36/57.21	o 165
77.46/58.31	o 166
121.10/101.59	o 167
1087.77/1054.03	o 168
1087.77/1054.08	o 169
1145.38/1110.78	o 170
1145.59/1110.90	o 171
2520.01/2463.30	Exception in thread "main" java.util.concurrent.TimeoutException
2520.01/2463.30		at concrete.MAC.mac(MAC.scala:188)
2520.01/2463.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.01/2463.31		at scala.util.Try$.apply(Try.scala:209)
2520.01/2463.31		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2463.31		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2463.31		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2463.31		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2463.31		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.01/2463.31		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2463.31		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2463.31		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2463.31		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2463.31		at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2463.31		at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2463.31		at concrete.MAC.nextSolution(MAC.scala:355)
2520.01/2463.31		at concrete.Solver.hasNext(Solver.scala:166)
2520.01/2463.31		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.01/2463.31		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.01/2463.31		at concrete.Solver.foreach(Solver.scala:68)
2520.01/2463.31		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.01/2463.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2463.31		at scala.util.Success.map(Try.scala:209)
2520.01/2463.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2463.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.01/2463.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.01/2463.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2463.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.01/2463.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2463.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2463.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2463.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2463.31		at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2463.31		at scala.App.main(App.scala:76)
2520.01/2463.31		at scala.App.main$(App.scala:74)
2520.01/2463.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.01/2463.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2463.32	v <instantiation cost="171">
2520.01/2463.32	v       <list>
2520.01/2463.32	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] z
2520.01/2463.32	v       </list>
2520.01/2463.32	v       <values>
2520.01/2463.32	v         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 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 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 1 0 0 1 0 0 1 0 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 2 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 2 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 7 10 11 19 26 30 34 38 42 44 51 59 67 74 78 85 88 96 100 106 114 171
2520.01/2463.32	v       </values>
2520.01/2463.32	v     </instantiation>
2520.01/2463.32	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 (3185 MiB free)
  memory of node 1: 16384 MiB (3257 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304135-1534041135/watcher-4304135-1534041135 -o /tmp/evaluation-result-4304135-1534041135/solver-4304135-1534041135 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17409 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=993149683 HOME/instance-4304135-1534041135.xml 

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

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


[startup+0.100091 s]*
/proc/loadavg: 1.00 1.01 1.10 3/210 17511
/proc/meminfo: memFree=6574664/32770624 swapFree=67108404/67108860
[pid=17434] ppid=17429 vsize=113256 memory=1608 CPUtime=0.01 cores=1,3,5,7
/proc/17434/stat : 17434 (bash) S 17429 17434 15321 0 -1 4202496 883 5669 1 1 0 0 0 1 20 0 1 0 221676627 115974144 402 33554432000 4194304 5098028 140727101144736 140727101138744 139725908388864 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 3 0 0 7196144 7232144 40726528 140727101150380 140727101150504 140727101150504 140727101153262 0
/proc/17434/statm: 28314 402 318 221 0 119 0
[pid=17490] ppid=17434 vsize=113256 memory=716 CPUtime=0 cores=1,3,5,7
/proc/17490/stat : 17490 (bash) S 17434 17434 15321 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 221676633 115974144 179 33554432000 4194304 5098028 140727101144736 140727101137416 139725908214396 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40726528 140727101150380 140727101150504 140727101150504 140727101153262 0
/proc/17490/statm: 28314 179 95 221 0 119 0
[pid=17492] ppid=17490 vsize=10260324 memory=21356 CPUtime=0.03 cores=1,3,5,7
/proc/17492/stat : 17492 (java) S 17490 17434 15321 0 -1 1077944320 4117 0 0 0 3 0 0 0 20 0 9 0 221676633 10506571776 5339 33554432000 4194304 4196468 140723328295472 140723328278016 140320074456823 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25337856 140723328304419 140723328304433 140723328304433 140723328307151 0
/proc/17492/statm: 2565081 5339 2160 1 0 2527622 0
[pid=17492/tid=17496] ppid=17490 vsize=10260324 memory=-7745799325366387508 CPUtime=0.03 cores=1,3,5,7
/proc/17492/task/17496/stat : 17496 (java) R 17490 17434 15321 0 -1 4202560 2788 0 0 0 3 0 0 0 20 0 9 0 221676634 10506571776 5339 33554432000 4194304 4196468 140723328295472 140320078694768 140320074478749 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25337856 140723328304419 140723328304433 140723328304433 140723328307151 0
[pid=17492/tid=17498] ppid=17490 vsize=10260324 memory=4210146916469654281 CPUtime=0 cores=1,3,5,7
/proc/17492/task/17498/stat : 17498 (java) S 17490 17434 15321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 9 0 221676635 10506571776 5339 33554432000 4194304 4196468 140723328295472 140320011147920 140320074467029 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25337856 140723328304419 140723328304433 140723328304433 140723328307151 0
[pid=17492/tid=17500] ppid=17490 vsize=10260324 memory=140034305115776 CPUtime=0 cores=1,3,5,7
/proc/17492/task/17500/stat : 17500 (java) S 17490 17434 15321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 221676635 10506571776 5339 33554432000 4194304 4196468 140723328295472 140320010095120 140320074467029 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25337856 140723328304419 140723328304433 140723328304433 140723328307151 0
[pid=17492/tid=17504] ppid=17490 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17492/task/17504/stat : 17504 (java) S 17490 17434 15321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 221676635 10506571776 5339 33554432000 4194304 4196468 140723328295472 140320009042320 140320074467029 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25337856 140723328304419 140723328304433 140723328304433 140723328307151 0
[pid=17492/tid=17505] ppid=17490 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17492/task/17505/stat : 17505 (java) S 17490 17434 15321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 221676635 10506571776 5339 33554432000 4194304 4196468 140723328295472 140320007989520 140320074467029 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25337856 140723328304419 140723328304433 140723328304433 140723328307151 0
[pid=17492/tid=17506] ppid=17490 vsize=10260324 memory=140034305115776 CPUtime=0 cores=1,3,5,7
/proc/17492/task/17506/stat : 17506 (java) S 17490 17434 15321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 221676636 10506571776 5339 33554432000 4194304 4196468 140723328295472 140319566478192 140320074467970 0 0 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25337856 140723328304419 140723328304433 140723328304433 140723328307151 0
[pid=17492/tid=17508] ppid=17490 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17492/task/17508/stat : 17508 (java) S 17490 17434 15321 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 221676636 10506571776 5339 33554432000 4194304 4196468 140723328295472 140319565424160 140320074467029 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25337856 140723328304419 140723328304433 140723328304433 140723328307151 0
[pid=17492/tid=17510] ppid=17490 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17492/task/17510/stat : 17510 (java) S 17490 17434 15321 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 221676637 10506571776 5339 33554432000 4194304 4196468 140723328295472 140319564371312 140320074467029 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25337856 140723328304419 140723328304433 140723328304433 140723328307151 0
[pid=17493] ppid=17490 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/17493/stat : 17493 (awk) D 17490 17434 15321 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 1 0 221676633 116211712 243 33554432000 4194304 4609284 140733961067968 140733961067384 4475456 0 0 4096 1216 18446744071581154312 0 0 17 1 0 0 0 0 0 6708720 6711756 33869824 140733961074003 140733961074033 140733961074033 140733961076719 0
/proc/17493/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 24652 KiB

[startup+0.210512 s]*
/proc/loadavg: 1.00 1.01 1.10 1/192 17523
/proc/meminfo: memFree=6592972/32770624 swapFree=67108404/67108860
[pid=17434] ppid=17429 vsize=113256 memory=1608 CPUtime=0.01 cores=1,3,5,7
/proc/17434/stat : 17434 (bash) S 17429 17434 15321 0 -1 4202496 883 5669 1 1 0 0 0 1 20 0 1 0 221676627 115974144 402 33554432000 4194304 5098028 140727101144736 140727101138744 139725908388864 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 3 0 0 7196144 7232144 40726528 140727101150380 140727101150504 140727101150504 140727101153262 0
/proc/17434/statm: 28314 402 318 221 0 119 0
[pid=17490] ppid=17434 vsize=113256 memory=716 CPUtime=0.05 cores=1,3,5,7
/proc/17490/stat : 17490 (bash) S 17434 17434 15321 0 -1 4202560 154 4812 0 0 0 0 5 0 20 0 1 0 221676633 115974144 179 33554432000 4194304 5098028 140727101144736 140727101137416 139725908214396 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40726528 140727101150380 140727101150504 140727101150504 140727101153262 0
/proc/17490/statm: 28314 179 95 221 0 119 0
[pid=17493] ppid=17490 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/17493/stat : 17493 (awk) D 17490 17434 15321 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 1 0 221676633 116211712 243 33554432000 4194304 4609284 140733961067968 140733961067384 4475456 0 0 4096 1216 18446744071580431491 0 0 17 1 0 0 5 0 0 6708720 6711756 33869824 140733961074003 140733961074033 140733961074033 140733961076719 0
/proc/17493/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 340000 KiB
Current children cumulated memory: 3296 KiB

[startup+0.309903 s]*
/proc/loadavg: 1.00 1.01 1.10 3/204 17557
/proc/meminfo: memFree=6563924/32770624 swapFree=67108404/67108860
[pid=17434] ppid=17429 vsize=10453864 memory=25460 CPUtime=0.11 cores=1,3,5,7
/proc/17434/stat : 17434 (java) S 17429 17434 15321 0 -1 1077944320 5036 13158 1 2 3 1 5 2 20 0 9 0 221676627 10704756736 6365 33554432000 4194304 4196468 140723152663424 140723152645968 140595530473207 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
/proc/17434/statm: 2613466 6365 2147 1 0 2576007 0
[pid=17434/tid=17542] ppid=17429 vsize=10453864 memory=-5936158148181918512 CPUtime=0.1 cores=1,3,5,7
/proc/17434/task/17542/stat : 17542 (java) R 17429 17434 15321 0 -1 4202560 2837 13158 0 2 3 0 5 2 20 0 9 0 221676654 10704756736 6430 33554432000 4194304 4196468 140723152663424 140595502309240 140595514553694 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17547] ppid=17429 vsize=10453864 memory=4122819170707441977 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17547/stat : 17547 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 9 0 221676655 10704756736 6430 33554432000 4194304 4196468 140723152663424 140595534715792 140595530483413 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17549] ppid=17429 vsize=10453864 memory=7235542315338334436 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17549/stat : 17549 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 9 0 221676655 10704756736 6430 33554432000 4194304 4196468 140723152663424 140595069639440 140595530483413 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17550] ppid=17429 vsize=10453864 memory=-8452003601716135101 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17550/stat : 17550 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 9 0 221676655 10704756736 6430 33554432000 4194304 4196468 140723152663424 140595068587152 140595530483413 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17551] ppid=17429 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17551/stat : 17551 (java) S 17429 17434 15321 0 -1 1077944384 2 13158 0 2 0 0 5 2 20 0 9 0 221676655 10704756736 6430 33554432000 4194304 4196468 140723152663424 140595067534352 140595530483413 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17553] ppid=17429 vsize=10453864 memory=665094332772873865 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17553/stat : 17553 (java) S 17429 17434 15321 0 -1 1077944384 2 13158 0 2 0 0 5 2 20 0 9 0 221676656 10704756736 6430 33554432000 4194304 4196468 140723152663424 140595023575152 140595530484354 0 0 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17554] ppid=17429 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17554/stat : 17554 (java) S 17429 17434 15321 0 -1 1077944384 13 13158 0 2 0 0 5 2 20 0 9 0 221676657 10704756736 6430 33554432000 4194304 4196468 140723152663424 140594345141024 140595530483413 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17556] ppid=17429 vsize=10453864 memory=-7165351541977658656 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17556/stat : 17556 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 9 0 221676657 10704756736 6430 33554432000 4194304 4196468 140723152663424 140594143814768 140595530483413 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 25460 KiB

[startup+0.700751 s]
/proc/loadavg: 1.00 1.01 1.10 3/216 17569
/proc/meminfo: memFree=6509904/32770624 swapFree=67108404/67108860
[pid=17434] ppid=17429 vsize=10983192 memory=65216 CPUtime=0.66 cores=1,3,5,7
/proc/17434/stat : 17434 (java) S 17429 17434 15321 0 -1 1077944320 11840 13158 1 2 56 3 5 2 20 0 15 0 221676627 11246788608 16304 33554432000 4194304 4196468 140723152663424 140723152645968 140595530473207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
/proc/17434/statm: 2745798 16304 3145 1 0 2708109 0
[pid=17434/tid=17542] ppid=17429 vsize=10983192 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/17434/task/17542/stat : 17542 (java) R 17429 17434 15321 0 -1 4202560 8257 13158 0 2 38 2 5 2 20 0 15 0 221676654 11246788608 16304 33554432000 4194304 4196468 140723152663424 140595502296352 140595513660016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17547] ppid=17429 vsize=10983192 memory=150792006830369 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17547/stat : 17547 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676655 11246788608 16304 33554432000 4194304 4196468 140723152663424 140595534715792 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17549] ppid=17429 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17549/stat : 17549 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676655 11246788608 16304 33554432000 4194304 4196468 140723152663424 140595069639440 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17550] ppid=17429 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17550/stat : 17550 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676655 11246788608 16304 33554432000 4194304 4196468 140723152663424 140595068587152 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17551] ppid=17429 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17551/stat : 17551 (java) S 17429 17434 15321 0 -1 1077944384 2 13158 0 2 0 0 5 2 20 0 15 0 221676655 11246788608 16304 33554432000 4194304 4196468 140723152663424 140595067534352 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17553] ppid=17429 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17553/stat : 17553 (java) S 17429 17434 15321 0 -1 1077944384 2 13158 0 2 0 0 5 2 20 0 15 0 221676656 11246788608 16304 33554432000 4194304 4196468 140723152663424 140595023575152 140595530484354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17554] ppid=17429 vsize=10983192 memory=3684 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17554/stat : 17554 (java) S 17429 17434 15321 0 -1 1077944384 13 13158 0 2 0 0 5 2 20 0 15 0 221676657 11246788608 16304 33554432000 4194304 4196468 140723152663424 140594345141024 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17556] ppid=17429 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17556/stat : 17556 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676657 11246788608 16304 33554432000 4194304 4196468 140723152663424 140594143814768 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17558] ppid=17429 vsize=10983192 memory=3690334360449588272 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17558/stat : 17558 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11246788608 16304 33554432000 4194304 4196468 140723152663424 140593836415056 140595530491803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17559] ppid=17429 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/17434/task/17559/stat : 17559 (java) S 17429 17434 15321 0 -1 1077944384 467 13158 0 2 3 0 5 2 20 0 15 0 221676660 11246788608 16304 33554432000 4194304 4196468 140723152663424 140595022522992 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17560] ppid=17429 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17434/task/17560/stat : 17560 (java) S 17429 17434 15321 0 -1 1077944384 241 13158 0 2 2 0 5 2 20 0 15 0 221676660 11246788608 16304 33554432000 4194304 4196468 140723152663424 140595021470192 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17561] ppid=17429 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/17434/task/17561/stat : 17561 (java) S 17429 17434 15321 0 -1 1077944384 660 13158 0 2 10 0 5 2 20 0 15 0 221676660 11246788608 16304 33554432000 4194304 4196468 140723152663424 140595020417904 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17566] ppid=17429 vsize=10983192 memory=7809523229951467570 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17566/stat : 17566 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11246788608 16304 33554432000 4194304 4196468 140723152663424 140593405619168 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17568] ppid=17429 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17568/stat : 17568 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676660 11246788608 16304 33554432000 4194304 4196468 140723152663424 140595019364784 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 65216 KiB

[startup+1.50111 s]
/proc/loadavg: 1.00 1.01 1.10 1/217 17570
/proc/meminfo: memFree=6426592/32770624 swapFree=67108404/67108860
[pid=17434] ppid=17429 vsize=10993996 memory=144076 CPUtime=2.34 cores=1,3,5,7
/proc/17434/stat : 17434 (java) S 17429 17434 15321 0 -1 1077944320 24901 13158 3 2 219 8 5 2 20 0 15 0 221676627 11257851904 36019 33554432000 4194304 4196468 140723152663424 140723152645968 140595530473207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
/proc/17434/statm: 2748499 36019 3441 1 0 2710157 0
[pid=17434/tid=17542] ppid=17429 vsize=10993996 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/17434/task/17542/stat : 17542 (java) R 17429 17434 15321 0 -1 4202560 16353 13158 1 2 111 5 5 2 20 0 15 0 221676654 11257851904 36019 33554432000 4194304 4196468 140723152663424 140595502303520 140595102417568 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17547] ppid=17429 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17547/stat : 17547 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676655 11257851904 36019 33554432000 4194304 4196468 140723152663424 140595534715792 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17549] ppid=17429 vsize=10993996 memory=280068375572256 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17549/stat : 17549 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676655 11257851904 36019 33554432000 4194304 4196468 140723152663424 140595069639440 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17550] ppid=17429 vsize=10993996 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17550/stat : 17550 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676655 11257851904 36019 33554432000 4194304 4196468 140723152663424 140595068587152 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17551] ppid=17429 vsize=10993996 memory=13850767857552039 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17551/stat : 17551 (java) S 17429 17434 15321 0 -1 1077944384 2 13158 0 2 0 0 5 2 20 0 15 0 221676655 11257851904 36019 33554432000 4194304 4196468 140723152663424 140595067534352 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17553] ppid=17429 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17553/stat : 17553 (java) S 17429 17434 15321 0 -1 1077944384 6 13158 0 2 0 0 5 2 20 0 15 0 221676656 11257851904 36019 33554432000 4194304 4196468 140723152663424 140595023575152 140595530484354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17554] ppid=17429 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17554/stat : 17554 (java) S 17429 17434 15321 0 -1 1077944384 13 13158 0 2 0 0 5 2 20 0 15 0 221676657 11257851904 36019 33554432000 4194304 4196468 140723152663424 140594345141024 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17556] ppid=17429 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17556/stat : 17556 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676657 11257851904 36019 33554432000 4194304 4196468 140723152663424 140594143814768 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17558] ppid=17429 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17558/stat : 17558 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11257851904 36019 33554432000 4194304 4196468 140723152663424 140593836415056 140595530491803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17559] ppid=17429 vsize=10993996 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/17434/task/17559/stat : 17559 (java) R 17429 17434 15321 0 -1 4202560 2618 13158 1 2 35 0 5 2 20 0 15 0 221676660 11257851904 36019 33554432000 4194304 4196468 140723152663424 140595022508872 140595514029589 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17560] ppid=17429 vsize=10993996 memory=4137259435834570282 CPUtime=0.37 cores=1,3,5,7
/proc/17434/task/17560/stat : 17560 (java) R 17429 17434 15321 0 -1 4202560 2029 13158 0 2 30 0 5 2 20 0 15 0 221676660 11257851904 36019 33554432000 4194304 4196468 140723152663424 140595021456216 140595509734518 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17561] ppid=17429 vsize=10993996 memory=-5937287415628333872 CPUtime=0.47 cores=1,3,5,7
/proc/17434/task/17561/stat : 17561 (java) S 17429 17434 15321 0 -1 1077944384 1682 13158 0 2 40 0 5 2 20 0 15 0 221676660 11257851904 36019 33554432000 4194304 4196468 140723152663424 140595020417904 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17566] ppid=17429 vsize=10993996 memory=7666064897698131046 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17566/stat : 17566 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11257851904 36019 33554432000 4194304 4196468 140723152663424 140593405619168 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17568] ppid=17429 vsize=10993996 memory=8099531882097108048 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17568/stat : 17568 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676660 11257851904 36019 33554432000 4194304 4196468 140723152663424 140595019364784 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 10993996 KiB
Current children cumulated memory: 144076 KiB

[startup+3.11049 s]
/proc/loadavg: 1.16 1.05 1.11 5/217 17570
/proc/meminfo: memFree=6194996/32770624 swapFree=67108404/67108860
[pid=17434] ppid=17429 vsize=11006304 memory=227492 CPUtime=5.94 cores=1,3,5,7
/proc/17434/stat : 17434 (java) S 17429 17434 15321 0 -1 1077944320 35905 13158 4 2 573 14 5 2 20 0 15 0 221676627 11270455296 56873 33554432000 4194304 4196468 140723152663424 140723152645968 140595530473207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
/proc/17434/statm: 2751576 56873 3494 1 0 2713229 0
[pid=17434/tid=17542] ppid=17429 vsize=11006304 memory=132592 CPUtime=2.79 cores=1,3,5,7
/proc/17434/task/17542/stat : 17542 (java) R 17429 17434 15321 0 -1 4202560 24241 13158 2 2 264 8 5 2 20 0 15 0 221676654 11270455296 56873 33554432000 4194304 4196468 140723152663424 140595502297600 140595530485142 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17547] ppid=17429 vsize=11006304 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17434/task/17547/stat : 17547 (java) S 17429 17434 15321 0 -1 1077944384 46 13158 0 2 1 0 5 2 20 0 15 0 221676655 11270455296 56873 33554432000 4194304 4196468 140723152663424 140595534715792 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17549] ppid=17429 vsize=11006304 memory=113472 CPUtime=0.08 cores=1,3,5,7
/proc/17434/task/17549/stat : 17549 (java) S 17429 17434 15321 0 -1 1077944384 14 13158 0 2 1 0 5 2 20 0 15 0 221676655 11270455296 56873 33554432000 4194304 4196468 140723152663424 140595069639440 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17550] ppid=17429 vsize=11006304 memory=13 CPUtime=0.08 cores=1,3,5,7
/proc/17434/task/17550/stat : 17550 (java) S 17429 17434 15321 0 -1 1077944384 23 13158 0 2 1 0 5 2 20 0 15 0 221676655 11270455296 56873 33554432000 4194304 4196468 140723152663424 140595068587152 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17551] ppid=17429 vsize=11006304 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17434/task/17551/stat : 17551 (java) S 17429 17434 15321 0 -1 1077944384 193 13158 0 2 1 0 5 2 20 0 15 0 221676655 11270455296 56873 33554432000 4194304 4196468 140723152663424 140595067534352 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17553] ppid=17429 vsize=11006304 memory=0 CPUtime=0.08 cores=1,3,5,7

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

/proc/17434/task/17542/stat : 17542 (java) R 17429 17434 15321 0 -1 4202560 84885 13158 2 2 235630 56 5 2 20 0 15 0 221676654 11348049920 238111 33554432000 4194304 4196468 140723152663424 140595502308800 140595101145404 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17547] ppid=17429 vsize=11082080 memory=6791534058613427641 CPUtime=12.47 cores=1,3,5,7
/proc/17434/task/17547/stat : 17547 (java) S 17429 17434 15321 0 -1 1077944384 12387 13158 0 2 1188 52 5 2 20 0 15 0 221676655 11348049920 238111 33554432000 4194304 4196468 140723152663424 140595534715792 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17549] ppid=17429 vsize=11082080 memory=952444 CPUtime=12.45 cores=1,3,5,7
/proc/17434/task/17549/stat : 17549 (java) S 17429 17434 15321 0 -1 1077944384 12078 13158 0 2 1183 55 5 2 20 0 15 0 221676655 11348049920 238111 33554432000 4194304 4196468 140723152663424 140595069639440 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17550] ppid=17429 vsize=11082080 memory=952444 CPUtime=12.5 cores=1,3,5,7
/proc/17434/task/17550/stat : 17550 (java) S 17429 17434 15321 0 -1 1077944384 7153 13158 0 2 1192 51 5 2 20 0 15 0 221676655 11348049920 238111 33554432000 4194304 4196468 140723152663424 140595068587152 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17551] ppid=17429 vsize=11082080 memory=952444 CPUtime=12.52 cores=1,3,5,7
/proc/17434/task/17551/stat : 17551 (java) S 17429 17434 15321 0 -1 1077944384 11851 13158 0 2 1194 51 5 2 20 0 15 0 221676655 11348049920 238111 33554432000 4194304 4196468 140723152663424 140595067534352 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17553] ppid=17429 vsize=11082080 memory=952444 CPUtime=10.25 cores=1,3,5,7
/proc/17434/task/17553/stat : 17553 (java) S 17429 17434 15321 0 -1 1077944384 17249 13158 0 2 963 55 5 2 20 0 15 0 221676656 11348049920 238111 33554432000 4194304 4196468 140723152663424 140595023575152 140595530484354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17554] ppid=17429 vsize=11082080 memory=952444 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17554/stat : 17554 (java) S 17429 17434 15321 0 -1 1077944384 14 13158 0 2 0 0 5 2 20 0 15 0 221676657 11348049920 238111 33554432000 4194304 4196468 140723152663424 140594345141152 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17556] ppid=17429 vsize=11082080 memory=952444 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17556/stat : 17556 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676657 11348049920 238111 33554432000 4194304 4196468 140723152663424 140594143814784 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17558] ppid=17429 vsize=11082080 memory=952444 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17558/stat : 17558 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11348049920 238111 33554432000 4194304 4196468 140723152663424 140593836415056 140595530491803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17559] ppid=17429 vsize=11082080 memory=952444 CPUtime=8.18 cores=1,3,5,7
/proc/17434/task/17559/stat : 17559 (java) S 17429 17434 15321 0 -1 1077944384 37187 13158 1 2 805 6 5 2 20 0 15 0 221676660 11348049920 238111 33554432000 4194304 4196468 140723152663424 140595022522992 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17560] ppid=17429 vsize=11082080 memory=952444 CPUtime=7.7 cores=1,3,5,7
/proc/17434/task/17560/stat : 17560 (java) S 17429 17434 15321 0 -1 1077944384 27377 13158 0 2 758 5 5 2 20 0 15 0 221676660 11348049920 238111 33554432000 4194304 4196468 140723152663424 140595021470192 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17561] ppid=17429 vsize=11082080 memory=2257 CPUtime=3.82 cores=1,3,5,7
/proc/17434/task/17561/stat : 17561 (java) S 17429 17434 15321 0 -1 1077944384 35866 13158 0 2 368 7 5 2 20 0 15 0 221676660 11348049920 238111 33554432000 4194304 4196468 140723152663424 140595020417904 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17566] ppid=17429 vsize=11082080 memory=952444 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17566/stat : 17566 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11348049920 238111 33554432000 4194304 4196468 140723152663424 140593405619168 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17568] ppid=17429 vsize=11082080 memory=1576 CPUtime=1.35 cores=1,3,5,7
/proc/17434/task/17568/stat : 17568 (java) S 17429 17434 15321 0 -1 1077944384 1206 13158 0 2 56 72 5 2 20 0 15 0 221676660 11348049920 238111 33554432000 4194304 4196468 140723152663424 140595019364784 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
Current children cumulated CPU time: 2437.66 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 952444 KiB

[startup+2442.3 s]
/proc/loadavg: 1.32 1.30 1.31 3/216 17665
/proc/meminfo: memFree=4629672/32770624 swapFree=67108404/67108860
[pid=17434] ppid=17429 vsize=11082080 memory=947308 CPUtime=2498.69 cores=1,3,5,7
/proc/17434/stat : 17434 (java) S 17429 17434 15321 0 -1 1077944320 250848 13158 4 2 249497 365 5 2 20 0 15 0 221676627 11348049920 236827 33554432000 4194304 4196468 140723152663424 140723152645968 140595530473207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
/proc/17434/statm: 2770520 236827 3529 1 0 2732173 0
[pid=17434/tid=17542] ppid=17429 vsize=11082080 memory=947308 CPUtime=2416.24 cores=1,3,5,7
/proc/17434/task/17542/stat : 17542 (java) R 17429 17434 15321 0 -1 4202560 85641 13158 2 2 241560 57 5 2 20 0 15 0 221676654 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595502308720 140595106287040 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17547] ppid=17429 vsize=11082080 memory=947308 CPUtime=12.83 cores=1,3,5,7
/proc/17434/task/17547/stat : 17547 (java) S 17429 17434 15321 0 -1 1077944384 12558 13158 0 2 1221 55 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595534715792 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17549] ppid=17429 vsize=11082080 memory=947308 CPUtime=12.81 cores=1,3,5,7
/proc/17434/task/17549/stat : 17549 (java) S 17429 17434 15321 0 -1 1077944384 12117 13158 0 2 1217 57 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595069639440 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17550] ppid=17429 vsize=11082080 memory=947308 CPUtime=12.86 cores=1,3,5,7
/proc/17434/task/17550/stat : 17550 (java) S 17429 17434 15321 0 -1 1077944384 7291 13158 0 2 1227 52 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595068587152 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17551] ppid=17429 vsize=11082080 memory=947308 CPUtime=12.87 cores=1,3,5,7
/proc/17434/task/17551/stat : 17551 (java) S 17429 17434 15321 0 -1 1077944384 11919 13158 0 2 1228 52 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595067534352 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17553] ppid=17429 vsize=11082080 memory=947308 CPUtime=10.53 cores=1,3,5,7
/proc/17434/task/17553/stat : 17553 (java) S 17429 17434 15321 0 -1 1077944384 17455 13158 0 2 989 57 5 2 20 0 15 0 221676656 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595023575152 140595530484354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17554] ppid=17429 vsize=11082080 memory=947308 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17554/stat : 17554 (java) S 17429 17434 15321 0 -1 1077944384 14 13158 0 2 0 0 5 2 20 0 15 0 221676657 11348049920 236827 33554432000 4194304 4196468 140723152663424 140594345141152 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17556] ppid=17429 vsize=11082080 memory=947308 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17556/stat : 17556 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676657 11348049920 236827 33554432000 4194304 4196468 140723152663424 140594143814784 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17558] ppid=17429 vsize=11082080 memory=3684 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17558/stat : 17558 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140593836415056 140595530491803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17559] ppid=17429 vsize=11082080 memory=947308 CPUtime=8.18 cores=1,3,5,7
/proc/17434/task/17559/stat : 17559 (java) S 17429 17434 15321 0 -1 1077944384 37189 13158 1 2 805 6 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595022522992 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17560] ppid=17429 vsize=11082080 memory=947308 CPUtime=7.7 cores=1,3,5,7
/proc/17434/task/17560/stat : 17560 (java) S 17429 17434 15321 0 -1 1077944384 27379 13158 0 2 758 5 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595021470192 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17561] ppid=17429 vsize=11082080 memory=947308 CPUtime=3.82 cores=1,3,5,7
/proc/17434/task/17561/stat : 17561 (java) S 17429 17434 15321 0 -1 1077944384 35868 13158 0 2 368 7 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595020417904 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17566] ppid=17429 vsize=11082080 memory=947308 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17566/stat : 17566 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140593405619168 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17568] ppid=17429 vsize=11082080 memory=2148 CPUtime=1.38 cores=1,3,5,7
/proc/17434/task/17568/stat : 17568 (java) S 17429 17434 15321 0 -1 1077944384 1223 13158 0 2 58 73 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595019364784 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
Current children cumulated CPU time: 2498.69 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 947308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2463.3 s]
/proc/loadavg: 1.34 1.31 1.32 3/216 17666
/proc/meminfo: memFree=4629672/32770624 swapFree=67108404/67108860
[pid=17434] ppid=17429 vsize=11082080 memory=947308 CPUtime=2520.01 cores=1,3,5,7
/proc/17434/stat : 17434 (java) S 17429 17434 15321 0 -1 1077944320 251532 13158 4 2 251626 368 5 2 20 0 15 0 221676627 11348049920 236827 33554432000 4194304 4196468 140723152663424 140723152645968 140595530473207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
/proc/17434/statm: 2770520 236827 3529 1 0 2732173 0
[pid=17434/tid=17542] ppid=17429 vsize=11082080 memory=947308 CPUtime=2437.05 cores=1,3,5,7
/proc/17434/task/17542/stat : 17542 (java) R 17429 17434 15321 0 -1 4202560 85915 13158 2 2 243640 58 5 2 20 0 15 0 221676654 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595502308848 140595121819436 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17547] ppid=17429 vsize=11082080 memory=947308 CPUtime=12.93 cores=1,3,5,7
/proc/17434/task/17547/stat : 17547 (java) S 17429 17434 15321 0 -1 1077944384 12625 13158 0 2 1231 55 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595534715792 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17549] ppid=17429 vsize=11082080 memory=947308 CPUtime=12.91 cores=1,3,5,7
/proc/17434/task/17549/stat : 17549 (java) S 17429 17434 15321 0 -1 1077944384 12149 13158 0 2 1227 57 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595069639440 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17550] ppid=17429 vsize=11082080 memory=0 CPUtime=12.96 cores=1,3,5,7
/proc/17434/task/17550/stat : 17550 (java) S 17429 17434 15321 0 -1 1077944384 7386 13158 0 2 1237 52 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595068587152 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17551] ppid=17429 vsize=11082080 memory=947308 CPUtime=12.97 cores=1,3,5,7
/proc/17434/task/17551/stat : 17551 (java) S 17429 17434 15321 0 -1 1077944384 11933 13158 0 2 1238 52 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595067534352 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17553] ppid=17429 vsize=11082080 memory=6791534058613427641 CPUtime=10.62 cores=1,3,5,7
/proc/17434/task/17553/stat : 17553 (java) S 17429 17434 15321 0 -1 1077944384 17636 13158 0 2 997 58 5 2 20 0 15 0 221676656 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595023575152 140595530484354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17554] ppid=17429 vsize=11082080 memory=947308 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17554/stat : 17554 (java) S 17429 17434 15321 0 -1 1077944384 14 13158 0 2 0 0 5 2 20 0 15 0 221676657 11348049920 236827 33554432000 4194304 4196468 140723152663424 140594345141152 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17556] ppid=17429 vsize=11082080 memory=947308 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17556/stat : 17556 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676657 11348049920 236827 33554432000 4194304 4196468 140723152663424 140594143814784 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17558] ppid=17429 vsize=11082080 memory=950396 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17558/stat : 17558 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140593836415056 140595530491803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17559] ppid=17429 vsize=11082080 memory=12966506269086 CPUtime=8.18 cores=1,3,5,7
/proc/17434/task/17559/stat : 17559 (java) S 17429 17434 15321 0 -1 1077944384 37191 13158 1 2 805 6 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595022522992 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17560] ppid=17429 vsize=11082080 memory=3684 CPUtime=7.71 cores=1,3,5,7
/proc/17434/task/17560/stat : 17560 (java) S 17429 17434 15321 0 -1 1077944384 27381 13158 0 2 759 5 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595021470192 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17561] ppid=17429 vsize=11082080 memory=947308 CPUtime=3.82 cores=1,3,5,7
/proc/17434/task/17561/stat : 17561 (java) S 17429 17434 15321 0 -1 1077944384 35870 13158 0 2 368 7 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595020417904 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17566] ppid=17429 vsize=11082080 memory=60464 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17566/stat : 17566 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140593405619168 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17568] ppid=17429 vsize=11082080 memory=2148 CPUtime=1.4 cores=1,3,5,7
/proc/17434/task/17568/stat : 17568 (java) S 17429 17434 15321 0 -1 1077944384 1238 13158 0 2 59 74 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595019364784 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 947308 KiB

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

[startup+2463.33 s]
# the end of solver process 17434 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.34 s, system=3.72068 s

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

[startup+2463.3 s]
/proc/loadavg: 1.34 1.31 1.32 3/216 17666
/proc/meminfo: memFree=4629672/32770624 swapFree=67108404/67108860
[pid=17434] ppid=17429 vsize=11082080 memory=947308 CPUtime=2520.01 cores=1,3,5,7
/proc/17434/stat : 17434 (java) S 17429 17434 15321 0 -1 1077944320 251532 13158 4 2 251626 368 5 2 20 0 15 0 221676627 11348049920 236827 33554432000 4194304 4196468 140723152663424 140723152645968 140595530473207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
/proc/17434/statm: 2770520 236827 3529 1 0 2732173 0
[pid=17434/tid=17542] ppid=17429 vsize=11082080 memory=947308 CPUtime=2437.05 cores=1,3,5,7
/proc/17434/task/17542/stat : 17542 (java) R 17429 17434 15321 0 -1 4202560 85915 13158 2 2 243640 58 5 2 20 0 15 0 221676654 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595502308848 140595121819436 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17547] ppid=17429 vsize=11082080 memory=947308 CPUtime=12.93 cores=1,3,5,7
/proc/17434/task/17547/stat : 17547 (java) S 17429 17434 15321 0 -1 1077944384 12625 13158 0 2 1231 55 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595534715792 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17549] ppid=17429 vsize=11082080 memory=947308 CPUtime=12.91 cores=1,3,5,7
/proc/17434/task/17549/stat : 17549 (java) S 17429 17434 15321 0 -1 1077944384 12149 13158 0 2 1227 57 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595069639440 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17550] ppid=17429 vsize=11082080 memory=0 CPUtime=12.96 cores=1,3,5,7
/proc/17434/task/17550/stat : 17550 (java) S 17429 17434 15321 0 -1 1077944384 7386 13158 0 2 1237 52 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595068587152 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17551] ppid=17429 vsize=11082080 memory=947308 CPUtime=12.97 cores=1,3,5,7
/proc/17434/task/17551/stat : 17551 (java) S 17429 17434 15321 0 -1 1077944384 11933 13158 0 2 1238 52 5 2 20 0 15 0 221676655 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595067534352 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17553] ppid=17429 vsize=11082080 memory=6791534058613427641 CPUtime=10.62 cores=1,3,5,7
/proc/17434/task/17553/stat : 17553 (java) S 17429 17434 15321 0 -1 1077944384 17636 13158 0 2 997 58 5 2 20 0 15 0 221676656 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595023575152 140595530484354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17554] ppid=17429 vsize=11082080 memory=947308 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17554/stat : 17554 (java) S 17429 17434 15321 0 -1 1077944384 14 13158 0 2 0 0 5 2 20 0 15 0 221676657 11348049920 236827 33554432000 4194304 4196468 140723152663424 140594345141152 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17556] ppid=17429 vsize=11082080 memory=947308 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17556/stat : 17556 (java) S 17429 17434 15321 0 -1 1077944384 1 13158 0 2 0 0 5 2 20 0 15 0 221676657 11348049920 236827 33554432000 4194304 4196468 140723152663424 140594143814784 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17558] ppid=17429 vsize=11082080 memory=950396 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17558/stat : 17558 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140593836415056 140595530491803 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17559] ppid=17429 vsize=11082080 memory=12966506269086 CPUtime=8.18 cores=1,3,5,7
/proc/17434/task/17559/stat : 17559 (java) S 17429 17434 15321 0 -1 1077944384 37191 13158 1 2 805 6 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595022522992 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17560] ppid=17429 vsize=11082080 memory=3684 CPUtime=7.71 cores=1,3,5,7
/proc/17434/task/17560/stat : 17560 (java) S 17429 17434 15321 0 -1 1077944384 27381 13158 0 2 759 5 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595021470192 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17561] ppid=17429 vsize=11082080 memory=947308 CPUtime=3.82 cores=1,3,5,7
/proc/17434/task/17561/stat : 17561 (java) S 17429 17434 15321 0 -1 1077944384 35870 13158 0 2 368 7 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595020417904 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17566] ppid=17429 vsize=11082080 memory=60464 CPUtime=0.07 cores=1,3,5,7
/proc/17434/task/17566/stat : 17566 (java) S 17429 17434 15321 0 -1 1077944384 3 13158 0 2 0 0 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140593405619168 140595530483413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
[pid=17434/tid=17568] ppid=17429 vsize=11082080 memory=2148 CPUtime=1.4 cores=1,3,5,7
/proc/17434/task/17568/stat : 17568 (java) S 17429 17434 15321 0 -1 1077944384 1238 13158 0 2 59 74 5 2 20 0 15 0 221676660 11348049920 236827 33554432000 4194304 4196468 140723152663424 140595019364784 140595530484354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16195584 140723152665197 140723152667996 140723152667996 140723152670671 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 947308 KiB

Child status: 143
Real time (s): 2463.33
CPU time (s): 2520.06
CPU user time (s): 2516.34
CPU system time (s): 3.72068
CPU usage (%): 102.303
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1084340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.34
system time used= 3.72068
maximum resident set size= 1087420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266178
page faults= 6
swaps= 0
block input operations= 4336
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 281454
involuntary context switches= 5332


# summary of solver processes directly reported to runsolver:
#   pid: 17434
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.34
#   total CPU system time (s): 3.72068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4907 second user time and 23.2485 second system time

The end

Name	StillLife/ StillLife-wastage-19_c18.xml
MD5SUM	bc316652a8a0d5c7d33934cb88eaeb44
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	190
Best CPU time to get the best result obtained on this benchmark	154.096
Satisfiable
(Un)Satisfiability was proved
Number of variables	904
Number of constraints	559
Number of domains	4
Minimum domain size	2
Maximum domain size	883
Distribution of domain sizes	[{"size":2,"count":441},{"size":3,"count":441},{"size":362,"count":1},{"size":883,"count":21}]
Minimum variable degree	1
Maximum variable degree	22
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 arity	2
Maximum constraint arity	23
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 constraints	437
Number of intensional constraints	96
Distribution of constraint types	[{"type":"extension","count":437},{"type":"intension","count":96},{"type":"sum","count":22},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4304135

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