Trace number 4259699

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)991 252.15199 219.35699

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-46.xml
MD5SUM6af071621bab6d4e45a1e2acc37440b7
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.04201
Satisfiable
(Un)Satisfiability was proved
Number of variables2116
Number of constraints15180
Number of domains1
Minimum domain size1035
Maximum domain size1035
Distribution of domain sizes[{"size":1035,"count":1035}]
Minimum variable degree0
Maximum variable degree45
Distribution of variable degrees[{"degree":0,"count":1081},{"degree":45,"count":1035}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":15180}]
Number of extensional constraints0
Number of intensional constraints15180
Distribution of constraint types[{"type":"intension","count":15180}]
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.21/2.19	c Concrete v3.4 running
66.83/38.96	o 1034
74.33/43.81	o 1033
78.50/47.90	o 1032
82.63/52.05	o 1031
87.13/56.30	o 1030
91.54/60.37	o 1029
95.67/64.45	o 1028
100.21/68.60	o 1027
104.37/72.74	o 1026
108.61/76.85	o 1025
112.79/80.96	o 1024
116.93/84.94	o 1023
120.93/88.93	o 1022
125.24/93.06	o 1021
129.25/97.11	o 1020
133.36/101.14	o 1019
137.45/105.23	o 1018
141.61/109.35	o 1017
145.71/113.44	o 1016
149.72/117.48	o 1015
153.82/121.55	o 1014
157.92/125.61	o 1013
162.50/130.17	o 1012
166.59/134.25	o 1011
170.20/137.88	o 1010
174.31/141.92	o 1009
178.46/146.01	o 1008
182.56/150.15	o 1007
186.68/154.22	o 1006
190.69/158.27	o 1005
194.79/162.33	o 1004
198.95/166.40	o 1003
202.96/170.45	o 1002
207.47/174.93	o 1001
211.47/178.95	o 1000
215.64/183.03	o 999
219.64/187.07	o 998
223.76/191.13	o 997
227.86/195.23	o 996
231.86/199.24	o 995
236.02/203.32	o 994
240.02/207.36	o 993
244.12/211.44	o 992
248.23/215.59	o 991
252.08/219.30	java.util.concurrent.TimeoutException
252.08/219.30		at concrete.MAC.mac(MAC.scala:74)
252.08/219.30		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.08/219.30		at scala.util.Try$.apply(Try.scala:209)
252.08/219.30		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.08/219.30		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.08/219.30		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.08/219.30		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.08/219.30		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.08/219.30		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.08/219.30		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.08/219.30		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.08/219.30		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.08/219.30		at concrete.MAC.oneRun(MAC.scala:146)
252.08/219.30		at concrete.MAC.nextSolution(MAC.scala:166)
252.08/219.30		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.08/219.30		at concrete.ProblemState.map(ProblemState.scala:203)
252.08/219.30		at concrete.ProblemState.map(ProblemState.scala:188)
252.08/219.30		at concrete.MAC.nextSolution(MAC.scala:195)
252.08/219.30		at concrete.Solver.hasNext(Solver.scala:202)
252.08/219.30		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.08/219.30		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.08/219.30		at concrete.Solver.toStream(Solver.scala:73)
252.08/219.30		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.08/219.30		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.08/219.30		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.08/219.30		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.08/219.30		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.08/219.30		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.08/219.30		at scala.util.Success.map(Try.scala:209)
252.08/219.30		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.08/219.30		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.08/219.30		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.08/219.30		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.08/219.30		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.08/219.30		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.08/219.30		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.08/219.30		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.08/219.30		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.08/219.31		at scala.collection.immutable.List.foreach(List.scala:389)
252.08/219.31		at scala.App.main(App.scala:76)
252.08/219.31		at scala.App.main$(App.scala:74)
252.08/219.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.08/219.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.08/219.31	v <instantiation cost="991">
252.08/219.31	v       <list>
252.08/219.31	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][42] x[41][43] x[41][44] x[41][45] x[42][43] x[42][44] x[42][45] x[43][44] x[43][45] x[44][45]
252.08/219.31	v       </list>
252.08/219.31	v       <values>
252.08/219.31	v         990 988 987 988 991 988 987 987 989 990 990 991 991 991 991 987 988 987 989 989 988 990 989 989 988 990 988 990 989 991 990 990 988 986 991 991 990 988 988 987 989 987 990 991 989 991 991 987 989 990 990 989 987 988 991 990 988 990 989 990 988 991 990 989 990 987 991 989 990 988 990 989 989 991 988 986 989 990 987 989 988 990 988 991 991 989 988 989 990 989 987 989 990 991 989 988 990 989 986 990 986 991 990 991 990 987 989 990 987 987 989 990 988 990 989 989 988 991 991 989 988 988 989 991 990 991 988 990 989 988 989 991 991 988 987 990 988 990 986 990 987 991 987 991 988 989 990 987 988 989 988 989 988 991 990 987 988 991 989 990 990 991 987 989 988 990 989 988 990 990 991 989 986 991 989 991 989 989 991 989 990 987 988 987 990 990 986 989 988 991 987 990 990 989 986 991 991 989 990 987 991 991 989 990 991 990 988 986 990 988 988 989 990 991 990 988 988 987 988 990 991 990 989 989 986 989 988 990 987 991 986 991 990 991 991 988 991 990 990 990 988 991 990 989 990 987 989 991 989 989 988 991 989 988 991 991 991 989 989 988 991 987 986 990 988 990 988 989 987 989 990 991 990 989 986 989 990 990 989 990 989 986 986 988 990 991 991 989 991 991 988 991 990 988 988 991 987 988 989 991 991 988 991 990 988 988 990 988 991 989 986 989 989 989 990 987 990 989 989 990 989 988 990 987 987 987 989 989 990 989 990 989 991 988 991 988 989 989 991 991 990 986 989 987 990 991 990 991 991 991 991 990 990 989 991 989 988 987 991 990 988 988 990 989 989 986 990 990 991 988 988 989 989 989 990 989 987 989 991 990 991 988 991 988 988 989 990 990 986 991 987 987 989 989 990 988 987 991 990 991 986 990 989 990 990 991 989 991 990 991 988 987 988 990 990 988 991 989 986 986 989 987 987 989 988 989 991 987 987 991 990 991 991 990 989 989 990 989 990 990 990 990 991 987 987 991 987 989 988 991 987 987 990 989 989 990 991 988 988 989 989 990 988 986 991 988 988 989 989 989 987 991 990 987 988 988 990 991 990 988 988 990 989 991 988 991 991 988 991 989 991 989 991 991 987 988 988 990 989 989 990 987 990 989 990 989 991 987 990 988 990 991 990 988 989 987 991 991 988 987 989 989 990 990 986 987 988 990 990 988 987 989 990 991 991 989 987 989 988 988 988 989 987 991 988 989 990 990 991 987 991 991 990 987 990 990 991 990 985 989 988 990 989 991 988 988 989 990 986 988 986 989 990 991 987 991 989 991 988 989 990 989 991 988 986 987 990 990 991 987 987 990 987 987 991 989 988 989 987 989 991 991 989 991 989 989 989 989 989 990 988 990 989 990 989 988 991 988 990 989 990 988 991 990 987 990 987 991 989 990 988 989 987 988 988 989 991 990 991 986 989 991 989 990 989 988 988 989 990 991 987 991 991 988 987 989 990 989 988 989 990 989 990 991 987 991 991 988 989 986 989 988 990 991 991 988 991 988 989 988 991 990 990 989 991 987 991 990 990 991 990 988 990 988 988 991 990 990 989 987 986 989 989 988 987 991 989 990 989 988 989 990 991 990 989 988 989 991 990 991 990 990 987 989 988 986 989 990 989 989 987 988 991 988 987 990 987 988 987 991 991 988 988 990 990 990 990 988 991 987 990 987 991 988 989 991 986 991 991 991 987 990 989 990 989 986 989 988 989 991 991 990 987 988 989 991 991 990 990 988 989 988 988 991 987 991 989 991 988 991 991 989 987 991 991 989 990 989 988 990 990 988 991 988 990 989 987 991 987 990 988 989 991 991 989 991 990 989 989 990 988 990 989 988 990 988 987 990 990 988 990 988 990 991 989 990 991 989 991 988 988 989 990 990 986 990 991 990 991 987 986 991 990 987 989 989 991 990 991 991 989 991 990 988 986 989 990 990 990 989 991 989 990 991 987 987 988 988 988 990 988 987 991 987 989 991 986 990 988 987 991 990 987 989 990 988 989 988 991 991 987 989 987 989 988 988 990 991 991 991 990 990 988 987 987 989 991 989 989 987 989 991 990 986 987 990 988 987 988 991 988 988 990 990 988 989 991 990 988 987 991 991 986 990 991 990 990 989 989 987 990 991 991 989 991 990 988 990 991 987 991 990 990 989 989 988 988 988 990 989 988 990 991 988 990 991 990 991 987 988 990 988 990 988 989 991 987 991 989 989 991 989 989 990 991 988 989 988 991 990 990 987 989 991 986 991 989 986 990 989 988 988 991 989 990 991 988 991 989 989 987 991 990 991 991 989 988 990 990 990 987 989 991 991 988
252.08/219.31	v       </values>
252.08/219.31	v     </instantiation>
252.08/219.31	s SATISFIABLE

