Trace number 4247041

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)13 2400.0801 2354.45

General information on the benchmark

NameOpenStacks/
OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml
MD5SUMca3b02115b63c058d23855e217e5f7b7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark2400.0701
Satisfiable
(Un)Satisfiability was proved
Number of variables920
Number of constraints881
Number of domains3
Minimum domain size2
Maximum domain size41
Distribution of domain sizes[{"size":2,"count":800},{"size":40,"count":80},{"size":41,"count":40}]
Minimum variable degree2
Maximum variable degree41
Distribution of variable degrees[{"degree":2,"count":840},{"degree":9,"count":40},{"degree":41,"count":40}]
Minimum constraint arity3
Maximum constraint arity40
Distribution of constraint arities[{"arity":3,"count":800},{"arity":9,"count":40},{"arity":21,"count":40},{"arity":40,"count":1}]
Number of extensional constraints800
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":800},{"type":"allDifferent","count":1},{"type":"sum","count":40},{"type":"minimum","count":20},{"type":"maximum","count":20}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

3.33/2.25	c Concrete v3.4 running
20.86/9.11	o 19
21.16/9.28	o 18
23.64/10.10	o 17
25.37/10.64	o 16
26.57/11.35	o 15
36.25/20.42	o 14
43.12/26.60	o 13
2400.01/2354.40	java.util.concurrent.TimeoutException
2400.01/2354.41		at concrete.MAC.mac(MAC.scala:74)
2400.01/2354.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.01/2354.41		at scala.util.Try$.apply(Try.scala:209)
2400.01/2354.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.01/2354.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.01/2354.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.01/2354.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.01/2354.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.01/2354.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.01/2354.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.01/2354.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.01/2354.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.01/2354.41		at concrete.MAC.oneRun(MAC.scala:146)
2400.01/2354.41		at concrete.MAC.nextSolution(MAC.scala:166)
2400.01/2354.41		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.01/2354.41		at concrete.ProblemState.map(ProblemState.scala:203)
2400.01/2354.41		at concrete.ProblemState.map(ProblemState.scala:188)
2400.01/2354.41		at concrete.MAC.nextSolution(MAC.scala:195)
2400.01/2354.41		at concrete.Solver.hasNext(Solver.scala:202)
2400.01/2354.41		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.01/2354.41		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.01/2354.41		at concrete.Solver.toStream(Solver.scala:73)
2400.01/2354.41		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.01/2354.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.01/2354.41		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.01/2354.41		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.01/2354.41		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.01/2354.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.01/2354.41		at scala.util.Success.map(Try.scala:209)
2400.01/2354.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.01/2354.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.01/2354.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.01/2354.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.01/2354.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.01/2354.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.01/2354.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.01/2354.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.01/2354.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.01/2354.41		at scala.collection.immutable.List.foreach(List.scala:389)
2400.01/2354.41		at scala.App.main(App.scala:76)
2400.01/2354.41		at scala.App.main$(App.scala:74)
2400.01/2354.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.01/2354.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.01/2354.41	v <instantiation cost="13">
2400.01/2354.41	v       <list>
2400.01/2354.41	v         p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] min[10] min[11] min[12] min[13] min[14] min[15] min[16] min[17] min[18] min[19] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] max[10] max[11] max[12] max[13] max[14] max[15] max[16] max[17] max[18] max[19] 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[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][30] o[0][31] o[0][32] o[0][33] o[0][34] o[0][35] o[0][36] o[0][37] o[0][38] o[0][39] 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[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][30] o[1][31] o[1][32] o[1][33] o[1][34] o[1][35] o[1][36] o[1][37] o[1][38] o[1][39] 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[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][30] o[2][31] o[2][32] o[2][33] o[2][34] o[2][35] o[2][36] o[2][37] o[2][38] o[2][39] 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[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][30] o[3][31] o[3][32] o[3][33] o[3][34] o[3][35] o[3][36] o[3][37] o[3][38] o[3][39] 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[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][30] o[4][31] o[4][32] o[4][33] o[4][34] o[4][35] o[4][36] o[4][37] o[4][38] o[4][39] 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[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][30] o[5][31] o[5][32] o[5][33] o[5][34] o[5][35] o[5][36] o[5][37] o[5][38] o[5][39] 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[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][30] o[6][31] o[6][32] o[6][33] o[6][34] o[6][35] o[6][36] o[6][37] o[6][38] o[6][39] 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[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][30] o[7][31] o[7][32] o[7][33] o[7][34] o[7][35] o[7][36] o[7][37] o[7][38] o[7][39] 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[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][30] o[8][31] o[8][32] o[8][33] o[8][34] o[8][35] o[8][36] o[8][37] o[8][38] o[8][39] 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[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][30] o[9][31] o[9][32] o[9][33] o[9][34] o[9][35] o[9][36] o[9][37] o[9][38] o[9][39] 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[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][30] o[10][31] o[10][32] o[10][33] o[10][34] o[10][35] o[10][36] o[10][37] o[10][38] o[10][39] 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] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][30] o[11][31] o[11][32] o[11][33] o[11][34] o[11][35] o[11][36] o[11][37] o[11][38] o[11][39] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][30] o[12][31] o[12][32] o[12][33] o[12][34] o[12][35] o[12][36] o[12][37] o[12][38] o[12][39] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][30] o[13][31] o[13][32] o[13][33] o[13][34] o[13][35] o[13][36] o[13][37] o[13][38] o[13][39] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][30] o[14][31] o[14][32] o[14][33] o[14][34] o[14][35] o[14][36] o[14][37] o[14][38] o[14][39] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][30] o[15][31] o[15][32] o[15][33] o[15][34] o[15][35] o[15][36] o[15][37] o[15][38] o[15][39] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][30] o[16][31] o[16][32] o[16][33] o[16][34] o[16][35] o[16][36] o[16][37] o[16][38] o[16][39] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][30] o[17][31] o[17][32] o[17][33] o[17][34] o[17][35] o[17][36] o[17][37] o[17][38] o[17][39] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][30] o[18][31] o[18][32] o[18][33] o[18][34] o[18][35] o[18][36] o[18][37] o[18][38] o[18][39] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][30] o[19][31] o[19][32] o[19][33] o[19][34] o[19][35] o[19][36] o[19][37] o[19][38] o[19][39] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[30] so[31] so[32] so[33] so[34] so[35] so[36] so[37] so[38] so[39]
2400.01/2354.41	v       </list>
2400.01/2354.41	v       <values>
2400.01/2354.41	v         24 27 22 20 14 1 4 0 12 10 11 16 18 26 34 33 35 38 23 25 30 15 17 13 9 5 3 2 8 7 6 36 19 39 31 32 28 37 29 21 23 15 17 13 9 1 1 0 0 0 0 2 3 2 6 7 6 32 19 21 38 37 30 37 30 22 30 15 17 13 12 36 19 39 34 39 35 39 38 39 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 6 8 9 9 9 11 12 12 13 13 13 13 13 12 13 12 13 12 13 12 13 13 13 13 13 13 13 13 13 13 10 11 11 11 10 9 8 6 4
2400.01/2354.41	v       </values>
2400.01/2354.41	v     </instantiation>
2400.01/2354.41	s SATISFIABLE

