Trace number 4259555

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)439 252.149 224.84801

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-054.xml
MD5SUMd63f0cb62453ec1939b86e2392ab6ad9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark343
Best CPU time to get the best result obtained on this benchmark1993.4
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of constraints1537
Number of domains107
Minimum domain size2
Maximum domain size107
Distribution of domain sizes[{"size":2,"count":1486},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}]
Minimum variable degree0
Maximum variable degree53
Distribution of variable degrees[{"degree":0,"count":1378},{"degree":2,"count":1537},{"degree":53,"count":54}]
Minimum constraint arity2
Maximum constraint arity54
Distribution of constraint arities[{"arity":2,"count":54},{"arity":3,"count":1432},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}]
Number of extensional constraints0
Number of intensional constraints1484
Distribution of constraint types[{"type":"intension","count":1484},{"type":"sum","count":53}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

3.19/2.19	c Concrete v3.4 running
15.65/6.03	o 51039
15.99/6.15	o 36975
17.07/6.53	o 30911
17.39/6.60	o 25391
17.39/6.66	o 25375
17.69/6.72	o 25319
17.69/6.76	o 25215
18.00/6.80	o 20743
18.00/6.85	o 20695
18.00/6.89	o 17087
18.31/6.93	o 17031
18.31/6.96	o 13783
18.31/7.00	o 11215
19.08/7.28	o 7463
19.20/7.31	o 5983
19.20/7.34	o 4639
19.20/7.37	o 2967
19.33/7.40	o 2383
19.33/7.43	o 1023
19.33/7.45	o 911
19.45/7.51	o 871
20.28/8.19	o 855
20.37/8.24	o 751
20.37/8.26	o 743
20.37/8.29	o 719
21.11/8.98	o 687
23.61/10.87	o 679
28.62/15.19	o 631
31.01/17.38	o 623
33.78/19.88	o 575
44.75/30.18	o 559
54.95/40.01	o 519
56.12/41.19	o 511
56.63/41.65	o 439
252.07/224.81	java.util.concurrent.TimeoutException
252.07/224.81		at concrete.MAC.mac(MAC.scala:74)
252.07/224.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.07/224.81		at scala.util.Try$.apply(Try.scala:209)
252.07/224.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.07/224.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.07/224.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.07/224.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.07/224.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.07/224.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.07/224.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.07/224.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.07/224.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.07/224.81		at concrete.MAC.oneRun(MAC.scala:146)
252.07/224.81		at concrete.MAC.nextSolution(MAC.scala:166)
252.07/224.81		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.07/224.81		at concrete.ProblemState.map(ProblemState.scala:203)
252.07/224.81		at concrete.ProblemState.map(ProblemState.scala:188)
252.07/224.81		at concrete.MAC.nextSolution(MAC.scala:195)
252.07/224.81		at concrete.Solver.hasNext(Solver.scala:202)
252.07/224.81		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.07/224.81		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.07/224.81		at concrete.Solver.toStream(Solver.scala:73)
252.07/224.81		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.07/224.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.07/224.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.07/224.81		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.07/224.81		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.07/224.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.07/224.81		at scala.util.Success.map(Try.scala:209)
252.07/224.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.07/224.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.07/224.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.07/224.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.07/224.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.07/224.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.07/224.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.07/224.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.07/224.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.07/224.81		at scala.collection.immutable.List.foreach(List.scala:389)
252.07/224.81		at scala.App.main(App.scala:76)
252.07/224.81		at scala.App.main$(App.scala:74)
252.07/224.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.07/224.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.07/224.81	v <instantiation cost="439">
252.07/224.81	v       <list>
252.07/224.81	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[49][0] y[49][1] y[49][2] y[49][3] y[50][0] y[50][1] y[50][2] y[51][0] y[51][1] y[52][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52]
252.07/224.81	v       </list>
252.07/224.81	v       <values>
252.07/224.81	v         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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 -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 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 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 -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 -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 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 -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 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 -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 -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 -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 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 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 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 -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 -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 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 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 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 -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 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 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 -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 -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 -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 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 -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 -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 -1 -1 -1 -1 0 1 0 -3 0 -3 -4 1 2 5 2 -1 2 5 0 -3 6 1 -2 -5 0 1 2 1 -4 -1 -2 1 0 1 -6 3 4 -3 0 1 2 -3 0 -9 -4 1 0 1 2 5 2 1 -2 -3 -2 -1 1 0 1 0 9 0 9 16 1 4 25 4 1 4 25 0 9 36 1 4 25 0 1 4 1 16 1 4 1 0 1 36 9 16 9 0 1 4 9 0 81 16 1 0 1 4 25 4 1 4 9 4 1
252.07/224.81	v       </values>
252.07/224.81	v     </instantiation>
252.07/224.81	s SATISFIABLE

Verifier Data 

OK	439

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15151 MiB free)
  memory of node 1: 16384 MiB (14421 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259555-1502647136/watcher-4259555-1502647136 -o /tmp/evaluation-result-4259555-1502647136/solver-4259555-1502647136 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259555-1502647136.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100104 s]*