Verifier Data 

OK	991

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

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

running on 4 cores: 1,3,5,7

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=5832, runsolver pid=5829

[startup+0.100082 s]*
/proc/loadavg: 1.80 1.96 1.94 3/206 5839
/proc/meminfo: memFree=27209004/32770624 swapFree=67108860/67108860
[pid=5832] ppid=5829 vsize=9508 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/5832/stat : 5832 (bash) S 5829 5832 8289 0 -1 4202496 724 3539 0 0 0 0 0 0 20 0 1 0 113105617 9736192 355 18446744073709551615 4194304 5098028 140733302068928 140733302066568 140104487410688 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 17317888 140733302075892 140733302075977 140733302075977 140733302079466 0
/proc/5832/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 1420 KiB

[startup+0.210093 s]*
/proc/loadavg: 1.80 1.96 1.94 2/219 5877
/proc/meminfo: memFree=27195680/32770624 swapFree=67108860/67108860
[pid=5832] ppid=5829 vsize=30192 memory=1848 CPUtime=0.08 cores=1,3,5,7
/proc/5832/stat : 5832 (java) R 5829 5832 8289 0 -1 4202496 1465 12645 0 0 0 0 5 3 20 0 1 0 113105617 30916608 462 18446744073709551615 4194304 4196468 140736999273056 140736999253752 140648617883273 0 0 1 0 0 0 0 17 5 0 0 9 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
/proc/5832/statm: 7548 462 356 1 0 160 0
[pid=5832/tid=5882] ppid=5829 vsize=100812 memory=8318255677412212789 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5882/stat : 5882 (java) R 5829 5832 8289 0 -1 4202560 86 12645 0 0 0 0 5 3 20 0 2 0 113105639 103231488 1176 18446744073709551615 4194304 4196468 140736999273056 140648619896184 140648617880640 0 0 1 0 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 30192 KiB
Current children cumulated memory: 1848 KiB