Verifier Data

OK	13

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247041-1502128988/watcher-4247041-1502128988 -o /tmp/evaluation-result-4247041-1502128988/solver-4247041-1502128988 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502077974-12598 --watchdog 2560 bin/concrete HOME/instance-4247041-1502128988.xml 

pid=24291
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.45 1.39 1.41 3/198 24294
/proc/meminfo: memFree=30330752/32770624 swapFree=0/449292
[pid=24294] ppid=24291 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24294/stat : 24294 (runsolver) D 24291 24294 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 60404890 24240128 106 18446744073709551615 4194304 4338465 140732042212928 140732042210568 139786218664663 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 31342592 140732042219728 140732042220105 140732042220105 140732042223562 0
/proc/24294/statm: 5918 106 53 36 0 2156 0

[startup+0.10013 s]
/proc/loadavg: 1.45 1.39 1.41 3/198 24294
/proc/meminfo: memFree=30330752/32770624 swapFree=0/449292
[pid=24294] ppid=24291 vsize=9640 CPUtime=0.01 cores=0,2,4,6
/proc/24294/stat : 24294 (bash) S 24291 24294 25139 0 -1 4202496 791 5297 0 0 0 0 0 1 20 0 1 0 60404890 9871360 365 18446744073709551615 4194304 5098028 140727317241232 140727317238888 139688502696960 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 33935360 140727317242388 140727317242473 140727317242473 140727317245930 0
/proc/24294/statm: 2410 365 287 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200304 s]
/proc/loadavg: 1.45 1.39 1.41 3/198 24294
/proc/meminfo: memFree=30330752/32770624 swapFree=0/449292
[pid=24294] ppid=24291 vsize=9640 CPUtime=0.01 cores=0,2,4,6
/proc/24294/stat : 24294 (bash) S 24291 24294 25139 0 -1 4202496 882 6460 0 0 0 0 0 1 20 0 1 0 60404890 9871360 375 18446744073709551615 4194304 5098028 140727317241232 140727317235240 139688502696960 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 33935360 140727317242388 140727317242473 140727317242473 140727317245930 0
/proc/24294/statm: 2410 375 295 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.300382 s]
/proc/loadavg: 1.45 1.39 1.41 3/198 24294
/proc/meminfo: memFree=30330752/32770624 swapFree=0/449292
[pid=24294] ppid=24291 vsize=10485316 CPUtime=0.13 cores=0,2,4,6
/proc/24294/stat : 24294 (java) S 24291 24294 25139 0 -1 1077944320 5702 12342 0 0 5 1 5 2 20 0 14 0 60404890 10736963584 5898 18446744073709551615 4194304 4196468 140735292599840 140735292582384 139737608552183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
/proc/24294/statm: 2621329 5898 2568 1 0 2610826 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10485316

[startup+0.700368 s]
/proc/loadavg: 1.45 1.39 1.41 3/198 24294
/proc/meminfo: memFree=30330752/32770624 swapFree=0/449292
[pid=24294] ppid=24291 vsize=10552792 CPUtime=0.57 cores=0,2,4,6
/proc/24294/stat : 24294 (java) S 24291 24294 25139 0 -1 1077944320 13193 12342 0 0 47 3 5 2 20 0 15 0 60404890 10806059008 14511 18446744073709551615 4194304 4196468 140735292599840 140735292582384 139737608552183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
/proc/24294/statm: 2638454 14511 3080 1 0 2627723 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10552792

