Trace number 4259698

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)893 252.19099 222.866

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-44.xml
MD5SUM0962135a9df7191e1203c0b83ceb0052
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 benchmark240.08299
Satisfiable
(Un)Satisfiability was proved
Number of variables1936
Number of constraints13244
Number of domains1
Minimum domain size946
Maximum domain size946
Distribution of domain sizes[{"size":946,"count":946}]
Minimum variable degree0
Maximum variable degree43
Distribution of variable degrees[{"degree":0,"count":990},{"degree":43,"count":946}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":13244}]
Number of extensional constraints0
Number of intensional constraints13244
Distribution of constraint types[{"type":"intension","count":13244}]
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.34/2.24	c Concrete v3.4 running
60.04/35.08	o 945
66.56/39.06	o 944
70.19/42.40	o 943
73.84/46.10	o 942
77.67/49.85	o 941
81.64/53.59	o 940
85.43/57.20	o 939
89.08/60.83	o 938
92.42/64.11	o 937
96.15/67.80	o 936
99.95/71.50	o 935
103.64/75.15	o 934
107.33/78.82	o 933
110.95/82.48	o 932
114.33/85.79	o 931
118.03/89.42	o 930
121.64/93.02	o 929
125.24/96.67	o 928
128.95/100.30	o 927
132.62/103.96	o 926
135.84/107.19	o 925
139.54/110.83	o 924
143.24/114.51	o 923
146.44/117.75	o 922
150.11/121.35	o 921
153.31/124.58	o 920
156.94/128.16	o 919
160.53/131.75	o 918
164.13/135.36	o 917
167.81/138.99	o 916
171.41/142.57	o 915
175.04/146.19	o 914
178.73/149.80	o 913
182.33/153.46	o 912
186.01/157.04	o 911
189.60/160.65	o 910
192.90/163.91	o 909
196.11/167.16	o 908
199.71/170.78	o 907
203.48/174.41	o 906
206.67/177.67	o 905
209.98/180.90	o 904
213.48/184.50	o 903
216.79/187.78	o 902
220.54/191.41	o 901
223.75/194.64	o 900
227.35/198.29	o 899
231.06/201.94	o 898
234.66/205.58	o 897
238.46/209.26	o 896
242.17/212.92	o 895
245.77/216.55	o 894
249.38/220.18	o 893
252.07/222.80	java.util.concurrent.TimeoutException
252.07/222.80		at concrete.MAC.mac(MAC.scala:74)
252.07/222.80		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.07/222.80		at scala.util.Try$.apply(Try.scala:209)
252.07/222.80		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.07/222.80		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.07/222.80		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.07/222.80		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.07/222.80		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.07/222.80		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.07/222.80		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.07/222.80		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.07/222.80		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.07/222.80		at concrete.MAC.oneRun(MAC.scala:146)
252.07/222.80		at concrete.MAC.nextSolution(MAC.scala:166)
252.07/222.80		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.07/222.80		at concrete.ProblemState.map(ProblemState.scala:203)
252.07/222.80		at concrete.ProblemState.map(ProblemState.scala:188)
252.07/222.80		at concrete.MAC.nextSolution(MAC.scala:195)
252.07/222.80		at concrete.Solver.hasNext(Solver.scala:202)
252.07/222.81		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.07/222.81		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.07/222.81		at concrete.Solver.toStream(Solver.scala:73)
252.07/222.81		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.07/222.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.07/222.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.07/222.81		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.07/222.81		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.07/222.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.07/222.81		at scala.util.Success.map(Try.scala:209)
252.07/222.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.07/222.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.07/222.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.07/222.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.07/222.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.07/222.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.07/222.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.07/222.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.07/222.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.07/222.81		at scala.collection.immutable.List.foreach(List.scala:389)
252.07/222.81		at scala.App.main(App.scala:76)
252.07/222.81		at scala.App.main$(App.scala:74)
252.07/222.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.07/222.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.07/222.82	v <instantiation cost="893">
252.07/222.82	v       <list>
252.07/222.82	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[39][40] x[39][41] x[39][42] x[39][43] x[40][41] x[40][42] x[40][43] x[41][42] x[41][43] x[42][43]
252.07/222.82	v       </list>
252.07/222.82	v       <values>
252.07/222.82	v         891 893 888 892 890 891 891 892 888 893 892 892 892 890 891 892 893 889 893 892 890 893 893 892 890 890 892 893 892 890 893 891 889 889 891 891 893 889 892 890 890 889 891 893 892 889 891 890 893 892 889 891 893 890 891 893 893 890 889 891 890 893 889 890 891 891 892 890 889 891 889 890 892 889 893 892 893 893 892 893 890 892 891 892 893 893 889 890 891 890 892 891 892 890 889 893 889 892 892 891 888 890 892 891 890 889 893 893 891 889 890 891 892 891 893 892 890 892 891 889 889 892 890 893 892 889 892 893 890 893 890 892 891 893 893 891 893 892 890 889 892 890 891 889 890 892 892 891 892 891 892 889 893 891 892 889 891 893 893 891 893 889 890 890 891 891 891 893 892 889 891 892 891 891 893 893 891 893 890 889 892 893 892 889 890 890 893 889 891 893 893 893 890 893 893 891 892 890 892 891 890 890 892 891 892 892 889 890 892 889 889 890 893 888 892 893 893 893 892 890 891 891 893 889 892 891 892 893 893 889 891 893 892 892 890 891 890 890 891 889 893 890 891 892 893 890 889 891 892 891 891 893 892 889 890 889 892 889 891 891 893 891 889 893 892 892 891 892 890 889 891 892 888 889 891 893 889 892 893 890 892 891 891 892 889 892 889 890 893 890 890 888 889 891 889 890 890 893 891 892 891 893 891 891 893 890 892 890 892 893 890 892 893 891 891 888 892 891 891 893 891 892 890 888 890 890 893 889 892 891 893 890 891 891 891 892 890 891 891 892 890 893 889 893 889 893 890 889 893 891 892 892 892 892 892 893 893 893 890 891 889 893 890 891 891 891 890 890 890 889 892 889 893 893 891 889 892 893 893 889 892 891 892 890 891 893 893 890 891 889 891 891 893 891 890 888 892 889 890 890 890 892 892 893 890 892 890 891 892 890 892 888 892 891 892 889 893 893 889 890 892 892 891 890 892 888 890 893 888 892 893 889 892 893 892 891 888 890 892 890 893 891 891 893 890 893 892 893 892 891 891 890 893 893 890 892 889 893 891 893 891 890 892 893 890 891 890 892 893 892 893 889 889 892 892 888 891 892 891 892 891 890 893 891 891 888 893 889 893 890 889 888 889 892 890 892 891 892 893 892 892 893 891 893 893 892 889 891 890 890 893 890 892 893 893 892 892 891 892 890 892 889 891 892 891 892 892 892 891 890 890 892 891 890 890 893 893 893 893 891 891 893 893 891 890 892 890 891 889 890 891 890 893 893 891 892 890 891 889 889 888 892 892 888 893 890 889 892 890 892 893 890 893 891 892 893 891 892 893 891 890 888 891 892 889 893 889 892 892 890 889 892 891 891 890 891 890 893 893 891 892 891 893 893 891 891 888 892 892 892 893 891 889 892 892 893 892 892 891 892 891 892 893 893 890 889 893 890 891 892 890 891 891 893 891 892 892 891 893 893 892 892 890 890 891 892 893 890 891 892 890 891 892 891 892 890 893 891 893 890 891 893 892 891 890 893 892 889 892 891 892 891 893 889 892 891 893 890 891 891 889 892 889 893 891 890 892 892 890 892 893 893 889 888 892 891 889 892 892 889 893 892 890 890 892 891 893 892 891 891 892 893 888 893 890 890 890 889 892 893 889 893 893 890 893 892 893 893 893 892 893 892 889 892 893 890 889 892 890 891 889 892 890 891 891 889 892 893 891 891 892 893 893 892 891 888 891 893 889 890 893 891 891 889 893 892 893 892 890 893 889 892 890 892 893 892 889 892 891 889 893 891 889 893 893 891 889 890 892 888 889 893 890 893 890 890 893 892 889 890 893 892 893 891 891 889 888 893 893 892 893 891 890 893 892 893 890 890 890 892 890 891 893 892 889 893 891 890 890 890 891 893 893 893 892 893 889 891 889 893 890 890 890 892 892 891 890 892 891 891 893 890 890 892 892 893 889 890 892 889 891 891 888 891 893 892 890 892 889 892 888 891 889 890 891 893 891 893 890 888 891 891 892 890 890 890 888 890 891 890 893 893 891 891 891 891 893 892 890 891 890 892 889 888 888 891 891 890 890 889 892 893 892 891 892 891 888 890 889 889 893 891 892 889 890 893 890 891 891 893 890 893 893 891 892 891 889 890 891 893 892 891 892 892 893 890
252.07/222.82	v       </values>
252.07/222.82	v     </instantiation>
252.07/222.82	s SATISFIABLE

Verifier Data 

OK	893

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 (15148 MiB free)
  memory of node 1: 16384 MiB (12418 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100131 s]*
/proc/loadavg: 2.11 1.97 1.92 2/200 5688
/proc/meminfo: memFree=28228140/32770624 swapFree=67108860/67108860
[pid=5687] ppid=5684 vsize=33976 memory=460 CPUtime=0 cores=0,2,4,6
/proc/5687/stat : 5687 (runsolver) D 5684 5687 8289 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 1 0 113088353 34791424 115 18446744073709551615 4194304 4346622 140723515064816 140723515061448 140685507060439 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6446216 6449568 31891456 140723515068595 140723515068969 140723515068969 140723515072458 0
/proc/5687/statm: 8494 115 53 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 460 KiB

[startup+0.209492 s]*
/proc/loadavg: 2.11 1.97 1.92 2/216 5732
/proc/meminfo: memFree=28213512/32770624 swapFree=67108860/67108860
[pid=5687] ppid=5684 vsize=9636 memory=1508 CPUtime=0.01 cores=0,2,4,6
/proc/5687/stat : 5687 (bash) S 5684 5687 8289 0 -1 4202496 893 6474 0 0 0 0 0 1 20 0 1 0 113088353 9867264 377 18446744073709551615 4194304 5098028 140735165082896 140735165076904 140118360509440 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 11 0 0 7196144 7232144 15687680 140735165084148 140735165084233 140735165084233 140735165087722 0
/proc/5687/statm: 2409 377 297 221 0 118 0
[pid=5717] ppid=5687 vsize=9636 memory=700 CPUtime=0 cores=0,2,4,6
/proc/5717/stat : 5717 (bash) S 5687 5687 8289 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 1 0 113088366 9867264 175 18446744073709551615 4194304 5098028 140735165082896 140735165075576 140118360334972 0 65536 1 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15687680 140735165084148 140735165084233 140735165084233 140735165087722 0
/proc/5717/statm: 2409 175 95 221 0 118 0
[pid=5718] ppid=5717 vsize=10485312 memory=23552 CPUtime=0.06 cores=0,2,4,6
/proc/5718/stat : 5718 (java) S 5717 5687 8289 0 -1 1077944320 4841 0 0 0 5 1 0 0 20 0 14 0 113088366 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 140722226939040 139649978396407 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
/proc/5718/statm: 2621328 5888 2567 1 0 2610825 0
[pid=5718/tid=5720] ppid=5717 vsize=10485312 memory=8508281356422319006 CPUtime=0.04 cores=0,2,4,6
/proc/5718/task/5720/stat : 5720 (java) D 5717 5687 8289 0 -1 4202560 2972 0 0 0 4 0 0 0 20 0 14 0 113088366 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649982633888 139649978418429 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5721] ppid=5717 vsize=10485312 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5721/stat : 5721 (java) S 5717 5687 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113088367 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649924745616 139649978406613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5722] ppid=5717 vsize=10485312 memory=140685510010496 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5722/stat : 5722 (java) S 5717 5687 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113088367 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649923692816 139649978406613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5723] ppid=5717 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5723/stat : 5723 (java) S 5717 5687 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113088367 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649587403408 139649978406613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5724] ppid=5717 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5724/stat : 5724 (java) S 5717 5687 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113088367 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649586350608 139649978406613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5725] ppid=5717 vsize=10485312 memory=140685510010496 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5725/stat : 5725 (java) S 5717 5687 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113088368 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649557834352 139649978407554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5726] ppid=5717 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5726/stat : 5726 (java) S 5717 5687 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 113088369 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649556780320 139649978406613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5727] ppid=5717 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5727/stat : 5727 (java) S 5717 5687 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 113088369 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649555727984 139649978406613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5728] ppid=5717 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5728/stat : 5728 (java) S 5717 5687 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113088371 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649554676304 139649978415003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5729] ppid=5717 vsize=10485312 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5729/stat : 5729 (java) S 5717 5687 8289 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 14 0 113088371 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649553623152 139649978407554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5730] ppid=5717 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5730/stat : 5730 (java) S 5717 5687 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113088372 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649552570352 139649978407554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5731] ppid=5717 vsize=10485312 memory=140685510010496 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5731/stat : 5731 (java) S 5717 5687 8289 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 14 0 113088372 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649551518064 139649978407554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5718/tid=5732] ppid=5717 vsize=10485312 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5718/task/5732/stat : 5732 (java) S 5717 5687 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113088372 10736959488 5888 18446744073709551615 4194304 4196468 140722226956496 139649550465504 139649978406613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16023552 140722226963032 140722226963046 140722226963046 140722226966479 0
[pid=5719] ppid=5717 vsize=9872 memory=972 CPUtime=0 cores=0,2,4,6
/proc/5719/stat : 5719 (awk) S 5717 5687 8289 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 113088366 10108928 243 18446744073709551615 4194304 4609284 140722978046512 140722978045688 140147920993280 0 0 1 1216 18446744071580971376 0 0 17 6 0 0 0 0 0 6708720 6711756 29155328 140722978054784 140722978054814 140722978054814 140722978058219 0
/proc/5719/statm: 2468 243 203 102 0 88 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10514456 KiB
Current children cumulated memory: 26732 KiB