[startup+0.316986 s]*
/proc/loadavg: 1.80 1.96 1.94 5/217 5895
/proc/meminfo: memFree=27194040/32770624 swapFree=67108860/67108860
[pid=5832] ppid=5829 vsize=13974356 memory=27828 CPUtime=0.18 cores=1,3,5,7
/proc/5832/stat : 5832 (java) S 5829 5832 8289 0 -1 1077944320 6303 12645 0 0 9 1 5 3 20 0 15 0 113105617 14309740544 6957 18446744073709551615 4194304 4196468 140736999273056 140736999255600 140648615661303 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
/proc/5832/statm: 3493589 6957 2847 1 0 3482965 0
[pid=5832/tid=5882] ppid=5829 vsize=13974356 memory=8318255677412212789 CPUtime=0.14 cores=1,3,5,7
/proc/5832/task/5882/stat : 5882 (java) R 5829 5832 8289 0 -1 4202560 3156 12645 0 0 6 0 5 3 20 0 15 0 113105639 14309740544 7089 18446744073709551615 4194304 4196468 140736999273056 140648619894448 140648251470215 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5883] ppid=5829 vsize=13974356 memory=330 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5883/stat : 5883 (java) S 5829 5832 8289 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 113105640 14309740544 7089 18446744073709551615 4194304 4196468 140736999273056 140648572628112 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5884] ppid=5829 vsize=13974356 memory=139879226682634 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5884/stat : 5884 (java) S 5829 5832 8289 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 113105640 14309740544 7089 18446744073709551615 4194304 4196468 140736999273056 140648571575312 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5885] ppid=5829 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5885/stat : 5885 (java) S 5829 5832 8289 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 113105640 14309740544 7089 18446744073709551615 4194304 4196468 140736999273056 140648570522512 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5886] ppid=5829 vsize=13974356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5886/stat : 5886 (java) S 5829 5832 8289 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 15 0 113105640 14309740544 7089 18446744073709551615 4194304 4196468 140736999273056 140648212785936 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5887] ppid=5829 vsize=13974356 memory=139879226672768 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5887/stat : 5887 (java) S 5829 5832 8289 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 15 0 113105641 14309740544 7089 18446744073709551615 4194304 4196468 140736999273056 140648094079344 140648615672450 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5888] ppid=5829 vsize=13974356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5888/stat : 5888 (java) S 5829 5832 8289 0 -1 1077944384 33 12645 0 0 0 0 5 3 20 0 15 0 113105642 14309740544 7089 18446744073709551615 4194304 4196468 140736999273056 140648093025312 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5889] ppid=5829 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5889/stat : 5889 (java) S 5829 5832 8289 0 -1 1077944384 21 12645 0 0 0 0 5 3 20 0 15 0 113105642 14309740544 7089 18446744073709551615 4194304 4196468 140736999273056 140648091972464 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5890] ppid=5829 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5890/stat : 5890 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14309740544 7089 18446744073709551615 4194304 4196468 140736999273056 140648090920784 140648615679899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5891] ppid=5829 vsize=13974356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5891/stat : 5891 (java) R 5829 5832 8289 0 -1 1077944384 410 12645 0 0 0 0 5 3 20 0 15 0 113105645 14309740544 7089 18446744073709551615 4194304 4196468 140736999273056 140648089869168 140648615672450 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5892] ppid=5829 vsize=13974356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5892/stat : 5892 (java) R 5829 5832 8289 0 -1 4202560 199 12645 0 0 0 0 5 3 20 0 15 0 113105645 14309740544 7155 18446744073709551615 4194304 4196468 140736999273056 140648088802168 140648608766995 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5893] ppid=5829 vsize=13974356 memory=139879226672768 CPUtime=0.09 cores=1,3,5,7
/proc/5832/task/5893/stat : 5893 (java) R 5829 5832 8289 0 -1 4202560 495 12645 0 0 1 0 5 3 20 0 15 0 113105645 14309740544 7155 18446744073709551615 4194304 4196468 140736999273056 140648087760472 140648594618491 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5894] ppid=5829 vsize=13974356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5894/stat : 5894 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14309740544 7155 18446744073709551615 4194304 4196468 140736999273056 140648086711008 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5895] ppid=5829 vsize=13974356 memory=139879226672768 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5895/stat : 5895 (java) S 5829 5832 8289 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 113105648 14309740544 7155 18446744073709551615 4194304 4196468 140736999273056 140648085658288 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 27828 KiB

[startup+0.700741 s]
/proc/loadavg: 1.80 1.96 1.94 3/217 5895
/proc/meminfo: memFree=27167992/32770624 swapFree=67108860/67108860
[pid=5832] ppid=5829 vsize=13974784 memory=59172 CPUtime=0.69 cores=1,3,5,7
/proc/5832/stat : 5832 (java) S 5829 5832 8289 0 -1 1077944320 13886 12645 0 0 57 4 5 3 20 0 15 0 113105617 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140736999255600 140648615661303 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
/proc/5832/statm: 3493696 14793 3103 1 0 3482965 0
[pid=5832/tid=5882] ppid=5829 vsize=13974784 memory=54796 CPUtime=0.52 cores=1,3,5,7
/proc/5832/task/5882/stat : 5882 (java) R 5829 5832 8289 0 -1 4202560 10241 12645 0 0 41 3 5 3 20 0 15 0 113105639 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648619871296 140648599741790 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5883] ppid=5829 vsize=13974784 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5883/stat : 5883 (java) S 5829 5832 8289 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 113105640 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648572628112 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5884] ppid=5829 vsize=13974784 memory=59 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5884/stat : 5884 (java) S 5829 5832 8289 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 113105640 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648571575312 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5885] ppid=5829 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5885/stat : 5885 (java) S 5829 5832 8289 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 113105640 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648570522512 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5886] ppid=5829 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5886/stat : 5886 (java) S 5829 5832 8289 0 -1 1077944384 2 12645 0 0 0 0 5 3 20 0 15 0 113105640 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648212785936 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5887] ppid=5829 vsize=13974784 memory=1716 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5887/stat : 5887 (java) S 5829 5832 8289 0 -1 1077944384 5 12645 0 0 0 0 5 3 20 0 15 0 113105641 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648094079344 140648615672450 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5888] ppid=5829 vsize=13974784 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5888/stat : 5888 (java) S 5829 5832 8289 0 -1 1077944384 33 12645 0 0 0 0 5 3 20 0 15 0 113105642 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648093025312 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5889] ppid=5829 vsize=13974784 memory=14356 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5889/stat : 5889 (java) S 5829 5832 8289 0 -1 1077944384 21 12645 0 0 0 0 5 3 20 0 15 0 113105642 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648091972464 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5890] ppid=5829 vsize=13974784 memory=1008 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5890/stat : 5890 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648090920784 140648615679899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5891] ppid=5829 vsize=13974784 memory=2012 CPUtime=0.11 cores=1,3,5,7
/proc/5832/task/5891/stat : 5891 (java) S 5829 5832 8289 0 -1 1077944384 516 12645 0 0 3 0 5 3 20 0 15 0 113105645 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648089869168 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5892] ppid=5829 vsize=13974784 memory=11136 CPUtime=0.1 cores=1,3,5,7
/proc/5832/task/5892/stat : 5892 (java) S 5829 5832 8289 0 -1 1077944384 280 12645 0 0 2 0 5 3 20 0 15 0 113105645 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648088816368 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5893] ppid=5829 vsize=13974784 memory=5788 CPUtime=0.18 cores=1,3,5,7
/proc/5832/task/5893/stat : 5893 (java) S 5829 5832 8289 0 -1 1077944384 624 12645 0 0 10 0 5 3 20 0 15 0 113105645 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648087763568 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5894] ppid=5829 vsize=13974784 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5894/stat : 5894 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648086711008 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5895] ppid=5829 vsize=13974784 memory=1436 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5895/stat : 5895 (java) S 5829 5832 8289 0 -1 1077944384 1 12645 0 0 0 0 5 3 20 0 15 0 113105648 14310178816 14793 18446744073709551615 4194304 4196468 140736999273056 140648085658288 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59172 KiB

