Trace number 4262210

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)947 2520.0801 2461.8301

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n36-k5.xml
MD5SUMbb36812fd58cb568268e8c9b807d30b9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark853
Best CPU time to get the best result obtained on this benchmark2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables1332
Number of constraints1295
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}]
Minimum variable degree0
Maximum variable degree69
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}]
Minimum constraint arity1
Maximum constraint arity35
Distribution of constraint arities[{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}]
Number of extensional constraints0
Number of intensional constraints35
Distribution of constraint types[{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}]
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.52/2.21	c Concrete v3.4 running
12.38/5.26	o 2173
13.03/5.43	o 2159
13.36/5.52	o 2100
13.65/5.61	o 2089
13.65/5.68	o 2066
13.94/5.73	o 1998
14.24/5.80	o 1972
14.24/5.86	o 1914
14.54/5.92	o 1866
14.54/5.99	o 1816
14.85/6.06	o 1802
15.16/6.12	o 1725
15.16/6.18	o 1722
15.42/6.23	o 1720
15.42/6.27	o 1719
15.62/6.32	o 1683
15.88/6.42	o 1677
15.88/6.48	o 1675
16.15/6.58	o 1672
16.35/6.62	o 1640
16.46/6.71	o 1627
16.46/6.76	o 1624
16.56/6.80	o 1618
16.56/6.85	o 1583
16.70/6.94	o 1560
16.70/6.98	o 1548
16.80/7.02	o 1524
16.80/7.06	o 1523
16.95/7.11	o 1522
16.95/7.15	o 1510
17.09/7.20	o 1507
17.09/7.24	o 1489
17.20/7.39	o 1471
17.42/7.56	o 1449
17.42/7.59	o 1431
17.83/7.86	o 1415
17.95/7.95	o 1408
17.95/7.98	o 1384
18.06/8.02	o 1372
18.40/8.33	o 1363
18.52/8.42	o 1352
18.52/8.47	o 1338
18.94/8.83	o 1336
19.07/8.99	o 1318
19.18/9.09	o 1299
19.38/9.26	o 1298
19.70/9.55	o 1290
19.92/9.71	o 1286
19.92/9.75	o 1280
20.36/10.15	o 1275
20.72/10.49	o 1269
21.03/10.79	o 1254
21.25/10.90	o 1228
21.55/11.20	o 1226
22.52/12.15	o 1221
23.15/12.79	o 1195
23.26/12.83	o 1181
23.26/12.88	o 1149
23.90/13.43	o 1142
23.90/13.48	o 1141
24.32/13.84	o 1132
24.42/13.93	o 1131
24.52/14.05	o 1126
27.92/17.26	o 1112
28.70/17.97	o 1104
29.50/18.68	o 1097
30.87/19.93	o 1094
32.10/21.14	o 1084
36.37/25.24	o 1081
44.57/33.13	o 1078
44.57/33.16	o 1061
47.35/35.89	o 1047
53.16/41.47	o 1046
53.37/41.67	o 1031
58.97/47.16	o 1023
59.69/47.83	o 1016
60.52/48.67	o 1007
62.68/50.75	o 1001
64.72/52.77	o 997
84.59/72.29	o 996
84.70/72.32	o 994
90.91/78.42	o 986
114.08/101.10	o 984
114.60/101.64	o 983
114.71/101.70	o 981
114.71/101.73	o 979
131.31/117.94	o 947
2520.04/2461.81	java.util.concurrent.TimeoutException
2520.04/2461.81		at concrete.MAC.mac(MAC.scala:74)
2520.04/2461.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.04/2461.81		at scala.util.Try$.apply(Try.scala:209)
2520.04/2461.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2461.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2461.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2461.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2461.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.04/2461.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2461.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2461.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2461.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2461.81		at concrete.MAC.oneRun(MAC.scala:146)
2520.04/2461.81		at concrete.MAC.nextSolution(MAC.scala:166)
2520.04/2461.81		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.04/2461.81		at concrete.ProblemState.map(ProblemState.scala:203)
2520.04/2461.81		at concrete.ProblemState.map(ProblemState.scala:188)
2520.04/2461.81		at concrete.MAC.nextSolution(MAC.scala:195)
2520.04/2461.81		at concrete.Solver.hasNext(Solver.scala:202)
2520.04/2461.81		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.04/2461.81		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.04/2461.81		at concrete.Solver.toStream(Solver.scala:73)
2520.04/2461.81		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.04/2461.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.04/2461.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.04/2461.81		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.04/2461.81		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.04/2461.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2461.81		at scala.util.Success.map(Try.scala:209)
2520.04/2461.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.04/2461.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.04/2461.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.04/2461.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.04/2461.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.04/2461.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2461.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2461.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2461.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2461.81		at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2461.81		at scala.App.main(App.scala:76)
2520.04/2461.81		at scala.App.main$(App.scala:74)
2520.04/2461.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.04/2461.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2461.82	v <instantiation cost="947">
2520.04/2461.82	v       <list>
2520.04/2461.82	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35]
2520.04/2461.82	v       </list>
2520.04/2461.82	v       <values>
2520.04/2461.82	v         0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 80 31 55 100 33 77 46 82 100 100 21 36 64 55 10 51 73 23 100 88 22 39 15 100 16 81 16 71 47 44 34 73 50 66
2520.04/2461.82	v       </values>
2520.04/2461.82	v     </instantiation>
2520.04/2461.82	s SATISFIABLE