[startup+0.310518 s]*
/proc/loadavg: 2.11 1.97 1.92 2/213 5749
/proc/meminfo: memFree=28215464/32770624 swapFree=67108860/67108860
[pid=5687] ppid=5684 vsize=13907308 memory=21516 CPUtime=0.12 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5684 5687 8289 0 -1 1077944320 5695 12664 0 0 4 1 5 2 20 0 14 0 113088353 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140727072528368 140701920394999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
/proc/5687/statm: 3476827 5379 2561 1 0 3466324 0
[pid=5687/tid=5737] ppid=5684 vsize=13907308 memory=4278483708103473607 CPUtime=0.12 cores=0,2,4,6
/proc/5687/task/5737/stat : 5737 (java) D 5684 5687 8289 0 -1 4202560 2957 12664 0 0 4 1 5 2 20 0 14 0 113088377 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701924632480 140701920417021 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5738] ppid=5684 vsize=13907308 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5738/stat : 5738 (java) S 5684 5687 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 14 0 113088377 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701854828816 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5739] ppid=5684 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5739/stat : 5739 (java) S 5684 5687 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 14 0 113088377 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701519755664 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5740] ppid=5684 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5740/stat : 5740 (java) S 5684 5687 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 14 0 113088377 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701518703120 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5741] ppid=5684 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5741/stat : 5741 (java) S 5684 5687 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 14 0 113088377 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701517650576 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5742] ppid=5684 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5742/stat : 5742 (java) S 5684 5687 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 14 0 113088379 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701466098160 140701920406146 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5743] ppid=5684 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5743/stat : 5743 (java) S 5684 5687 8289 0 -1 1077944384 33 12664 0 0 0 0 5 2 20 0 14 0 113088379 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701465044384 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5744] ppid=5684 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5744/stat : 5744 (java) S 5684 5687 8289 0 -1 1077944384 21 12664 0 0 0 0 5 2 20 0 14 0 113088379 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701463991792 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5745] ppid=5684 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5745/stat : 5745 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 14 0 113088382 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701462940368 140701920413595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5746] ppid=5684 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5746/stat : 5746 (java) S 5684 5687 8289 0 -1 1077944384 291 12664 0 0 0 0 5 2 20 0 14 0 113088382 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701461886960 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5747] ppid=5684 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5747/stat : 5747 (java) S 5684 5687 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 14 0 113088382 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701460834416 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5748] ppid=5684 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5748/stat : 5748 (java) S 5684 5687 8289 0 -1 1077944384 227 12664 0 0 0 0 5 2 20 0 14 0 113088382 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701459781872 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5749] ppid=5684 vsize=13907308 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5749/stat : 5749 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 14 0 113088382 14241083392 5379 18446744073709551615 4194304 4196468 140727072545824 140701458729568 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 21516 KiB

