2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.8 2018-06-13	SAT (TO)	10821	2520.07	2450.93

0.99/0.74	c Concrete v3.8.1528841891564 running
47.61/26.98	o 11551
48.03/27.17	o 11525
48.22/27.22	o 11462
48.22/27.24	o 11448
48.22/27.26	o 11441
49.13/27.73	o 11408
52.42/30.61	o 11394
52.42/30.63	o 11313
52.66/30.82	o 11304
52.66/30.86	o 11301
52.79/30.94	o 11232
53.01/31.11	o 11185
67.75/45.32	o 11058
114.24/91.49	o 11031
114.34/91.50	o 10996
114.34/91.53	o 10977
192.46/168.20	o 10924
192.46/168.21	o 10831
886.69/849.68	o 10821
2520.03/2450.91	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2450.91		at concrete.MAC.mac(MAC.scala:188)
2520.03/2450.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2450.91		at scala.util.Try$.apply(Try.scala:209)
2520.03/2450.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2450.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2450.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2450.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2450.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2450.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2450.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2450.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2450.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2450.91		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2450.91		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2450.91		at concrete.MAC.nextSolution(MAC.scala:355)
2520.03/2450.91		at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2450.91		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2450.91		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2450.91		at concrete.Solver.foreach(Solver.scala:68)
2520.03/2450.91		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2450.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2450.91		at scala.util.Success.map(Try.scala:209)
2520.03/2450.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2450.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2450.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2450.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2450.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2450.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2450.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2450.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2450.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2450.91		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2450.91		at scala.App.main(App.scala:76)
2520.03/2450.91		at scala.App.main$(App.scala:74)
2520.03/2450.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2450.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2450.91	v <instantiation cost="10821">
2520.03/2450.91	v       <list>
2520.03/2450.91	v         o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22]
2520.03/2450.91	v       </list>
2520.03/2450.91	v       <values>
2520.03/2450.91	v         2 11 2 8 4 5 1 1 10 4 7 8 6 5 7 6 3 3 9 9 11 10 5 7 11 10 11 3 0 0 9 7 2 9 3 4 8 4 8 10 5 6 2 6 0 5 0 3 3 7 11 10 5 10 1 6 8 9 11 8 9 4 6 4 1 7 11 8 10 2 2 1 7 6 4 6 8 5 1 10 9 7 0 0 4 11 9 5 6 9 6 7 0 8 10 8 3 0 11 7 11 1 10 1 5 2 3 2 5 9 1 2 7 6 7 0 9 11 2 11 10 3 10 0 6 9 4 8 1 8 4 3 4 10 4 5 8 10 8 3 11 3 9 2 0 7 5 0 11 9 2 1 7 1 8 1 5 4 5 2 3 9 8 1 0 4 9 6 0 3 10 11 11 10 6 2 7 3 9 0 6 4 6 4 7 9 3 0 2 11 1 2 1 5 10 5 10 11 10 4 8 11 10 11 5 7 1 8 6 1 7 2 3 5 2 6 0 0 3 4 9 6 3 1 9 6 4 2 0 2 5 11 5 3 4 11 7 1 8 7 8 0 3 0 1 9 1 9 2 5 6 5 4 10 4 8 2 10 6 7 7 3 0 8 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 15 15 0 48 48 0 10 10 0 36 64 44 0 39 39 44 47 34 51 51 55 10 55 0 44 44 65 10 64 0 10 51 43 22 22 32 32 0 31 21 46 40 40 0 39 39 0 0 15 15 47 14 56 55 51 50 0 56 31 53 58 58 49 55 45 0 22 22 0 66 66 0 47 47 32 32 47 18 51 68 68 0 69 69 14 14 34 34 0 67 81 41 0 0 18 18 36 36 74 73 21 0 70 67 64 31 31 0 35 35 51 47 45 55 55 40 22 50 0 48 44 39 44 44 0 51 69 41 0 27 69 81 42 42 0 35 35 0 18 74 75 27 27 0 31 31 0 47 67 69 44 44 59 0 70 70 56 22 39 0 0 81 81 48 35 64 0 14 14 0 44 44 0 79 79 44 44 69 10 67 0 59 56 56 0 68 67 68 31 18 21 0 81 81 0 48 48 0 46 22 53 0 73 51 42 69 69 0 55 55 105 10 103 81 48 79 68 68 43 43 49 47 67 0 69 69 51 51 0 0 103 103 69 69 0 75 75 0 55 15 55 10 44 51 74 74 0 65 65 69 81 73 0 0 55 10 64 0 105 49 58 70 27 44 0 70 21 69 10 10 0 67 14 66 0 0
2520.03/2450.91	v       </values>
2520.03/2450.91	v     </instantiation>
2520.03/2450.92	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 (4058 MiB free)
  memory of node 1: 16384 MiB (8162 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295465-1532567268/watcher-4295465-1532567268 -o /tmp/evaluation-result-4295465-1532567268/solver-4295465-1532567268 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532567268-31805 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=926938417 HOME/instance-4295465-1532567268.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=31830, runsolver pid=31826

[startup+0.10013 s]*
/proc/loadavg: 0.58 0.68 0.93 3/194 31943
/proc/meminfo: memFree=12509336/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31826 vsize=9972712 memory=14912 CPUtime=0.09 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31826 31830 26438 0 -1 1077944320 4367 12966 0 0 1 0 5 3 20 0 6 0 74290021 10212057088 3728 33554432000 4194304 4196468 140722481201968 140722481184512 140256453644023 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
/proc/31830/statm: 2493178 3728 1934 1 0 2481616 0
[pid=31830/tid=31938] ppid=31826 vsize=9972712 memory=-6517102902069810590 CPUtime=0.09 cores=1,3,5,7
/proc/31830/task/31938/stat : 31938 (java) R 31826 31830 26438 0 -1 4202560 2177 12966 0 0 1 0 5 3 20 0 6 0 74290030 10212057088 3728 33554432000 4194304 4196468 140722481201968 140256425480784 140256437724510 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31940] ppid=31826 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31940/stat : 31940 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 6 0 74290031 10212057088 3728 33554432000 4194304 4196468 140722481201968 140256457886096 140256453654229 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31941] ppid=31826 vsize=9972712 memory=139759147222656 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31941/stat : 31941 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 6 0 74290031 10212057088 3728 33554432000 4194304 4196468 140722481201968 140256026929424 140256453654229 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31942] ppid=31826 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31942/stat : 31942 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 6 0 74290031 10212057088 3728 33554432000 4194304 4196468 140722481201968 140256025877136 140256453654229 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31943] ppid=31826 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31943/stat : 31943 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 6 0 74290031 10212057088 3728 33554432000 4194304 4196468 140722481201968 140256024824336 140256453654229 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14912 KiB

