Trace number 4259700

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)1043 252.112 217.95799

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-47.xml
MD5SUMb40b46819fbd3a38fcaaee2fdd389509
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark252.004
Satisfiable
(Un)Satisfiability was proved
Number of variables2209
Number of constraints16215
Number of domains1
Minimum domain size1081
Maximum domain size1081
Distribution of domain sizes[{"size":1081,"count":1081}]
Minimum variable degree0
Maximum variable degree46
Distribution of variable degrees[{"degree":0,"count":1128},{"degree":46,"count":1081}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":16215}]
Number of extensional constraints0
Number of intensional constraints16215
Distribution of constraint types[{"type":"intension","count":16215}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

3.25/2.27	c Concrete v3.4 running
73.69/43.09	o 1080
80.38/48.30	o 1079
85.20/52.99	o 1078
89.92/57.50	o 1077
94.73/62.16	o 1076
99.45/66.68	o 1075
104.48/71.63	o 1074
109.64/76.64	o 1073
114.38/81.22	o 1072
118.86/85.69	o 1071
123.48/90.25	o 1070
128.10/94.76	o 1069
133.26/99.82	o 1068
137.90/104.38	o 1067
142.50/108.91	o 1066
147.01/113.44	o 1065
151.96/118.39	o 1064
157.07/123.48	o 1063
161.70/128.05	o 1062
166.49/132.82	o 1061
171.29/137.58	o 1060
175.99/142.24	o 1059
181.09/147.37	o 1058
185.69/151.94	o 1057
190.75/156.98	o 1056
195.86/162.03	o 1055
200.36/166.55	o 1054
205.48/171.61	o 1053
210.07/176.17	o 1052
214.57/180.64	o 1051
219.08/185.14	o 1050
224.08/190.14	o 1049
229.14/195.15	o 1048
233.63/199.66	o 1047
238.15/204.14	o 1046
242.74/208.78	o 1045
247.42/213.34	o 1044
251.94/217.80	o 1043
252.04/217.90	java.util.concurrent.TimeoutException
252.04/217.90		at concrete.MAC.mac(MAC.scala:74)
252.04/217.90		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.04/217.90		at scala.util.Try$.apply(Try.scala:209)
252.04/217.90		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.04/217.90		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.04/217.90		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.04/217.90		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.04/217.90		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.04/217.90		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.04/217.90		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.04/217.90		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.04/217.90		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.04/217.90		at concrete.MAC.oneRun(MAC.scala:146)
252.04/217.90		at concrete.MAC.nextSolution(MAC.scala:166)
252.04/217.90		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.04/217.90		at concrete.ProblemState.map(ProblemState.scala:203)
252.04/217.90		at concrete.ProblemState.map(ProblemState.scala:188)
252.04/217.90		at concrete.MAC.nextSolution(MAC.scala:195)
252.04/217.90		at concrete.Solver.hasNext(Solver.scala:202)
252.04/217.90		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.04/217.90		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.04/217.90		at concrete.Solver.toStream(Solver.scala:73)
252.04/217.90		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.04/217.90		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.04/217.90		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.04/217.90		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.04/217.90		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.04/217.90		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.04/217.90		at scala.util.Success.map(Try.scala:209)
252.04/217.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.04/217.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.04/217.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.04/217.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.04/217.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.04/217.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.04/217.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.04/217.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.04/217.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.04/217.91		at scala.collection.immutable.List.foreach(List.scala:389)
252.04/217.91		at scala.App.main(App.scala:76)
252.04/217.91		at scala.App.main$(App.scala:74)
252.04/217.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.04/217.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.04/217.91	v <instantiation cost="1043">
252.04/217.91	v       <list>
252.04/217.91	v         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[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] 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[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] 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[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] 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[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] 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[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] 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[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] 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[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] 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[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] 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[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] 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[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] 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[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] 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[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] 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[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] 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[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] 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[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] 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[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] 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[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] 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[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] 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[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] 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[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] 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[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] 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[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] 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[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] 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[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] 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[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] 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[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] 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[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] 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[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46]
252.04/217.91	v       </list>
252.04/217.91	v       <values>
252.04/217.91	v         1041 1042 1043 1042 1042 1042 1042 1043 1039 1041 1043 1042 1041 1041 1043 1039 1040 1042 1043 1038 1041 1039 1043 1040 1039 1041 1039 1038 1043 1041 1042 1042 1042 1042 1040 1039 1042 1042 1040 1040 1043 1043 1040 1039 1038 1041 1038 1041 1040 1038 1039 1042 1043 1043 1040 1039 1040 1040 1042 1043 1042 1041 1041 1042 1043 1042 1039 1040 1041 1043 1043 1040 1039 1043 1038 1042 1040 1042 1041 1042 1039 1042 1042 1041 1042 1041 1041 1040 1041 1038 1042 1039 1038 1041 1039 1041 1040 1043 1040 1042 1041 1042 1042 1043 1042 1041 1041 1042 1042 1037 1042 1043 1040 1041 1043 1040 1043 1042 1041 1043 1040 1040 1040 1042 1041 1039 1040 1040 1043 1042 1043 1039 1043 1040 1042 1040 1043 1040 1039 1041 1039 1043 1039 1043 1041 1043 1042 1041 1043 1039 1041 1040 1039 1039 1041 1040 1041 1042 1043 1038 1040 1041 1041 1043 1042 1042 1043 1039 1042 1042 1043 1039 1038 1042 1043 1043 1043 1042 1039 1039 1038 1041 1040 1042 1039 1043 1039 1042 1042 1041 1043 1041 1042 1038 1038 1043 1043 1039 1042 1043 1041 1040 1041 1042 1041 1043 1041 1041 1042 1040 1040 1040 1043 1043 1042 1043 1038 1043 1040 1042 1043 1040 1041 1038 1040 1042 1039 1042 1041 1042 1042 1040 1043 1043 1039 1039 1039 1043 1042 1042 1043 1041 1043 1041 1042 1038 1041 1041 1043 1042 1040 1039 1043 1042 1041 1042 1041 1039 1042 1040 1042 1043 1043 1042 1038 1043 1040 1040 1041 1043 1043 1042 1041 1042 1042 1040 1042 1042 1043 1043 1040 1041 1042 1042 1041 1041 1041 1041 1040 1039 1041 1043 1039 1041 1042 1041 1042 1040 1041 1040 1039 1041 1040 1042 1038 1043 1041 1043 1042 1041 1043 1040 1040 1040 1037 1042 1043 1039 1042 1042 1040 1043 1041 1042 1039 1040 1041 1043 1043 1042 1041 1040 1041 1041 1041 1042 1042 1043 1043 1043 1041 1043 1041 1041 1043 1042 1040 1040 1043 1039 1042 1042 1041 1043 1039 1039 1039 1042 1043 1042 1042 1043 1043 1043 1042 1039 1042 1040 1042 1042 1039 1042 1040 1042 1041 1039 1041 1038 1039 1040 1043 1039 1043 1042 1042 1038 1041 1043 1039 1042 1041 1040 1041 1042 1041 1038 1039 1038 1040 1041 1042 1041 1043 1043 1041 1038 1042 1040 1040 1041 1040 1042 1042 1043 1043 1042 1042 1042 1038 1041 1042 1039 1043 1043 1040 1040 1040 1043 1042 1041 1043 1042 1043 1042 1040 1041 1041 1041 1043 1041 1043 1040 1039 1042 1042 1041 1043 1041 1040 1039 1043 1043 1040 1043 1041 1041 1043 1042 1041 1039 1040 1038 1041 1040 1041 1043 1043 1042 1040 1041 1042 1043 1042 1043 1040 1041 1041 1042 1041 1038 1041 1042 1040 1043 1042 1043 1043 1042 1042 1043 1040 1039 1039 1040 1043 1042 1039 1040 1042 1042 1041 1041 1041 1042 1043 1041 1041 1041 1042 1043 1040 1043 1041 1041 1043 1042 1042 1041 1042 1042 1040 1043 1038 1042 1041 1043 1041 1042 1041 1043 1041 1039 1043 1038 1043 1039 1040 1042 1042 1042 1042 1043 1041 1040 1042 1040 1043 1039 1042 1042 1043 1039 1043 1043 1039 1040 1042 1041 1040 1040 1043 1042 1042 1041 1039 1040 1040 1043 1043 1043 1042 1039 1042 1041 1042 1043 1039 1039 1043 1043 1039 1041 1042 1041 1040 1039 1040 1039 1038 1041 1041 1041 1042 1041 1039 1041 1042 1042 1042 1040 1042 1043 1043 1040 1040 1039 1040 1041 1043 1042 1038 1040 1043 1039 1043 1041 1041 1042 1039 1041 1041 1043 1042 1041 1040 1041 1043 1040 1043 1043 1040 1043 1043 1042 1041 1042 1040 1041 1040 1038 1039 1042 1043 1043 1041 1043 1040 1043 1039 1043 1041 1040 1043 1040 1042 1042 1038 1043 1042 1041 1041 1043 1038 1042 1042 1039 1043 1042 1039 1042 1039 1041 1042 1042 1042 1042 1042 1042 1042 1041 1040 1038 1040 1043 1039 1042 1040 1043 1039 1043 1040 1042 1040 1040 1041 1043 1042 1043 1040 1041 1043 1043 1042 1039 1041 1043 1038 1042 1043 1040 1043 1041 1041 1043 1043 1042 1040 1042 1040 1042 1040 1041 1040 1041 1040 1041 1042 1042 1042 1039 1037 1043 1043 1042 1041 1040 1043 1041 1041 1042 1042 1042 1041 1042 1040 1042 1043 1039 1043 1043 1043 1041 1043 1041 1042 1038 1043 1040 1042 1043 1042 1043 1042 1039 1042 1041 1041 1041 1043 1043 1041 1043 1040 1042 1043 1042 1039 1043 1041 1042 1043 1040 1040 1041 1039 1040 1043 1041 1041 1039 1040 1042 1042 1038 1043 1041 1042 1042 1041 1039 1041 1040 1042 1043 1040 1043 1042 1042 1041 1041 1041 1043 1038 1041 1043 1041 1042 1040 1040 1039 1042 1041 1042 1041 1039 1041 1042 1042 1041 1043 1041 1040 1041 1041 1040 1043 1042 1037 1043 1039 1042 1042 1043 1043 1040 1043 1039 1043 1038 1039 1040 1042 1042 1042 1040 1042 1043 1042 1041 1038 1040 1042 1043 1043 1042 1038 1043 1039 1043 1040 1041 1041 1041 1041 1043 1042 1042 1043 1041 1039 1039 1043 1040 1041 1041 1043 1041 1043 1041 1043 1040 1043 1039 1040 1040 1042 1039 1039 1041 1043 1041 1042 1039 1040 1039 1043 1042 1040 1039 1041 1043 1041 1041 1043 1043 1042 1040 1042 1039 1039 1043 1040 1041 1040 1042 1042 1039 1042 1042 1040 1042 1040 1043 1043 1042 1040 1040 1040 1040 1040 1038 1042 1042 1042 1041 1039 1040 1042 1039 1041 1039 1042 1043 1043 1042 1040 1043 1041 1039 1041 1040 1040 1039 1043 1043 1040 1041 1039 1042 1041 1042 1041 1043 1042 1041 1043 1039 1039 1042 1043 1041 1039 1042 1042 1043 1040 1039 1040 1041 1042 1043 1043 1042 1039 1041 1038 1043 1042 1043 1040 1040 1041 1040 1042 1041 1039 1041 1043 1042 1042 1039 1041 1040 1038 1040 1043 1039 1043 1041 1041 1043 1041 1039 1041 1040 1040 1043 1042 1043 1043 1039 1041 1040 1040 1041 1040 1041 1042 1038 1042 1043 1041 1043 1042 1040 1041 1043 1042 1040 1043 1041 1043 1043 1039 1038 1042 1042 1040 1041 1043 1039 1038 1042 1042 1042 1041 1042 1042 1040 1041 1043 1041 1042 1043 1040 1041 1039 1041 1041 1039 1041
252.04/217.91	v       </values>
252.04/217.91	v     </instantiation>
252.04/217.91	s SATISFIABLE

Verifier Data 

OK	1043

Watcher Data 

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

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

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

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

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

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

solver pid=5957, runsolver pid=5954

[startup+0.10006 s]*
/proc/loadavg: 2.03 2.01 1.95 3/207 5994
/proc/meminfo: memFree=28048356/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=9636 memory=1508 CPUtime=0.01 cores=0,2,4,6
/proc/5957/stat : 5957 (bash) S 5954 5957 8289 0 -1 4202496 892 6477 0 0 0 0 0 1 20 0 1 0 113110970 9867264 377 18446744073709551615 4194304 5098028 140731356667056 140731356661064 140637266971648 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 6 0 0 7196144 7232144 29503488 140731356672500 140731356672585 140731356672585 140731356676074 0
/proc/5957/statm: 2409 377 297 221 0 118 0
[pid=5987] ppid=5957 vsize=9636 memory=700 CPUtime=0 cores=0,2,4,6
/proc/5987/stat : 5987 (bash) S 5957 5957 8289 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 1 0 113110978 9867264 175 18446744073709551615 4194304 5098028 140731356667056 140731356659736 140637266797180 0 65536 1 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29503488 140731356672500 140731356672585 140731356672585 140731356676074 0
/proc/5987/statm: 2409 175 95 221 0 118 0
[pid=5988] ppid=5987 vsize=9936720 memory=18240 CPUtime=0 cores=0,2,4,6
/proc/5988/stat : 5988 (java) S 5987 5957 8289 0 -1 1077944320 3373 0 0 0 0 0 0 0 20 0 6 0 113110978 10175201280 4560 18446744073709551615 4194304 4196468 140737232008224 140737231990768 139904155627255 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
/proc/5988/statm: 2484180 4560 1913 1 0 2473677 0
[pid=5988/tid=5990] ppid=5987 vsize=9936720 memory=8508281356422319006 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5990/stat : 5990 (java) R 5987 5957 8289 0 -1 4202560 2104 0 0 0 0 0 0 0 20 0 6 0 113110979 10175201280 4560 18446744073709551615 4194304 4196468 140737232008224 139904159863376 139904155649181 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5991] ppid=5987 vsize=9936720 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5991/stat : 5991 (java) S 5987 5957 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 113110979 10175201280 4560 18446744073709551615 4194304 4196468 140737232008224 139904086047376 139904155637461 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5992] ppid=5987 vsize=9936720 memory=139762745517696 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5992/stat : 5992 (java) S 5987 5957 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 113110979 10175201280 4560 18446744073709551615 4194304 4196468 140737232008224 139904084994576 139904155637461 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5993] ppid=5987 vsize=9936720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5993/stat : 5993 (java) S 5987 5957 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 113110979 10175201280 4560 18446744073709551615 4194304 4196468 140737232008224 139904083941776 139904155637461 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5994] ppid=5987 vsize=9936720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5994/stat : 5994 (java) S 5987 5957 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 113110979 10175201280 4560 18446744073709551615 4194304 4196468 140737232008224 139904082888976 139904155637461 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5989] ppid=5987 vsize=9872 memory=972 CPUtime=0 cores=0,2,4,6
/proc/5989/stat : 5989 (awk) S 5987 5957 8289 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 113110978 10108928 243 18446744073709551615 4194304 4609284 140734729730816 140734729729992 140213777837056 0 0 1 1216 18446744071580971376 0 0 17 2 0 0 0 0 0 6708720 6711756 30535680 140734729732736 140734729732766 140734729732766 140734729736171 0
/proc/5989/statm: 2468 243 203 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9965864 KiB
Current children cumulated memory: 21420 KiB