[startup+0.701626 s]
/proc/loadavg: 2.11 1.97 1.92 3/214 5750
/proc/meminfo: memFree=28189604/32770624 swapFree=67108860/67108860
[pid=5687] ppid=5684 vsize=13974784 memory=56296 CPUtime=0.61 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5684 5687 8289 0 -1 1077944320 13626 12664 0 0 49 5 5 2 20 0 15 0 113088353 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140727072528368 140701920394999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
/proc/5687/statm: 3493696 14074 3077 1 0 3482965 0
[pid=5687/tid=5737] ppid=5684 vsize=13974784 memory=134224370 CPUtime=0.47 cores=0,2,4,6
/proc/5687/task/5737/stat : 5737 (java) R 5684 5687 8289 0 -1 4202560 10073 12664 0 0 37 3 5 2 20 0 15 0 113088377 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701924615984 140701920406934 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5738] ppid=5684 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5738/stat : 5738 (java) S 5684 5687 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 113088377 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701854828816 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5739] ppid=5684 vsize=13974784 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5739/stat : 5739 (java) S 5684 5687 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 113088377 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701519755664 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5740] ppid=5684 vsize=13974784 memory=281370824001632 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5740/stat : 5740 (java) S 5684 5687 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 15 0 113088377 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701518703120 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5741] ppid=5684 vsize=13974784 memory=288230617509003574 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5741/stat : 5741 (java) S 5684 5687 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 15 0 113088377 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701517650576 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5742] ppid=5684 vsize=13974784 memory=14689686622832056 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5742/stat : 5742 (java) S 5684 5687 8289 0 -1 1077944384 5 12664 0 0 0 0 5 2 20 0 15 0 113088379 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701466098160 140701920406146 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5743] ppid=5684 vsize=13974784 memory=1008 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5743/stat : 5743 (java) S 5684 5687 8289 0 -1 1077944384 33 12664 0 0 0 0 5 2 20 0 15 0 113088379 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701465044384 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5744] ppid=5684 vsize=13974784 memory=2012 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5744/stat : 5744 (java) S 5684 5687 8289 0 -1 1077944384 21 12664 0 0 0 0 5 2 20 0 15 0 113088379 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701463991792 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5745] ppid=5684 vsize=13974784 memory=11136 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5745/stat : 5745 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701462940368 140701920413595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5746] ppid=5684 vsize=13974784 memory=5788 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5746/stat : 5746 (java) S 5684 5687 8289 0 -1 1077944384 432 12664 0 0 2 0 5 2 20 0 15 0 113088382 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701461886960 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5747] ppid=5684 vsize=13974784 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5747/stat : 5747 (java) S 5684 5687 8289 0 -1 1077944384 340 12664 0 0 1 0 5 2 20 0 15 0 113088382 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701460834416 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5748] ppid=5684 vsize=13974784 memory=1436 CPUtime=0.14 cores=0,2,4,6
/proc/5687/task/5748/stat : 5748 (java) S 5684 5687 8289 0 -1 1077944384 559 12664 0 0 7 0 5 2 20 0 15 0 113088382 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701459781872 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5749] ppid=5684 vsize=13974784 memory=1200 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5749/stat : 5749 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701458729568 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5750] ppid=5684 vsize=13974784 memory=15876 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5750/stat : 5750 (java) S 5684 5687 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 113088387 14310178816 14074 18446744073709551615 4194304 4196468 140727072545824 140701457677104 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 56296 KiB