[startup+0.210383 s]*
/proc/loadavg: 0.58 0.68 0.93 4/216 31965
/proc/meminfo: memFree=12463144/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31826 vsize=10818904 memory=43276 CPUtime=0.26 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31826 31830 26438 0 -1 1077944320 7550 12966 0 0 17 1 5 3 20 0 15 0 74290021 11078557696 10819 33554432000 4194304 4196468 140722481201968 140722481184512 140256453644023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
/proc/31830/statm: 2704726 10819 2937 1 0 2667149 0
[pid=31830/tid=31938] ppid=31826 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31830/task/31938/stat : 31938 (java) R 31826 31830 26438 0 -1 4202560 4129 12966 0 0 10 1 5 3 20 0 15 0 74290030 11078557696 10819 33554432000 4194304 4196468 140722481201968 140256425459424 140256433919772 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31940] ppid=31826 vsize=10818904 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31940/stat : 31940 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290031 11078557696 10819 33554432000 4194304 4196468 140722481201968 140256457886096 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31941] ppid=31826 vsize=10818904 memory=139759147621143 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31941/stat : 31941 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290031 11078557696 10819 33554432000 4194304 4196468 140722481201968 140256026929424 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31942] ppid=31826 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31942/stat : 31942 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290031 11078557696 10819 33554432000 4194304 4196468 140722481201968 140256025877136 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31943] ppid=31826 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31943/stat : 31943 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290031 11078557696 10819 33554432000 4194304 4196468 140722481201968 140256024824336 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31948] ppid=31826 vsize=10818904 memory=139759147222656 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31948/stat : 31948 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290032 11078557696 10885 33554432000 4194304 4196468 140722481201968 140255913036400 140256453655170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31950] ppid=31826 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31950/stat : 31950 (java) S 31826 31830 26438 0 -1 1077944384 33 12966 0 0 0 0 5 3 20 0 15 0 74290033 11078557696 10885 33554432000 4194304 4196468 140722481201968 140255911982368 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31952] ppid=31826 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31952/stat : 31952 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290033 11078557696 10885 33554432000 4194304 4196468 140722481201968 140255780922992 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31954] ppid=31826 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31954/stat : 31954 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290036 11078557696 10885 33554432000 4194304 4196468 140722481201968 140255176944208 140256453662619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31956] ppid=31826 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31830/task/31956/stat : 31956 (java) S 31826 31830 26438 0 -1 1077944384 480 12966 0 0 1 0 5 3 20 0 15 0 74290036 11078557696 10885 33554432000 4194304 4196468 140722481201968 140255878424688 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31958] ppid=31826 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31958/stat : 31958 (java) S 31826 31830 26438 0 -1 1077944384 124 12966 0 0 0 0 5 3 20 0 15 0 74290036 11078557696 10885 33554432000 4194304 4196468 140722481201968 140255877371888 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31960] ppid=31826 vsize=10818904 memory=139759147222656 CPUtime=0.11 cores=1,3,5,7
/proc/31830/task/31960/stat : 31960 (java) S 31826 31830 26438 0 -1 1077944384 615 12966 0 0 3 0 5 3 20 0 15 0 74290036 11078557696 10885 33554432000 4194304 4196468 140722481201968 140255876319600 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31963] ppid=31826 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31963/stat : 31963 (java) S 31826 31830 26438 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 74290036 11078557696 10885 33554432000 4194304 4196468 140722481201968 140254707182048 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31965] ppid=31826 vsize=10818904 memory=139759147222656 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31965/stat : 31965 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290036 11078557696 10885 33554432000 4194304 4196468 140722481201968 140255875267504 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43276 KiB