[startup+1.50069 s]
/proc/loadavg: 1.45 1.39 1.41 3/213 24357
/proc/meminfo: memFree=30240252/32770624 swapFree=0/449440
[pid=24294] ppid=24291 vsize=10563416 CPUtime=1.77 cores=0,2,4,6
/proc/24294/stat : 24294 (java) S 24291 24294 25139 0 -1 1077944320 25063 12342 0 0 162 8 5 2 20 0 15 0 60404890 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 140735292582384 139737608552183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
/proc/24294/statm: 2640854 34144 3351 1 0 2630027 0
[pid=24294/tid=24344] ppid=24291 vsize=10563416 CPUtime=1.24 cores=0,2,4,6
/proc/24294/task/24344/stat : 24344 (java) R 24291 24294 25139 0 -1 4202560 20030 12342 0 0 111 6 5 2 20 0 15 0 60404911 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737612785360 139737588860737 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24345] ppid=24291 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24345/stat : 24345 (java) S 24291 24294 25139 0 -1 1077944384 1 12342 0 0 0 0 5 2 20 0 15 0 60404912 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737569450384 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24346] ppid=24291 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24346/stat : 24346 (java) S 24291 24294 25139 0 -1 1077944384 1 12342 0 0 0 0 5 2 20 0 15 0 60404912 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737568397584 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24347] ppid=24291 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24347/stat : 24347 (java) S 24291 24294 25139 0 -1 1077944384 1 12342 0 0 0 0 5 2 20 0 15 0 60404912 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737567345296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24348] ppid=24291 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24348/stat : 24348 (java) S 24291 24294 25139 0 -1 1077944384 2 12342 0 0 0 0 5 2 20 0 15 0 60404912 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737217030672 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24349] ppid=24291 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24349/stat : 24349 (java) S 24291 24294 25139 0 -1 1077944384 5 12342 0 0 0 0 5 2 20 0 15 0 60404913 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737172081264 139737608563330 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24350] ppid=24291 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24350/stat : 24350 (java) S 24291 24294 25139 0 -1 1077944384 33 12342 0 0 0 0 5 2 20 0 15 0 60404914 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737171027232 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24351] ppid=24291 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24351/stat : 24351 (java) S 24291 24294 25139 0 -1 1077944384 21 12342 0 0 0 0 5 2 20 0 15 0 60404914 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737169974896 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24352] ppid=24291 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24352/stat : 24352 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737168923216 139737608570779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24353] ppid=24291 vsize=10563416 CPUtime=0.22 cores=0,2,4,6
/proc/24294/task/24353/stat : 24353 (java) S 24291 24294 25139 0 -1 1077944384 1061 12342 0 0 15 0 5 2 20 0 15 0 60404917 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737167870064 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24354] ppid=24291 vsize=10563416 CPUtime=0.2 cores=0,2,4,6
/proc/24294/task/24354/stat : 24354 (java) S 24291 24294 25139 0 -1 1077944384 585 12342 0 0 13 0 5 2 20 0 15 0 60404917 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737166817264 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24355] ppid=24291 vsize=10563416 CPUtime=0.28 cores=0,2,4,6
/proc/24294/task/24355/stat : 24355 (java) S 24291 24294 25139 0 -1 1077944384 1182 12342 0 0 21 0 5 2 20 0 15 0 60404917 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737165764976 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24356] ppid=24291 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24356/stat : 24356 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139737164712416 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24357] ppid=24291 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24357/stat : 24357 (java) S 24291 24294 25139 0 -1 1077944384 2 12342 0 0 0 0 5 2 20 0 15 0 60404926 10816937984 34144 18446744073709551615 4194304 4196468 140735292599840 139736640383920 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 10563416

[startup+3.10067 s]
/proc/loadavg: 1.42 1.38 1.41 4/213 24357
/proc/meminfo: memFree=30156124/32770624 swapFree=0/449440
[pid=24294] ppid=24291 vsize=10573844 CPUtime=5.67 cores=0,2,4,6
/proc/24294/stat : 24294 (java) S 24291 24294 25139 0 -1 1077944320 41594 12342 0 0 543 17 5 2 20 0 15 0 60404890 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 140735292582384 139737608552183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
/proc/24294/statm: 2643461 71520 3469 1 0 2632075 0
[pid=24294/tid=24344] ppid=24291 vsize=10573844 CPUtime=2.79 cores=0,2,4,6
/proc/24294/task/24344/stat : 24344 (java) R 24291 24294 25139 0 -1 4202560 25430 12342 0 0 263 9 5 2 20 0 15 0 60404911 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737612782256 139737590115739 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24345] ppid=24291 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/24294/task/24345/stat : 24345 (java) S 24291 24294 25139 0 -1 1077944384 223 12342 0 0 1 0 5 2 20 0 15 0 60404912 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737569450384 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24346] ppid=24291 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/24294/task/24346/stat : 24346 (java) S 24291 24294 25139 0 -1 1077944384 28 12342 0 0 1 0 5 2 20 0 15 0 60404912 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737568397584 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24347] ppid=24291 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/24294/task/24347/stat : 24347 (java) S 24291 24294 25139 0 -1 1077944384 98 12342 0 0 1 0 5 2 20 0 15 0 60404912 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737567345296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24348] ppid=24291 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/24294/task/24348/stat : 24348 (java) S 24291 24294 25139 0 -1 1077944384 75 12342 0 0 1 0 5 2 20 0 15 0 60404912 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737217030672 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24349] ppid=24291 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/24294/task/24349/stat : 24349 (java) S 24291 24294 25139 0 -1 1077944384 1386 12342 0 0 1 0 5 2 20 0 15 0 60404913 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737172081264 139737608563330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24350] ppid=24291 vsize=10573844 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24350/stat : 24350 (java) S 24291 24294 25139 0 -1 1077944384 39 12342 0 0 0 0 5 2 20 0 15 0 60404914 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737171027296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24351] ppid=24291 vsize=10573844 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24351/stat : 24351 (java) S 24291 24294 25139 0 -1 1077944384 44 12342 0 0 0 0 5 2 20 0 15 0 60404914 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737169974912 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24352] ppid=24291 vsize=10573844 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24352/stat : 24352 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737168923216 139737608570779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24353] ppid=24291 vsize=10573844 CPUtime=1.03 cores=0,2,4,6
/proc/24294/task/24353/stat : 24353 (java) S 24291 24294 25139 0 -1 1077944384 5468 12342 0 0 95 1 5 2 20 0 15 0 60404917 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737167870064 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24354] ppid=24291 vsize=10573844 CPUtime=0.86 cores=0,2,4,6
/proc/24294/task/24354/stat : 24354 (java) S 24291 24294 25139 0 -1 1077944384 2269 12342 0 0 79 0 5 2 20 0 15 0 60404917 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737166817264 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24355] ppid=24291 vsize=10573844 CPUtime=1.02 cores=0,2,4,6
/proc/24294/task/24355/stat : 24355 (java) S 24291 24294 25139 0 -1 1077944384 4390 12342 0 0 94 1 5 2 20 0 15 0 60404917 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737165764976 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24356] ppid=24291 vsize=10573844 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24356/stat : 24356 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139737164712416 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24357] ppid=24291 vsize=10573844 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24357/stat : 24357 (java) S 24291 24294 25139 0 -1 1077944384 5 12342 0 0 0 0 5 2 20 0 15 0 60404926 10827616256 71520 18446744073709551615 4194304 4196468 140735292599840 139736640383920 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 10573844