[startup+0.210332 s]*
/proc/loadavg: 2.03 2.01 1.95 2/215 6002
/proc/meminfo: memFree=28021180/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=9636 memory=1508 CPUtime=0.01 cores=0,2,4,6
/proc/5957/stat : 5957 (bash) S 5954 5957 8289 0 -1 4202496 892 6477 0 0 0 0 0 1 20 0 1 0 113110970 9867264 377 18446744073709551615 4194304 5098028 140731356667056 140731356661064 140637266971648 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 6 0 0 7196144 7232144 29503488 140731356672500 140731356672585 140731356672585 140731356676074 0
/proc/5957/statm: 2409 377 297 221 0 118 0
[pid=5987] ppid=5957 vsize=9636 memory=700 CPUtime=0 cores=0,2,4,6
/proc/5987/stat : 5987 (bash) S 5957 5957 8289 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 1 0 113110978 9867264 175 18446744073709551615 4194304 5098028 140731356667056 140731356659736 140637266797180 0 65536 1 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29503488 140731356672500 140731356672585 140731356672585 140731356676074 0
/proc/5987/statm: 2409 175 95 221 0 118 0
[pid=5988] ppid=5987 vsize=10485312 memory=22308 CPUtime=0.05 cores=0,2,4,6
/proc/5988/stat : 5988 (java) S 5987 5957 8289 0 -1 1077944320 4529 0 0 0 4 1 0 0 20 0 14 0 113110978 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 140737231990768 139904155627255 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
/proc/5988/statm: 2621328 5577 2571 1 0 2610825 0
[pid=5988/tid=5990] ppid=5987 vsize=10485312 memory=8508281356422319006 CPUtime=0.04 cores=0,2,4,6
/proc/5988/task/5990/stat : 5990 (java) D 5987 5957 8289 0 -1 4202560 2664 0 0 0 3 1 0 0 20 0 14 0 113110979 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139904159864736 139904155649277 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5991] ppid=5987 vsize=10485312 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5991/stat : 5991 (java) S 5987 5957 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113110979 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139904086047376 139904155637461 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5992] ppid=5987 vsize=10485312 memory=139762745517696 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5992/stat : 5992 (java) S 5987 5957 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113110979 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139904084994576 139904155637461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5993] ppid=5987 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5993/stat : 5993 (java) S 5987 5957 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113110979 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139904083941776 139904155637461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5994] ppid=5987 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5994/stat : 5994 (java) S 5987 5957 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113110979 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139904082888976 139904155637461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5995] ppid=5987 vsize=10485312 memory=139762745517696 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5995/stat : 5995 (java) S 5987 5957 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113110981 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139903652023152 139904155638402 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5996] ppid=5987 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5996/stat : 5996 (java) S 5987 5957 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 113110981 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139903650969120 139904155637461 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5997] ppid=5987 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5997/stat : 5997 (java) S 5987 5957 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 113110981 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139903649916272 139904155637461 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5998] ppid=5987 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5998/stat : 5998 (java) S 5987 5957 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113110984 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139903648864592 139904155645851 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=5999] ppid=5987 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5988/task/5999/stat : 5999 (java) S 5987 5957 8289 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 14 0 113110984 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139903647811952 139904155638402 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=6000] ppid=5987 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5988/task/6000/stat : 6000 (java) S 5987 5957 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 113110984 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139903646759152 139904155638402 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=6001] ppid=5987 vsize=10485312 memory=139762745517696 CPUtime=0 cores=0,2,4,6
/proc/5988/task/6001/stat : 6001 (java) S 5987 5957 8289 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 113110984 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139903645706352 139904155638402 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5988/tid=6002] ppid=5987 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5988/task/6002/stat : 6002 (java) S 5987 5957 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113110984 10736959488 5577 18446744073709551615 4194304 4196468 140737232008224 139903644653792 139904155637461 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33357824 140737232011864 140737232011878 140737232011878 140737232015311 0
[pid=5989] ppid=5987 vsize=9872 memory=972 CPUtime=0 cores=0,2,4,6
/proc/5989/stat : 5989 (awk) S 5987 5957 8289 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 113110978 10108928 243 18446744073709551615 4194304 4609284 140734729730816 140734729729992 140213777837056 0 0 1 1216 18446744071580971376 0 0 17 2 0 0 0 0 0 6708720 6711756 30535680 140734729732736 140734729732766 140734729732766 140734729736171 0
/proc/5989/statm: 2468 243 203 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10514456 KiB
Current children cumulated memory: 25488 KiB