[startup+0.31028 s]*
/proc/loadavg: 0.58 0.68 0.93 3/216 31965
/proc/meminfo: memFree=12436732/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31826 vsize=10819352 memory=56452 CPUtime=0.38 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31826 31830 26438 0 -1 1077944320 10742 12966 0 0 28 2 5 3 20 0 15 0 74290021 11079016448 14113 33554432000 4194304 4196468 140722481201968 140722481184512 140256453644023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
/proc/31830/statm: 2704838 14113 3056 1 0 2667149 0
[pid=31830/tid=31938] ppid=31826 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/31830/task/31938/stat : 31938 (java) R 31826 31830 26438 0 -1 4202560 7269 12966 0 0 19 2 5 3 20 0 15 0 74290030 11079016448 14113 33554432000 4194304 4196468 140722481201968 140256425456032 140256433919744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31940] ppid=31826 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31940/stat : 31940 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290031 11079016448 14113 33554432000 4194304 4196468 140722481201968 140256457886096 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31941] ppid=31826 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31941/stat : 31941 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290031 11079016448 14113 33554432000 4194304 4196468 140722481201968 140256026929424 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31942] ppid=31826 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31942/stat : 31942 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290031 11079016448 14113 33554432000 4194304 4196468 140722481201968 140256025877136 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31943] ppid=31826 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31943/stat : 31943 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290031 11079016448 14113 33554432000 4194304 4196468 140722481201968 140256024824336 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31948] ppid=31826 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31948/stat : 31948 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290032 11079016448 14113 33554432000 4194304 4196468 140722481201968 140255913036400 140256453655170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31950] ppid=31826 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31950/stat : 31950 (java) S 31826 31830 26438 0 -1 1077944384 33 12966 0 0 0 0 5 3 20 0 15 0 74290033 11079016448 14113 33554432000 4194304 4196468 140722481201968 140255911982368 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31952] ppid=31826 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31952/stat : 31952 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290033 11079016448 14113 33554432000 4194304 4196468 140722481201968 140255780922992 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31954] ppid=31826 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31954/stat : 31954 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290036 11079016448 14155 33554432000 4194304 4196468 140722481201968 140255176944208 140256453662619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31956] ppid=31826 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/31830/task/31956/stat : 31956 (java) S 31826 31830 26438 0 -1 1077944384 480 12966 0 0 2 0 5 3 20 0 15 0 74290036 11079016448 14155 33554432000 4194304 4196468 140722481201968 140255878424688 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31958] ppid=31826 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/31830/task/31958/stat : 31958 (java) S 31826 31830 26438 0 -1 1077944384 131 12966 0 0 1 0 5 3 20 0 15 0 74290036 11079016448 14155 33554432000 4194304 4196468 140722481201968 140255877371888 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31960] ppid=31826 vsize=10819352 memory=139759147222656 CPUtime=0.13 cores=1,3,5,7
/proc/31830/task/31960/stat : 31960 (java) S 31826 31830 26438 0 -1 1077944384 621 12966 0 0 5 0 5 3 20 0 15 0 74290036 11079016448 14155 33554432000 4194304 4196468 140722481201968 140255876319600 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31963] ppid=31826 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31963/stat : 31963 (java) S 31826 31830 26438 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 74290036 11079016448 14155 33554432000 4194304 4196468 140722481201968 140254707182048 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31965] ppid=31826 vsize=10819352 memory=139759147222656 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31965/stat : 31965 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290036 11079016448 14155 33554432000 4194304 4196468 140722481201968 140255875267504 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56452 KiB