[startup+1.50074 s]
/proc/loadavg: 2.11 1.97 1.92 3/214 5750
/proc/meminfo: memFree=28150196/32770624 swapFree=67108860/67108860
[pid=5687] ppid=5684 vsize=13985408 memory=135388 CPUtime=1.8 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5684 5687 8289 0 -1 1077944320 27755 12664 0 0 165 8 5 2 20 0 15 0 113088353 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140727072528368 140701920394999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
/proc/5687/statm: 3496352 33847 3341 1 0 3485525 0
[pid=5687/tid=5737] ppid=5684 vsize=13985408 memory=-7662980745959663145 CPUtime=1.28 cores=0,2,4,6
/proc/5687/task/5737/stat : 5737 (java) R 5684 5687 8289 0 -1 4202560 22416 12664 0 0 115 6 5 2 20 0 15 0 113088377 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701924626072 140701904438629 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5738] ppid=5684 vsize=13985408 memory=7679937479730885434 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5738/stat : 5738 (java) S 5684 5687 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 113088377 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701854828816 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5739] ppid=5684 vsize=13985408 memory=9281 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5739/stat : 5739 (java) S 5684 5687 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 113088377 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701519755664 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5740] ppid=5684 vsize=13985408 memory=288230591739199792 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5740/stat : 5740 (java) S 5684 5687 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 15 0 113088377 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701518703120 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5741] ppid=5684 vsize=13985408 memory=14132229932582198 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5741/stat : 5741 (java) S 5684 5687 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 15 0 113088377 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701517650576 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5742] ppid=5684 vsize=13985408 memory=140685411911952 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5742/stat : 5742 (java) S 5684 5687 8289 0 -1 1077944384 5 12664 0 0 0 0 5 2 20 0 15 0 113088379 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701466098160 140701920406146 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5743] ppid=5684 vsize=13985408 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5743/stat : 5743 (java) S 5684 5687 8289 0 -1 1077944384 33 12664 0 0 0 0 5 2 20 0 15 0 113088379 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701465044384 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5744] ppid=5684 vsize=13985408 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5744/stat : 5744 (java) S 5684 5687 8289 0 -1 1077944384 21 12664 0 0 0 0 5 2 20 0 15 0 113088379 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701463991792 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5745] ppid=5684 vsize=13985408 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5745/stat : 5745 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701462940368 140701920413595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5746] ppid=5684 vsize=13985408 memory=7 CPUtime=0.2 cores=0,2,4,6
/proc/5687/task/5746/stat : 5746 (java) S 5684 5687 8289 0 -1 1077944384 904 12664 0 0 13 0 5 2 20 0 15 0 113088382 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701461886960 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5747] ppid=5684 vsize=13985408 memory=7 CPUtime=0.21 cores=0,2,4,6
/proc/5687/task/5747/stat : 5747 (java) S 5684 5687 8289 0 -1 1077944384 866 12664 0 0 14 0 5 2 20 0 15 0 113088382 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701460834416 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5748] ppid=5684 vsize=13985408 memory=134224370 CPUtime=0.29 cores=0,2,4,6
/proc/5687/task/5748/stat : 5748 (java) R 5684 5687 8289 0 -1 4202560 1341 12664 0 0 22 0 5 2 20 0 15 0 113088382 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701459781872 140701920416346 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5749] ppid=5684 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5749/stat : 5749 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701458729568 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5750] ppid=5684 vsize=13985408 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5750/stat : 5750 (java) S 5684 5687 8289 0 -1 1077944384 9 12664 0 0 0 0 5 2 20 0 15 0 113088387 14321057792 33847 18446744073709551615 4194304 4196468 140727072545824 140701457677104 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 135388 KiB