[startup+0.310362 s]*
/proc/loadavg: 2.03 2.01 1.95 2/212 6019
/proc/meminfo: memFree=28001536/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=13907308 memory=20676 CPUtime=0.13 cores=0,2,4,6
/proc/5957/stat : 5957 (java) S 5954 5957 8289 0 -1 1077944320 5488 12358 0 0 5 1 4 3 20 0 14 0 113110970 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140726219831040 140418007039735 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
/proc/5957/statm: 3476827 5169 2570 1 0 3466324 0
[pid=5957/tid=6007] ppid=5954 vsize=13907308 memory=4278483708103473607 CPUtime=0.11 cores=0,2,4,6
/proc/5957/task/6007/stat : 6007 (java) D 5954 5957 8289 0 -1 4202560 2756 12358 0 0 4 0 4 3 20 0 14 0 113110993 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140418011277216 140418007061757 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6008] ppid=5954 vsize=13907308 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6008/stat : 6008 (java) S 5954 5957 8289 0 -1 1077944384 1 12358 0 0 0 0 4 3 20 0 14 0 113110994 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417926453776 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6009] ppid=5954 vsize=13907308 memory=6944656592452807326 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6009/stat : 6009 (java) S 5954 5957 8289 0 -1 1077944384 1 12358 0 0 0 0 4 3 20 0 14 0 113110994 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417925401232 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6010] ppid=5954 vsize=13907308 memory=-8918987556599313462 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6010/stat : 6010 (java) S 5954 5957 8289 0 -1 1077944384 1 12358 0 0 0 0 4 3 20 0 14 0 113110994 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417924348176 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6011] ppid=5954 vsize=13907308 memory=7100839878746218365 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6011/stat : 6011 (java) S 5954 5957 8289 0 -1 1077944384 2 12358 0 0 0 0 4 3 20 0 14 0 113110994 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417923295632 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6012] ppid=5954 vsize=13907308 memory=-8102431393132624720 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6012/stat : 6012 (java) S 5954 5957 8289 0 -1 1077944384 2 12358 0 0 0 0 4 3 20 0 14 0 113110995 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417484442352 140418007050882 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6013] ppid=5954 vsize=13907308 memory=139762745517696 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6013/stat : 6013 (java) S 5954 5957 8289 0 -1 1077944384 33 12358 0 0 0 0 4 3 20 0 14 0 113110996 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417483388576 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6014] ppid=5954 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6014/stat : 6014 (java) S 5954 5957 8289 0 -1 1077944384 21 12358 0 0 0 0 4 3 20 0 14 0 113110996 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417482335472 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6015] ppid=5954 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6015/stat : 6015 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 14 0 113110999 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417481284048 140418007058331 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6016] ppid=5954 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6016/stat : 6016 (java) S 5954 5957 8289 0 -1 1077944384 297 12358 0 0 0 0 4 3 20 0 14 0 113110999 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417480231152 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6017] ppid=5954 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6017/stat : 6017 (java) S 5954 5957 8289 0 -1 1077944384 1 12358 0 0 0 0 4 3 20 0 14 0 113110999 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417479178608 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6018] ppid=5954 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6018/stat : 6018 (java) S 5954 5957 8289 0 -1 1077944384 218 12358 0 0 0 0 4 3 20 0 14 0 113110999 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417478125552 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6019] ppid=5954 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6019/stat : 6019 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 14 0 113110999 14241083392 5169 18446744073709551615 4194304 4196468 140726219848496 140417477073248 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 20676 KiB