[startup+1.50463 s]
/proc/loadavg: 1.80 1.96 1.94 3/217 5895
/proc/meminfo: memFree=27126560/32770624 swapFree=67108860/67108860
[pid=5832] ppid=5829 vsize=13985408 memory=171152 CPUtime=1.9 cores=1,3,5,7
/proc/5832/stat : 5832 (java) S 5829 5832 8289 0 -1 1077944320 29701 12645 0 0 173 9 5 3 20 0 15 0 113105617 14321057792 42788 18446744073709551615 4194304 4196468 140736999273056 140736999255600 140648615661303 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
/proc/5832/statm: 3496352 42788 3379 1 0 3485525 0
[pid=5832/tid=5882] ppid=5829 vsize=13985408 memory=103 CPUtime=1.29 cores=1,3,5,7
/proc/5832/task/5882/stat : 5882 (java) S 5829 5832 8289 0 -1 1077944384 22574 12645 0 0 115 6 5 3 20 0 15 0 113105639 14321057792 42788 18446744073709551615 4194304 4196468 140736999273056 140648619880880 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5883] ppid=5829 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5883/stat : 5883 (java) S 5829 5832 8289 0 -1 1077944384 61 12645 0 0 0 0 5 3 20 0 15 0 113105640 14321057792 42793 18446744073709551615 4194304 4196468 140736999273056 140648572628112 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5884] ppid=5829 vsize=13985408 memory=7680170660397595203 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5884/stat : 5884 (java) S 5829 5832 8289 0 -1 1077944384 195 12645 0 0 0 0 5 3 20 0 15 0 113105640 14321057792 42793 18446744073709551615 4194304 4196468 140736999273056 140648571575312 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5885] ppid=5829 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5885/stat : 5885 (java) S 5829 5832 8289 0 -1 1077944384 35 12645 0 0 0 0 5 3 20 0 15 0 113105640 14321057792 42793 18446744073709551615 4194304 4196468 140736999273056 140648570522512 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5886] ppid=5829 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5886/stat : 5886 (java) S 5829 5832 8289 0 -1 1077944384 66 12645 0 0 0 0 5 3 20 0 15 0 113105640 14321057792 42793 18446744073709551615 4194304 4196468 140736999273056 140648212785936 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5887] ppid=5829 vsize=13985408 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5832/task/5887/stat : 5887 (java) R 5829 5832 8289 0 -1 4202560 1652 12645 0 0 1 0 5 3 20 0 15 0 113105641 14321057792 42793 18446744073709551615 4194304 4196468 140736999273056 140648094077856 140648607950752 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5888] ppid=5829 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5888/stat : 5888 (java) S 5829 5832 8289 0 -1 1077944384 33 12645 0 0 0 0 5 3 20 0 15 0 113105642 14321057792 42793 18446744073709551615 4194304 4196468 140736999273056 140648093025312 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5889] ppid=5829 vsize=13985408 memory=1716 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5889/stat : 5889 (java) S 5829 5832 8289 0 -1 1077944384 21 12645 0 0 0 0 5 3 20 0 15 0 113105642 14321057792 42793 18446744073709551615 4194304 4196468 140736999273056 140648091972464 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5890] ppid=5829 vsize=13985408 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5890/stat : 5890 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14321057792 42793 18446744073709551615 4194304 4196468 140736999273056 140648090920784 140648615679899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5891] ppid=5829 vsize=13985408 memory=14356 CPUtime=0.2 cores=1,3,5,7
/proc/5832/task/5891/stat : 5891 (java) S 5829 5832 8289 0 -1 1077944384 818 12645 0 0 12 0 5 3 20 0 15 0 113105645 14321057792 42793 18446744073709551615 4194304 4196468 140736999273056 140648089869168 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5892] ppid=5829 vsize=13872256 memory=1008 CPUtime=0.25 cores=1,3,5,7
/proc/5832/task/5892/stat : 5892 (java) S 5829 5832 8289 0 -1 1077944384 832 12645 0 0 17 0 5 3 20 0 15 0 113105645 14205190144 42793 18446744073709551615 4194304 4196468 140736999273056 140648088816368 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5893] ppid=5829 vsize=13985408 memory=4168 CPUtime=0.31 cores=1,3,5,7
/proc/5832/task/5893/stat : 5893 (java) S 5829 5832 8289 0 -1 1077944384 1413 12645 0 0 23 0 5 3 20 0 15 0 113105645 14321057792 42738 18446744073709551615 4194304 4196468 140736999273056 140648087761072 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5894] ppid=5829 vsize=13985408 memory=54796 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5894/stat : 5894 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14321057792 42683 18446744073709551615 4194304 4196468 140736999273056 140648086711008 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5895] ppid=5829 vsize=13985408 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5895/stat : 5895 (java) S 5829 5832 8289 0 -1 1077944384 5 12645 0 0 0 0 5 3 20 0 15 0 113105648 14321057792 42683 18446744073709551615 4194304 4196468 140736999273056 140648085658288 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 171152 KiB