/proc/loadavg: 1.71 1.91 1.96 3/202 31181
/proc/meminfo: memFree=30281460/32770624 swapFree=67108860/67108860
[pid=31166] ppid=31163 vsize=9636 memory=1512 CPUtime=0.01 cores=0,2,4,6
/proc/31166/stat : 31166 (bash) S 31163 31166 8289 0 -1 4202496 900 6473 0 0 0 0 0 1 20 0 1 0 112528801 9867264 378 18446744073709551615 4194304 5098028 140726339704352 140726339698360 139994484325376 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 9 0 0 7196144 7232144 36384768 140726339707380 140726339707465 140726339707465 140726339710954 0
/proc/31166/statm: 2409 378 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1512 KiB

[startup+0.209795 s]*
/proc/loadavg: 1.71 1.91 1.96 3/200 31216
/proc/meminfo: memFree=30279524/32770624 swapFree=67108860/67108860
[pid=31166] ppid=31163 vsize=13358716 memory=13056 CPUtime=0.08 cores=0,2,4,6
/proc/31166/stat : 31166 (java) S 31163 31166 8289 0 -1 1077944320 3920 12416 0 0 1 0 5 2 20 0 6 0 112528801 13679325184 3198 18446744073709551615 4194304 4196468 140726217151904 140726217134448 140074096709367 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
/proc/31166/statm: 3339679 3198 1635 1 0 3329176 0
[pid=31166/tid=31216] ppid=31163 vsize=13358716 memory=8318255677412212789 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31216/stat : 31216 (java) R 31163 31166 8289 0 -1 4202560 1788 12416 0 0 0 0 5 2 20 0 6 0 112528821 13679325184 3264 18446744073709551615 4194304 4196468 140726217151904 140074100945488 140074057690998 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31217] ppid=31163 vsize=13358716 memory=330 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31217/stat : 31217 (java) S 31163 31166 8289 0 -1 1077944384 2 12416 0 0 0 0 5 2 20 0 6 0 112528822 13679325184 3264 18446744073709551615 4194304 4196468 140726217151904 140074053675408 140074096719573 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31218] ppid=31163 vsize=13358716 memory=288370809250600576 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31218/stat : 31218 (java) S 31163 31166 8289 0 -1 1077944384 1 12416 0 0 0 0 5 2 20 0 6 0 112528822 13679325184 3264 18446744073709551615 4194304 4196468 140726217151904 140074052622608 140074096719573 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31219] ppid=31163 vsize=13358716 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31219/stat : 31219 (java) S 31163 31166 8289 0 -1 1077944384 2 12416 0 0 0 0 5 2 20 0 6 0 112528822 13679325184 3264 18446744073709551615 4194304 4196468 140726217151904 140074051570320 140074096719573 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31220] ppid=31163 vsize=13358716 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31220/stat : 31220 (java) S 31163 31166 8289 0 -1 1077944384 1 12416 0 0 0 0 5 2 20 0 6 0 112528822 13679325184 3264 18446744073709551615 4194304 4196468 140726217151904 140073693800976 140074096719573 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13358716 KiB
Current children cumulated memory: 13056 KiB

[startup+0.310056 s]*
/proc/loadavg: 1.71 1.91 1.96 3/213 31229
/proc/meminfo: memFree=30268956/32770624 swapFree=67108860/67108860
[pid=31166] ppid=31163 vsize=13974356 memory=26728 CPUtime=0.16 cores=0,2,4,6
/proc/31166/stat : 31166 (java) S 31163 31166 8289 0 -1 1077944320 6036 12416 0 0 8 1 5 2 20 0 15 0 112528801 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140726217134448 140074096709367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
/proc/31166/statm: 3493589 6682 2796 1 0 3482965 0
[pid=31166/tid=31216] ppid=31163 vsize=13974356 memory=-8774313645642428999 CPUtime=0.13 cores=0,2,4,6
/proc/31166/task/31216/stat : 31216 (java) R 31163 31166 8289 0 -1 4202560 3138 12416 0 0 6 0 5 2 20 0 15 0 112528821 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140074100943760 140074096721302 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31217] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31217/stat : 31217 (java) S 31163 31166 8289 0 -1 1077944384 2 12416 0 0 0 0 5 2 20 0 15 0 112528822 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140074053675408 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31218] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31218/stat : 31218 (java) S 31163 31166 8289 0 -1 1077944384 1 12416 0 0 0 0 5 2 20 0 15 0 112528822 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140074052622608 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31219] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31219/stat : 31219 (java) S 31163 31166 8289 0 -1 1077944384 2 12416 0 0 0 0 5 2 20 0 15 0 112528822 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140074051570320 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31220] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31220/stat : 31220 (java) S 31163 31166 8289 0 -1 1077944384 1 12416 0 0 0 0 5 2 20 0 15 0 112528822 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140073693800976 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31221] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31221/stat : 31221 (java) S 31163 31166 8289 0 -1 1077944384 2 12416 0 0 0 0 5 2 20 0 15 0 112528823 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140073575094896 140074096720514 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31222] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31222/stat : 31222 (java) S 31163 31166 8289 0 -1 1077944384 33 12416 0 0 0 0 5 2 20 0 15 0 112528824 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140073574040864 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31223] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31223/stat : 31223 (java) S 31163 31166 8289 0 -1 1077944384 21 12416 0 0 0 0 5 2 20 0 15 0 112528824 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140073572988528 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31224] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31224/stat : 31224 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140073571936848 140074096727963 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31225] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31225/stat : 31225 (java) S 31163 31166 8289 0 -1 1077944384 418 12416 0 0 0 0 5 2 20 0 15 0 112528827 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140073570883696 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31226] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31226/stat : 31226 (java) S 31163 31166 8289 0 -1 1077944384 10 12416 0 0 0 0 5 2 20 0 15 0 112528827 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140073569830896 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31227] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31227/stat : 31227 (java) R 31163 31166 8289 0 -1 4202560 250 12416 0 0 0 0 5 2 20 0 15 0 112528827 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140073568778608 140074075844876 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31228] ppid=31163 vsize=13974356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31228/stat : 31228 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140073567726048 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31229] ppid=31163 vsize=13974356 memory=140433098888832 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31229/stat : 31229 (java) S 31163 31166 8289 0 -1 1077944384 1 12416 0 0 0 0 5 2 20 0 15 0 112528831 14309740544 6682 18446744073709551615 4194304 4196468 140726217151904 140073566673840 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 26728 KiB