[startup+0.701604 s]
/proc/loadavg: 2.03 2.01 1.95 3/213 6020
/proc/meminfo: memFree=27940048/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=13974784 memory=57228 CPUtime=0.55 cores=0,2,4,6
/proc/5957/stat : 5957 (java) S 5954 5957 8289 0 -1 1077944320 12960 12358 0 0 44 4 4 3 20 0 15 0 113110970 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140726219831040 140418007039735 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
/proc/5957/statm: 3493696 14307 3073 1 0 3482965 0
[pid=5957/tid=6007] ppid=5954 vsize=13974784 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/5957/task/6007/stat : 6007 (java) R 5954 5957 8289 0 -1 4202560 9440 12358 0 0 34 3 4 3 20 0 15 0 113110993 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140418011253872 140417987315616 0 4 1 16800974 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6008] ppid=5954 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6008/stat : 6008 (java) S 5954 5957 8289 0 -1 1077944384 1 12358 0 0 0 0 4 3 20 0 15 0 113110994 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417926453776 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6009] ppid=5954 vsize=13974784 memory=-7175204567652784766 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6009/stat : 6009 (java) S 5954 5957 8289 0 -1 1077944384 1 12358 0 0 0 0 4 3 20 0 15 0 113110994 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417925401232 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6010] ppid=5954 vsize=13974784 memory=-8918987556599313462 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6010/stat : 6010 (java) S 5954 5957 8289 0 -1 1077944384 1 12358 0 0 0 0 4 3 20 0 15 0 113110994 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417924348176 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6011] ppid=5954 vsize=13974784 memory=7100839878746218365 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6011/stat : 6011 (java) S 5954 5957 8289 0 -1 1077944384 2 12358 0 0 0 0 4 3 20 0 15 0 113110994 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417923295632 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6012] ppid=5954 vsize=13974784 memory=-8102431393132624720 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6012/stat : 6012 (java) S 5954 5957 8289 0 -1 1077944384 5 12358 0 0 0 0 4 3 20 0 15 0 113110995 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417484442352 140418007050882 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6013] ppid=5954 vsize=13974784 memory=7813587196152592437 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6013/stat : 6013 (java) S 5954 5957 8289 0 -1 1077944384 33 12358 0 0 0 0 4 3 20 0 15 0 113110996 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417483388576 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6014] ppid=5954 vsize=13974784 memory=5859855300698460240 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6014/stat : 6014 (java) S 5954 5957 8289 0 -1 1077944384 21 12358 0 0 0 0 4 3 20 0 15 0 113110996 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417482335472 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6015] ppid=5954 vsize=13974784 memory=5788930165031592000 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6015/stat : 6015 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 15 0 113110999 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417481284048 140418007058331 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6016] ppid=5954 vsize=13974784 memory=4638778398332967009 CPUtime=0.08 cores=0,2,4,6
/proc/5957/task/6016/stat : 6016 (java) S 5954 5957 8289 0 -1 1077944384 423 12358 0 0 1 0 4 3 20 0 15 0 113110999 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417480231152 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6017] ppid=5954 vsize=13974784 memory=9047017150487036575 CPUtime=0.09 cores=0,2,4,6
/proc/5957/task/6017/stat : 6017 (java) S 5954 5957 8289 0 -1 1077944384 345 12358 0 0 2 0 4 3 20 0 15 0 113110999 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417479178608 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6018] ppid=5954 vsize=13974784 memory=4196912344889787449 CPUtime=0.13 cores=0,2,4,6
/proc/5957/task/6018/stat : 6018 (java) S 5954 5957 8289 0 -1 1077944384 532 12358 0 0 6 0 4 3 20 0 15 0 113110999 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417478125552 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6019] ppid=5954 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6019/stat : 6019 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 15 0 113110999 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417477073248 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6020] ppid=5954 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6020/stat : 6020 (java) S 5954 5957 8289 0 -1 1077944384 1 12358 0 0 0 0 4 3 20 0 15 0 113111007 14310178816 14307 18446744073709551615 4194304 4196468 140726219848496 140417476021296 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 57228 KiB