[startup+3.1113 s]
/proc/loadavg: 2.26 2.00 1.93 5/214 5750
/proc/meminfo: memFree=27940672/32770624 swapFree=67108860/67108860

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

/proc/5687/task/5737/stat : 5737 (java) R 5684 5687 8289 0 -1 4202560 56934 12664 0 0 9862 54 5 2 20 0 15 0 113088377 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701924631176 140701539869839 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5738] ppid=5684 vsize=14069564 memory=55 CPUtime=2.57 cores=0,2,4,6
/proc/5687/task/5738/stat : 5738 (java) S 5684 5687 8289 0 -1 1077944384 1543 12664 0 0 234 16 5 2 20 0 15 0 113088377 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701854828816 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5739] ppid=5684 vsize=14069564 memory=281370824046256 CPUtime=2.55 cores=0,2,4,6
/proc/5687/task/5739/stat : 5739 (java) S 5684 5687 8289 0 -1 1077944384 2171 12664 0 0 233 15 5 2 20 0 15 0 113088377 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701519755664 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5740] ppid=5684 vsize=14069564 memory=3927864 CPUtime=2.55 cores=0,2,4,6
/proc/5687/task/5740/stat : 5740 (java) S 5684 5687 8289 0 -1 1077944384 1219 12664 0 0 233 15 5 2 20 0 15 0 113088377 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701518703120 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5741] ppid=5684 vsize=14069564 memory=1232 CPUtime=2.55 cores=0,2,4,6
/proc/5687/task/5741/stat : 5741 (java) S 5684 5687 8289 0 -1 1077944384 1351 12664 0 0 233 15 5 2 20 0 15 0 113088377 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701517650576 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5742] ppid=5684 vsize=14069564 memory=3927864 CPUtime=0.33 cores=0,2,4,6
/proc/5687/task/5742/stat : 5742 (java) S 5684 5687 8289 0 -1 1077944384 7120 12664 0 0 26 0 5 2 20 0 15 0 113088379 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701466098160 140701920406146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5743] ppid=5684 vsize=14069564 memory=3927864 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5743/stat : 5743 (java) S 5684 5687 8289 0 -1 1077944384 68 12664 0 0 0 0 5 2 20 0 15 0 113088379 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701465044448 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5744] ppid=5684 vsize=14069564 memory=288230574492221466 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5744/stat : 5744 (java) S 5684 5687 8289 0 -1 1077944384 57 12664 0 0 0 0 5 2 20 0 15 0 113088379 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701463991808 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5745] ppid=5684 vsize=14069564 memory=288230617509003574 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5745/stat : 5745 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701462940368 140701920413595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5746] ppid=5684 vsize=14069564 memory=3927864 CPUtime=9.77 cores=0,2,4,6
/proc/5687/task/5746/stat : 5746 (java) S 5684 5687 8289 0 -1 1077944384 20338 12664 0 0 966 4 5 2 20 0 15 0 113088382 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701461886960 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5747] ppid=5684 vsize=14069564 memory=3927864 CPUtime=9.1 cores=0,2,4,6
/proc/5687/task/5747/stat : 5747 (java) S 5684 5687 8289 0 -1 1077944384 14227 12664 0 0 898 5 5 2 20 0 15 0 113088382 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701460834416 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5748] ppid=5684 vsize=14069564 memory=288230574492221466 CPUtime=2.72 cores=0,2,4,6
/proc/5687/task/5748/stat : 5748 (java) S 5684 5687 8289 0 -1 1077944384 17004 12664 0 0 261 4 5 2 20 0 15 0 113088382 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701459781872 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5749] ppid=5684 vsize=14069564 memory=288230617509003574 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5749/stat : 5749 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701458729568 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5750] ppid=5684 vsize=14069564 memory=8255 CPUtime=0.11 cores=0,2,4,6
/proc/5687/task/5750/stat : 5750 (java) S 5684 5687 8289 0 -1 1077944384 126 12664 0 0 2 2 5 2 20 0 15 0 113088387 14407233536 998351 18446744073709551615 4194304 4196468 140727072545824 140701457677104 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
Current children cumulated CPU time: 130.96 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 3993404 KiB