[startup+0.705031 s]
/proc/loadavg: 1.71 1.91 1.96 3/213 31229
/proc/meminfo: memFree=30240832/32770624 swapFree=67108860/67108860
[pid=31166] ppid=31163 vsize=13974784 memory=59532 CPUtime=0.7 cores=0,2,4,6
/proc/31166/stat : 31166 (java) S 31163 31166 8289 0 -1 1077944320 13933 12416 0 0 59 4 5 2 20 0 15 0 112528801 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140726217134448 140074096709367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
/proc/31166/statm: 3493696 14883 3108 1 0 3482965 0
[pid=31166/tid=31216] ppid=31163 vsize=13974784 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/31166/task/31216/stat : 31216 (java) R 31163 31166 8289 0 -1 4202560 10249 12416 0 0 42 3 5 2 20 0 15 0 112528821 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140074100917248 140074078272927 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31217] ppid=31163 vsize=13974784 memory=52188 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31217/stat : 31217 (java) S 31163 31166 8289 0 -1 1077944384 2 12416 0 0 0 0 5 2 20 0 15 0 112528822 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140074053675408 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31218] ppid=31163 vsize=13974784 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31218/stat : 31218 (java) S 31163 31166 8289 0 -1 1077944384 1 12416 0 0 0 0 5 2 20 0 15 0 112528822 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140074052622608 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31219] ppid=31163 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31219/stat : 31219 (java) S 31163 31166 8289 0 -1 1077944384 2 12416 0 0 0 0 5 2 20 0 15 0 112528822 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140074051570320 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31220] ppid=31163 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31220/stat : 31220 (java) S 31163 31166 8289 0 -1 1077944384 1 12416 0 0 0 0 5 2 20 0 15 0 112528822 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140073693800976 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31221] ppid=31163 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31221/stat : 31221 (java) S 31163 31166 8289 0 -1 1077944384 5 12416 0 0 0 0 5 2 20 0 15 0 112528823 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140073575094896 140074096720514 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31222] ppid=31163 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31222/stat : 31222 (java) S 31163 31166 8289 0 -1 1077944384 33 12416 0 0 0 0 5 2 20 0 15 0 112528824 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140073574040864 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31223] ppid=31163 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31223/stat : 31223 (java) S 31163 31166 8289 0 -1 1077944384 21 12416 0 0 0 0 5 2 20 0 15 0 112528824 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140073572988528 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31224] ppid=31163 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31224/stat : 31224 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140073571936848 140074096727963 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31225] ppid=31163 vsize=13974784 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/31166/task/31225/stat : 31225 (java) S 31163 31166 8289 0 -1 1077944384 711 12416 0 0 3 0 5 2 20 0 15 0 112528827 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140073570883696 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31226] ppid=31163 vsize=13974784 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31166/task/31226/stat : 31226 (java) S 31163 31166 8289 0 -1 1077944384 144 12416 0 0 2 0 5 2 20 0 15 0 112528827 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140073569830896 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31227] ppid=31163 vsize=13974784 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/31166/task/31227/stat : 31227 (java) S 31163 31166 8289 0 -1 1077944384 602 12416 0 0 10 0 5 2 20 0 15 0 112528827 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140073568778608 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31228] ppid=31163 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31228/stat : 31228 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140073567726048 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31229] ppid=31163 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31229/stat : 31229 (java) S 31163 31166 8289 0 -1 1077944384 1 12416 0 0 0 0 5 2 20 0 15 0 112528831 14310178816 14883 18446744073709551615 4194304 4196468 140726217151904 140073566673840 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59532 KiB