[startup+6.30064 s]
/proc/loadavg: 1.42 1.38 1.41 3/213 24357
/proc/meminfo: memFree=29880328/32770624 swapFree=0/449448
[pid=24294] ppid=24291 vsize=10577940 CPUtime=12.39 cores=0,2,4,6
/proc/24294/stat : 24294 (java) S 24291 24294 25139 0 -1 1077944320 54638 12342 0 0 1202 30 5 2 20 0 15 0 60404890 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 140735292582384 139737608552183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
/proc/24294/statm: 2644485 154685 3478 1 0 2633099 0
[pid=24294/tid=24344] ppid=24291 vsize=10577940 CPUtime=5.93 cores=0,2,4,6
/proc/24294/task/24344/stat : 24344 (java) R 24291 24294 25139 0 -1 4202560 33525 12342 0 0 570 16 5 2 20 0 15 0 60404911 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737612784496 139737262323682 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24345] ppid=24291 vsize=10577940 CPUtime=0.13 cores=0,2,4,6
/proc/24294/task/24345/stat : 24345 (java) S 24291 24294 25139 0 -1 1077944384 250 12342 0 0 4 2 5 2 20 0 15 0 60404912 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737569450384 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24346] ppid=24291 vsize=10577940 CPUtime=0.11 cores=0,2,4,6
/proc/24294/task/24346/stat : 24346 (java) S 24291 24294 25139 0 -1 1077944384 66 12342 0 0 3 1 5 2 20 0 15 0 60404912 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737568397584 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24347] ppid=24291 vsize=10577940 CPUtime=0.13 cores=0,2,4,6
/proc/24294/task/24347/stat : 24347 (java) S 24291 24294 25139 0 -1 1077944384 245 12342 0 0 5 1 5 2 20 0 15 0 60404912 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737567345296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24348] ppid=24291 vsize=10577940 CPUtime=0.13 cores=0,2,4,6
/proc/24294/task/24348/stat : 24348 (java) S 24291 24294 25139 0 -1 1077944384 110 12342 0 0 5 1 5 2 20 0 15 0 60404912 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737217030672 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24349] ppid=24291 vsize=10577940 CPUtime=0.1 cores=0,2,4,6
/proc/24294/task/24349/stat : 24349 (java) S 24291 24294 25139 0 -1 1077944384 1618 12342 0 0 3 0 5 2 20 0 15 0 60404913 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737172081264 139737608563330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24350] ppid=24291 vsize=10577940 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24350/stat : 24350 (java) S 24291 24294 25139 0 -1 1077944384 39 12342 0 0 0 0 5 2 20 0 15 0 60404914 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737171027296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24351] ppid=24291 vsize=10577940 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24351/stat : 24351 (java) S 24291 24294 25139 0 -1 1077944384 44 12342 0 0 0 0 5 2 20 0 15 0 60404914 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737169974912 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24352] ppid=24291 vsize=10577940 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24352/stat : 24352 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737168923216 139737608570779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24353] ppid=24291 vsize=10577940 CPUtime=2.48 cores=0,2,4,6
/proc/24294/task/24353/stat : 24353 (java) S 24291 24294 25139 0 -1 1077944384 6273 12342 0 0 239 2 5 2 20 0 15 0 60404917 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737167870064 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24354] ppid=24291 vsize=10577940 CPUtime=2.26 cores=0,2,4,6
/proc/24294/task/24354/stat : 24354 (java) S 24291 24294 25139 0 -1 1077944384 3240 12342 0 0 219 0 5 2 20 0 15 0 60404917 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737166817264 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24355] ppid=24291 vsize=10577940 CPUtime=1.58 cores=0,2,4,6
/proc/24294/task/24355/stat : 24355 (java) S 24291 24294 25139 0 -1 1077944384 6672 12342 0 0 149 2 5 2 20 0 15 0 60404917 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737165764976 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24356] ppid=24291 vsize=10577940 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24356/stat : 24356 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139737164712416 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24357] ppid=24291 vsize=10577940 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24357/stat : 24357 (java) S 24291 24294 25139 0 -1 1077944384 417 12342 0 0 0 0 5 2 20 0 15 0 60404926 10831810560 154685 18446744073709551615 4194304 4196468 140735292599840 139736640383920 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 10577940