[startup+0.700766 s]
/proc/loadavg: 0.58 0.68 0.93 4/216 31965
/proc/meminfo: memFree=12414592/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31826 vsize=10819352 memory=88580 CPUtime=0.99 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31826 31830 26438 0 -1 1077944320 16818 12966 0 0 88 3 5 3 20 0 15 0 74290021 11079016448 22145 33554432000 4194304 4196468 140722481201968 140722481184512 140256453644023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
/proc/31830/statm: 2704838 22145 3238 1 0 2667149 0
[pid=31830/tid=31938] ppid=31826 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/31830/task/31938/stat : 31938 (java) R 31826 31830 26438 0 -1 4202560 12318 12966 0 0 56 3 5 3 20 0 15 0 74290030 11079016448 22145 33554432000 4194304 4196468 140722481201968 140256425466064 140256453665949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31940] ppid=31826 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31940/stat : 31940 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290031 11079016448 22145 33554432000 4194304 4196468 140722481201968 140256457886096 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31941] ppid=31826 vsize=10819352 memory=279518082239216 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31941/stat : 31941 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290031 11079016448 22145 33554432000 4194304 4196468 140722481201968 140256026929424 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31942] ppid=31826 vsize=10819352 memory=139759147221489 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31942/stat : 31942 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290031 11079016448 22145 33554432000 4194304 4196468 140722481201968 140256025877136 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31943] ppid=31826 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31943/stat : 31943 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290031 11079016448 22145 33554432000 4194304 4196468 140722481201968 140256024824336 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31948] ppid=31826 vsize=10819352 memory=2620735358721 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31948/stat : 31948 (java) S 31826 31830 26438 0 -1 1077944384 5 12966 0 0 0 0 5 3 20 0 15 0 74290032 11079016448 22145 33554432000 4194304 4196468 140722481201968 140255913036400 140256453655170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31950] ppid=31826 vsize=10819352 memory=206042891 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31950/stat : 31950 (java) S 31826 31830 26438 0 -1 1077944384 33 12966 0 0 0 0 5 3 20 0 15 0 74290033 11079016448 22145 33554432000 4194304 4196468 140722481201968 140255911982368 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31952] ppid=31826 vsize=10819352 memory=-7886167514736700194 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31952/stat : 31952 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290033 11079016448 22145 33554432000 4194304 4196468 140722481201968 140255780922992 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31954] ppid=31826 vsize=10819352 memory=7594570223111460195 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31954/stat : 31954 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290036 11079016448 22145 33554432000 4194304 4196468 140722481201968 140255176944208 140256453662619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31956] ppid=31826 vsize=10819352 memory=7019257425709197167 CPUtime=0.17 cores=1,3,5,7
/proc/31830/task/31956/stat : 31956 (java) S 31826 31830 26438 0 -1 1077944384 1068 12966 0 0 9 0 5 3 20 0 15 0 74290036 11079016448 22145 33554432000 4194304 4196468 140722481201968 140255878424688 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31958] ppid=31826 vsize=10819352 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/31830/task/31958/stat : 31958 (java) S 31826 31830 26438 0 -1 1077944384 525 12966 0 0 7 0 5 3 20 0 15 0 74290036 11079016448 22145 33554432000 4194304 4196468 140722481201968 140255877371888 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31960] ppid=31826 vsize=10819352 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/31830/task/31960/stat : 31960 (java) S 31826 31830 26438 0 -1 1077944384 663 12966 0 0 13 0 5 3 20 0 15 0 74290036 11079016448 22145 33554432000 4194304 4196468 140722481201968 140255876319600 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31963] ppid=31826 vsize=10819352 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31963/stat : 31963 (java) S 31826 31830 26438 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 74290036 11079016448 22145 33554432000 4194304 4196468 140722481201968 140254707182048 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31965] ppid=31826 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31965/stat : 31965 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290036 11079016448 22145 33554432000 4194304 4196468 140722481201968 140255875267504 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88580 KiB

[startup+1.50082 s]
/proc/loadavg: 0.58 0.68 0.93 3/216 31965
/proc/meminfo: memFree=12326992/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31826 vsize=10832204 memory=182784 CPUtime=2.95 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31826 31830 26438 0 -1 1077944320 24473 12966 0 0 280 7 5 3 20 0 15 0 74290021 11092176896 45184 33554432000 4194304 4196468 140722481201968 140722481184512 140256453644023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
/proc/31830/statm: 2708051 45184 3452 1 0 2669709 0
[pid=31830/tid=31938] ppid=31826 vsize=10832204 memory=153896 CPUtime=1.46 cores=1,3,5,7
/proc/31830/task/31938/stat : 31938 (java) R 31826 31830 26438 0 -1 4202560 16878 12966 0 0 133 5 5 3 20 0 15 0 74290030 11092176896 45696 33554432000 4194304 4196468 140722481201968 140256425449320 140256059795031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31940] ppid=31826 vsize=10832204 memory=12813 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31940/stat : 31940 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290031 11092176896 45696 33554432000 4194304 4196468 140722481201968 140256457886096 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31941] ppid=31826 vsize=10832204 memory=88580 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31941/stat : 31941 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290031 11092176896 45696 33554432000 4194304 4196468 140722481201968 140256026929424 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31942] ppid=31826 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31942/stat : 31942 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290031 11092176896 45696 33554432000 4194304 4196468 140722481201968 140256025877136 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31943] ppid=31826 vsize=10832204 memory=279518082531216 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31943/stat : 31943 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290031 11092176896 45696 33554432000 4194304 4196468 140722481201968 140256024824336 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31948] ppid=31826 vsize=10832204 memory=139759041426656 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31948/stat : 31948 (java) S 31826 31830 26438 0 -1 1077944384 13 12966 0 0 0 0 5 3 20 0 15 0 74290032 11092176896 45696 33554432000 4194304 4196468 140722481201968 140255913036400 140256453655170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31950] ppid=31826 vsize=10832204 memory=274448410278293 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31950/stat : 31950 (java) S 31826 31830 26438 0 -1 1077944384 33 12966 0 0 0 0 5 3 20 0 15 0 74290033 11092176896 45696 33554432000 4194304 4196468 140722481201968 140255911982368 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31952] ppid=31826 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31952/stat : 31952 (java) S 31826 31830 26438 0 -1 1077944384 1 12966 0 0 0 0 5 3 20 0 15 0 74290033 11092176896 45696 33554432000 4194304 4196468 140722481201968 140255780922992 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31954] ppid=31826 vsize=10832204 memory=12806 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31954/stat : 31954 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290036 11092176896 45696 33554432000 4194304 4196468 140722481201968 140255176944208 140256453662619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31956] ppid=31826 vsize=10832204 memory=24393 CPUtime=0.62 cores=1,3,5,7
/proc/31830/task/31956/stat : 31956 (java) R 31826 31830 26438 0 -1 4202560 1901 12966 0 0 54 0 5 3 20 0 15 0 74290036 11092176896 45696 33554432000 4194304 4196468 140722481201968 140255878424984 140256435188619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31958] ppid=31826 vsize=10832204 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/31830/task/31958/stat : 31958 (java) S 31826 31830 26438 0 -1 1077944384 1826 12966 0 0 45 0 5 3 20 0 15 0 74290036 11092176896 45696 33554432000 4194304 4196468 140722481201968 140255877371888 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31960] ppid=31826 vsize=10832204 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/31830/task/31960/stat : 31960 (java) S 31826 31830 26438 0 -1 1077944384 1615 12966 0 0 46 0 5 3 20 0 15 0 74290036 11092176896 45696 33554432000 4194304 4196468 140722481201968 140255876319600 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31963] ppid=31826 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31963/stat : 31963 (java) S 31826 31830 26438 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 74290036 11092176896 45696 33554432000 4194304 4196468 140722481201968 140254707182048 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31965] ppid=31826 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31965/stat : 31965 (java) S 31826 31830 26438 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 74290036 11092176896 45696 33554432000 4194304 4196468 140722481201968 140255875267504 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10832204 KiB

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