[startup+3.11769 s]
/proc/loadavg: 1.80 1.96 1.94 5/217 5895
/proc/meminfo: memFree=26938680/32770624 swapFree=67108860/67108860
[pid=5832] ppid=5829 vsize=13995836 memory=285980 CPUtime=6.27 cores=1,3,5,7
/proc/5832/stat : 5832 (java) S 5829 5832 8289 0 -1 1077944320 43004 12645 0 0 603 16 5 3 20 0 15 0 113105617 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140736999255600 140648615661303 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
/proc/5832/statm: 3498959 71495 3459 1 0 3487573 0
[pid=5832/tid=5882] ppid=5829 vsize=13995836 memory=0 CPUtime=2.87 cores=1,3,5,7
/proc/5832/task/5882/stat : 5882 (java) R 5829 5832 8289 0 -1 4202560 27776 12645 0 0 270 9 5 3 20 0 15 0 113105639 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648619895792 140648254526179 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5883] ppid=5829 vsize=13995836 memory=8 CPUtime=0.09 cores=1,3,5,7
/proc/5832/task/5883/stat : 5883 (java) S 5829 5832 8289 0 -1 1077944384 206 12645 0 0 1 0 5 3 20 0 15 0 113105640 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648572628112 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5884] ppid=5829 vsize=13995836 memory=8 CPUtime=0.09 cores=1,3,5,7
/proc/5832/task/5884/stat : 5884 (java) S 5829 5832 8289 0 -1 1077944384 205 12645 0 0 1 0 5 3 20 0 15 0 113105640 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648571575312 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5885] ppid=5829 vsize=13995836 memory=1 CPUtime=0.1 cores=1,3,5,7
/proc/5832/task/5885/stat : 5885 (java) S 5829 5832 8289 0 -1 1077944384 50 12645 0 0 1 1 5 3 20 0 15 0 113105640 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648570522512 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5886] ppid=5829 vsize=13995836 memory=1 CPUtime=0.09 cores=1,3,5,7
/proc/5832/task/5886/stat : 5886 (java) S 5829 5832 8289 0 -1 1077944384 86 12645 0 0 1 0 5 3 20 0 15 0 113105640 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648212785936 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5887] ppid=5829 vsize=13995836 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5832/task/5887/stat : 5887 (java) S 5829 5832 8289 0 -1 1077944384 1729 12645 0 0 1 0 5 3 20 0 15 0 113105641 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648094079344 140648615672450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5888] ppid=5829 vsize=13995836 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5888/stat : 5888 (java) S 5829 5832 8289 0 -1 1077944384 54 12645 0 0 0 0 5 3 20 0 15 0 113105642 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648093025376 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5889] ppid=5829 vsize=13995836 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5889/stat : 5889 (java) S 5829 5832 8289 0 -1 1077944384 44 12645 0 0 0 0 5 3 20 0 15 0 113105642 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648091972480 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5890] ppid=5829 vsize=13995836 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5890/stat : 5890 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648090920784 140648615679899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5891] ppid=5829 vsize=13995836 memory=8 CPUtime=1.24 cores=1,3,5,7
/proc/5832/task/5891/stat : 5891 (java) R 5829 5832 8289 0 -1 4202560 4320 12645 0 0 115 1 5 3 20 0 15 0 113105645 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648089862360 140648595316529 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5892] ppid=5829 vsize=13995836 memory=8 CPUtime=1.16 cores=1,3,5,7
/proc/5832/task/5892/stat : 5892 (java) R 5829 5832 8289 0 -1 4202560 2283 12645 0 0 108 0 5 3 20 0 15 0 113105645 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648088801600 140648600769006 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5893] ppid=5829 vsize=13995836 memory=260556 CPUtime=1.08 cores=1,3,5,7
/proc/5832/task/5893/stat : 5893 (java) R 5829 5832 8289 0 -1 4202560 4083 12645 0 0 100 0 5 3 20 0 15 0 113105645 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648087757520 140648600737064 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5894] ppid=5829 vsize=13995836 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5894/stat : 5894 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648086711008 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5895] ppid=5829 vsize=13995836 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5895/stat : 5895 (java) S 5829 5832 8289 0 -1 1077944384 8 12645 0 0 0 0 5 3 20 0 15 0 113105648 14331736064 71495 18446744073709551615 4194304 4196468 140736999273056 140648085658288 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0

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