[startup+12.7008 s]
/proc/loadavg: 1.80 1.47 1.44 3/213 24357
/proc/meminfo: memFree=29266116/32770624 swapFree=0/449456
[pid=24294] ppid=24291 vsize=10649620 CPUtime=28.24 cores=0,2,4,6
/proc/24294/stat : 24294 (java) S 24291 24294 25139 0 -1 1077944320 78052 12342 0 0 2767 50 5 2 20 0 15 0 60404890 10905210880 268794 18446744073709551615 4194304 4196468 140735292599840 140735292582384 139737608552183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
/proc/24294/statm: 2662405 268794 3486 1 0 2651019 0
[pid=24294/tid=24344] ppid=24291 vsize=10649620 CPUtime=11.68 cores=0,2,4,6
/proc/24294/task/24344/stat : 24344 (java) R 24291 24294 25139 0 -1 4202560 42724 12342 0 0 1139 22 5 2 20 0 15 0 60404911 10905210880 268794 18446744073709551615 4194304 4196468 140735292599840 139737612786392 139737254896170 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24345] ppid=24291 vsize=10649620 CPUtime=0.6 cores=0,2,4,6
/proc/24294/task/24345/stat : 24345 (java) S 24291 24294 25139 0 -1 1077944384 406 12342 0 0 49 4 5 2 20 0 15 0 60404912 10905210880 268794 18446744073709551615 4194304 4196468 140735292599840 139737569450384 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24346] ppid=24291 vsize=10649620 CPUtime=0.57 cores=0,2,4,6
/proc/24294/task/24346/stat : 24346 (java) S 24291 24294 25139 0 -1 1077944384 221 12342 0 0 46 4 5 2 20 0 15 0 60404912 10905210880 268794 18446744073709551615 4194304 4196468 140735292599840 139737568397584 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24347] ppid=24291 vsize=10649620 CPUtime=0.59 cores=0,2,4,6
/proc/24294/task/24347/stat : 24347 (java) S 24291 24294 25139 0 -1 1077944384 432 12342 0 0 48 4 5 2 20 0 15 0 60404912 10905210880 268794 18446744073709551615 4194304 4196468 140735292599840 139737567345296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24348] ppid=24291 vsize=10649620 CPUtime=0.59 cores=0,2,4,6
/proc/24294/task/24348/stat : 24348 (java) S 24291 24294 25139 0 -1 1077944384 262 12342 0 0 48 4 5 2 20 0 15 0 60404912 10905210880 268794 18446744073709551615 4194304 4196468 140735292599840 139737217030672 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24349] ppid=24291 vsize=10649620 CPUtime=0.23 cores=0,2,4,6
/proc/24294/task/24349/stat : 24349 (java) S 24291 24294 25139 0 -1 1077944384 3023 12342 0 0 16 0 5 2 20 0 15 0 60404913 10905210880 268794 18446744073709551615 4194304 4196468 140735292599840 139737172081264 139737608563330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24350] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24350/stat : 24350 (java) S 24291 24294 25139 0 -1 1077944384 39 12342 0 0 0 0 5 2 20 0 15 0 60404914 10905210880 268794 18446744073709551615 4194304 4196468 140735292599840 139737171027296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24351] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24351/stat : 24351 (java) S 24291 24294 25139 0 -1 1077944384 44 12342 0 0 0 0 5 2 20 0 15 0 60404914 10905210880 268794 18446744073709551615 4194304 4196468 140735292599840 139737169974912 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24352] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24352/stat : 24352 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10905210880 268794 18446744073709551615 4194304 4196468 140735292599840 139737168923216 139737608570779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0

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

/proc/24294/task/24356/stat : 24356 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10905210880 731371 18446744073709551615 4194304 4196468 140735292599840 139737164712416 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24357] ppid=24291 vsize=10649620 CPUtime=1.3 cores=0,2,4,6
/proc/24294/task/24357/stat : 24357 (java) S 24291 24294 25139 0 -1 1077944384 1965 12342 0 0 55 68 5 2 20 0 15 0 60404926 10905210880 731371 18446744073709551615 4194304 4196468 140735292599840 139736640383920 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
Current children cumulated CPU time (s) 2186.31
Current children cumulated vsize (KiB) 10649620