/proc/31830/task/31938/stat : 31938 (java) R 31826 31830 26438 0 -1 4202560 108996 12966 0 0 235672 54 5 3 20 0 15 0 74290030 11180277760 304702 33554432000 4194304 4196468 140722481201968 140256425478928 140256075913704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31940] ppid=31826 vsize=10918240 memory=1218808 CPUtime=14.04 cores=1,3,5,7
/proc/31830/task/31940/stat : 31940 (java) S 31826 31830 26438 0 -1 1077944384 19218 12966 0 0 1344 52 5 3 20 0 15 0 74290031 11180277760 304702 33554432000 4194304 4196468 140722481201968 140256457886096 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31941] ppid=31826 vsize=10918240 memory=1218808 CPUtime=14.06 cores=1,3,5,7
/proc/31830/task/31941/stat : 31941 (java) S 31826 31830 26438 0 -1 1077944384 10189 12966 0 0 1354 44 5 3 20 0 15 0 74290031 11180277760 304702 33554432000 4194304 4196468 140722481201968 140256026929424 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31942] ppid=31826 vsize=10918240 memory=1218808 CPUtime=14.04 cores=1,3,5,7
/proc/31830/task/31942/stat : 31942 (java) S 31826 31830 26438 0 -1 1077944384 14505 12966 0 0 1344 52 5 3 20 0 15 0 74290031 11180277760 304702 33554432000 4194304 4196468 140722481201968 140256025877136 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31943] ppid=31826 vsize=10918240 memory=1218808 CPUtime=14.06 cores=1,3,5,7
/proc/31830/task/31943/stat : 31943 (java) S 31826 31830 26438 0 -1 1077944384 14565 12966 0 0 1353 45 5 3 20 0 15 0 74290031 11180277760 304702 33554432000 4194304 4196468 140722481201968 140256024824336 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31948] ppid=31826 vsize=10918240 memory=1218808 CPUtime=8.69 cores=1,3,5,7
/proc/31830/task/31948/stat : 31948 (java) S 31826 31830 26438 0 -1 1077944384 13492 12966 0 0 815 46 5 3 20 0 15 0 74290032 11180277760 304702 33554432000 4194304 4196468 140722481201968 140255913036400 140256453655170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31950] ppid=31826 vsize=10918240 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31950/stat : 31950 (java) S 31826 31830 26438 0 -1 1077944384 75 12966 0 0 0 0 5 3 20 0 15 0 74290033 11180277760 304702 33554432000 4194304 4196468 140722481201968 140255911982496 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31952] ppid=31826 vsize=10918240 memory=1218808 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31952/stat : 31952 (java) S 31826 31830 26438 0 -1 1077944384 14 12966 0 0 0 0 5 3 20 0 15 0 74290033 11180277760 304702 33554432000 4194304 4196468 140722481201968 140255780923008 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31954] ppid=31826 vsize=10918240 memory=1218808 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31954/stat : 31954 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290036 11180277760 304702 33554432000 4194304 4196468 140722481201968 140255176944208 140256453662619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31956] ppid=31826 vsize=10918240 memory=1228564 CPUtime=10.95 cores=1,3,5,7
/proc/31830/task/31956/stat : 31956 (java) S 31826 31830 26438 0 -1 1077944384 83266 12966 0 0 1078 9 5 3 20 0 15 0 74290036 11180277760 304702 33554432000 4194304 4196468 140722481201968 140255878424688 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31958] ppid=31826 vsize=10918240 memory=0 CPUtime=11.79 cores=1,3,5,7
/proc/31830/task/31958/stat : 31958 (java) S 31826 31830 26438 0 -1 1077944384 93189 12966 0 0 1161 10 5 3 20 0 15 0 74290036 11180277760 304702 33554432000 4194304 4196468 140722481201968 140255877371888 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31960] ppid=31826 vsize=10918240 memory=1218808 CPUtime=4.29 cores=1,3,5,7
/proc/31830/task/31960/stat : 31960 (java) S 31826 31830 26438 0 -1 1077944384 99378 12966 0 0 411 10 5 3 20 0 15 0 74290036 11180277760 304702 33554432000 4194304 4196468 140722481201968 140255876319600 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31963] ppid=31826 vsize=10918240 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31963/stat : 31963 (java) S 31826 31830 26438 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 74290036 11180277760 304702 33554432000 4194304 4196468 140722481201968 140254707182048 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31965] ppid=31826 vsize=10918240 memory=1218808 CPUtime=1.49 cores=1,3,5,7
/proc/31830/task/31965/stat : 31965 (java) S 31826 31830 26438 0 -1 1077944384 1928 12966 0 0 65 76 5 3 20 0 15 0 74290036 11180277760 304702 33554432000 4194304 4196468 140722481201968 140255875267504 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
Current children cumulated CPU time: 2450.13 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1218808 KiB