[startup+162.301 s]
/proc/loadavg: 1.85 1.97 1.94 3/217 5768
/proc/meminfo: memFree=23139612/32770624 swapFree=67108860/67108860
[pid=5687] ppid=5684 vsize=14069564 memory=4095876 CPUtime=191.3 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5684 5687 8289 0 -1 1077944320 135536 12664 0 0 18982 141 5 2 20 0 15 0 113088353 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140727072528368 140701920394999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
/proc/5687/statm: 3517391 1023969 3497 1 0 3506005 0
[pid=5687/tid=5737] ppid=5684 vsize=14069564 memory=4095876 CPUtime=159.16 cores=0,2,4,6
/proc/5687/task/5737/stat : 5737 (java) R 5684 5687 8289 0 -1 4202560 62459 12664 0 0 15853 56 5 2 20 0 15 0 113088377 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701924623552 140701551245280 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5738] ppid=5684 vsize=14069564 memory=4095876 CPUtime=2.64 cores=0,2,4,6
/proc/5687/task/5738/stat : 5738 (java) S 5684 5687 8289 0 -1 1077944384 1912 12664 0 0 240 17 5 2 20 0 15 0 113088377 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701854828816 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5739] ppid=5684 vsize=14069564 memory=281370824900560 CPUtime=2.62 cores=0,2,4,6
/proc/5687/task/5739/stat : 5739 (java) S 5684 5687 8289 0 -1 1077944384 2254 12664 0 0 239 16 5 2 20 0 15 0 113088377 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701519755664 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5740] ppid=5684 vsize=14069564 memory=4095876 CPUtime=2.63 cores=0,2,4,6
/proc/5687/task/5740/stat : 5740 (java) S 5684 5687 8289 0 -1 1077944384 2605 12664 0 0 239 17 5 2 20 0 15 0 113088377 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701518703120 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5741] ppid=5684 vsize=14069564 memory=4095876 CPUtime=2.62 cores=0,2,4,6
/proc/5687/task/5741/stat : 5741 (java) S 5684 5687 8289 0 -1 1077944384 1428 12664 0 0 239 16 5 2 20 0 15 0 113088377 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701517650576 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5742] ppid=5684 vsize=14069564 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/5687/task/5742/stat : 5742 (java) S 5684 5687 8289 0 -1 1077944384 7406 12664 0 0 26 0 5 2 20 0 15 0 113088379 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701466098160 140701920406146 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5743] ppid=5684 vsize=14069564 memory=4073292 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5743/stat : 5743 (java) S 5684 5687 8289 0 -1 1077944384 73 12664 0 0 0 0 5 2 20 0 15 0 113088379 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701465044448 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5744] ppid=5684 vsize=14069564 memory=4091780 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5744/stat : 5744 (java) S 5684 5687 8289 0 -1 1077944384 57 12664 0 0 0 0 5 2 20 0 15 0 113088379 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701463991808 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5745] ppid=5684 vsize=14069564 memory=14356 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5745/stat : 5745 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701462940368 140701920413595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5746] ppid=5684 vsize=14069564 memory=1008 CPUtime=9.8 cores=0,2,4,6
/proc/5687/task/5746/stat : 5746 (java) S 5684 5687 8289 0 -1 1077944384 21261 12664 0 0 969 4 5 2 20 0 15 0 113088382 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701461886960 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5747] ppid=5684 vsize=14069564 memory=4095876 CPUtime=9.14 cores=0,2,4,6
/proc/5687/task/5747/stat : 5747 (java) S 5684 5687 8289 0 -1 1077944384 15802 12664 0 0 902 5 5 2 20 0 15 0 113088382 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701460834416 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5748] ppid=5684 vsize=14069564 memory=4095876 CPUtime=2.74 cores=0,2,4,6
/proc/5687/task/5748/stat : 5748 (java) S 5684 5687 8289 0 -1 1077944384 17829 12664 0 0 263 4 5 2 20 0 15 0 113088382 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701459781872 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5749] ppid=5684 vsize=14069564 memory=7680170660397595203 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5749/stat : 5749 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701458729568 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5750] ppid=5684 vsize=14069564 memory=7897517683652307531 CPUtime=0.16 cores=0,2,4,6
/proc/5687/task/5750/stat : 5750 (java) S 5684 5687 8289 0 -1 1077944384 294 12664 0 0 5 4 5 2 20 0 15 0 113088387 14407233536 1023969 18446744073709551615 4194304 4196468 140727072545824 140701457677104 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
Current children cumulated CPU time: 191.3 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4095876 KiB