/proc/5832/task/5882/stat : 5882 (java) R 5829 5832 8289 0 -1 4202560 58349 12645 0 0 9851 56 5 3 20 0 15 0 113105639 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648619889888 140648267166991 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5883] ppid=5829 vsize=14069564 memory=4105468 CPUtime=2.69 cores=1,3,5,7
/proc/5832/task/5883/stat : 5883 (java) S 5829 5832 8289 0 -1 1077944384 1870 12645 0 0 243 18 5 3 20 0 15 0 113105640 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648572628112 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5884] ppid=5829 vsize=14069564 memory=4105468 CPUtime=2.68 cores=1,3,5,7
/proc/5832/task/5884/stat : 5884 (java) S 5829 5832 8289 0 -1 1077944384 2335 12645 0 0 242 18 5 3 20 0 15 0 113105640 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648571575312 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5885] ppid=5829 vsize=14069564 memory=4168 CPUtime=2.7 cores=1,3,5,7
/proc/5832/task/5885/stat : 5885 (java) S 5829 5832 8289 0 -1 1077944384 1325 12645 0 0 244 18 5 3 20 0 15 0 113105640 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648570522512 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5886] ppid=5829 vsize=14069564 memory=4105468 CPUtime=2.69 cores=1,3,5,7
/proc/5832/task/5886/stat : 5886 (java) S 5829 5832 8289 0 -1 1077944384 1122 12645 0 0 243 18 5 3 20 0 15 0 113105640 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648212785936 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5887] ppid=5829 vsize=14069564 memory=1232 CPUtime=0.33 cores=1,3,5,7
/proc/5832/task/5887/stat : 5887 (java) S 5829 5832 8289 0 -1 1077944384 7506 12645 0 0 24 1 5 3 20 0 15 0 113105641 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648094079344 140648615672450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5888] ppid=5829 vsize=14069564 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5888/stat : 5888 (java) S 5829 5832 8289 0 -1 1077944384 66 12645 0 0 0 0 5 3 20 0 15 0 113105642 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648093025440 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5889] ppid=5829 vsize=14069564 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5889/stat : 5889 (java) S 5829 5832 8289 0 -1 1077944384 65 12645 0 0 0 0 5 3 20 0 15 0 113105642 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648091972480 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5890] ppid=5829 vsize=14069564 memory=4105468 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5890/stat : 5890 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648090920784 140648615679899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5891] ppid=5829 vsize=14069564 memory=4288 CPUtime=11.02 cores=1,3,5,7
/proc/5832/task/5891/stat : 5891 (java) S 5829 5832 8289 0 -1 1077944384 24380 12645 0 0 1090 4 5 3 20 0 15 0 113105645 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648089869168 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5892] ppid=5829 vsize=14069564 memory=3831028 CPUtime=11.05 cores=1,3,5,7
/proc/5832/task/5892/stat : 5892 (java) S 5829 5832 8289 0 -1 1077944384 15743 12645 0 0 1094 3 5 3 20 0 15 0 113105645 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648088816368 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5893] ppid=5829 vsize=14069564 memory=2164 CPUtime=2.72 cores=1,3,5,7
/proc/5832/task/5893/stat : 5893 (java) S 5829 5832 8289 0 -1 1077944384 14280 12645 0 0 261 3 5 3 20 0 15 0 113105645 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648087763568 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5894] ppid=5829 vsize=14069564 memory=4168 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5894/stat : 5894 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648086711008 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5895] ppid=5829 vsize=14069564 memory=54796 CPUtime=0.12 cores=1,3,5,7
/proc/5832/task/5895/stat : 5895 (java) S 5829 5832 8289 0 -1 1077944384 826 12645 0 0 2 2 5 3 20 0 15 0 113105648 14407233536 1026367 18446744073709551615 4194304 4196468 140736999273056 140648085658288 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
Current children cumulated CPU time: 134.55 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4105468 KiB