[startup+1.50076 s]
/proc/loadavg: 1.71 1.91 1.96 3/213 31229
/proc/meminfo: memFree=30198300/32770624 swapFree=67108860/67108860
[pid=31166] ppid=31163 vsize=13985408 memory=160708 CPUtime=1.89 cores=0,2,4,6
/proc/31166/stat : 31166 (java) S 31163 31166 8289 0 -1 1077944320 29472 12416 0 0 172 10 5 2 20 0 15 0 112528801 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140726217134448 140074096709367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
/proc/31166/statm: 3496352 40177 3370 1 0 3485525 0
[pid=31166/tid=31216] ppid=31163 vsize=13985408 memory=-8774313645642428999 CPUtime=1.29 cores=0,2,4,6
/proc/31166/task/31216/stat : 31216 (java) S 31163 31166 8289 0 -1 1077944384 22562 12416 0 0 116 6 5 2 20 0 15 0 112528821 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140074100929664 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31217] ppid=31163 vsize=13985408 memory=8128038100524242582 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31217/stat : 31217 (java) S 31163 31166 8289 0 -1 1077944384 70 12416 0 0 0 0 5 2 20 0 15 0 112528822 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140074053675408 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31218] ppid=31163 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31218/stat : 31218 (java) S 31163 31166 8289 0 -1 1077944384 33 12416 0 0 0 0 5 2 20 0 15 0 112528822 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140074052622608 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31219] ppid=31163 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31219/stat : 31219 (java) S 31163 31166 8289 0 -1 1077944384 195 12416 0 0 0 0 5 2 20 0 15 0 112528822 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140074051570320 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31220] ppid=31163 vsize=13985408 memory=180 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31220/stat : 31220 (java) S 31163 31166 8289 0 -1 1077944384 58 12416 0 0 0 0 5 2 20 0 15 0 112528822 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140073693800976 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31221] ppid=31163 vsize=13985408 memory=288230596034174727 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31221/stat : 31221 (java) R 31163 31166 8289 0 -1 4202560 1324 12416 0 0 0 0 5 2 20 0 15 0 112528823 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140073575093184 140074081715246 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31222] ppid=31163 vsize=13985408 memory=14126736669437378 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31222/stat : 31222 (java) S 31163 31166 8289 0 -1 1077944384 33 12416 0 0 0 0 5 2 20 0 15 0 112528824 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140073574040864 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31223] ppid=31163 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31223/stat : 31223 (java) S 31163 31166 8289 0 -1 1077944384 21 12416 0 0 0 0 5 2 20 0 15 0 112528824 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140073572988528 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31224] ppid=31163 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31224/stat : 31224 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140073571936848 140074096727963 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31225] ppid=31163 vsize=13985408 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/31166/task/31225/stat : 31225 (java) S 31163 31166 8289 0 -1 1077944384 1099 12416 0 0 15 0 5 2 20 0 15 0 112528827 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140073570883696 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31226] ppid=31163 vsize=13985408 memory=2867664673584434 CPUtime=0.21 cores=0,2,4,6
/proc/31166/task/31226/stat : 31226 (java) S 31163 31166 8289 0 -1 1077944384 527 12416 0 0 14 0 5 2 20 0 15 0 112528827 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140073569830896 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31227] ppid=31163 vsize=13985408 memory=10 CPUtime=0.3 cores=0,2,4,6
/proc/31166/task/31227/stat : 31227 (java) S 31163 31166 8289 0 -1 1077944384 1379 12416 0 0 23 0 5 2 20 0 15 0 112528827 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140073568775264 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31228] ppid=31163 vsize=13985408 memory=10 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31228/stat : 31228 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140073567726048 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31229] ppid=31163 vsize=13985408 memory=2867664572659509 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31229/stat : 31229 (java) S 31163 31166 8289 0 -1 1077944384 10 12416 0 0 0 0 5 2 20 0 15 0 112528831 14321057792 40177 18446744073709551615 4194304 4196468 140726217151904 140073566673840 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 160708 KiB

[startup+3.11018 s]
/proc/loadavg: 1.81 1.93 1.97 3/213 31229
/proc/meminfo: memFree=30072936/32770624 swapFree=67108860/67108860
[pid=31166] ppid=31163 vsize=13997884 memory=225388 CPUtime=6.24 cores=0,2,4,6
/proc/31166/stat : 31166 (java) S 31163 31166 8289 0 -1 1077944320 43344 12416 0 0 602 15 5 2 20 0 15 0 112528801 14333833216 56347 18446744073709551615 4194304 4196468 140726217151904 140726217134448 140074096709367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
/proc/31166/statm: 3499471 56347 3455 1 0 3488085 0
[pid=31166/tid=31216] ppid=31163 vsize=13997884 memory=64816 CPUtime=2.88 cores=0,2,4,6
/proc/31166/task/31216/stat : 31216 (java) R 31163 31166 8289 0 -1 4202560 28147 12416 0 0 273 8 5 2 20 0 15 0 112528821 14333833216 56347 18446744073709551615 4194304 4196468 140726217151904 140074100942656 140074088946494 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31217] ppid=31163 vsize=13997884 memory=209140 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31217/stat : 31217 (java) S 31163 31166 8289 0 -1 1077944384 75 12416 0 0 0 0 5 2 20 0 15 0 112528822 14333833216 56347 18446744073709551615 4194304 4196468 140726217151904 140074053675408 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31218] ppid=31163 vsize=13997884 memory=6153434895645238633 CPUtime=0.08 cores=0,2,4,6
/proc/31166/task/31218/stat : 31218 (java) S 31163 31166 8289 0 -1 1077944384 34 12416 0 0 1 0 5 2 20 0 15 0 112528822 14333833216 56347 18446744073709551615 4194304 4196468 140726217151904 140074052622608 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31219] ppid=31163 vsize=13997884 memory=5788339808289964128 CPUtime=0.08 cores=0,2,4,6
/proc/31166/task/31219/stat : 31219 (java) S 31163 31166 8289 0 -1 1077944384 195 12416 0 0 1 0 5 2 20 0 15 0 112528822 14333833216 56347 18446744073709551615 4194304 4196468 140726217151904 140074051570320 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31220] ppid=31163 vsize=13997884 memory=7649539817246780707 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31220/stat : 31220 (java) S 31163 31166 8289 0 -1 1077944384 60 12416 0 0 0 0 5 2 20 0 15 0 112528822 14333833216 56347 18446744073709551615 4194304 4196468 140726217151904 140073693800976 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31221] ppid=31163 vsize=13997884 memory=54488 CPUtime=0.08 cores=0,2,4,6
/proc/31166/task/31221/stat : 31221 (java) S 31163 31166 8289 0 -1 1077944384 1689 12416 0 0 1 0 5 2 20 0 15 0 112528823 14333833216 56347 18446744073709551615 4194304 4196468 140726217151904 140073575094896 140074096720514 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31222] ppid=31163 vsize=13997884 memory=180 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31222/stat : 31222 (java) S 31163 31166 8289 0 -1 1077944384 55 12416 0 0 0 0 5 2 20 0 15 0 112528824 14333833216 56347 18446744073709551615 4194304 4196468 140726217151904 140073574040928 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31223] ppid=31163 vsize=13997884 memory=288230596034174727 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31223/stat : 31223 (java) S 31163 31166 8289 0 -1 1077944384 44 12416 0 0 0 0 5 2 20 0 15 0 112528824 14333833216 56347 18446744073709551615 4194304 4196468 140726217151904 140073572988544 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31224] ppid=31163 vsize=13997884 memory=14126736669437378 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31224/stat : 31224 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14333833216 56347 18446744073709551615 4194304 4196468 140726217151904 140073571936848 140074096727963 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31225] ppid=31163 vsize=13997884 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/31166/task/31225/stat : 31225 (java) R 31163 31166 8289 0 -1 4202560 2744 12416 0 0 98 1 5 2 20 0 15 0 112528827 14333833216 56347 18446744073709551615 4194304 4196468 140726217151904 140073570871840 140074080240895 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0

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