[startup+1.50072 s]
/proc/loadavg: 2.03 2.01 1.95 5/213 6020
/proc/meminfo: memFree=27806924/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=13985408 memory=132784 CPUtime=1.79 cores=0,2,4,6
/proc/5957/stat : 5957 (java) S 5954 5957 8289 0 -1 1077944320 26510 12358 0 0 164 8 4 3 20 0 15 0 113110970 14321057792 33196 18446744073709551615 4194304 4196468 140726219848496 140726219831040 140418007039735 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
/proc/5957/statm: 3496352 33196 3338 1 0 3485525 0
[pid=5957/tid=6007] ppid=5954 vsize=13985408 memory=6443619228075005355 CPUtime=1.24 cores=0,2,4,6
/proc/5957/task/6007/stat : 6007 (java) R 5954 5957 8289 0 -1 4202560 21069 12358 0 0 111 6 4 3 20 0 15 0 113110993 14321057792 33196 18446744073709551615 4194304 4196468 140726219848496 140418011252336 140417991083365 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6008] ppid=5954 vsize=13985408 memory=120496 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6008/stat : 6008 (java) S 5954 5957 8289 0 -1 1077944384 1 12358 0 0 0 0 4 3 20 0 15 0 113110994 14321057792 33196 18446744073709551615 4194304 4196468 140726219848496 140417926453776 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6009] ppid=5954 vsize=13985408 memory=43757090617 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6009/stat : 6009 (java) S 5954 5957 8289 0 -1 1077944384 1 12358 0 0 0 0 4 3 20 0 15 0 113110994 14321057792 33196 18446744073709551615 4194304 4196468 140726219848496 140417925401232 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6010] ppid=5954 vsize=13985408 memory=7680170660397595203 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6010/stat : 6010 (java) S 5954 5957 8289 0 -1 1077944384 1 12358 0 0 0 0 4 3 20 0 15 0 113110994 14321057792 33196 18446744073709551615 4194304 4196468 140726219848496 140417924348176 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6011] ppid=5954 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6011/stat : 6011 (java) S 5954 5957 8289 0 -1 1077944384 2 12358 0 0 0 0 4 3 20 0 15 0 113110994 14321057792 33196 18446744073709551615 4194304 4196468 140726219848496 140417923295632 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6012] ppid=5954 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6012/stat : 6012 (java) S 5954 5957 8289 0 -1 1077944384 5 12358 0 0 0 0 4 3 20 0 15 0 113110995 14321057792 33196 18446744073709551615 4194304 4196468 140726219848496 140417484442352 140418007050882 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6013] ppid=5954 vsize=13985408 memory=-6150658526023934313 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6013/stat : 6013 (java) S 5954 5957 8289 0 -1 1077944384 33 12358 0 0 0 0 4 3 20 0 15 0 113110996 14321057792 33196 18446744073709551615 4194304 4196468 140726219848496 140417483388576 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6014] ppid=5954 vsize=13985408 memory=6944656575208382560 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6014/stat : 6014 (java) S 5954 5957 8289 0 -1 1077944384 21 12358 0 0 0 0 4 3 20 0 15 0 113110996 14321057792 33196 18446744073709551615 4194304 4196468 140726219848496 140417482335472 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0

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