[startup+162.301 s]
/proc/loadavg: 2.26 2.16 2.02 3/214 6025
/proc/meminfo: memFree=23133676/32770624 swapFree=67108860/67108860
[pid=5832] ppid=5829 vsize=14069564 memory=4113844 CPUtime=194.79 cores=1,3,5,7
/proc/5832/stat : 5832 (java) S 5829 5832 8289 0 -1 1077944320 142606 12645 0 0 19322 149 5 3 20 0 15 0 113105617 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140736999255600 140648615661303 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
/proc/5832/statm: 3517391 1028461 3494 1 0 3506005 0
[pid=5832/tid=5882] ppid=5829 vsize=14069564 memory=4113844 CPUtime=159.09 cores=1,3,5,7
/proc/5832/task/5882/stat : 5882 (java) R 5829 5832 8289 0 -1 4202560 63926 12645 0 0 15844 57 5 3 20 0 15 0 113105639 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648619889888 140648254525904 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5883] ppid=5829 vsize=14069564 memory=4113844 CPUtime=2.74 cores=1,3,5,7
/proc/5832/task/5883/stat : 5883 (java) S 5829 5832 8289 0 -1 1077944384 1989 12645 0 0 248 18 5 3 20 0 15 0 113105640 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648572628112 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5884] ppid=5829 vsize=14069564 memory=4113832 CPUtime=2.73 cores=1,3,5,7
/proc/5832/task/5884/stat : 5884 (java) S 5829 5832 8289 0 -1 1077944384 2397 12645 0 0 247 18 5 3 20 0 15 0 113105640 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648571575312 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5885] ppid=5829 vsize=14069564 memory=4113832 CPUtime=2.74 cores=1,3,5,7
/proc/5832/task/5885/stat : 5885 (java) S 5829 5832 8289 0 -1 1077944384 1561 12645 0 0 248 18 5 3 20 0 15 0 113105640 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648570522512 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5886] ppid=5829 vsize=14069564 memory=4113836 CPUtime=2.74 cores=1,3,5,7
/proc/5832/task/5886/stat : 5886 (java) S 5829 5832 8289 0 -1 1077944384 2497 12645 0 0 248 18 5 3 20 0 15 0 113105640 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648212785936 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5887] ppid=5829 vsize=14069564 memory=4168 CPUtime=0.34 cores=1,3,5,7
/proc/5832/task/5887/stat : 5887 (java) S 5829 5832 8289 0 -1 1077944384 7810 12645 0 0 25 1 5 3 20 0 15 0 113105641 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648094079344 140648615672450 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5888] ppid=5829 vsize=14069564 memory=4113832 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5888/stat : 5888 (java) S 5829 5832 8289 0 -1 1077944384 69 12645 0 0 0 0 5 3 20 0 15 0 113105642 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648093025440 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5889] ppid=5829 vsize=14069564 memory=4113832 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5889/stat : 5889 (java) S 5829 5832 8289 0 -1 1077944384 65 12645 0 0 0 0 5 3 20 0 15 0 113105642 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648091972480 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5890] ppid=5829 vsize=14069564 memory=4113836 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5890/stat : 5890 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648090920784 140648615679899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5891] ppid=5829 vsize=14069564 memory=4168 CPUtime=11.02 cores=1,3,5,7
/proc/5832/task/5891/stat : 5891 (java) S 5829 5832 8289 0 -1 1077944384 24388 12645 0 0 1090 4 5 3 20 0 15 0 113105645 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648089869168 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5892] ppid=5829 vsize=14069564 memory=2440 CPUtime=11.07 cores=1,3,5,7
/proc/5832/task/5892/stat : 5892 (java) S 5829 5832 8289 0 -1 1077944384 17247 12645 0 0 1096 3 5 3 20 0 15 0 113105645 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648088816368 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5893] ppid=5829 vsize=14069564 memory=1724 CPUtime=2.76 cores=1,3,5,7
/proc/5832/task/5893/stat : 5893 (java) S 5829 5832 8289 0 -1 1077944384 17647 12645 0 0 265 3 5 3 20 0 15 0 113105645 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648087763568 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5894] ppid=5829 vsize=14069564 memory=4113844 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5894/stat : 5894 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648086711008 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5895] ppid=5829 vsize=14069564 memory=4113844 CPUtime=0.16 cores=1,3,5,7
/proc/5832/task/5895/stat : 5895 (java) S 5829 5832 8289 0 -1 1077944384 850 12645 0 0 4 4 5 3 20 0 15 0 113105648 14407233536 1028461 18446744073709551615 4194304 4196468 140736999273056 140648085658288 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
Current children cumulated CPU time: 194.79 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4113844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+219.301 s]
/proc/loadavg: 2.19 2.16 2.03 3/214 6027
/proc/meminfo: memFree=23057508/32770624 swapFree=67108860/67108860
[pid=5832] ppid=5829 vsize=14069564 memory=4150724 CPUtime=252.08 cores=1,3,5,7
/proc/5832/stat : 5832 (java) S 5829 5832 8289 0 -1 1077944320 153628 12645 0 0 25043 157 5 3 20 0 15 0 113105617 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140736999255600 140648615661303 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
/proc/5832/statm: 3517391 1037681 3494 1 0 3506005 0
[pid=5832/tid=5882] ppid=5829 vsize=14069564 memory=279758198762048 CPUtime=216.01 cores=1,3,5,7
/proc/5832/task/5882/stat : 5882 (java) R 5829 5832 8289 0 -1 4202560 68933 12645 0 0 21535 58 5 3 20 0 15 0 113105639 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648619895048 140648267971414 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5883] ppid=5829 vsize=14069564 memory=1436 CPUtime=2.82 cores=1,3,5,7
/proc/5832/task/5883/stat : 5883 (java) S 5829 5832 8289 0 -1 1077944384 2210 12645 0 0 255 19 5 3 20 0 15 0 113105640 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648572628112 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5884] ppid=5829 vsize=14069564 memory=4146628 CPUtime=2.81 cores=1,3,5,7
/proc/5832/task/5884/stat : 5884 (java) S 5829 5832 8289 0 -1 1077944384 2472 12645 0 0 254 19 5 3 20 0 15 0 113105640 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648571575312 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5885] ppid=5829 vsize=14069564 memory=4146628 CPUtime=2.83 cores=1,3,5,7
/proc/5832/task/5885/stat : 5885 (java) S 5829 5832 8289 0 -1 1077944384 1799 12645 0 0 255 20 5 3 20 0 15 0 113105640 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648570522512 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5886] ppid=5829 vsize=14069564 memory=4146628 CPUtime=2.82 cores=1,3,5,7
/proc/5832/task/5886/stat : 5886 (java) S 5829 5832 8289 0 -1 1077944384 3874 12645 0 0 255 19 5 3 20 0 15 0 113105640 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648212785936 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5887] ppid=5829 vsize=14069564 memory=4136380 CPUtime=0.34 cores=1,3,5,7
/proc/5832/task/5887/stat : 5887 (java) S 5829 5832 8289 0 -1 1077944384 8095 12645 0 0 25 1 5 3 20 0 15 0 113105641 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648094079344 140648615672450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5888] ppid=5829 vsize=14069564 memory=4124084 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5888/stat : 5888 (java) S 5829 5832 8289 0 -1 1077944384 71 12645 0 0 0 0 5 3 20 0 15 0 113105642 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648093025440 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5889] ppid=5829 vsize=14069564 memory=4146628 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5889/stat : 5889 (java) S 5829 5832 8289 0 -1 1077944384 65 12645 0 0 0 0 5 3 20 0 15 0 113105642 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648091972480 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5890] ppid=5829 vsize=14069564 memory=4150724 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5890/stat : 5890 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648090920784 140648615679899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5891] ppid=5829 vsize=14069564 memory=4150724 CPUtime=11.04 cores=1,3,5,7
/proc/5832/task/5891/stat : 5891 (java) S 5829 5832 8289 0 -1 1077944384 24391 12645 0 0 1091 5 5 3 20 0 15 0 113105645 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648089869168 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5892] ppid=5829 vsize=14069564 memory=4168 CPUtime=11.07 cores=1,3,5,7
/proc/5832/task/5892/stat : 5892 (java) S 5829 5832 8289 0 -1 1077944384 17250 12645 0 0 1096 3 5 3 20 0 15 0 113105645 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648088816368 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5893] ppid=5829 vsize=14069564 memory=54796 CPUtime=2.78 cores=1,3,5,7
/proc/5832/task/5893/stat : 5893 (java) S 5829 5832 8289 0 -1 1077944384 21402 12645 0 0 266 4 5 3 20 0 15 0 113105645 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648087763568 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5894] ppid=5829 vsize=14069564 memory=4168 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5894/stat : 5894 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648086711008 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5895] ppid=5829 vsize=14069564 memory=54796 CPUtime=0.18 cores=1,3,5,7
/proc/5832/task/5895/stat : 5895 (java) S 5829 5832 8289 0 -1 1077944384 906 12645 0 0 5 5 5 3 20 0 15 0 113105648 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648085658288 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4150724 KiB

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

[startup+219.357 s]
# the end of solver process 5832 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.513 s, system=1.63865 s

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