/proc/31166/task/31216/stat : 31216 (java) R 31163 31166 8289 0 -1 4202560 59254 12416 0 0 10116 22 5 2 20 0 15 0 112528821 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140074100943680 140073734648228 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31217] ppid=31163 vsize=14069564 memory=24 CPUtime=0.37 cores=0,2,4,6
/proc/31166/task/31217/stat : 31217 (java) S 31163 31166 8289 0 -1 1077944384 871 12416 0 0 28 2 5 2 20 0 15 0 112528822 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140074053675408 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31218] ppid=31163 vsize=14069564 memory=832280 CPUtime=0.36 cores=0,2,4,6
/proc/31166/task/31218/stat : 31218 (java) S 31163 31166 8289 0 -1 1077944384 1242 12416 0 0 26 3 5 2 20 0 15 0 112528822 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140074052622608 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31219] ppid=31163 vsize=14069564 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/31166/task/31219/stat : 31219 (java) S 31163 31166 8289 0 -1 1077944384 2214 12416 0 0 26 2 5 2 20 0 15 0 112528822 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140074051570320 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31220] ppid=31163 vsize=14069564 memory=833820 CPUtime=0.39 cores=0,2,4,6
/proc/31166/task/31220/stat : 31220 (java) S 31163 31166 8289 0 -1 1077944384 1600 12416 0 0 30 2 5 2 20 0 15 0 112528822 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140073693800976 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31221] ppid=31163 vsize=14069564 memory=834844 CPUtime=0.31 cores=0,2,4,6
/proc/31166/task/31221/stat : 31221 (java) S 31163 31166 8289 0 -1 1077944384 12641 12416 0 0 23 1 5 2 20 0 15 0 112528823 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140073575094896 140074096720514 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31222] ppid=31163 vsize=14069564 memory=140432948929464 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31222/stat : 31222 (java) S 31163 31166 8289 0 -1 1077944384 66 12416 0 0 0 0 5 2 20 0 15 0 112528824 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140073574040928 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31223] ppid=31163 vsize=14069564 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31223/stat : 31223 (java) S 31163 31166 8289 0 -1 1077944384 48 12416 0 0 0 0 5 2 20 0 15 0 112528824 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140073572988544 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31224] ppid=31163 vsize=14069564 memory=1716 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31224/stat : 31224 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140073571936848 140074096727963 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31225] ppid=31163 vsize=14069564 memory=1296 CPUtime=7.89 cores=0,2,4,6
/proc/31166/task/31225/stat : 31225 (java) S 31163 31166 8289 0 -1 1077944384 20974 12416 0 0 778 4 5 2 20 0 15 0 112528827 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140073570883696 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31226] ppid=31163 vsize=14069564 memory=2440 CPUtime=8.48 cores=0,2,4,6
/proc/31166/task/31226/stat : 31226 (java) S 31163 31166 8289 0 -1 1077944384 25661 12416 0 0 837 4 5 2 20 0 15 0 112528827 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140073569830896 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31227] ppid=31163 vsize=14069564 memory=54488 CPUtime=3.07 cores=0,2,4,6
/proc/31166/task/31227/stat : 31227 (java) S 31163 31166 8289 0 -1 1077944384 18470 12416 0 0 294 6 5 2 20 0 15 0 112528827 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140073568778608 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31228] ppid=31163 vsize=14069564 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31228/stat : 31228 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140073567726048 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31229] ppid=31163 vsize=14069564 memory=4168 CPUtime=0.12 cores=0,2,4,6
/proc/31166/task/31229/stat : 31229 (java) S 31163 31166 8289 0 -1 1077944384 904 12416 0 0 2 3 5 2 20 0 15 0 112528831 14407233536 207813 18446744073709551615 4194304 4196468 140726217151904 140073566673840 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
Current children cumulated CPU time: 122.29 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 831252 KiB