Verifier Data 

OK	947

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262210-1502437793/watcher-4262210-1502437793 -o /tmp/evaluation-result-4262210-1502437793/solver-4262210-1502437793 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19682 --watchdog 2580 bin/concrete HOME/instance-4262210-1502437793.xml 

pid=25520
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.66 1.50 1.44 4/194 25523
/proc/meminfo: memFree=30512640/32770624 swapFree=0/540988
[pid=25523] ppid=25520 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25523/stat : 25523 (runsolver) D 25520 25523 19618 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45972748 24240128 106 18446744073709551615 4194304 4338465 140728845892672 140728845890312 139720909652695 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 16330752 140728845893840 140728845894217 140728845894217 140728845897674 0
/proc/25523/statm: 5918 106 53 36 0 2156 0

[startup+0.100162 s]
/proc/loadavg: 1.66 1.50 1.44 4/194 25523
/proc/meminfo: memFree=30512640/32770624 swapFree=0/540988
[pid=25523] ppid=25520 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25523/stat : 25523 (runsolver) D 25520 25523 19618 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 45972748 24240128 106 18446744073709551615 4194304 4338465 140728845892672 140728845890312 139720909652695 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 16330752 140728845893840 140728845894217 140728845894217 140728845897674 0
/proc/25523/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.20033 s]
/proc/loadavg: 1.66 1.50 1.44 4/194 25523
/proc/meminfo: memFree=30512640/32770624 swapFree=0/540988
[pid=25523] ppid=25520 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/25523/stat : 25523 (bash) S 25520 25523 19618 0 -1 4202496 892 6485 0 0 0 0 0 1 20 0 1 0 45972748 9867264 377 18446744073709551615 4194304 5098028 140731123330720 140731123324728 140676350209024 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 10 0 0 7196144 7232144 12263424 140731123335700 140731123335785 140731123335785 140731123339242 0
/proc/25523/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300358 s]
/proc/loadavg: 1.66 1.50 1.44 4/194 25523
/proc/meminfo: memFree=30512640/32770624 swapFree=0/540988
[pid=25523] ppid=25520 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/25523/stat : 25523 (java) S 25520 25523 19618 0 -1 1077944320 5489 12492 0 0 5 1 4 3 20 0 14 0 45972748 14241083392 5169 18446744073709551615 4194304 4196468 140736657892256 140736657874800 140421834206967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
/proc/25523/statm: 3476827 5169 2564 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.702385 s]
/proc/loadavg: 1.66 1.50 1.44 4/194 25523
/proc/meminfo: memFree=30512640/32770624 swapFree=0/540988
[pid=25523] ppid=25520 vsize=13974784 CPUtime=0.66 cores=1,3,5,7
/proc/25523/stat : 25523 (java) S 25520 25523 19618 0 -1 1077944320 13572 12492 0 0 55 4 4 3 20 0 15 0 45972748 14310178816 14529 18446744073709551615 4194304 4196468 140736657892256 140736657874800 140421834206967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
/proc/25523/statm: 3493696 14529 3107 1 0 3482965 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 13974784