[startup+222.301 s]
/proc/loadavg: 2.04 2.01 1.95 3/214 5895
/proc/meminfo: memFree=23995260/32770624 swapFree=67108860/67108860
[pid=5687] ppid=5684 vsize=14069564 memory=4124572 CPUtime=251.57 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5684 5687 8289 0 -1 1077944320 150671 12664 0 0 25001 149 5 2 20 0 15 0 113088353 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140727072528368 140701920394999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
/proc/5687/statm: 3517391 1031143 3499 1 0 3506005 0
[pid=5687/tid=5737] ppid=5684 vsize=14069564 memory=4124572 CPUtime=219.1 cores=0,2,4,6
/proc/5687/task/5737/stat : 5737 (java) R 5684 5687 8289 0 -1 4202560 67996 12664 0 0 21844 59 5 2 20 0 15 0 113088377 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701924626160 140701550320496 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5738] ppid=5684 vsize=14069564 memory=4124572 CPUtime=2.7 cores=0,2,4,6
/proc/5687/task/5738/stat : 5738 (java) S 5684 5687 8289 0 -1 1077944384 2479 12664 0 0 245 18 5 2 20 0 15 0 113088377 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701854828816 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5739] ppid=5684 vsize=14069564 memory=4124572 CPUtime=2.66 cores=0,2,4,6
/proc/5687/task/5739/stat : 5739 (java) S 5684 5687 8289 0 -1 1077944384 2378 12664 0 0 243 16 5 2 20 0 15 0 113088377 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701519755664 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5740] ppid=5684 vsize=14069564 memory=20124 CPUtime=2.67 cores=0,2,4,6
/proc/5687/task/5740/stat : 5740 (java) S 5684 5687 8289 0 -1 1077944384 3760 12664 0 0 243 17 5 2 20 0 15 0 113088377 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701518703120 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5741] ppid=5684 vsize=14069564 memory=23269 CPUtime=2.67 cores=0,2,4,6
/proc/5687/task/5741/stat : 5741 (java) S 5684 5687 8289 0 -1 1077944384 1462 12664 0 0 244 16 5 2 20 0 15 0 113088377 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701517650576 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5742] ppid=5684 vsize=14069564 memory=54796 CPUtime=0.33 cores=0,2,4,6
/proc/5687/task/5742/stat : 5742 (java) S 5684 5687 8289 0 -1 1077944384 7724 12664 0 0 26 0 5 2 20 0 15 0 113088379 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701466098160 140701920406146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5743] ppid=5684 vsize=14069564 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5743/stat : 5743 (java) S 5684 5687 8289 0 -1 1077944384 78 12664 0 0 0 0 5 2 20 0 15 0 113088379 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701465044448 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5744] ppid=5684 vsize=14069564 memory=4114324 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5744/stat : 5744 (java) S 5684 5687 8289 0 -1 1077944384 57 12664 0 0 0 0 5 2 20 0 15 0 113088379 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701463991808 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5745] ppid=5684 vsize=14069564 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5745/stat : 5745 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701462940368 140701920413595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5746] ppid=5684 vsize=14069564 memory=2440 CPUtime=9.82 cores=0,2,4,6
/proc/5687/task/5746/stat : 5746 (java) S 5684 5687 8289 0 -1 1077944384 22526 12664 0 0 971 4 5 2 20 0 15 0 113088382 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701461886960 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5747] ppid=5684 vsize=14069564 memory=1724 CPUtime=9.17 cores=0,2,4,6
/proc/5687/task/5747/stat : 5747 (java) S 5684 5687 8289 0 -1 1077944384 16827 12664 0 0 905 5 5 2 20 0 15 0 113088382 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701460834416 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5748] ppid=5684 vsize=14069564 memory=4124572 CPUtime=2.77 cores=0,2,4,6
/proc/5687/task/5748/stat : 5748 (java) S 5684 5687 8289 0 -1 1077944384 22893 12664 0 0 266 4 5 2 20 0 15 0 113088382 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701459781872 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5749] ppid=5684 vsize=14069564 memory=4124572 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5749/stat : 5749 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701458729568 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5750] ppid=5684 vsize=14069564 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/5687/task/5750/stat : 5750 (java) S 5684 5687 8289 0 -1 1077944384 335 12664 0 0 6 5 5 2 20 0 15 0 113088387 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701457677104 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
Current children cumulated CPU time: 251.57 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4124572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+222.801 s]
/proc/loadavg: 2.04 2.01 1.95 3/214 5895
/proc/meminfo: memFree=23995260/32770624 swapFree=67108860/67108860
[pid=5687] ppid=5684 vsize=14069564 memory=4124572 CPUtime=252.07 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5684 5687 8289 0 -1 1077944320 150671 12664 0 0 25051 149 5 2 20 0 15 0 113088353 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140727072528368 140701920394999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
/proc/5687/statm: 3517391 1031143 3499 1 0 3506005 0
[pid=5687/tid=5737] ppid=5684 vsize=14069564 memory=14689686622832056 CPUtime=219.6 cores=0,2,4,6
/proc/5687/task/5737/stat : 5737 (java) R 5684 5687 8289 0 -1 4202560 67996 12664 0 0 21894 59 5 2 20 0 15 0 113088377 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701924626160 140701550452679 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5738] ppid=5684 vsize=14069564 memory=4588 CPUtime=2.7 cores=0,2,4,6
/proc/5687/task/5738/stat : 5738 (java) S 5684 5687 8289 0 -1 1077944384 2479 12664 0 0 245 18 5 2 20 0 15 0 113088377 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701854828816 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5739] ppid=5684 vsize=14069564 memory=1156 CPUtime=2.66 cores=0,2,4,6
/proc/5687/task/5739/stat : 5739 (java) S 5684 5687 8289 0 -1 1077944384 2378 12664 0 0 243 16 5 2 20 0 15 0 113088377 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701519755664 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5740] ppid=5684 vsize=14069564 memory=2872 CPUtime=2.67 cores=0,2,4,6
/proc/5687/task/5740/stat : 5740 (java) S 5684 5687 8289 0 -1 1077944384 3760 12664 0 0 243 17 5 2 20 0 15 0 113088377 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701518703120 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5741] ppid=5684 vsize=14069564 memory=4064 CPUtime=2.67 cores=0,2,4,6
/proc/5687/task/5741/stat : 5741 (java) S 5684 5687 8289 0 -1 1077944384 1462 12664 0 0 244 16 5 2 20 0 15 0 113088377 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701517650576 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5742] ppid=5684 vsize=14069564 memory=4040 CPUtime=0.33 cores=0,2,4,6
/proc/5687/task/5742/stat : 5742 (java) S 5684 5687 8289 0 -1 1077944384 7724 12664 0 0 26 0 5 2 20 0 15 0 113088379 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701466098160 140701920406146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5743] ppid=5684 vsize=14069564 memory=33664 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5743/stat : 5743 (java) S 5684 5687 8289 0 -1 1077944384 78 12664 0 0 0 0 5 2 20 0 15 0 113088379 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701465044448 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5744] ppid=5684 vsize=14069564 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5744/stat : 5744 (java) S 5684 5687 8289 0 -1 1077944384 57 12664 0 0 0 0 5 2 20 0 15 0 113088379 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701463991808 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5745] ppid=5684 vsize=14069564 memory=640 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5745/stat : 5745 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701462940368 140701920413595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5746] ppid=5684 vsize=14069564 memory=1792 CPUtime=9.82 cores=0,2,4,6
/proc/5687/task/5746/stat : 5746 (java) S 5684 5687 8289 0 -1 1077944384 22526 12664 0 0 971 4 5 2 20 0 15 0 113088382 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701461886960 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5747] ppid=5684 vsize=14069564 memory=7680170660397595203 CPUtime=9.17 cores=0,2,4,6
/proc/5687/task/5747/stat : 5747 (java) S 5684 5687 8289 0 -1 1077944384 16827 12664 0 0 905 5 5 2 20 0 15 0 113088382 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701460834416 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5748] ppid=5684 vsize=14069564 memory=1620 CPUtime=2.77 cores=0,2,4,6
/proc/5687/task/5748/stat : 5748 (java) S 5684 5687 8289 0 -1 1077944384 22893 12664 0 0 266 4 5 2 20 0 15 0 113088382 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701459781872 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5749] ppid=5684 vsize=14069564 memory=4124572 CPUtime=0.07 cores=0,2,4,6
/proc/5687/task/5749/stat : 5749 (java) S 5684 5687 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 113088382 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701458729568 140701920405205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
[pid=5687/tid=5750] ppid=5684 vsize=14069564 memory=18484 CPUtime=0.18 cores=0,2,4,6
/proc/5687/task/5750/stat : 5750 (java) S 5684 5687 8289 0 -1 1077944384 335 12664 0 0 6 5 5 2 20 0 15 0 113088387 14407233536 1031143 18446744073709551615 4194304 4196468 140727072545824 140701457677104 140701920406146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32321536 140727072552880 140727072555665 140727072555665 140727072559055 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4124572 KiB

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