[startup+162.301 s]
/proc/loadavg: 1.56 1.90 1.96 3/215 31235
/proc/meminfo: memFree=29499728/32770624 swapFree=67108860/67108860
[pid=31166] ppid=31163 vsize=14069564 memory=813576 CPUtime=185.45 cores=0,2,4,6
/proc/31166/stat : 31166 (java) S 31163 31166 8289 0 -1 1077944320 157146 12416 0 0 18478 60 5 2 20 0 15 0 112528801 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140726217134448 140074096709367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
/proc/31166/statm: 3517391 203394 3488 1 0 3506005 0
[pid=31166/tid=31216] ppid=31163 vsize=14069564 memory=813576 CPUtime=160.96 cores=0,2,4,6
/proc/31166/task/31216/stat : 31216 (java) R 31163 31166 8289 0 -1 4202560 60386 12416 0 0 16067 22 5 2 20 0 15 0 112528821 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140074100943600 140073732478687 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31217] ppid=31163 vsize=14069564 memory=813376 CPUtime=0.61 cores=0,2,4,6
/proc/31166/task/31217/stat : 31217 (java) S 31163 31166 8289 0 -1 1077944384 2049 12416 0 0 51 3 5 2 20 0 15 0 112528822 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140074053675408 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31218] ppid=31163 vsize=14069564 memory=814916 CPUtime=0.59 cores=0,2,4,6
/proc/31166/task/31218/stat : 31218 (java) S 31163 31166 8289 0 -1 1077944384 1512 12416 0 0 48 4 5 2 20 0 15 0 112528822 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140074052622608 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31219] ppid=31163 vsize=14069564 memory=817616 CPUtime=0.58 cores=0,2,4,6
/proc/31166/task/31219/stat : 31219 (java) S 31163 31166 8289 0 -1 1077944384 2331 12416 0 0 48 3 5 2 20 0 15 0 112528822 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140074051570320 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31220] ppid=31163 vsize=14069564 memory=813512 CPUtime=0.64 cores=0,2,4,6
/proc/31166/task/31220/stat : 31220 (java) S 31163 31166 8289 0 -1 1077944384 2129 12416 0 0 53 4 5 2 20 0 15 0 112528822 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140073693800976 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31221] ppid=31163 vsize=14069564 memory=813376 CPUtime=0.51 cores=0,2,4,6
/proc/31166/task/31221/stat : 31221 (java) S 31163 31166 8289 0 -1 1077944384 12981 12416 0 0 42 2 5 2 20 0 15 0 112528823 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140073575094896 140074096720514 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31222] ppid=31163 vsize=14069564 memory=813576 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31222/stat : 31222 (java) S 31163 31166 8289 0 -1 1077944384 66 12416 0 0 0 0 5 2 20 0 15 0 112528824 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140073574040928 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31223] ppid=31163 vsize=14069564 memory=813576 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31223/stat : 31223 (java) S 31163 31166 8289 0 -1 1077944384 48 12416 0 0 0 0 5 2 20 0 15 0 112528824 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140073572988544 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31224] ppid=31163 vsize=14069564 memory=813576 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31224/stat : 31224 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140073571936848 140074096727963 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31225] ppid=31163 vsize=14069564 memory=0 CPUtime=9.01 cores=0,2,4,6
/proc/31166/task/31225/stat : 31225 (java) S 31163 31166 8289 0 -1 1077944384 22747 12416 0 0 889 5 5 2 20 0 15 0 112528827 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140073570883696 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31226] ppid=31163 vsize=14069564 memory=2487188718849 CPUtime=9.58 cores=0,2,4,6
/proc/31166/task/31226/stat : 31226 (java) S 31163 31166 8289 0 -1 1077944384 28380 12416 0 0 946 5 5 2 20 0 15 0 112528827 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140073569830896 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31227] ppid=31163 vsize=14069564 memory=813576 CPUtime=3.33 cores=0,2,4,6
/proc/31166/task/31227/stat : 31227 (java) S 31163 31166 8289 0 -1 1077944384 21285 12416 0 0 320 6 5 2 20 0 15 0 112528827 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140073568778608 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31228] ppid=31163 vsize=14069564 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31228/stat : 31228 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140073567726048 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31229] ppid=31163 vsize=14069564 memory=813576 CPUtime=0.15 cores=0,2,4,6
/proc/31166/task/31229/stat : 31229 (java) S 31163 31166 8289 0 -1 1077944384 1071 12416 0 0 4 4 5 2 20 0 15 0 112528831 14407233536 203394 18446744073709551615 4194304 4196468 140726217151904 140073566673840 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
Current children cumulated CPU time: 185.45 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 813576 KiB