/proc/5957/task/6007/stat : 6007 (java) R 5954 5957 8289 0 -1 4202560 53101 12358 0 0 9804 57 4 3 20 0 15 0 113110993 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140418011273672 140417607958352 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6008] ppid=5954 vsize=14069564 memory=4076580 CPUtime=2.9 cores=0,2,4,6
/proc/5957/task/6008/stat : 6008 (java) S 5954 5957 8289 0 -1 1077944384 1573 12358 0 0 269 14 4 3 20 0 15 0 113110994 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417926453776 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6009] ppid=5954 vsize=14069564 memory=0 CPUtime=2.99 cores=0,2,4,6
/proc/5957/task/6009/stat : 6009 (java) S 5954 5957 8289 0 -1 1077944384 1261 12358 0 0 276 16 4 3 20 0 15 0 113110994 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417925401232 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6010] ppid=5954 vsize=14069564 memory=279525196000296 CPUtime=2.96 cores=0,2,4,6
/proc/5957/task/6010/stat : 6010 (java) S 5954 5957 8289 0 -1 1077944384 1389 12358 0 0 273 16 4 3 20 0 15 0 113110994 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417924348176 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6011] ppid=5954 vsize=14069564 memory=4015132 CPUtime=2.93 cores=0,2,4,6
/proc/5957/task/6011/stat : 6011 (java) S 5954 5957 8289 0 -1 1077944384 2976 12358 0 0 272 14 4 3 20 0 15 0 113110994 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417923295632 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6012] ppid=5954 vsize=14069564 memory=4015132 CPUtime=0.34 cores=0,2,4,6
/proc/5957/task/6012/stat : 6012 (java) S 5954 5957 8289 0 -1 1077944384 6934 12358 0 0 26 1 4 3 20 0 15 0 113110995 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417484442352 140418007050882 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6013] ppid=5954 vsize=14069564 memory=3320340 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6013/stat : 6013 (java) S 5954 5957 8289 0 -1 1077944384 65 12358 0 0 0 0 4 3 20 0 15 0 113110996 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417483388640 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6014] ppid=5954 vsize=14069564 memory=4040 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6014/stat : 6014 (java) S 5954 5957 8289 0 -1 1077944384 65 12358 0 0 0 0 4 3 20 0 15 0 113110996 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417482335488 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6015] ppid=5954 vsize=14069564 memory=4168 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6015/stat : 6015 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 15 0 113110999 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417481284048 140418007058331 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6016] ppid=5954 vsize=14069564 memory=54796 CPUtime=11.67 cores=0,2,4,6
/proc/5957/task/6016/stat : 6016 (java) S 5954 5957 8289 0 -1 1077944384 15184 12358 0 0 1157 3 4 3 20 0 15 0 113110999 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417480231152 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6017] ppid=5954 vsize=14069564 memory=1296 CPUtime=11.03 cores=0,2,4,6
/proc/5957/task/6017/stat : 6017 (java) S 5954 5957 8289 0 -1 1077944384 19460 12358 0 0 1092 4 4 3 20 0 15 0 113110999 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417479178608 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6018] ppid=5954 vsize=14069564 memory=1716 CPUtime=2.78 cores=0,2,4,6
/proc/5957/task/6018/stat : 6018 (java) S 5954 5957 8289 0 -1 1077944384 16305 12358 0 0 267 4 4 3 20 0 15 0 113110999 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417478125552 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6019] ppid=5954 vsize=14069564 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6019/stat : 6019 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 15 0 113110999 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417477073248 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6020] ppid=5954 vsize=14069564 memory=14356 CPUtime=0.11 cores=0,2,4,6
/proc/5957/task/6020/stat : 6020 (java) S 5954 5957 8289 0 -1 1077944384 715 12358 0 0 2 2 4 3 20 0 15 0 113111007 14407233536 1019145 18446744073709551615 4194304 4196468 140726219848496 140417476021296 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
Current children cumulated CPU time: 135.89 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4076580 KiB