[startup+2202.31 s]
/proc/loadavg: 1.59 1.52 1.51 3/213 24677
/proc/meminfo: memFree=27613620/32770624 swapFree=0/450200
[pid=24294] ppid=24291 vsize=10649620 CPUtime=2246.8 cores=0,2,4,6
/proc/24294/stat : 24294 (java) S 24291 24294 25139 0 -1 1077944320 460310 12342 0 0 224236 437 5 2 20 0 15 0 60404890 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 140735292582384 139737608552183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
/proc/24294/statm: 2662405 717192 3495 1 0 2651019 0
[pid=24294/tid=24344] ppid=24291 vsize=10649620 CPUtime=2191.79 cores=0,2,4,6
/proc/24294/task/24344/stat : 24344 (java) R 24291 24294 25139 0 -1 4202560 211391 12342 0 0 219051 121 5 2 20 0 15 0 60404911 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737612784176 139737267498790 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24345] ppid=24291 vsize=10649620 CPUtime=8.16 cores=0,2,4,6
/proc/24294/task/24345/stat : 24345 (java) S 24291 24294 25139 0 -1 1077944384 24310 12342 0 0 753 56 5 2 20 0 15 0 60404912 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737569450384 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24346] ppid=24291 vsize=10649620 CPUtime=8.13 cores=0,2,4,6
/proc/24294/task/24346/stat : 24346 (java) S 24291 24294 25139 0 -1 1077944384 23585 12342 0 0 750 56 5 2 20 0 15 0 60404912 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737568397584 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24347] ppid=24291 vsize=10649620 CPUtime=8.16 cores=0,2,4,6
/proc/24294/task/24347/stat : 24347 (java) S 24291 24294 25139 0 -1 1077944384 26042 12342 0 0 752 57 5 2 20 0 15 0 60404912 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737567345296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24348] ppid=24291 vsize=10649620 CPUtime=8.15 cores=0,2,4,6
/proc/24294/task/24348/stat : 24348 (java) S 24291 24294 25139 0 -1 1077944384 23009 12342 0 0 754 54 5 2 20 0 15 0 60404912 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737217030672 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24349] ppid=24291 vsize=10649620 CPUtime=1.7 cores=0,2,4,6
/proc/24294/task/24349/stat : 24349 (java) S 24291 24294 25139 0 -1 1077944384 25551 12342 0 0 133 30 5 2 20 0 15 0 60404913 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737172081264 139737608563330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24350] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24350/stat : 24350 (java) S 24291 24294 25139 0 -1 1077944384 44 12342 0 0 0 0 5 2 20 0 15 0 60404914 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737171027296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24351] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24351/stat : 24351 (java) S 24291 24294 25139 0 -1 1077944384 44 12342 0 0 0 0 5 2 20 0 15 0 60404914 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737169974912 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24352] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24352/stat : 24352 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737168923216 139737608570779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24353] ppid=24291 vsize=10649620 CPUtime=8.37 cores=0,2,4,6
/proc/24294/task/24353/stat : 24353 (java) S 24291 24294 25139 0 -1 1077944384 45105 12342 0 0 824 6 5 2 20 0 15 0 60404917 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737167870064 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24354] ppid=24291 vsize=10649620 CPUtime=8 cores=0,2,4,6
/proc/24294/task/24354/stat : 24354 (java) S 24291 24294 25139 0 -1 1077944384 40104 12342 0 0 788 5 5 2 20 0 15 0 60404917 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737166817264 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24355] ppid=24291 vsize=10649620 CPUtime=3.53 cores=0,2,4,6
/proc/24294/task/24355/stat : 24355 (java) S 24291 24294 25139 0 -1 1077944384 37000 12342 0 0 339 7 5 2 20 0 15 0 60404917 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737165764976 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24356] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24356/stat : 24356 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139737164712416 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24357] ppid=24291 vsize=10649620 CPUtime=1.34 cores=0,2,4,6
/proc/24294/task/24357/stat : 24357 (java) S 24291 24294 25139 0 -1 1077944384 1986 12342 0 0 57 70 5 2 20 0 15 0 60404926 10905210880 717192 18446744073709551615 4194304 4196468 140735292599840 139736640383920 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
Current children cumulated CPU time (s) 2246.8
Current children cumulated vsize (KiB) 10649620

[startup+2262.3 s]
/proc/loadavg: 1.58 1.52 1.51 3/213 24679
/proc/meminfo: memFree=27325432/32770624 swapFree=0/450216
[pid=24294] ppid=24291 vsize=10649620 CPUtime=2307.25 cores=0,2,4,6
/proc/24294/stat : 24294 (java) S 24291 24294 25139 0 -1 1077944320 465111 12342 0 0 230265 453 5 2 20 0 15 0 60404890 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 140735292582384 139737608552183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
/proc/24294/statm: 2662405 794208 3495 1 0 2651019 0
[pid=24294/tid=24344] ppid=24291 vsize=10649620 CPUtime=2251.61 cores=0,2,4,6
/proc/24294/task/24344/stat : 24344 (java) R 24291 24294 25139 0 -1 4202560 214173 12342 0 0 225029 125 5 2 20 0 15 0 60404911 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737612784784 139737254897316 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24345] ppid=24291 vsize=10649620 CPUtime=8.31 cores=0,2,4,6
/proc/24294/task/24345/stat : 24345 (java) S 24291 24294 25139 0 -1 1077944384 24714 12342 0 0 765 59 5 2 20 0 15 0 60404912 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737569450384 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24346] ppid=24291 vsize=10649620 CPUtime=8.26 cores=0,2,4,6
/proc/24294/task/24346/stat : 24346 (java) S 24291 24294 25139 0 -1 1077944384 23642 12342 0 0 761 58 5 2 20 0 15 0 60404912 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737568397584 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24347] ppid=24291 vsize=10649620 CPUtime=8.3 cores=0,2,4,6
/proc/24294/task/24347/stat : 24347 (java) S 24291 24294 25139 0 -1 1077944384 27025 12342 0 0 764 59 5 2 20 0 15 0 60404912 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737567345296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24348] ppid=24291 vsize=10649620 CPUtime=8.3 cores=0,2,4,6
/proc/24294/task/24348/stat : 24348 (java) S 24291 24294 25139 0 -1 1077944384 23109 12342 0 0 766 57 5 2 20 0 15 0 60404912 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737217030672 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24349] ppid=24291 vsize=10649620 CPUtime=1.71 cores=0,2,4,6
/proc/24294/task/24349/stat : 24349 (java) S 24291 24294 25139 0 -1 1077944384 25997 12342 0 0 134 30 5 2 20 0 15 0 60404913 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737172081264 139737608563330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24350] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24350/stat : 24350 (java) S 24291 24294 25139 0 -1 1077944384 44 12342 0 0 0 0 5 2 20 0 15 0 60404914 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737171027296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24351] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24351/stat : 24351 (java) S 24291 24294 25139 0 -1 1077944384 44 12342 0 0 0 0 5 2 20 0 15 0 60404914 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737169974912 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24352] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24352/stat : 24352 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737168923216 139737608570779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24353] ppid=24291 vsize=10649620 CPUtime=8.37 cores=0,2,4,6
/proc/24294/task/24353/stat : 24353 (java) S 24291 24294 25139 0 -1 1077944384 45108 12342 0 0 824 6 5 2 20 0 15 0 60404917 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737167870064 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24354] ppid=24291 vsize=10649620 CPUtime=8 cores=0,2,4,6
/proc/24294/task/24354/stat : 24354 (java) S 24291 24294 25139 0 -1 1077944384 40106 12342 0 0 788 5 5 2 20 0 15 0 60404917 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737166817264 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24355] ppid=24291 vsize=10649620 CPUtime=3.53 cores=0,2,4,6
/proc/24294/task/24355/stat : 24355 (java) S 24291 24294 25139 0 -1 1077944384 37002 12342 0 0 339 7 5 2 20 0 15 0 60404917 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737165764976 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24356] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24356/stat : 24356 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139737164712416 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24357] ppid=24291 vsize=10649620 CPUtime=1.38 cores=0,2,4,6
/proc/24294/task/24357/stat : 24357 (java) S 24291 24294 25139 0 -1 1077944384 2008 12342 0 0 59 72 5 2 20 0 15 0 60404926 10905210880 794208 18446744073709551615 4194304 4196468 140735292599840 139736640383920 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
Current children cumulated CPU time (s) 2307.25
Current children cumulated vsize (KiB) 10649620