[startup+222.301 s]
/proc/loadavg: 2.19 2.02 2.00 3/214 31362
/proc/meminfo: memFree=29487336/32770624 swapFree=67108860/67108860
[pid=31166] ppid=31163 vsize=14069564 memory=807748 CPUtime=249.47 cores=0,2,4,6
/proc/31166/stat : 31166 (java) S 31163 31166 8289 0 -1 1077944320 168922 12416 0 0 24871 69 5 2 20 0 15 0 112528801 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140726217134448 140074096709367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
/proc/31166/statm: 3517391 201937 3488 1 0 3506005 0
[pid=31166/tid=31216] ppid=31163 vsize=14069564 memory=807748 CPUtime=220.39 cores=0,2,4,6
/proc/31166/task/31216/stat : 31216 (java) R 31163 31166 8289 0 -1 4202560 61493 12416 0 0 22009 23 5 2 20 0 15 0 112528821 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140074100943600 140074081048311 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31217] ppid=31163 vsize=14069564 memory=812712 CPUtime=0.89 cores=0,2,4,6
/proc/31166/task/31217/stat : 31217 (java) S 31163 31166 8289 0 -1 1077944384 3211 12416 0 0 77 5 5 2 20 0 15 0 112528822 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140074053675408 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31218] ppid=31163 vsize=14069564 memory=807748 CPUtime=0.86 cores=0,2,4,6
/proc/31166/task/31218/stat : 31218 (java) S 31163 31166 8289 0 -1 1077944384 1991 12416 0 0 74 5 5 2 20 0 15 0 112528822 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140074052622608 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31219] ppid=31163 vsize=14069564 memory=807748 CPUtime=0.86 cores=0,2,4,6
/proc/31166/task/31219/stat : 31219 (java) S 31163 31166 8289 0 -1 1077944384 2429 12416 0 0 74 5 5 2 20 0 15 0 112528822 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140074051570320 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31220] ppid=31163 vsize=14069564 memory=807748 CPUtime=0.9 cores=0,2,4,6
/proc/31166/task/31220/stat : 31220 (java) S 31163 31166 8289 0 -1 1077944384 2354 12416 0 0 79 4 5 2 20 0 15 0 112528822 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073693800976 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31221] ppid=31163 vsize=14069564 memory=807748 CPUtime=0.74 cores=0,2,4,6
/proc/31166/task/31221/stat : 31221 (java) S 31163 31166 8289 0 -1 1077944384 13299 12416 0 0 64 3 5 2 20 0 15 0 112528823 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073575094896 140074096720514 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31222] ppid=31163 vsize=14069564 memory=807748 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31222/stat : 31222 (java) S 31163 31166 8289 0 -1 1077944384 66 12416 0 0 0 0 5 2 20 0 15 0 112528824 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073574040928 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31223] ppid=31163 vsize=14069564 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31223/stat : 31223 (java) S 31163 31166 8289 0 -1 1077944384 48 12416 0 0 0 0 5 2 20 0 15 0 112528824 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073572988544 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31224] ppid=31163 vsize=14069564 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31224/stat : 31224 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073571936848 140074096727963 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31225] ppid=31163 vsize=14069564 memory=807748 CPUtime=10.4 cores=0,2,4,6
/proc/31166/task/31225/stat : 31225 (java) S 31163 31166 8289 0 -1 1077944384 24510 12416 0 0 1028 5 5 2 20 0 15 0 112528827 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073570883696 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31226] ppid=31163 vsize=14069564 memory=4168 CPUtime=10.98 cores=0,2,4,6
/proc/31166/task/31226/stat : 31226 (java) S 31163 31166 8289 0 -1 1077944384 31330 12416 0 0 1085 6 5 2 20 0 15 0 112528827 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073569830896 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31227] ppid=31163 vsize=14069564 memory=807748 CPUtime=3.79 cores=0,2,4,6
/proc/31166/task/31227/stat : 31227 (java) S 31163 31166 8289 0 -1 1077944384 24934 12416 0 0 364 8 5 2 20 0 15 0 112528827 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073568778608 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31228] ppid=31163 vsize=14069564 memory=1017048 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31228/stat : 31228 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073567726048 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31229] ppid=31163 vsize=14069564 memory=2704 CPUtime=0.19 cores=0,2,4,6
/proc/31166/task/31229/stat : 31229 (java) S 31163 31166 8289 0 -1 1077944384 1096 12416 0 0 6 6 5 2 20 0 15 0 112528831 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073566673840 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
Current children cumulated CPU time: 249.47 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 807748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+224.801 s]
/proc/loadavg: 2.18 2.02 2.00 3/214 31362
/proc/meminfo: memFree=29487336/32770624 swapFree=67108860/67108860
[pid=31166] ppid=31163 vsize=14069564 memory=807748 CPUtime=252.07 cores=0,2,4,6
/proc/31166/stat : 31166 (java) S 31163 31166 8289 0 -1 1077944320 168981 12416 0 0 25130 70 5 2 20 0 15 0 112528801 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140726217134448 140074096709367 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
/proc/31166/statm: 3517391 201937 3488 1 0 3506005 0
[pid=31166/tid=31216] ppid=31163 vsize=14069564 memory=4612 CPUtime=222.87 cores=0,2,4,6
/proc/31166/task/31216/stat : 31216 (java) R 31163 31166 8289 0 -1 4202560 61506 12416 0 0 22257 23 5 2 20 0 15 0 112528821 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140074100943680 140073752365052 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31217] ppid=31163 vsize=14069564 memory=-8774313645642428999 CPUtime=0.9 cores=0,2,4,6
/proc/31166/task/31217/stat : 31217 (java) S 31163 31166 8289 0 -1 1077944384 3214 12416 0 0 78 5 5 2 20 0 15 0 112528822 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140074053675408 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31218] ppid=31163 vsize=14069564 memory=792 CPUtime=0.87 cores=0,2,4,6
/proc/31166/task/31218/stat : 31218 (java) S 31163 31166 8289 0 -1 1077944384 1992 12416 0 0 75 5 5 2 20 0 15 0 112528822 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140074052622608 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31219] ppid=31163 vsize=14069564 memory=1716 CPUtime=0.87 cores=0,2,4,6
/proc/31166/task/31219/stat : 31219 (java) S 31163 31166 8289 0 -1 1077944384 2433 12416 0 0 75 5 5 2 20 0 15 0 112528822 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140074051570320 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31220] ppid=31163 vsize=14069564 memory=1228 CPUtime=0.92 cores=0,2,4,6
/proc/31166/task/31220/stat : 31220 (java) S 31163 31166 8289 0 -1 1077944384 2357 12416 0 0 80 5 5 2 20 0 15 0 112528822 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073693800976 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31221] ppid=31163 vsize=14069564 memory=14356 CPUtime=0.74 cores=0,2,4,6
/proc/31166/task/31221/stat : 31221 (java) S 31163 31166 8289 0 -1 1077944384 13299 12416 0 0 64 3 5 2 20 0 15 0 112528823 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073575094896 140074096720514 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31222] ppid=31163 vsize=14069564 memory=1008 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31222/stat : 31222 (java) S 31163 31166 8289 0 -1 1077944384 66 12416 0 0 0 0 5 2 20 0 15 0 112528824 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073574040928 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31223] ppid=31163 vsize=14069564 memory=807748 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31223/stat : 31223 (java) S 31163 31166 8289 0 -1 1077944384 48 12416 0 0 0 0 5 2 20 0 15 0 112528824 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073572988544 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31224] ppid=31163 vsize=14069564 memory=-8774313645642428999 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31224/stat : 31224 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073571936848 140074096727963 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31225] ppid=31163 vsize=14069564 memory=2164 CPUtime=10.42 cores=0,2,4,6
/proc/31166/task/31225/stat : 31225 (java) S 31163 31166 8289 0 -1 1077944384 24545 12416 0 0 1030 5 5 2 20 0 15 0 112528827 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073570883696 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31226] ppid=31163 vsize=14069564 memory=928 CPUtime=11.01 cores=0,2,4,6
/proc/31166/task/31226/stat : 31226 (java) S 31163 31166 8289 0 -1 1077944384 31330 12416 0 0 1088 6 5 2 20 0 15 0 112528827 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073569830896 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31227] ppid=31163 vsize=14069564 memory=1620 CPUtime=3.8 cores=0,2,4,6
/proc/31166/task/31227/stat : 31227 (java) S 31163 31166 8289 0 -1 1077944384 24934 12416 0 0 365 8 5 2 20 0 15 0 112528827 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073568778608 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31228] ppid=31163 vsize=14069564 memory=844 CPUtime=0.07 cores=0,2,4,6
/proc/31166/task/31228/stat : 31228 (java) S 31163 31166 8289 0 -1 1077944384 3 12416 0 0 0 0 5 2 20 0 15 0 112528827 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073567726048 140074096719573 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
[pid=31166/tid=31229] ppid=31163 vsize=14069564 memory=18484 CPUtime=0.2 cores=0,2,4,6
/proc/31166/task/31229/stat : 31229 (java) S 31163 31166 8289 0 -1 1077944384 1096 12416 0 0 7 6 5 2 20 0 15 0 112528831 14407233536 201937 18446744073709551615 4194304 4196468 140726217151904 140073566673840 140074096720514 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35344384 140726217156528 140726217159313 140726217159313 140726217162703 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 807748 KiB

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