[startup+162.301 s]
/proc/loadavg: 2.19 2.16 2.03 3/214 6027
/proc/meminfo: memFree=23061604/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=14069564 memory=4115692 CPUtime=196.16 cores=0,2,4,6
/proc/5957/stat : 5957 (java) S 5954 5957 8289 0 -1 1077944320 133183 12358 0 0 19468 141 4 3 20 0 15 0 113110970 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140726219831040 140418007039735 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
/proc/5957/statm: 3517391 1028923 3494 1 0 3506005 0
[pid=5957/tid=6007] ppid=5954 vsize=14069564 memory=4115692 CPUtime=158.61 cores=0,2,4,6
/proc/5957/task/6007/stat : 6007 (java) R 5954 5957 8289 0 -1 4202560 59319 12358 0 0 15796 58 4 3 20 0 15 0 113110993 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140418011268320 140417616704633 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6008] ppid=5954 vsize=14069564 memory=4107496 CPUtime=2.97 cores=0,2,4,6
/proc/5957/task/6008/stat : 6008 (java) S 5954 5957 8289 0 -1 1077944384 1820 12358 0 0 275 15 4 3 20 0 15 0 113110994 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417926453776 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6009] ppid=5954 vsize=14069564 memory=4115692 CPUtime=3.06 cores=0,2,4,6
/proc/5957/task/6009/stat : 6009 (java) S 5954 5957 8289 0 -1 1077944384 2654 12358 0 0 282 17 4 3 20 0 15 0 113110994 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417925401232 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6010] ppid=5954 vsize=14069564 memory=0 CPUtime=3.03 cores=0,2,4,6
/proc/5957/task/6010/stat : 6010 (java) S 5954 5957 8289 0 -1 1077944384 1472 12358 0 0 279 17 4 3 20 0 15 0 113110994 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417924348176 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6011] ppid=5954 vsize=14069564 memory=4115692 CPUtime=3 cores=0,2,4,6
/proc/5957/task/6011/stat : 6011 (java) S 5954 5957 8289 0 -1 1077944384 3084 12358 0 0 278 15 4 3 20 0 15 0 113110994 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417923295632 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6012] ppid=5954 vsize=14069564 memory=4115692 CPUtime=0.35 cores=0,2,4,6
/proc/5957/task/6012/stat : 6012 (java) S 5954 5957 8289 0 -1 1077944384 7226 12358 0 0 27 1 4 3 20 0 15 0 113110995 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417484442352 140418007050882 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6013] ppid=5954 vsize=14069564 memory=4115692 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6013/stat : 6013 (java) S 5954 5957 8289 0 -1 1077944384 69 12358 0 0 0 0 4 3 20 0 15 0 113110996 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417483388640 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6014] ppid=5954 vsize=14069564 memory=4168 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6014/stat : 6014 (java) S 5954 5957 8289 0 -1 1077944384 65 12358 0 0 0 0 4 3 20 0 15 0 113110996 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417482335488 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6015] ppid=5954 vsize=14069564 memory=1134 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6015/stat : 6015 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 15 0 113110999 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417481284048 140418007058331 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6016] ppid=5954 vsize=14069564 memory=1087 CPUtime=11.67 cores=0,2,4,6
/proc/5957/task/6016/stat : 6016 (java) S 5954 5957 8289 0 -1 1077944384 15297 12358 0 0 1157 3 4 3 20 0 15 0 113110999 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417480231152 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6017] ppid=5954 vsize=14069564 memory=1008 CPUtime=11.03 cores=0,2,4,6
/proc/5957/task/6017/stat : 6017 (java) S 5954 5957 8289 0 -1 1077944384 19463 12358 0 0 1092 4 4 3 20 0 15 0 113110999 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417479178608 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6018] ppid=5954 vsize=14069564 memory=2012 CPUtime=2.81 cores=0,2,4,6
/proc/5957/task/6018/stat : 6018 (java) S 5954 5957 8289 0 -1 1077944384 19803 12358 0 0 270 4 4 3 20 0 15 0 113110999 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417478125552 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6019] ppid=5954 vsize=14069564 memory=4107492 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6019/stat : 6019 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 15 0 113110999 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417477073248 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6020] ppid=5954 vsize=14069564 memory=4107492 CPUtime=0.15 cores=0,2,4,6
/proc/5957/task/6020/stat : 6020 (java) S 5954 5957 8289 0 -1 1077944384 756 12358 0 0 4 4 4 3 20 0 15 0 113111007 14407233536 1028923 18446744073709551615 4194304 4196468 140726219848496 140417476021296 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
Current children cumulated CPU time: 196.16 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4115692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+217.901 s]
/proc/loadavg: 2.34 2.21 2.06 3/214 6154
/proc/meminfo: memFree=23779844/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=14069564 memory=4146432 CPUtime=252.04 cores=0,2,4,6
/proc/5957/stat : 5957 (java) S 5954 5957 8289 0 -1 1077944320 146243 12358 0 0 25049 148 4 3 20 0 15 0 113110970 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140726219831040 140418007039735 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
/proc/5957/statm: 3517391 1036608 3494 1 0 3506005 0
[pid=5957/tid=6007] ppid=5954 vsize=14069564 memory=4146432 CPUtime=214.14 cores=0,2,4,6
/proc/5957/task/6007/stat : 6007 (java) R 5954 5957 8289 0 -1 4202560 65432 12358 0 0 21348 59 4 3 20 0 15 0 113110993 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140418011270976 140417614991511 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6008] ppid=5954 vsize=14069564 memory=279525196060896 CPUtime=3.04 cores=0,2,4,6
/proc/5957/task/6008/stat : 6008 (java) S 5954 5957 8289 0 -1 1077944384 3290 12358 0 0 281 16 4 3 20 0 15 0 113110994 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417926453776 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6009] ppid=5954 vsize=14069564 memory=4134136 CPUtime=3.13 cores=0,2,4,6
/proc/5957/task/6009/stat : 6009 (java) S 5954 5957 8289 0 -1 1077944384 2773 12358 0 0 288 18 4 3 20 0 15 0 113110994 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417925401232 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6010] ppid=5954 vsize=14069564 memory=0 CPUtime=3.09 cores=0,2,4,6
/proc/5957/task/6010/stat : 6010 (java) S 5954 5957 8289 0 -1 1077944384 1726 12358 0 0 285 17 4 3 20 0 15 0 113110994 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417924348176 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6011] ppid=5954 vsize=14069564 memory=4146428 CPUtime=3.07 cores=0,2,4,6
/proc/5957/task/6011/stat : 6011 (java) S 5954 5957 8289 0 -1 1077944384 3317 12358 0 0 284 16 4 3 20 0 15 0 113110994 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417923295632 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6012] ppid=5954 vsize=14069564 memory=4146432 CPUtime=0.35 cores=0,2,4,6
/proc/5957/task/6012/stat : 6012 (java) S 5954 5957 8289 0 -1 1077944384 7522 12358 0 0 27 1 4 3 20 0 15 0 113110995 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417484442352 140418007050882 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6013] ppid=5954 vsize=14069564 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6013/stat : 6013 (java) S 5954 5957 8289 0 -1 1077944384 73 12358 0 0 0 0 4 3 20 0 15 0 113110996 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417483388640 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6014] ppid=5954 vsize=14069564 memory=4134136 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6014/stat : 6014 (java) S 5954 5957 8289 0 -1 1077944384 65 12358 0 0 0 0 4 3 20 0 15 0 113110996 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417482335488 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6015] ppid=5954 vsize=14069564 memory=7014751519734583913 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6015/stat : 6015 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 15 0 113110999 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417481284048 140418007058331 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6016] ppid=5954 vsize=14069564 memory=0 CPUtime=11.67 cores=0,2,4,6
/proc/5957/task/6016/stat : 6016 (java) S 5954 5957 8289 0 -1 1077944384 15299 12358 0 0 1157 3 4 3 20 0 15 0 113110999 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417480231152 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6017] ppid=5954 vsize=14069564 memory=4146432 CPUtime=11.04 cores=0,2,4,6
/proc/5957/task/6017/stat : 6017 (java) S 5954 5957 8289 0 -1 1077944384 20084 12358 0 0 1093 4 4 3 20 0 15 0 113110999 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417479178608 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6018] ppid=5954 vsize=14069564 memory=4168 CPUtime=2.84 cores=0,2,4,6
/proc/5957/task/6018/stat : 6018 (java) S 5954 5957 8289 0 -1 1077944384 23705 12358 0 0 272 5 4 3 20 0 15 0 113110999 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417478125552 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6019] ppid=5954 vsize=14069564 memory=4146428 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6019/stat : 6019 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 15 0 113110999 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417477073248 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6020] ppid=5954 vsize=14069564 memory=54800 CPUtime=0.19 cores=0,2,4,6
/proc/5957/task/6020/stat : 6020 (java) S 5954 5957 8289 0 -1 1077944384 802 12358 0 0 6 6 4 3 20 0 15 0 113111007 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417476021296 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4146432 KiB

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

[startup+217.958 s]
# the end of solver process 5957 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.56 s, system=1.55131 s

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