[startup+2442.3 s]
/proc/loadavg: 1.31 1.35 1.33 3/216 32066
/proc/meminfo: memFree=10171160/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31826 vsize=10918240 memory=1220856 CPUtime=2511.26 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31826 31830 26438 0 -1 1077944320 464563 12966 0 0 250755 363 5 3 20 0 15 0 74290021 11180277760 305214 33554432000 4194304 4196468 140722481201968 140722481184512 140256453644023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
/proc/31830/statm: 2729560 305214 3542 1 0 2691213 0
[pid=31830/tid=31938] ppid=31826 vsize=10918240 memory=1220856 CPUtime=2416.68 cores=1,3,5,7
/proc/31830/task/31938/stat : 31938 (java) R 31826 31830 26438 0 -1 4202560 109745 12966 0 0 241606 54 5 3 20 0 15 0 74290030 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256425478848 140256081934278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31940] ppid=31826 vsize=10918240 memory=1220856 CPUtime=14.41 cores=1,3,5,7
/proc/31830/task/31940/stat : 31940 (java) S 31826 31830 26438 0 -1 1077944384 19229 12966 0 0 1380 53 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256457886096 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31941] ppid=31826 vsize=10918240 memory=1220856 CPUtime=14.42 cores=1,3,5,7
/proc/31830/task/31941/stat : 31941 (java) S 31826 31830 26438 0 -1 1077944384 10286 12966 0 0 1389 45 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256026929424 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31942] ppid=31826 vsize=10918240 memory=1218808 CPUtime=14.4 cores=1,3,5,7
/proc/31830/task/31942/stat : 31942 (java) S 31826 31830 26438 0 -1 1077944384 14637 12966 0 0 1379 53 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256025877136 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31943] ppid=31826 vsize=10918240 memory=1220856 CPUtime=14.42 cores=1,3,5,7
/proc/31830/task/31943/stat : 31943 (java) S 31826 31830 26438 0 -1 1077944384 14770 12966 0 0 1388 46 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256024824336 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31948] ppid=31826 vsize=10918240 memory=1220856 CPUtime=8.91 cores=1,3,5,7
/proc/31830/task/31948/stat : 31948 (java) S 31826 31830 26438 0 -1 1077944384 13595 12966 0 0 836 47 5 3 20 0 15 0 74290032 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255913036400 140256453655170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31950] ppid=31826 vsize=10918240 memory=1220856 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31950/stat : 31950 (java) S 31826 31830 26438 0 -1 1077944384 75 12966 0 0 0 0 5 3 20 0 15 0 74290033 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255911982496 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31952] ppid=31826 vsize=10918240 memory=1220856 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31952/stat : 31952 (java) S 31826 31830 26438 0 -1 1077944384 14 12966 0 0 0 0 5 3 20 0 15 0 74290033 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255780923008 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31954] ppid=31826 vsize=10918240 memory=1220856 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31954/stat : 31954 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255176944208 140256453662619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31956] ppid=31826 vsize=10918240 memory=1220856 CPUtime=10.98 cores=1,3,5,7
/proc/31830/task/31956/stat : 31956 (java) S 31826 31830 26438 0 -1 1077944384 84130 12966 0 0 1081 9 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255878424688 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31958] ppid=31826 vsize=10918240 memory=1220856 CPUtime=11.82 cores=1,3,5,7
/proc/31830/task/31958/stat : 31958 (java) S 31826 31830 26438 0 -1 1077944384 93593 12966 0 0 1164 10 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255877371888 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31960] ppid=31826 vsize=10918240 memory=1228564 CPUtime=4.31 cores=1,3,5,7
/proc/31830/task/31960/stat : 31960 (java) S 31826 31830 26438 0 -1 1077944384 100346 12966 0 0 413 10 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255876319600 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31963] ppid=31826 vsize=10918240 memory=1220856 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31963/stat : 31963 (java) S 31826 31830 26438 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140254707182048 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31965] ppid=31826 vsize=10918240 memory=1220856 CPUtime=1.52 cores=1,3,5,7
/proc/31830/task/31965/stat : 31965 (java) S 31826 31830 26438 0 -1 1077944384 1945 12966 0 0 67 77 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255875267504 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
Current children cumulated CPU time: 2511.26 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1220856 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2450.9 s]
/proc/loadavg: 1.26 1.34 1.32 3/216 32066
/proc/meminfo: memFree=10169112/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31826 vsize=10918240 memory=1220856 CPUtime=2520.03 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31826 31830 26438 0 -1 1077944320 465106 12966 0 0 251631 364 5 3 20 0 15 0 74290021 11180277760 305214 33554432000 4194304 4196468 140722481201968 140722481184512 140256453644023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
/proc/31830/statm: 2729560 305214 3542 1 0 2691213 0
[pid=31830/tid=31938] ppid=31826 vsize=10918240 memory=1220856 CPUtime=2425.19 cores=1,3,5,7
/proc/31830/task/31938/stat : 31938 (java) R 31826 31830 26438 0 -1 4202560 109908 12966 0 0 242456 55 5 3 20 0 15 0 74290030 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256425478736 140256061279422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31940] ppid=31826 vsize=10918240 memory=0 CPUtime=14.47 cores=1,3,5,7
/proc/31830/task/31940/stat : 31940 (java) S 31826 31830 26438 0 -1 1077944384 19247 12966 0 0 1386 53 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256457886096 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31941] ppid=31826 vsize=10918240 memory=1220856 CPUtime=14.47 cores=1,3,5,7
/proc/31830/task/31941/stat : 31941 (java) S 31826 31830 26438 0 -1 1077944384 10309 12966 0 0 1394 45 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256026929424 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31942] ppid=31826 vsize=10918240 memory=1220856 CPUtime=14.46 cores=1,3,5,7
/proc/31830/task/31942/stat : 31942 (java) S 31826 31830 26438 0 -1 1077944384 14702 12966 0 0 1385 53 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256025877136 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31943] ppid=31826 vsize=10918240 memory=1220856 CPUtime=14.47 cores=1,3,5,7
/proc/31830/task/31943/stat : 31943 (java) S 31826 31830 26438 0 -1 1077944384 14827 12966 0 0 1393 46 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256024824336 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31948] ppid=31826 vsize=10918240 memory=1220856 CPUtime=8.94 cores=1,3,5,7
/proc/31830/task/31948/stat : 31948 (java) S 31826 31830 26438 0 -1 1077944384 13633 12966 0 0 839 47 5 3 20 0 15 0 74290032 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255913036400 140256453655170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31950] ppid=31826 vsize=10918240 memory=1220856 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31950/stat : 31950 (java) S 31826 31830 26438 0 -1 1077944384 75 12966 0 0 0 0 5 3 20 0 15 0 74290033 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255911982496 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31952] ppid=31826 vsize=10918240 memory=1220856 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31952/stat : 31952 (java) S 31826 31830 26438 0 -1 1077944384 14 12966 0 0 0 0 5 3 20 0 15 0 74290033 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255780923008 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31954] ppid=31826 vsize=10918240 memory=1218808 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31954/stat : 31954 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255176944208 140256453662619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31956] ppid=31826 vsize=10918240 memory=1220856 CPUtime=10.99 cores=1,3,5,7
/proc/31830/task/31956/stat : 31956 (java) S 31826 31830 26438 0 -1 1077944384 84225 12966 0 0 1082 9 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255878424688 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31958] ppid=31826 vsize=10918240 memory=1220856 CPUtime=11.82 cores=1,3,5,7
/proc/31830/task/31958/stat : 31958 (java) S 31826 31830 26438 0 -1 1077944384 93593 12966 0 0 1164 10 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255877371888 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31960] ppid=31826 vsize=10918240 memory=1220856 CPUtime=4.32 cores=1,3,5,7
/proc/31830/task/31960/stat : 31960 (java) S 31826 31830 26438 0 -1 1077944384 100425 12966 0 0 413 11 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255876319600 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31963] ppid=31826 vsize=10918240 memory=1220856 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31963/stat : 31963 (java) S 31826 31830 26438 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140254707182048 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31965] ppid=31826 vsize=10918240 memory=1220856 CPUtime=1.53 cores=1,3,5,7
/proc/31830/task/31965/stat : 31965 (java) S 31826 31830 26438 0 -1 1077944384 1950 12966 0 0 68 77 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255875267504 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1220856 KiB

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