[startup+224.848 s]
# the end of solver process 31166 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.399 s, system=0.750554 s

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

Child status: 143
Real time (s): 224.848
CPU time (s): 252.149
CPU user time (s): 251.399
CPU system time (s): 0.750554
CPU usage (%): 112.142
Max. virtual memory (cumulated for all children) (KiB): 14069564
Max. memory (cumulated for all children) (KiB): 865132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.399
system time used= 0.750554
maximum resident set size= 867120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30235
involuntary context switches= 1778


# summary of solver processes directly reported to runsolver:
#   pid: 31166
#   total CPU time (s): 252.149
#   total CPU user time (s): 251.399
#   total CPU system time (s): 0.750554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36387 second user time and 2.19173 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 19:44:48
IDJOB=4259555
IDBENCH=127052
IDSOLVER=2646
FILE ID=node133/4259555-1502647136
RUNJOBID= node133-1502641620-25473
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-054.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259555-1502647136/watcher-4259555-1502647136 -o /tmp/evaluation-result-4259555-1502647136/solver-4259555-1502647136 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312  bin/concrete HOME/instance-4259555-1502647136.xml

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

MD5SUM BENCH= d63f0cb62453ec1939b86e2392ab6ad9
RANDOM SEED=792234224

node133.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.17
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.17
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.17
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.17
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:        30283472 kB
MemAvailable:   30923400 kB
Buffers:          238652 kB
Cached:           696516 kB
SwapCached:            0 kB
Active:          1852504 kB
Inactive:         185432 kB
Active(anon):    1043852 kB
Inactive(anon):   100804 kB
Active(file):     808652 kB
Inactive(file):    84628 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24044 kB
Writeback:             0 kB
AnonPages:       1103240 kB
Mapped:            69776 kB
Shmem:             41660 kB
Slab:             152764 kB
SReclaimable:     124964 kB
SUnreclaim:        27800 kB
KernelStack:        3472 kB
PageTables:         7208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2006908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    876544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-13 19:48:33