[startup+1.50201 s]
/proc/loadavg: 1.66 1.50 1.44 4/209 25586
/proc/meminfo: memFree=30419208/32770624 swapFree=0/541312
[pid=25523] ppid=25520 vsize=13985408 CPUtime=1.85 cores=1,3,5,7
/proc/25523/stat : 25523 (java) S 25520 25523 19618 0 -1 1077944320 28136 12492 0 0 170 8 4 3 20 0 15 0 45972748 14321057792 38098 18446744073709551615 4194304 4196468 140736657892256 140736657874800 140421834206967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
/proc/25523/statm: 3496352 38098 3343 1 0 3485525 0
[pid=25523/tid=25573] ppid=25520 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/25523/task/25573/stat : 25573 (java) S 25520 25523 19618 0 -1 1077944384 22591 12492 0 0 115 5 4 3 20 0 15 0 45972770 14321057792 38098 18446744073709551615 4194304 4196468 140736657892256 140421838424272 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25574] ppid=25520 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25574/stat : 25574 (java) R 25520 25523 19618 0 -1 4202560 215 12492 0 0 0 0 4 3 20 0 15 0 45972770 14321057792 38098 18446744073709551615 4194304 4196468 140736657892256 140421753621264 140421818904601 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25575] ppid=25520 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25575/stat : 25575 (java) R 25520 25523 19618 0 -1 4202560 41 12492 0 0 0 0 4 3 20 0 15 0 45972770 14321057792 38098 18446744073709551615 4194304 4196468 140736657892256 140421752568720 140421818904601 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25576] ppid=25520 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25576/stat : 25576 (java) R 25520 25523 19618 0 -1 4202560 4 12492 0 0 0 0 4 3 20 0 15 0 45972770 14321057792 38098 18446744073709551615 4194304 4196468 140736657892256 140421751516176 140421818904601 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25577] ppid=25520 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25577/stat : 25577 (java) R 25520 25523 19618 0 -1 1077944384 46 12492 0 0 0 0 4 3 20 0 15 0 45972770 14321057792 38098 18446744073709551615 4194304 4196468 140736657892256 140421750463632 140421834217173 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25578] ppid=25520 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25578/stat : 25578 (java) S 25520 25523 19618 0 -1 1077944384 55 12492 0 0 0 0 4 3 20 0 15 0 45972772 14321057792 38098 18446744073709551615 4194304 4196468 140736657892256 140421311750464 140421834217173 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25579] ppid=25520 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25579/stat : 25579 (java) S 25520 25523 19618 0 -1 1077944384 33 12492 0 0 0 0 4 3 20 0 15 0 45972772 14321057792 38098 18446744073709551615 4194304 4196468 140736657892256 140421310698400 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25580] ppid=25520 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25580/stat : 25580 (java) S 25520 25523 19618 0 -1 1077944384 21 12492 0 0 0 0 4 3 20 0 15 0 45972772 14321057792 38098 18446744073709551615 4194304 4196468 140736657892256 140421309645808 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25581] ppid=25520 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25581/stat : 25581 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14321057792 38098 18446744073709551615 4194304 4196468 140736657892256 140421308594384 140421834225563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25582] ppid=25520 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/25523/task/25582/stat : 25582 (java) S 25520 25523 19618 0 -1 1077944384 973 12492 0 0 14 0 4 3 20 0 15 0 45972775 14321057792 38610 18446744073709551615 4194304 4196468 140736657892256 140421307542000 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25583] ppid=25520 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/25523/task/25583/stat : 25583 (java) S 25520 25523 19618 0 -1 1077944384 709 12492 0 0 14 0 4 3 20 0 15 0 45972775 14321057792 38610 18446744073709551615 4194304 4196468 140736657892256 140421306489456 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25584] ppid=25520 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/25523/task/25584/stat : 25584 (java) S 25520 25523 19618 0 -1 1077944384 1281 12492 0 0 22 0 4 3 20 0 15 0 45972775 14321057792 38610 18446744073709551615 4194304 4196468 140736657892256 140421305432784 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25585] ppid=25520 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25585/stat : 25585 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14321057792 38610 18446744073709551615 4194304 4196468 140736657892256 140421304384608 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25586] ppid=25520 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25586/stat : 25586 (java) S 25520 25523 19618 0 -1 1077944384 9 12492 0 0 0 0 4 3 20 0 15 0 45972780 14321057792 38610 18446744073709551615 4194304 4196468 140736657892256 140421303331120 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 13985408

[startup+3.10124 s]
/proc/loadavg: 1.66 1.50 1.44 5/209 25586
/proc/meminfo: memFree=30338428/32770624 swapFree=0/541312
[pid=25523] ppid=25520 vsize=13997884 CPUtime=6.22 cores=1,3,5,7
/proc/25523/stat : 25523 (java) S 25520 25523 19618 0 -1 1077944320 42991 12492 0 0 602 13 4 3 20 0 15 0 45972748 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140736657874800 140421834206967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
/proc/25523/statm: 3499471 56367 3448 1 0 3488085 0
[pid=25523/tid=25573] ppid=25520 vsize=13997884 CPUtime=2.85 cores=1,3,5,7
/proc/25523/task/25573/stat : 25573 (java) R 25520 25523 19618 0 -1 4202560 29287 12492 0 0 270 8 4 3 20 0 15 0 45972770 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421838441072 140421834218902 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25574] ppid=25520 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/25523/task/25574/stat : 25574 (java) S 25520 25523 19618 0 -1 1077944384 230 12492 0 0 1 0 4 3 20 0 15 0 45972770 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421753621264 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25575] ppid=25520 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/25523/task/25575/stat : 25575 (java) S 25520 25523 19618 0 -1 1077944384 59 12492 0 0 1 0 4 3 20 0 15 0 45972770 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421752568720 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25576] ppid=25520 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25576/stat : 25576 (java) S 25520 25523 19618 0 -1 1077944384 12 12492 0 0 0 0 4 3 20 0 15 0 45972770 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421751516176 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25577] ppid=25520 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/25523/task/25577/stat : 25577 (java) S 25520 25523 19618 0 -1 1077944384 51 12492 0 0 1 0 4 3 20 0 15 0 45972770 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421750463632 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25578] ppid=25520 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/25523/task/25578/stat : 25578 (java) S 25520 25523 19618 0 -1 1077944384 1197 12492 0 0 1 0 4 3 20 0 15 0 45972772 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421311752176 140421834218114 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25579] ppid=25520 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25579/stat : 25579 (java) S 25520 25523 19618 0 -1 1077944384 54 12492 0 0 0 0 4 3 20 0 15 0 45972772 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421310698400 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25580] ppid=25520 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25580/stat : 25580 (java) S 25520 25523 19618 0 -1 1077944384 44 12492 0 0 0 0 4 3 20 0 15 0 45972772 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421309645824 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25581] ppid=25520 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25581/stat : 25581 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421308594384 140421834225563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25582] ppid=25520 vsize=13997884 CPUtime=1.1 cores=1,3,5,7
/proc/25523/task/25582/stat : 25582 (java) R 25520 25523 19618 0 -1 4202560 2419 12492 0 0 103 0 4 3 20 0 15 0 45972775 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421307531600 140421817593959 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25583] ppid=25520 vsize=13997884 CPUtime=1.21 cores=1,3,5,7
/proc/25523/task/25583/stat : 25583 (java) R 25520 25523 19618 0 -1 4202560 3616 12492 0 0 113 1 4 3 20 0 15 0 45972775 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421306476064 140421813453149 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25584] ppid=25520 vsize=13997884 CPUtime=1.15 cores=1,3,5,7
/proc/25523/task/25584/stat : 25584 (java) R 25520 25523 19618 0 -1 4202560 3852 12492 0 0 107 1 4 3 20 0 15 0 45972775 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421305436912 140421834228314 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25585] ppid=25520 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25585/stat : 25585 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421304384608 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25586] ppid=25520 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25586/stat : 25586 (java) S 25520 25523 19618 0 -1 1077944384 12 12492 0 0 0 0 4 3 20 0 15 0 45972780 14333833216 56367 18446744073709551615 4194304 4196468 140736657892256 140421303331120 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 13997884