[startup+2450.93 s]
# the end of solver process 31830 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.38 s, system=3.68824 s

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

[startup+2450.9 s]
/proc/loadavg: 1.26 1.34 1.32 3/216 32066
/proc/meminfo: memFree=10169112/32770624 swapFree=67108860/67108860
[pid=31830] ppid=31826 vsize=10918240 memory=1220856 CPUtime=2520.03 cores=1,3,5,7
/proc/31830/stat : 31830 (java) S 31826 31830 26438 0 -1 1077944320 465106 12966 0 0 251631 364 5 3 20 0 15 0 74290021 11180277760 305214 33554432000 4194304 4196468 140722481201968 140722481184512 140256453644023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
/proc/31830/statm: 2729560 305214 3542 1 0 2691213 0
[pid=31830/tid=31938] ppid=31826 vsize=10918240 memory=1220856 CPUtime=2425.19 cores=1,3,5,7
/proc/31830/task/31938/stat : 31938 (java) R 31826 31830 26438 0 -1 4202560 109908 12966 0 0 242456 55 5 3 20 0 15 0 74290030 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256425478736 140256061279422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31940] ppid=31826 vsize=10918240 memory=0 CPUtime=14.47 cores=1,3,5,7
/proc/31830/task/31940/stat : 31940 (java) S 31826 31830 26438 0 -1 1077944384 19247 12966 0 0 1386 53 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256457886096 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31941] ppid=31826 vsize=10918240 memory=1220856 CPUtime=14.47 cores=1,3,5,7
/proc/31830/task/31941/stat : 31941 (java) S 31826 31830 26438 0 -1 1077944384 10309 12966 0 0 1394 45 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256026929424 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31942] ppid=31826 vsize=10918240 memory=1220856 CPUtime=14.46 cores=1,3,5,7
/proc/31830/task/31942/stat : 31942 (java) S 31826 31830 26438 0 -1 1077944384 14702 12966 0 0 1385 53 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256025877136 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31943] ppid=31826 vsize=10918240 memory=1220856 CPUtime=14.47 cores=1,3,5,7
/proc/31830/task/31943/stat : 31943 (java) S 31826 31830 26438 0 -1 1077944384 14827 12966 0 0 1393 46 5 3 20 0 15 0 74290031 11180277760 305214 33554432000 4194304 4196468 140722481201968 140256024824336 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31948] ppid=31826 vsize=10918240 memory=1220856 CPUtime=8.94 cores=1,3,5,7
/proc/31830/task/31948/stat : 31948 (java) S 31826 31830 26438 0 -1 1077944384 13633 12966 0 0 839 47 5 3 20 0 15 0 74290032 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255913036400 140256453655170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31950] ppid=31826 vsize=10918240 memory=1220856 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31950/stat : 31950 (java) S 31826 31830 26438 0 -1 1077944384 75 12966 0 0 0 0 5 3 20 0 15 0 74290033 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255911982496 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31952] ppid=31826 vsize=10918240 memory=1220856 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31952/stat : 31952 (java) S 31826 31830 26438 0 -1 1077944384 14 12966 0 0 0 0 5 3 20 0 15 0 74290033 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255780923008 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31954] ppid=31826 vsize=10918240 memory=1218808 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31954/stat : 31954 (java) S 31826 31830 26438 0 -1 1077944384 2 12966 0 0 0 0 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255176944208 140256453662619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31956] ppid=31826 vsize=10918240 memory=1220856 CPUtime=10.99 cores=1,3,5,7
/proc/31830/task/31956/stat : 31956 (java) S 31826 31830 26438 0 -1 1077944384 84225 12966 0 0 1082 9 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255878424688 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31958] ppid=31826 vsize=10918240 memory=1220856 CPUtime=11.82 cores=1,3,5,7
/proc/31830/task/31958/stat : 31958 (java) S 31826 31830 26438 0 -1 1077944384 93593 12966 0 0 1164 10 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255877371888 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31960] ppid=31826 vsize=10918240 memory=1220856 CPUtime=4.32 cores=1,3,5,7
/proc/31830/task/31960/stat : 31960 (java) S 31826 31830 26438 0 -1 1077944384 100425 12966 0 0 413 11 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255876319600 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31963] ppid=31826 vsize=10918240 memory=1220856 CPUtime=0.08 cores=1,3,5,7
/proc/31830/task/31963/stat : 31963 (java) S 31826 31830 26438 0 -1 1077944384 3 12966 0 0 0 0 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140254707182048 140256453654229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
[pid=31830/tid=31965] ppid=31826 vsize=10918240 memory=1220856 CPUtime=1.53 cores=1,3,5,7
/proc/31830/task/31965/stat : 31965 (java) S 31826 31830 26438 0 -1 1077944384 1950 12966 0 0 68 77 5 3 20 0 15 0 74290036 11180277760 305214 33554432000 4194304 4196468 140722481201968 140255875267504 140256453655170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20455424 140722481207919 140722481210716 140722481210716 140722481213391 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1220856 KiB