[startup+217.901 s]
/proc/loadavg: 2.34 2.21 2.06 3/214 6154
/proc/meminfo: memFree=23779844/32770624 swapFree=67108860/67108860
[pid=5957] ppid=5954 vsize=14069564 memory=4146432 CPUtime=252.04 cores=0,2,4,6
/proc/5957/stat : 5957 (java) S 5954 5957 8289 0 -1 1077944320 146243 12358 0 0 25049 148 4 3 20 0 15 0 113110970 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140726219831040 140418007039735 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
/proc/5957/statm: 3517391 1036608 3494 1 0 3506005 0
[pid=5957/tid=6007] ppid=5954 vsize=14069564 memory=4146432 CPUtime=214.14 cores=0,2,4,6
/proc/5957/task/6007/stat : 6007 (java) R 5954 5957 8289 0 -1 4202560 65432 12358 0 0 21348 59 4 3 20 0 15 0 113110993 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140418011270976 140417614991511 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6008] ppid=5954 vsize=14069564 memory=279525196060896 CPUtime=3.04 cores=0,2,4,6
/proc/5957/task/6008/stat : 6008 (java) S 5954 5957 8289 0 -1 1077944384 3290 12358 0 0 281 16 4 3 20 0 15 0 113110994 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417926453776 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6009] ppid=5954 vsize=14069564 memory=4134136 CPUtime=3.13 cores=0,2,4,6
/proc/5957/task/6009/stat : 6009 (java) S 5954 5957 8289 0 -1 1077944384 2773 12358 0 0 288 18 4 3 20 0 15 0 113110994 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417925401232 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6010] ppid=5954 vsize=14069564 memory=0 CPUtime=3.09 cores=0,2,4,6
/proc/5957/task/6010/stat : 6010 (java) S 5954 5957 8289 0 -1 1077944384 1726 12358 0 0 285 17 4 3 20 0 15 0 113110994 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417924348176 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6011] ppid=5954 vsize=14069564 memory=4146428 CPUtime=3.07 cores=0,2,4,6
/proc/5957/task/6011/stat : 6011 (java) S 5954 5957 8289 0 -1 1077944384 3317 12358 0 0 284 16 4 3 20 0 15 0 113110994 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417923295632 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6012] ppid=5954 vsize=14069564 memory=4146432 CPUtime=0.35 cores=0,2,4,6
/proc/5957/task/6012/stat : 6012 (java) S 5954 5957 8289 0 -1 1077944384 7522 12358 0 0 27 1 4 3 20 0 15 0 113110995 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417484442352 140418007050882 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6013] ppid=5954 vsize=14069564 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6013/stat : 6013 (java) S 5954 5957 8289 0 -1 1077944384 73 12358 0 0 0 0 4 3 20 0 15 0 113110996 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417483388640 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6014] ppid=5954 vsize=14069564 memory=4134136 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6014/stat : 6014 (java) S 5954 5957 8289 0 -1 1077944384 65 12358 0 0 0 0 4 3 20 0 15 0 113110996 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417482335488 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6015] ppid=5954 vsize=14069564 memory=7014751519734583913 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6015/stat : 6015 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 15 0 113110999 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417481284048 140418007058331 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6016] ppid=5954 vsize=14069564 memory=0 CPUtime=11.67 cores=0,2,4,6
/proc/5957/task/6016/stat : 6016 (java) S 5954 5957 8289 0 -1 1077944384 15299 12358 0 0 1157 3 4 3 20 0 15 0 113110999 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417480231152 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6017] ppid=5954 vsize=14069564 memory=4146432 CPUtime=11.04 cores=0,2,4,6
/proc/5957/task/6017/stat : 6017 (java) S 5954 5957 8289 0 -1 1077944384 20084 12358 0 0 1093 4 4 3 20 0 15 0 113110999 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417479178608 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6018] ppid=5954 vsize=14069564 memory=4168 CPUtime=2.84 cores=0,2,4,6
/proc/5957/task/6018/stat : 6018 (java) S 5954 5957 8289 0 -1 1077944384 23705 12358 0 0 272 5 4 3 20 0 15 0 113110999 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417478125552 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6019] ppid=5954 vsize=14069564 memory=4146428 CPUtime=0.07 cores=0,2,4,6
/proc/5957/task/6019/stat : 6019 (java) S 5954 5957 8289 0 -1 1077944384 3 12358 0 0 0 0 4 3 20 0 15 0 113110999 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417477073248 140418007049941 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
[pid=5957/tid=6020] ppid=5954 vsize=14069564 memory=54800 CPUtime=0.19 cores=0,2,4,6
/proc/5957/task/6020/stat : 6020 (java) S 5954 5957 8289 0 -1 1077944384 802 12358 0 0 6 6 4 3 20 0 15 0 113111007 14407233536 1036608 18446744073709551615 4194304 4196468 140726219848496 140417476021296 140418007050882 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 26136576 140726219855792 140726219858577 140726219858577 140726219861967 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4146432 KiB

Child status: 143
Real time (s): 217.958
CPU time (s): 252.112
CPU user time (s): 250.56
CPU system time (s): 1.55131
CPU usage (%): 115.67
Max. virtual memory (cumulated for all children) (KiB): 14070052
Max. memory (cumulated for all children) (KiB): 4146432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.56
system time used= 1.55131
maximum resident set size= 4147040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15479
involuntary context switches= 659


# summary of solver processes directly reported to runsolver:
#   pid: 5957
#   total CPU time (s): 252.112
#   total CPU user time (s): 250.56
#   total CPU system time (s): 1.55131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26608 second user time and 2.14347 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 21:21:50
IDJOB=4259700
IDBENCH=140592
IDSOLVER=2646
FILE ID=node133/4259700-1502652958
RUNJOBID= node133-1502641620-25473
PBS_JOBID= 
Free space on /tmp= 62004 MiB

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

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

MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509
RANDOM SEED=300032553

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28074316 kB
MemAvailable:   28724228 kB
Buffers:          243120 kB
Cached:           702084 kB
SwapCached:            0 kB
Active:          4049884 kB
Inactive:         191828 kB
Active(anon):    3237660 kB
Inactive(anon):   100804 kB
Active(file):     812224 kB
Inactive(file):    91024 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             25144 kB
Writeback:             8 kB
AnonPages:       3247968 kB
Mapped:            69932 kB
Shmem:             41660 kB
Slab:             152344 kB
SReclaimable:     125000 kB
SUnreclaim:        27344 kB
KernelStack:        3488 kB
PageTables:        11328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4731864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3002368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61980 MiB
End job on node133 at 2017-08-13 21:25:28