[startup+6.30462 s]
/proc/loadavg: 1.85 1.54 1.45 5/209 25586
/proc/meminfo: memFree=30166264/32770624 swapFree=0/541308
[pid=25523] ppid=25520 vsize=14069564 CPUtime=15.62 cores=1,3,5,7
/proc/25523/stat : 25523 (java) S 25520 25523 19618 0 -1 1077944320 73322 12492 0 0 1533 22 4 3 20 0 15 0 45972748 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140736657874800 140421834206967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
/proc/25523/statm: 3517391 97738 3482 1 0 3506005 0
[pid=25523/tid=25573] ppid=25520 vsize=14069564 CPUtime=5.67 cores=1,3,5,7
/proc/25523/task/25573/stat : 25573 (java) R 25520 25523 19618 0 -1 4202560 44280 12492 0 0 549 11 4 3 20 0 15 0 45972770 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421838436528 140421834218902 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25574] ppid=25520 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/25523/task/25574/stat : 25574 (java) S 25520 25523 19618 0 -1 1077944384 621 12492 0 0 22 0 4 3 20 0 15 0 45972770 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421753621264 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25575] ppid=25520 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/25523/task/25575/stat : 25575 (java) S 25520 25523 19618 0 -1 1077944384 140 12492 0 0 22 0 4 3 20 0 15 0 45972770 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421752568720 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25576] ppid=25520 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/25523/task/25576/stat : 25576 (java) S 25520 25523 19618 0 -1 1077944384 438 12492 0 0 22 1 4 3 20 0 15 0 45972770 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421751516176 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25577] ppid=25520 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/25523/task/25577/stat : 25577 (java) S 25520 25523 19618 0 -1 1077944384 112 12492 0 0 22 0 4 3 20 0 15 0 45972770 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421750463632 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25578] ppid=25520 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/25523/task/25578/stat : 25578 (java) S 25520 25523 19618 0 -1 1077944384 2277 12492 0 0 14 0 4 3 20 0 15 0 45972772 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421311752176 140421834218114 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25579] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25579/stat : 25579 (java) S 25520 25523 19618 0 -1 1077944384 63 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421310698464 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25580] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25580/stat : 25580 (java) S 25520 25523 19618 0 -1 1077944384 55 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421309645824 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25581] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25581/stat : 25581 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421308594384 140421834225563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25582] ppid=25520 vsize=14069564 CPUtime=3.38 cores=1,3,5,7
/proc/25523/task/25582/stat : 25582 (java) R 25520 25523 19618 0 -1 4202560 6167 12492 0 0 330 1 4 3 20 0 15 0 45972775 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421307542000 140421834228314 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25583] ppid=25520 vsize=14069564 CPUtime=3.57 cores=1,3,5,7
/proc/25523/task/25583/stat : 25583 (java) R 25520 25523 19618 0 -1 4202560 9245 12492 0 0 348 2 4 3 20 0 15 0 45972775 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421306489264 140421819887665 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25584] ppid=25520 vsize=14069564 CPUtime=2.09 cores=1,3,5,7
/proc/25523/task/25584/stat : 25584 (java) S 25520 25523 19618 0 -1 1077944384 7768 12492 0 0 199 3 4 3 20 0 15 0 45972775 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421305436912 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25585] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25585/stat : 25585 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421304384608 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25586] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25586/stat : 25586 (java) S 25520 25523 19618 0 -1 1077944384 24 12492 0 0 0 0 4 3 20 0 15 0 45972780 14407233536 97738 18446744073709551615 4194304 4196468 140736657892256 140421303331120 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
Current children cumulated CPU time (s) 15.62
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.78 1.53 1.45 3/209 25586
/proc/meminfo: memFree=29921648/32770624 swapFree=0/541308
[pid=25523] ppid=25520 vsize=14069564 CPUtime=23.15 cores=1,3,5,7
/proc/25523/stat : 25523 (java) S 25520 25523 19618 0 -1 1077944320 77790 12492 0 0 2278 30 4 3 20 0 15 0 45972748 14407233536 150535 18446744073709551615 4194304 4196468 140736657892256 140736657874800 140421834206967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
/proc/25523/statm: 3517391 150535 3483 1 0 3506005 0
[pid=25523/tid=25573] ppid=25520 vsize=14069564 CPUtime=12.03 cores=1,3,5,7
/proc/25523/task/25573/stat : 25573 (java) R 25520 25523 19618 0 -1 4202560 45107 12492 0 0 1183 13 4 3 20 0 15 0 45972770 14407233536 150535 18446744073709551615 4194304 4196468 140736657892256 140421838438232 140421442384281 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25574] ppid=25520 vsize=14069564 CPUtime=0.31 cores=1,3,5,7
/proc/25523/task/25574/stat : 25574 (java) S 25520 25523 19618 0 -1 1077944384 663 12492 0 0 23 1 4 3 20 0 15 0 45972770 14407233536 150535 18446744073709551615 4194304 4196468 140736657892256 140421753621264 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25575] ppid=25520 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/25523/task/25575/stat : 25575 (java) S 25520 25523 19618 0 -1 1077944384 163 12492 0 0 23 2 4 3 20 0 15 0 45972770 14407233536 150535 18446744073709551615 4194304 4196468 140736657892256 140421752568720 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25576] ppid=25520 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/25523/task/25576/stat : 25576 (java) S 25520 25523 19618 0 -1 1077944384 460 12492 0 0 23 2 4 3 20 0 15 0 45972770 14407233536 150535 18446744073709551615 4194304 4196468 140736657892256 140421751516176 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25577] ppid=25520 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/25523/task/25577/stat : 25577 (java) S 25520 25523 19618 0 -1 1077944384 138 12492 0 0 24 1 4 3 20 0 15 0 45972770 14407233536 150535 18446744073709551615 4194304 4196468 140736657892256 140421750463632 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25578] ppid=25520 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/25523/task/25578/stat : 25578 (java) S 25520 25523 19618 0 -1 1077944384 2380 12492 0 0 14 0 4 3 20 0 15 0 45972772 14407233536 150535 18446744073709551615 4194304 4196468 140736657892256 140421311752176 140421834218114 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25579] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25579/stat : 25579 (java) S 25520 25523 19618 0 -1 1077944384 63 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 150535 18446744073709551615 4194304 4196468 140736657892256 140421310698464 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25580] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25580/stat : 25580 (java) S 25520 25523 19618 0 -1 1077944384 55 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 150535 18446744073709551615 4194304 4196468 140736657892256 140421309645824 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25581] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25581/stat : 25581 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14407233536 150535 18446744073709551615 4194304 4196468 140736657892256 140421308594384 140421834225563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0

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