Child status: 143
Real time (s): 2450.93
CPU time (s): 2520.07
CPU user time (s): 2516.38
CPU system time (s): 3.68824
CPU usage (%): 102.821
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1684424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.38
system time used= 3.68824
maximum resident set size= 1687560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 478794
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 221249
involuntary context switches= 5586


# summary of solver processes directly reported to runsolver:
#   pid: 31830
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2516.38
#   total CPU system time (s): 3.68824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6514 second user time and 23.9952 second system time

The end

Name	TravelingTournament/ TravelingTournament-a2-galaxy12_c18.xml
MD5SUM	69fcc0210e9a5c86649ea22552bf9d3d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	10735
Best CPU time to get the best result obtained on this benchmark	2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	1068
Number of constraints	3635
Number of domains	3
Minimum domain size	2
Maximum domain size	45
Distribution of domain sizes	[{"size":2,"count":528},{"size":12,"count":264},{"size":45,"count":276}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":540},{"degree":35,"count":240},{"degree":36,"count":264},{"degree":37,"count":22},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	22
Distribution of constraint arities	[{"arity":2,"count":265},{"arity":3,"count":24},{"arity":4,"count":2520},{"arity":5,"count":252},{"arity":12,"count":286},{"arity":14,"count":264},{"arity":22,"count":24}]
Number of extensional constraints	276
Number of intensional constraints	2785
Distribution of constraint types	[{"type":"extension","count":276},{"type":"intension","count":2785},{"type":"regular","count":12},{"type":"allDifferent","count":22},{"type":"cardinality","count":12},{"type":"element","count":528}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4295465

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