[startup+219.301 s]
/proc/loadavg: 2.19 2.16 2.03 3/214 6027
/proc/meminfo: memFree=23057508/32770624 swapFree=67108860/67108860
[pid=5832] ppid=5829 vsize=14069564 memory=4150724 CPUtime=252.08 cores=1,3,5,7
/proc/5832/stat : 5832 (java) S 5829 5832 8289 0 -1 1077944320 153628 12645 0 0 25043 157 5 3 20 0 15 0 113105617 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140736999255600 140648615661303 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
/proc/5832/statm: 3517391 1037681 3494 1 0 3506005 0
[pid=5832/tid=5882] ppid=5829 vsize=14069564 memory=279758198762048 CPUtime=216.01 cores=1,3,5,7
/proc/5832/task/5882/stat : 5882 (java) R 5829 5832 8289 0 -1 4202560 68933 12645 0 0 21535 58 5 3 20 0 15 0 113105639 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648619895048 140648267971414 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5883] ppid=5829 vsize=14069564 memory=1436 CPUtime=2.82 cores=1,3,5,7
/proc/5832/task/5883/stat : 5883 (java) S 5829 5832 8289 0 -1 1077944384 2210 12645 0 0 255 19 5 3 20 0 15 0 113105640 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648572628112 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5884] ppid=5829 vsize=14069564 memory=4146628 CPUtime=2.81 cores=1,3,5,7
/proc/5832/task/5884/stat : 5884 (java) S 5829 5832 8289 0 -1 1077944384 2472 12645 0 0 254 19 5 3 20 0 15 0 113105640 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648571575312 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5885] ppid=5829 vsize=14069564 memory=4146628 CPUtime=2.83 cores=1,3,5,7
/proc/5832/task/5885/stat : 5885 (java) S 5829 5832 8289 0 -1 1077944384 1799 12645 0 0 255 20 5 3 20 0 15 0 113105640 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648570522512 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5886] ppid=5829 vsize=14069564 memory=4146628 CPUtime=2.82 cores=1,3,5,7
/proc/5832/task/5886/stat : 5886 (java) S 5829 5832 8289 0 -1 1077944384 3874 12645 0 0 255 19 5 3 20 0 15 0 113105640 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648212785936 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5887] ppid=5829 vsize=14069564 memory=4136380 CPUtime=0.34 cores=1,3,5,7
/proc/5832/task/5887/stat : 5887 (java) S 5829 5832 8289 0 -1 1077944384 8095 12645 0 0 25 1 5 3 20 0 15 0 113105641 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648094079344 140648615672450 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5888] ppid=5829 vsize=14069564 memory=4124084 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5888/stat : 5888 (java) S 5829 5832 8289 0 -1 1077944384 71 12645 0 0 0 0 5 3 20 0 15 0 113105642 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648093025440 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5889] ppid=5829 vsize=14069564 memory=4146628 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5889/stat : 5889 (java) S 5829 5832 8289 0 -1 1077944384 65 12645 0 0 0 0 5 3 20 0 15 0 113105642 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648091972480 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5890] ppid=5829 vsize=14069564 memory=4150724 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5890/stat : 5890 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648090920784 140648615679899 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5891] ppid=5829 vsize=14069564 memory=4150724 CPUtime=11.04 cores=1,3,5,7
/proc/5832/task/5891/stat : 5891 (java) S 5829 5832 8289 0 -1 1077944384 24391 12645 0 0 1091 5 5 3 20 0 15 0 113105645 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648089869168 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5892] ppid=5829 vsize=14069564 memory=4168 CPUtime=11.07 cores=1,3,5,7
/proc/5832/task/5892/stat : 5892 (java) S 5829 5832 8289 0 -1 1077944384 17250 12645 0 0 1096 3 5 3 20 0 15 0 113105645 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648088816368 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5893] ppid=5829 vsize=14069564 memory=54796 CPUtime=2.78 cores=1,3,5,7
/proc/5832/task/5893/stat : 5893 (java) S 5829 5832 8289 0 -1 1077944384 21402 12645 0 0 266 4 5 3 20 0 15 0 113105645 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648087763568 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5894] ppid=5829 vsize=14069564 memory=4168 CPUtime=0.08 cores=1,3,5,7
/proc/5832/task/5894/stat : 5894 (java) S 5829 5832 8289 0 -1 1077944384 3 12645 0 0 0 0 5 3 20 0 15 0 113105645 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648086711008 140648615671509 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
[pid=5832/tid=5895] ppid=5829 vsize=14069564 memory=54796 CPUtime=0.18 cores=1,3,5,7
/proc/5832/task/5895/stat : 5895 (java) S 5829 5832 8289 0 -1 1077944384 906 12645 0 0 5 5 5 3 20 0 15 0 113105648 14407233536 1037681 18446744073709551615 4194304 4196468 140736999273056 140648085658288 140648615672450 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36073472 140736999274416 140736999277201 140736999277201 140736999280591 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4150724 KiB

Child status: 143
Real time (s): 219.357
CPU time (s): 252.152
CPU user time (s): 250.513
CPU system time (s): 1.63865
CPU usage (%): 114.951
Max. virtual memory (cumulated for all children) (KiB): 14070040
Max. memory (cumulated for all children) (KiB): 4150724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.513
system time used= 1.63865
maximum resident set size= 4151004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168368
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= 15656
involuntary context switches= 416


# summary of solver processes directly reported to runsolver:
#   pid: 5832
#   total CPU time (s): 252.152
#   total CPU user time (s): 250.513
#   total CPU system time (s): 1.63865

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40267 second user time and 2.03364 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 21:20:56
IDJOB=4259699
IDBENCH=140591
IDSOLVER=2646
FILE ID=node133/4259699-1502652904
RUNJOBID= node133-1502641620-25474
PBS_JOBID= 
Free space on /tmp= 62004 MiB

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

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

MD5SUM BENCH= 6af071621bab6d4e45a1e2acc37440b7
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:        27209608 kB
MemAvailable:   27859696 kB
Buffers:          243100 kB
Cached:           702156 kB
SwapCached:            0 kB
Active:          4912820 kB
Inactive:         192108 kB
Active(anon):    4100660 kB
Inactive(anon):   100804 kB
Active(file):     812160 kB
Inactive(file):    91304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             25388 kB
Writeback:             0 kB
AnonPages:       4198436 kB
Mapped:            71044 kB
Shmem:             41660 kB
Slab:             152368 kB
SReclaimable:     124920 kB
SUnreclaim:        27448 kB
KernelStack:        3664 kB
PageTables:        13656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5021860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3956736 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:24:36