[pid=25523/tid=25586] ppid=25520 vsize=14069564 CPUtime=1.3 cores=1,3,5,7
/proc/25523/task/25586/stat : 25586 (java) S 25520 25523 19618 0 -1 1077944384 662 12492 0 0 58 65 4 3 20 0 15 0 45972780 14407233536 115096 18446744073709551615 4194304 4196468 140736657892256 140421303331120 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
Current children cumulated CPU time (s) 2317.33
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 1.55 1.41 1.39 3/209 25872
/proc/meminfo: memFree=30272668/32770624 swapFree=0/541764
[pid=25523] ppid=25520 vsize=14069564 CPUtime=2378.25 cores=1,3,5,7
/proc/25523/stat : 25523 (java) S 25520 25523 19618 0 -1 1077944320 240038 12492 0 0 237475 343 4 3 20 0 15 0 45972748 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140736657874800 140421834206967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
/proc/25523/statm: 3517391 115608 3493 1 0 3506005 0
[pid=25523/tid=25573] ppid=25520 vsize=14069564 CPUtime=2297.89 cores=1,3,5,7
/proc/25523/task/25573/stat : 25573 (java) R 25520 25523 19618 0 -1 4202560 83405 12492 0 0 229735 47 4 3 20 0 15 0 45972770 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421838441712 140421442384268 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25574] ppid=25520 vsize=14069564 CPUtime=12.27 cores=1,3,5,7
/proc/25523/task/25574/stat : 25574 (java) S 25520 25523 19618 0 -1 1077944384 10896 12492 0 0 1169 51 4 3 20 0 15 0 45972770 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421753621264 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25575] ppid=25520 vsize=14069564 CPUtime=12.27 cores=1,3,5,7
/proc/25523/task/25575/stat : 25575 (java) S 25520 25523 19618 0 -1 1077944384 13028 12492 0 0 1168 52 4 3 20 0 15 0 45972770 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421752568720 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25576] ppid=25520 vsize=14069564 CPUtime=12.32 cores=1,3,5,7
/proc/25523/task/25576/stat : 25576 (java) S 25520 25523 19618 0 -1 1077944384 8863 12492 0 0 1174 51 4 3 20 0 15 0 45972770 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421751516176 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25577] ppid=25520 vsize=14069564 CPUtime=12.31 cores=1,3,5,7
/proc/25523/task/25577/stat : 25577 (java) S 25520 25523 19618 0 -1 1077944384 11101 12492 0 0 1172 52 4 3 20 0 15 0 45972770 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421750463632 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25578] ppid=25520 vsize=14069564 CPUtime=9.47 cores=1,3,5,7
/proc/25523/task/25578/stat : 25578 (java) S 25520 25523 19618 0 -1 1077944384 11423 12492 0 0 890 50 4 3 20 0 15 0 45972772 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421311752176 140421834218114 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25579] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25579/stat : 25579 (java) S 25520 25523 19618 0 -1 1077944384 75 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421310698464 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25580] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25580/stat : 25580 (java) S 25520 25523 19618 0 -1 1077944384 55 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421309645824 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25581] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25581/stat : 25581 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421308594384 140421834225563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25582] ppid=25520 vsize=14069564 CPUtime=8.33 cores=1,3,5,7
/proc/25523/task/25582/stat : 25582 (java) S 25520 25523 19618 0 -1 1077944384 25401 12492 0 0 821 5 4 3 20 0 15 0 45972775 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421307542000 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25583] ppid=25520 vsize=14069564 CPUtime=8.57 cores=1,3,5,7
/proc/25523/task/25583/stat : 25583 (java) S 25520 25523 19618 0 -1 1077944384 37765 12492 0 0 843 7 4 3 20 0 15 0 45972775 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421306489456 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25584] ppid=25520 vsize=14069564 CPUtime=4.01 cores=1,3,5,7
/proc/25523/task/25584/stat : 25584 (java) S 25520 25523 19618 0 -1 1077944384 35190 12492 0 0 386 8 4 3 20 0 15 0 45972775 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421305436912 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25585] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25585/stat : 25585 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421304384608 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25586] ppid=25520 vsize=14069564 CPUtime=1.33 cores=1,3,5,7
/proc/25523/task/25586/stat : 25586 (java) S 25520 25523 19618 0 -1 1077944384 678 12492 0 0 58 68 4 3 20 0 15 0 45972780 14407233536 115608 18446744073709551615 4194304 4196468 140736657892256 140421303331120 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
Current children cumulated CPU time (s) 2378.25
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.69 1.47 1.42 3/209 25874
/proc/meminfo: memFree=30274896/32770624 swapFree=0/541760
[pid=25523] ppid=25520 vsize=14069564 CPUtime=2439.21 cores=1,3,5,7
/proc/25523/stat : 25523 (java) S 25520 25523 19618 0 -1 1077944320 241342 12492 0 0 243564 350 4 3 20 0 15 0 45972748 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140736657874800 140421834206967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
/proc/25523/statm: 3517391 113812 3493 1 0 3506005 0
[pid=25523/tid=25573] ppid=25520 vsize=14069564 CPUtime=2357.25 cores=1,3,5,7
/proc/25523/task/25573/stat : 25573 (java) R 25520 25523 19618 0 -1 4202560 84158 12492 0 0 235671 47 4 3 20 0 15 0 45972770 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421838440848 140421423501579 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25574] ppid=25520 vsize=14069564 CPUtime=12.61 cores=1,3,5,7
/proc/25523/task/25574/stat : 25574 (java) S 25520 25523 19618 0 -1 1077944384 10982 12492 0 0 1202 52 4 3 20 0 15 0 45972770 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421753621264 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25575] ppid=25520 vsize=14069564 CPUtime=12.6 cores=1,3,5,7
/proc/25523/task/25575/stat : 25575 (java) S 25520 25523 19618 0 -1 1077944384 13100 12492 0 0 1200 53 4 3 20 0 15 0 45972770 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421752568720 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25576] ppid=25520 vsize=14069564 CPUtime=12.65 cores=1,3,5,7
/proc/25523/task/25576/stat : 25576 (java) S 25520 25523 19618 0 -1 1077944384 8944 12492 0 0 1206 52 4 3 20 0 15 0 45972770 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421751516176 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25577] ppid=25520 vsize=14069564 CPUtime=12.64 cores=1,3,5,7
/proc/25523/task/25577/stat : 25577 (java) S 25520 25523 19618 0 -1 1077944384 11368 12492 0 0 1203 54 4 3 20 0 15 0 45972770 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421750463632 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25578] ppid=25520 vsize=14069564 CPUtime=9.72 cores=1,3,5,7
/proc/25523/task/25578/stat : 25578 (java) S 25520 25523 19618 0 -1 1077944384 11456 12492 0 0 913 52 4 3 20 0 15 0 45972772 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421311752176 140421834218114 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25579] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25579/stat : 25579 (java) S 25520 25523 19618 0 -1 1077944384 75 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421310698464 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25580] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25580/stat : 25580 (java) S 25520 25523 19618 0 -1 1077944384 55 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421309645824 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25581] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25581/stat : 25581 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421308594384 140421834225563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25582] ppid=25520 vsize=14069564 CPUtime=8.33 cores=1,3,5,7
/proc/25523/task/25582/stat : 25582 (java) S 25520 25523 19618 0 -1 1077944384 25403 12492 0 0 821 5 4 3 20 0 15 0 45972775 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421307542000 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25583] ppid=25520 vsize=14069564 CPUtime=8.57 cores=1,3,5,7
/proc/25523/task/25583/stat : 25583 (java) S 25520 25523 19618 0 -1 1077944384 37767 12492 0 0 843 7 4 3 20 0 15 0 45972775 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421306489456 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25584] ppid=25520 vsize=14069564 CPUtime=4.01 cores=1,3,5,7
/proc/25523/task/25584/stat : 25584 (java) S 25520 25523 19618 0 -1 1077944384 35192 12492 0 0 386 8 4 3 20 0 15 0 45972775 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421305436912 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25585] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25585/stat : 25585 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421304384608 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25586] ppid=25520 vsize=14069564 CPUtime=1.37 cores=1,3,5,7
/proc/25523/task/25586/stat : 25586 (java) S 25520 25523 19618 0 -1 1077944384 684 12492 0 0 60 70 4 3 20 0 15 0 45972780 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421303331120 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
Current children cumulated CPU time (s) 2439.21
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.61 1.48 1.42 3/209 25876
/proc/meminfo: memFree=30273556/32770624 swapFree=0/541784
[pid=25523] ppid=25520 vsize=14069564 CPUtime=2500.21 cores=1,3,5,7
/proc/25523/stat : 25523 (java) S 25520 25523 19618 0 -1 1077944320 242235 12492 0 0 249654 360 4 3 20 0 15 0 45972748 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140736657874800 140421834206967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
/proc/25523/statm: 3517391 113812 3493 1 0 3506005 0
[pid=25523/tid=25573] ppid=25520 vsize=14069564 CPUtime=2416.56 cores=1,3,5,7
/proc/25523/task/25573/stat : 25573 (java) R 25520 25523 19618 0 -1 4202560 84618 12492 0 0 241602 47 4 3 20 0 15 0 45972770 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421838440960 140421425772110 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25574] ppid=25520 vsize=14069564 CPUtime=12.96 cores=1,3,5,7
/proc/25523/task/25574/stat : 25574 (java) S 25520 25523 19618 0 -1 1077944384 11100 12492 0 0 1235 54 4 3 20 0 15 0 45972770 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421753621264 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25575] ppid=25520 vsize=14069564 CPUtime=12.95 cores=1,3,5,7
/proc/25523/task/25575/stat : 25575 (java) S 25520 25523 19618 0 -1 1077944384 13144 12492 0 0 1233 55 4 3 20 0 15 0 45972770 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421752568720 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25576] ppid=25520 vsize=14069564 CPUtime=12.99 cores=1,3,5,7
/proc/25523/task/25576/stat : 25576 (java) S 25520 25523 19618 0 -1 1077944384 8976 12492 0 0 1238 54 4 3 20 0 15 0 45972770 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421751516176 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25577] ppid=25520 vsize=14069564 CPUtime=12.99 cores=1,3,5,7
/proc/25523/task/25577/stat : 25577 (java) S 25520 25523 19618 0 -1 1077944384 11407 12492 0 0 1237 55 4 3 20 0 15 0 45972770 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421750463632 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25578] ppid=25520 vsize=14069564 CPUtime=9.97 cores=1,3,5,7
/proc/25523/task/25578/stat : 25578 (java) S 25520 25523 19618 0 -1 1077944384 11641 12492 0 0 937 53 4 3 20 0 15 0 45972772 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421311752176 140421834218114 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25579] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25579/stat : 25579 (java) S 25520 25523 19618 0 -1 1077944384 75 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421310698464 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25580] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25580/stat : 25580 (java) S 25520 25523 19618 0 -1 1077944384 55 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421309645824 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25581] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25581/stat : 25581 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421308594384 140421834225563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25582] ppid=25520 vsize=14069564 CPUtime=8.33 cores=1,3,5,7
/proc/25523/task/25582/stat : 25582 (java) S 25520 25523 19618 0 -1 1077944384 25403 12492 0 0 821 5 4 3 20 0 15 0 45972775 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421307542000 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25583] ppid=25520 vsize=14069564 CPUtime=8.57 cores=1,3,5,7
/proc/25523/task/25583/stat : 25583 (java) S 25520 25523 19618 0 -1 1077944384 37768 12492 0 0 843 7 4 3 20 0 15 0 45972775 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421306489456 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25584] ppid=25520 vsize=14069564 CPUtime=4.01 cores=1,3,5,7
/proc/25523/task/25584/stat : 25584 (java) S 25520 25523 19618 0 -1 1077944384 35192 12492 0 0 386 8 4 3 20 0 15 0 45972775 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421305436912 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25585] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25585/stat : 25585 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421304384608 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25586] ppid=25520 vsize=14069564 CPUtime=1.4 cores=1,3,5,7
/proc/25523/task/25586/stat : 25586 (java) S 25520 25523 19618 0 -1 1077944384 698 12492 0 0 61 72 4 3 20 0 15 0 45972780 14407233536 113812 18446744073709551615 4194304 4196468 140736657892256 140421303331120 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
Current children cumulated CPU time (s) 2500.21
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2461.8 s]
/proc/loadavg: 1.65 1.50 1.43 3/209 25877
/proc/meminfo: memFree=30246664/32770624 swapFree=0/541792
[pid=25523] ppid=25520 vsize=14069564 CPUtime=2520.04 cores=1,3,5,7
/proc/25523/stat : 25523 (java) S 25520 25523 19618 0 -1 1077944320 242373 12492 0 0 251634 363 4 3 20 0 15 0 45972748 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140736657874800 140421834206967 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
/proc/25523/statm: 3517391 114324 3493 1 0 3506005 0
[pid=25523/tid=25573] ppid=25520 vsize=14069564 CPUtime=2435.85 cores=1,3,5,7
/proc/25523/task/25573/stat : 25573 (java) R 25520 25523 19618 0 -1 4202560 84740 12492 0 0 243530 48 4 3 20 0 15 0 45972770 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421838440416 140421432152320 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25574] ppid=25520 vsize=14069564 CPUtime=13.07 cores=1,3,5,7
/proc/25523/task/25574/stat : 25574 (java) S 25520 25523 19618 0 -1 1077944384 11106 12492 0 0 1246 54 4 3 20 0 15 0 45972770 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421753621264 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25575] ppid=25520 vsize=14069564 CPUtime=13.06 cores=1,3,5,7
/proc/25523/task/25575/stat : 25575 (java) S 25520 25523 19618 0 -1 1077944384 13146 12492 0 0 1244 55 4 3 20 0 15 0 45972770 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421752568720 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25576] ppid=25520 vsize=14069564 CPUtime=13.1 cores=1,3,5,7
/proc/25523/task/25576/stat : 25576 (java) S 25520 25523 19618 0 -1 1077944384 8977 12492 0 0 1249 54 4 3 20 0 15 0 45972770 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421751516176 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25577] ppid=25520 vsize=14069564 CPUtime=13.1 cores=1,3,5,7
/proc/25523/task/25577/stat : 25577 (java) S 25520 25523 19618 0 -1 1077944384 11410 12492 0 0 1247 56 4 3 20 0 15 0 45972770 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421750463632 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25578] ppid=25520 vsize=14069564 CPUtime=10.05 cores=1,3,5,7
/proc/25523/task/25578/stat : 25578 (java) S 25520 25523 19618 0 -1 1077944384 11643 12492 0 0 945 53 4 3 20 0 15 0 45972772 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421311752176 140421834218114 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25579] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25579/stat : 25579 (java) S 25520 25523 19618 0 -1 1077944384 75 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421310698464 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25580] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25580/stat : 25580 (java) S 25520 25523 19618 0 -1 1077944384 55 12492 0 0 0 0 4 3 20 0 15 0 45972772 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421309645824 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25581] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25581/stat : 25581 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421308594384 140421834225563 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25582] ppid=25520 vsize=14069564 CPUtime=8.33 cores=1,3,5,7
/proc/25523/task/25582/stat : 25582 (java) S 25520 25523 19618 0 -1 1077944384 25403 12492 0 0 821 5 4 3 20 0 15 0 45972775 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421307542000 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25583] ppid=25520 vsize=14069564 CPUtime=8.57 cores=1,3,5,7
/proc/25523/task/25583/stat : 25583 (java) S 25520 25523 19618 0 -1 1077944384 37768 12492 0 0 843 7 4 3 20 0 15 0 45972775 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421306489456 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25584] ppid=25520 vsize=14069564 CPUtime=4.01 cores=1,3,5,7
/proc/25523/task/25584/stat : 25584 (java) S 25520 25523 19618 0 -1 1077944384 35192 12492 0 0 386 8 4 3 20 0 15 0 45972775 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421305436912 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25585] ppid=25520 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/25523/task/25585/stat : 25585 (java) S 25520 25523 19618 0 -1 1077944384 3 12492 0 0 0 0 4 3 20 0 15 0 45972775 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421304384608 140421834217173 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
[pid=25523/tid=25586] ppid=25520 vsize=14069564 CPUtime=1.41 cores=1,3,5,7
/proc/25523/task/25586/stat : 25586 (java) S 25520 25523 19618 0 -1 1077944384 700 12492 0 0 62 72 4 3 20 0 15 0 45972780 14407233536 114324 18446744073709551615 4194304 4196468 140736657892256 140421303331120 140421834218114 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37068800 140736657893328 140736657896113 140736657896113 140736657899471 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 14069564

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

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