[startup+222.866 s]
# the end of solver process 5687 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.634 s, system=1.55712 s

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

Child status: 143
Real time (s): 222.866
CPU time (s): 252.191
CPU user time (s): 250.634
CPU system time (s): 1.55712
CPU usage (%): 113.158
Max. virtual memory (cumulated for all children) (KiB): 14070036
Max. memory (cumulated for all children) (KiB): 4124572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.634
system time used= 1.55712
maximum resident set size= 4124840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165168
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= 15954
involuntary context switches= 703


# summary of solver processes directly reported to runsolver:
#   pid: 5687
#   total CPU time (s): 252.191
#   total CPU user time (s): 250.634
#   total CPU system time (s): 1.55712

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35482 second user time and 2.16 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 21:18:04
IDJOB=4259698
IDBENCH=140589
IDSOLVER=2646
FILE ID=node133/4259698-1502652732
RUNJOBID= node133-1502641620-25473
PBS_JOBID= 
Free space on /tmp= 62008 MiB

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

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

MD5SUM BENCH= 0962135a9df7191e1203c0b83ceb0052
RANDOM SEED=1937001508

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:        28229352 kB
MemAvailable:   28878568 kB
Buffers:          243044 kB
Cached:           701800 kB
SwapCached:            0 kB
Active:          3897396 kB
Inactive:         191756 kB
Active(anon):    3085780 kB
Inactive(anon):   100804 kB
Active(file):     811616 kB
Inactive(file):    90952 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24768 kB
Writeback:             0 kB
AnonPages:       3145120 kB
Mapped:            69932 kB
Shmem:             41660 kB
Slab:             152260 kB
SReclaimable:     124968 kB
SUnreclaim:        27292 kB
KernelStack:        3520 kB
PageTables:        11192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4990296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2910208 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:21:47