[startup+2322.3 s]
/proc/loadavg: 1.44 1.51 1.50 3/212 24681
/proc/meminfo: memFree=27414936/32770624 swapFree=0/450208
[pid=24294] ppid=24291 vsize=10649620 CPUtime=2367.67 cores=0,2,4,6
/proc/24294/stat : 24294 (java) S 24291 24294 25139 0 -1 1077944320 470283 12342 0 0 236303 457 5 2 20 0 15 0 60404890 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 140735292582384 139737608552183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
/proc/24294/statm: 2662405 754193 3495 1 0 2651019 0
[pid=24294/tid=24344] ppid=24291 vsize=10649620 CPUtime=2311.44 cores=0,2,4,6
/proc/24294/task/24344/stat : 24344 (java) R 24291 24294 25139 0 -1 4202560 216144 12342 0 0 231012 125 5 2 20 0 15 0 60404911 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737612784496 139737267512384 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24345] ppid=24291 vsize=10649620 CPUtime=8.43 cores=0,2,4,6
/proc/24294/task/24345/stat : 24345 (java) S 24291 24294 25139 0 -1 1077944384 25974 12342 0 0 777 59 5 2 20 0 15 0 60404912 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737569450384 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24346] ppid=24291 vsize=10649620 CPUtime=8.4 cores=0,2,4,6
/proc/24294/task/24346/stat : 24346 (java) S 24291 24294 25139 0 -1 1077944384 24511 12342 0 0 774 59 5 2 20 0 15 0 60404912 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737568397584 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24347] ppid=24291 vsize=10649620 CPUtime=8.43 cores=0,2,4,6
/proc/24294/task/24347/stat : 24347 (java) S 24291 24294 25139 0 -1 1077944384 27291 12342 0 0 776 60 5 2 20 0 15 0 60404912 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737567345296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24348] ppid=24291 vsize=10649620 CPUtime=8.42 cores=0,2,4,6
/proc/24294/task/24348/stat : 24348 (java) S 24291 24294 25139 0 -1 1077944384 23520 12342 0 0 778 57 5 2 20 0 15 0 60404912 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737217030672 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24349] ppid=24291 vsize=10649620 CPUtime=1.75 cores=0,2,4,6
/proc/24294/task/24349/stat : 24349 (java) S 24291 24294 25139 0 -1 1077944384 26363 12342 0 0 137 31 5 2 20 0 15 0 60404913 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737172081264 139737608563330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24350] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24350/stat : 24350 (java) S 24291 24294 25139 0 -1 1077944384 44 12342 0 0 0 0 5 2 20 0 15 0 60404914 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737171027296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24351] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24351/stat : 24351 (java) S 24291 24294 25139 0 -1 1077944384 44 12342 0 0 0 0 5 2 20 0 15 0 60404914 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737169974912 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24352] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24352/stat : 24352 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737168923216 139737608570779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24353] ppid=24291 vsize=10649620 CPUtime=8.37 cores=0,2,4,6
/proc/24294/task/24353/stat : 24353 (java) S 24291 24294 25139 0 -1 1077944384 45111 12342 0 0 824 6 5 2 20 0 15 0 60404917 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737167870064 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24354] ppid=24291 vsize=10649620 CPUtime=8 cores=0,2,4,6
/proc/24294/task/24354/stat : 24354 (java) S 24291 24294 25139 0 -1 1077944384 40108 12342 0 0 788 5 5 2 20 0 15 0 60404917 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737166817264 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24355] ppid=24291 vsize=10649620 CPUtime=3.53 cores=0,2,4,6
/proc/24294/task/24355/stat : 24355 (java) S 24291 24294 25139 0 -1 1077944384 37004 12342 0 0 339 7 5 2 20 0 15 0 60404917 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737165764976 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24356] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24356/stat : 24356 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139737164712416 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24357] ppid=24291 vsize=10649620 CPUtime=1.4 cores=0,2,4,6
/proc/24294/task/24357/stat : 24357 (java) S 24291 24294 25139 0 -1 1077944384 2030 12342 0 0 60 73 5 2 20 0 15 0 60404926 10905210880 754193 18446744073709551615 4194304 4196468 140735292599840 139736640383920 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
Current children cumulated CPU time (s) 2367.67
Current children cumulated vsize (KiB) 10649620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2354.4 s]
/proc/loadavg: 1.42 1.50 1.50 3/213 24683
/proc/meminfo: memFree=26950892/32770624 swapFree=0/450208
[pid=24294] ppid=24291 vsize=10649620 CPUtime=2400.01 cores=0,2,4,6
/proc/24294/stat : 24294 (java) S 24291 24294 25139 0 -1 1077944320 475060 12342 0 0 239535 459 5 2 20 0 15 0 60404890 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 140735292582384 139737608552183 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
/proc/24294/statm: 2662405 748034 3495 1 0 2651019 0
[pid=24294/tid=24344] ppid=24291 vsize=10649620 CPUtime=2343.44 cores=0,2,4,6
/proc/24294/task/24344/stat : 24344 (java) R 24291 24294 25139 0 -1 4202560 217796 12342 0 0 234211 126 5 2 20 0 15 0 60404911 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737612786688 139737264493319 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24345] ppid=24291 vsize=10649620 CPUtime=8.51 cores=0,2,4,6
/proc/24294/task/24345/stat : 24345 (java) S 24291 24294 25139 0 -1 1077944384 26321 12342 0 0 785 59 5 2 20 0 15 0 60404912 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737569450384 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24346] ppid=24291 vsize=10649620 CPUtime=8.48 cores=0,2,4,6
/proc/24294/task/24346/stat : 24346 (java) S 24291 24294 25139 0 -1 1077944384 25273 12342 0 0 782 59 5 2 20 0 15 0 60404912 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737568397584 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24347] ppid=24291 vsize=10649620 CPUtime=8.51 cores=0,2,4,6
/proc/24294/task/24347/stat : 24347 (java) S 24291 24294 25139 0 -1 1077944384 27590 12342 0 0 784 60 5 2 20 0 15 0 60404912 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737567345296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24348] ppid=24291 vsize=10649620 CPUtime=8.5 cores=0,2,4,6
/proc/24294/task/24348/stat : 24348 (java) S 24291 24294 25139 0 -1 1077944384 24873 12342 0 0 785 58 5 2 20 0 15 0 60404912 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737217030672 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24349] ppid=24291 vsize=10649620 CPUtime=1.76 cores=0,2,4,6
/proc/24294/task/24349/stat : 24349 (java) S 24291 24294 25139 0 -1 1077944384 26699 12342 0 0 138 31 5 2 20 0 15 0 60404913 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737172081264 139737608563330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24350] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24350/stat : 24350 (java) S 24291 24294 25139 0 -1 1077944384 44 12342 0 0 0 0 5 2 20 0 15 0 60404914 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737171027296 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24351] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24351/stat : 24351 (java) S 24291 24294 25139 0 -1 1077944384 44 12342 0 0 0 0 5 2 20 0 15 0 60404914 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737169974912 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24352] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24352/stat : 24352 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737168923216 139737608570779 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24353] ppid=24291 vsize=10649620 CPUtime=8.37 cores=0,2,4,6
/proc/24294/task/24353/stat : 24353 (java) S 24291 24294 25139 0 -1 1077944384 45114 12342 0 0 824 6 5 2 20 0 15 0 60404917 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737167870064 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24354] ppid=24291 vsize=10649620 CPUtime=8 cores=0,2,4,6
/proc/24294/task/24354/stat : 24354 (java) S 24291 24294 25139 0 -1 1077944384 40110 12342 0 0 788 5 5 2 20 0 15 0 60404917 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737166817264 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24355] ppid=24291 vsize=10649620 CPUtime=3.53 cores=0,2,4,6
/proc/24294/task/24355/stat : 24355 (java) S 24291 24294 25139 0 -1 1077944384 37006 12342 0 0 339 7 5 2 20 0 15 0 60404917 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737165764976 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24356] ppid=24291 vsize=10649620 CPUtime=0.07 cores=0,2,4,6
/proc/24294/task/24356/stat : 24356 (java) S 24291 24294 25139 0 -1 1077944384 3 12342 0 0 0 0 5 2 20 0 15 0 60404917 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139737164712416 139737608562389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
[pid=24294/tid=24357] ppid=24291 vsize=10649620 CPUtime=1.42 cores=0,2,4,6
/proc/24294/task/24357/stat : 24357 (java) S 24291 24294 25139 0 -1 1077944384 2051 12342 0 0 61 74 5 2 20 0 15 0 60404926 10905210880 748034 18446744073709551615 4194304 4196468 140735292599840 139736640383920 139737608563330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32370688 140735292602331 140735292605105 140735292605105 140735292608463 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 10649620

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24294 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2354.45
CPU time (s): 2400.08
CPU user time (s): 2395.43
CPU system time (s): 4.64811
CPU usage (%): 101.938
Max. virtual memory (cumulated for all children) (KiB): 10649768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.43
system time used= 4.64811
maximum resident set size= 3227624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491870
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86067
involuntary context switches= 3510

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.88712 second user time and 15.6081 second system time