Child status: 143
Real time (s): 2461.83
CPU time (s): 2520.08
CPU user time (s): 2516.41
CPU system time (s): 3.67534
CPU usage (%): 102.366
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.41
system time used= 3.67534
maximum resident set size= 994640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256227
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 267624
involuntary context switches= 6029

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5419 second user time and 13.8786 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-11 09:35:46
IDJOB=4262210
IDBENCH=124412
IDSOLVER=2650
FILE ID=node127/4262210-1502437793
RUNJOBID= node127-1502411410-19682
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n36-k5.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262210-1502437793/watcher-4262210-1502437793 -o /tmp/evaluation-result-4262210-1502437793/solver-4262210-1502437793 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19682 --watchdog 2580  bin/concrete HOME/instance-4262210-1502437793.xml

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

MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9
RANDOM SEED=1058896960

node127.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.92
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.92
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.92
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.92
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:        30512728 kB
MemAvailable:   31296596 kB
Buffers:          247260 kB
Cached:           827404 kB
SwapCached:            0 kB
Active:          1270364 kB
Inactive:         566156 kB
Active(anon):     762324 kB
Inactive(anon):    24908 kB
Active(file):     508040 kB
Inactive(file):   541248 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24536 kB
Writeback:             0 kB
AnonPages:        761852 kB
Mapped:            54376 kB
Shmem:             25252 kB
Slab:             125988 kB
SReclaimable:     100832 kB
SUnreclaim:        25156 kB
KernelStack:        3440 kB
PageTables:         6104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1684164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    561152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61984 MiB
End job on node127 at 2017-08-11 10:16:48