The end

Launcher Data

Begin job on node134 at 2017-08-07 19:49:10
IDJOB=4247041
IDBENCH=140502
IDSOLVER=2630
FILE ID=node134/4247041-1502128988
RUNJOBID= node134-1502077974-12598
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247041-1502128988/watcher-4247041-1502128988 -o /tmp/evaluation-result-4247041-1502128988/solver-4247041-1502128988 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502077974-12598 --watchdog 2560  bin/concrete HOME/instance-4247041-1502128988.xml

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

MD5SUM BENCH= ca3b02115b63c058d23855e217e5f7b7
RANDOM SEED=1002795403

node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30331032 kB
MemAvailable:   31017676 kB
Buffers:          225732 kB
Cached:           750192 kB
SwapCached:            0 kB
Active:          1538584 kB
Inactive:         472324 kB
Active(anon):    1037352 kB
Inactive(anon):    23032 kB
Active(file):     501232 kB
Inactive(file):   449292 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             25036 kB
Writeback:             0 kB
AnonPages:       1035032 kB
Mapped:            54840 kB
Shmem:             25276 kB
Slab:             130404 kB
SReclaimable:     103908 kB
SUnreclaim:        26496 kB
KernelStack:        3488 kB
PageTables:         6916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1794112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    942080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61980 MiB
End job on node134 at 2017-08-07 20:28:25