Trace number 4259659

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)4575483 252.15401 218.647

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-ste36c.xml
MD5SUMd05a87fa530094a27b230f4f9ca3d0a8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4575483
Best CPU time to get the best result obtained on this benchmark252.15401
Satisfiable
(Un)Satisfiability was proved
Number of variables1332
Number of constraints631
Number of domains2
Minimum domain size36
Maximum domain size44
Distribution of domain sizes[{"size":36,"count":36},{"size":44,"count":630}]
Minimum variable degree0
Maximum variable degree36
Distribution of variable degrees[{"degree":0,"count":666},{"degree":2,"count":630},{"degree":36,"count":36}]
Minimum constraint arity3
Maximum constraint arity36
Distribution of constraint arities[{"arity":3,"count":630},{"arity":36,"count":1}]
Number of extensional constraints630
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":630},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data

3.20/2.19	c Concrete v3.4 running
22.78/10.27	o 9598969
24.63/10.88	o 9507917
25.91/11.34	o 9438187
27.05/11.85	o 9415583
27.56/12.25	o 8950868
28.10/12.66	o 8890936
28.90/13.18	o 8867496
29.45/13.63	o 8780723
30.35/14.16	o 8745170
30.77/14.54	o 8739941
31.23/14.96	o 8639486
31.81/15.42	o 8483278
32.48/15.86	o 8469989
32.94/16.28	o 8448491
34.36/17.26	o 8446798
34.84/17.64	o 8363991
35.31/18.07	o 8356128
36.22/18.91	o 8310492
40.68/20.96	o 8270462
41.89/22.03	o 8263102
42.89/22.56	o 8254383
44.78/23.70	o 7409548
45.49/24.11	o 7281696
45.85/24.45	o 7268085
46.25/24.85	o 7267161
46.57/25.15	o 7211123
47.93/26.02	o 7160051
48.22/26.31	o 7158074
48.83/26.96	o 7153842
49.55/27.67	o 7116317
50.36/28.45	o 7089034
50.76/28.84	o 7082709
52.44/30.12	o 7060147
52.83/30.56	o 7019868
54.05/31.79	o 6975186
54.85/32.52	o 6972746
55.91/33.30	o 6968316
57.72/35.06	o 6888620
58.52/35.81	o 6874469
58.87/36.18	o 6865960
60.35/37.39	o 6839761
60.86/37.80	o 6833428
61.17/38.16	o 6827393
61.56/38.53	o 6813314
62.26/39.25	o 6776370
66.05/42.80	o 6768863
66.76/43.54	o 6728087
67.86/44.68	o 6710518
68.56/45.37	o 6706304
69.97/46.80	o 6646133
71.26/47.89	o 6588334
72.67/49.23	o 6519085
72.98/49.54	o 6099362
74.38/50.94	o 6092230
75.38/51.94	o 6028108
75.68/52.30	o 6006296
76.39/52.97	o 6005519
77.24/53.69	o 5947783
77.94/54.33	o 5947489
78.85/55.26	o 5927048
83.34/59.32	o 5904420
83.94/59.97	o 5895856
84.34/60.32	o 5867432
84.95/61.00	o 5858950
86.36/62.39	o 5821504
87.17/63.17	o 5756896
88.27/64.23	o 5737318
89.53/65.12	o 5735757
89.82/65.47	o 5734670
90.22/65.81	o 5732495
90.92/66.53	o 5726905
91.22/66.87	o 5715629
93.74/69.31	o 5708839
94.74/70.31	o 5698231
97.99/73.36	o 5681324
98.70/74.06	o 5669935
99.09/74.41	o 5641424
100.11/75.44	o 5628290
101.51/76.86	o 5612150
107.08/82.08	o 5602293
108.19/83.12	o 5583497
110.54/85.23	o 5566140
111.14/85.87	o 5561908
111.54/86.27	o 5551438
112.36/87.03	o 5542464
112.75/87.43	o 5541760
114.15/88.86	o 5535280
119.33/93.60	o 5528540
123.18/97.13	o 5344472
123.47/97.46	o 5319426
123.87/97.84	o 5265912
128.48/102.14	o 5259492
128.77/102.50	o 5248333
130.98/104.61	o 5237064
132.58/106.04	o 5223402
135.71/109.14	o 5083558
136.41/109.88	o 5018207
140.15/113.38	o 5010972
140.57/113.74	o 5001219
141.27/114.40	o 4932200
144.91/117.87	o 4910656
145.61/118.60	o 4906857
146.01/118.96	o 4902265
147.81/120.77	o 4895785
148.22/121.15	o 4890657
150.92/123.53	o 4890384
168.15/139.70	o 4882123
169.56/141.07	o 4773958
170.35/141.85	o 4768714
173.87/145.09	o 4767129
175.66/146.90	o 4764279
177.16/148.34	o 4745695
180.88/151.88	o 4731215
183.11/153.90	o 4728465
186.72/157.48	o 4725566
193.64/163.85	o 4693849
199.10/168.93	o 4656126
200.21/170.07	o 4619139
209.83/178.98	o 4605825
211.33/180.41	o 4595795
231.94/199.64	o 4575483
252.08/218.60	java.util.concurrent.TimeoutException
252.08/218.60		at concrete.MAC.mac(MAC.scala:74)
252.08/218.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.08/218.60		at scala.util.Try$.apply(Try.scala:209)
252.08/218.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.08/218.60		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.08/218.60		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.08/218.60		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.08/218.60		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.08/218.60		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.08/218.60		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.08/218.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.08/218.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.08/218.60		at concrete.MAC.oneRun(MAC.scala:146)
252.08/218.60		at concrete.MAC.nextSolution(MAC.scala:166)
252.08/218.60		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.08/218.60		at concrete.ProblemState.map(ProblemState.scala:203)
252.08/218.60		at concrete.ProblemState.map(ProblemState.scala:188)
252.08/218.60		at concrete.MAC.nextSolution(MAC.scala:195)
252.08/218.60		at concrete.Solver.hasNext(Solver.scala:202)
252.08/218.60		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.08/218.60		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.08/218.60		at concrete.Solver.toStream(Solver.scala:73)
252.08/218.60		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.08/218.60		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.08/218.60		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.08/218.60		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.08/218.60		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.08/218.60		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.08/218.60		at scala.util.Success.map(Try.scala:209)
252.08/218.60		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.08/218.60		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.08/218.60		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.08/218.60		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.08/218.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.08/218.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.08/218.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.08/218.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.08/218.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.08/218.61		at scala.collection.immutable.List.foreach(List.scala:389)
252.08/218.61		at scala.App.main(App.scala:76)
252.08/218.61		at scala.App.main$(App.scala:74)
252.08/218.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.08/218.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.08/218.61	v <instantiation cost="4575483">
252.08/218.61	v       <list>
252.08/218.61	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[31][32] d[31][33] d[31][34] d[31][35] d[32][33] d[32][34] d[32][35] d[33][34] d[33][35] d[34][35]
252.08/218.61	v       </list>
252.08/218.61	v       <values>
252.08/218.61	v         34 16 1 17 0 9 8 32 33 21 20 13 19 12 7 6 31 30 23 24 22 11 4 3 18 27 29 35 25 26 10 5 2 14 15 28 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 8 0 0 0 0 0 0 4 16 16 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 1 26 6 41 8 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 6 0 75 4 0 0 0 0 7 23 22 0 9 0 0 0 0 0 12 1 2 0 0 0 0 0 0 7 7 0 1 0 0 14 0 0 0 0 0 15 17 71 72 0 0 0 0 0 1 0 2 0 0 0 0 0 0 11 1 0 1 0 0 0 0 0 0 0 0 18 10 14 0 0 0 0 0 0 0 23 0 0 0 0 0 0 0 0 0 0 0 0 20 0 0 5 6 0 0 0 18 3 0 0 0 0 0 0 0 4 5 0 0 0 0 0 0 0 0 0 0 0 4 2 0 0 0 24 13 0 0 0 0 0 0 4 12 8 0 0 0 0 0 0 0 0 0 36 1 4 3 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 4 0 0 0 0 0 0 0 11 8 0 0 0 0 0 8 6 0 0 0 9 0 0 0 0 2 0 0 0 0 0 0 21 11 0 8 5 2 2 0 0 25 0 0 1 0 3 0 0 5 8 0 0 3 0 0 5 0 7 28 1 0 0 36 0 18 25 13 18 10 0 0 16 34 19 4 12 1 9 0 39 1 0 0 0 10 157 25 48 0 11 0 0 0 9 33 19 20 6 0 2 0 0 0 0 0 0 0 25 47 0 8 0 0 0 7 2 2 20 0 0 0 0 0 0 0 0 8 12 18 4 28 0 0 0 0 7 4 16 40 8 8 0 0 0 0 0 0 0 20 6 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 19 0 0 0 0 0 0 0 0 12 26 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 22 0 0 0 0 0 0 35 2 0 0 0 0 0 0 0 0 0 7 0 0 0 12 9 6 0 0 0 0 0 0 0 0 0 0 0 0 1 316 2 0 4 0 0 29 0 0 0 0 0 0 4 18 0 3 0 0 0 0 0 0 0 0 4 5 0 4 0 0 27 3 0 0 0 8 2 0 2 0 16 22 0 0 0 0 0 0 7 0 10 0 0 0 6 0 0 0 0 19 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 10 0 0 0 0 0 23 0 2 0 0 4 0 0 0 0 0 0 19 3 0
252.08/218.61	v       </values>
252.08/218.61	v     </instantiation>
252.08/218.61	s SATISFIABLE

Verifier Data

OK	4575483

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259659-1502645503/watcher-4259659-1502645503 -o /tmp/evaluation-result-4259659-1502645503/solver-4259659-1502645503 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259659-1502645503.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
solver pid=29185, runsolver pid=29182
Current StackSize limit: 8192 KiB


[startup+0.100174 s]*
/proc/loadavg: 2.47 1.93 1.89 3/199 29214
/proc/meminfo: memFree=30500056/32770624 swapFree=67108860/67108860
[pid=29185] ppid=29182 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/29185/stat : 29185 (bash) S 29182 29185 8289 0 -1 4202496 895 6480 0 0 0 0 0 1 20 0 1 0 112365522 9867264 378 18446744073709551615 4194304 5098028 140731439722848 140731439716856 140568995793920 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 15245312 140731439727092 140731439727177 140731439727177 140731439730666 0
/proc/29185/statm: 2409 378 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1512 KiB

[startup+0.209614 s]*
/proc/loadavg: 2.47 1.93 1.89 3/203 29239
/proc/meminfo: memFree=30495164/32770624 swapFree=67108860/67108860
[pid=29185] ppid=29182 vsize=13441360 memory=15432 CPUtime=0.08 cores=1,3,5,7
/proc/29185/stat : 29185 (java) S 29182 29185 8289 0 -1 1077944320 4533 12355 0 0 1 0 5 2 20 0 7 0 112365522 13763952640 3858 18446744073709551615 4194304 4196468 140733791834752 140733791817296 140475964612343 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
/proc/29185/statm: 3360340 3858 1962 1 0 3349837 0
[pid=29185/tid=29235] ppid=29182 vsize=13441360 memory=8318255677412212789 CPUtime=0.08 cores=1,3,5,7
/proc/29185/task/29235/stat : 29235 (java) R 29182 29185 8289 0 -1 4202560 2375 12355 0 0 1 0 5 2 20 0 7 0 112365542 13763952640 3858 18446744073709551615 4194304 4196468 140733791834752 140475968854800 140475946496544 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29236] ppid=29182 vsize=13441360 memory=330 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29236/stat : 29236 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 7 0 112365543 13763952640 3858 18446744073709551615 4194304 4196468 140733791834752 140475564211216 140475964622549 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29237] ppid=29182 vsize=13441360 memory=288371076786742912 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29237/stat : 29237 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 7 0 112365543 13763952640 3858 18446744073709551615 4194304 4196468 140733791834752 140475563158672 140475964622549 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29238] ppid=29182 vsize=13441360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29238/stat : 29238 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 7 0 112365543 13763952640 3858 18446744073709551615 4194304 4196468 140733791834752 140475562105616 140475964622549 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29239] ppid=29182 vsize=13441360 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29239/stat : 29239 (java) S 29182 29185 8289 0 -1 1077944384 2 12355 0 0 0 0 5 2 20 0 7 0 112365543 13763952640 3858 18446744073709551615 4194304 4196468 140733791834752 140475561053072 140475964622549 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29240] ppid=29182 vsize=13441360 memory=140700635031168 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29240/stat : 29240 (java) S 29182 29185 8289 0 -1 1077944384 2 12355 0 0 0 0 5 2 20 0 7 0 112365544 13763952640 3858 18446744073709551615 4194304 4196468 140733791834752 140475510356208 140475964623490 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13441360 KiB
Current children cumulated memory: 15432 KiB

[startup+0.309823 s]*
/proc/loadavg: 2.47 1.93 1.89 5/212 29248
/proc/meminfo: memFree=30484024/32770624 swapFree=67108860/67108860
[pid=29185] ppid=29182 vsize=13974356 memory=30344 CPUtime=0.18 cores=1,3,5,7
/proc/29185/stat : 29185 (java) S 29182 29185 8289 0 -1 1077944320 6982 12355 0 0 10 1 5 2 20 0 15 0 112365522 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140733791817296 140475964612343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
/proc/29185/statm: 3493589 7586 2875 1 0 3482965 0
[pid=29185/tid=29235] ppid=29182 vsize=13974356 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/29185/task/29235/stat : 29235 (java) R 29182 29185 8289 0 -1 4202560 3517 12355 0 0 7 0 5 2 20 0 15 0 112365542 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475968843864 140475579348068 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29236] ppid=29182 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29236/stat : 29236 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 15 0 112365543 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475564211216 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29237] ppid=29182 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29237/stat : 29237 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 15 0 112365543 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475563158672 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29238] ppid=29182 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29238/stat : 29238 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 15 0 112365543 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475562105616 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29239] ppid=29182 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29239/stat : 29239 (java) S 29182 29185 8289 0 -1 1077944384 2 12355 0 0 0 0 5 2 20 0 15 0 112365543 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475561053072 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29240] ppid=29182 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29240/stat : 29240 (java) S 29182 29185 8289 0 -1 1077944384 2 12355 0 0 0 0 5 2 20 0 15 0 112365544 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475510356208 140475964623490 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29241] ppid=29182 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29241/stat : 29241 (java) S 29182 29185 8289 0 -1 1077944384 33 12355 0 0 0 0 5 2 20 0 15 0 112365545 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475509302432 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29242] ppid=29182 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29242/stat : 29242 (java) S 29182 29185 8289 0 -1 1077944384 21 12355 0 0 0 0 5 2 20 0 15 0 112365545 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475508249328 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29243] ppid=29182 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29243/stat : 29243 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365547 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475507197904 140475964630939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29244] ppid=29182 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29244/stat : 29244 (java) R 29182 29185 8289 0 -1 4202560 589 12355 0 0 0 0 5 2 20 0 15 0 112365548 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475506127048 140475942445728 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29245] ppid=29182 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29245/stat : 29245 (java) R 29182 29185 8289 0 -1 4202560 107 12355 0 0 0 0 5 2 20 0 15 0 112365548 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475505080056 140475957329495 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29246] ppid=29182 vsize=13974356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29185/task/29246/stat : 29246 (java) R 29182 29185 8289 0 -1 4202560 565 12355 0 0 1 0 5 2 20 0 15 0 112365548 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475504037368 140475948859641 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29247] ppid=29182 vsize=13974356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29247/stat : 29247 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365548 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475502988128 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29248] ppid=29182 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29248/stat : 29248 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 15 0 112365551 14309740544 7586 18446744073709551615 4194304 4196468 140733791834752 140475501935152 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 30344 KiB

[startup+0.700694 s]
/proc/loadavg: 2.47 1.93 1.89 3/212 29248
/proc/meminfo: memFree=30458240/32770624 swapFree=67108860/67108860
[pid=29185] ppid=29182 vsize=13974784 memory=60492 CPUtime=0.71 cores=1,3,5,7
/proc/29185/stat : 29185 (java) S 29182 29185 8289 0 -1 1077944320 14180 12355 0 0 60 4 5 2 20 0 15 0 112365522 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140733791817296 140475964612343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
/proc/29185/statm: 3493696 15123 3120 1 0 3482965 0
[pid=29185/tid=29235] ppid=29182 vsize=13974784 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/29185/task/29235/stat : 29235 (java) R 29182 29185 8289 0 -1 4202560 10466 12355 0 0 42 3 5 2 20 0 15 0 112365542 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475968835488 140475946175872 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29236] ppid=29182 vsize=13974784 memory=53908 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29236/stat : 29236 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 15 0 112365543 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475564211216 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29237] ppid=29182 vsize=13974784 memory=-8774313645642428999 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29237/stat : 29237 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 15 0 112365543 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475563158672 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29238] ppid=29182 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29238/stat : 29238 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 15 0 112365543 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475562105616 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29239] ppid=29182 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29239/stat : 29239 (java) S 29182 29185 8289 0 -1 1077944384 2 12355 0 0 0 0 5 2 20 0 15 0 112365543 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475561053072 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29240] ppid=29182 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29240/stat : 29240 (java) S 29182 29185 8289 0 -1 1077944384 5 12355 0 0 0 0 5 2 20 0 15 0 112365544 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475510356208 140475964623490 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29241] ppid=29182 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29241/stat : 29241 (java) S 29182 29185 8289 0 -1 1077944384 33 12355 0 0 0 0 5 2 20 0 15 0 112365545 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475509302432 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29242] ppid=29182 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29242/stat : 29242 (java) S 29182 29185 8289 0 -1 1077944384 21 12355 0 0 0 0 5 2 20 0 15 0 112365545 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475508249328 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29243] ppid=29182 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29243/stat : 29243 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365547 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475507197904 140475964630939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29244] ppid=29182 vsize=13974784 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/29185/task/29244/stat : 29244 (java) S 29182 29185 8289 0 -1 1077944384 627 12355 0 0 3 0 5 2 20 0 15 0 112365548 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475506146032 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29245] ppid=29182 vsize=13974784 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/29185/task/29245/stat : 29245 (java) S 29182 29185 8289 0 -1 1077944384 236 12355 0 0 3 0 5 2 20 0 15 0 112365548 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475505093488 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29246] ppid=29182 vsize=13974784 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/29185/task/29246/stat : 29246 (java) S 29182 29185 8289 0 -1 1077944384 628 12355 0 0 10 0 5 2 20 0 15 0 112365548 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475504040432 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29247] ppid=29182 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29247/stat : 29247 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365548 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475502988128 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29248] ppid=29182 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29248/stat : 29248 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 15 0 112365551 14310178816 15123 18446744073709551615 4194304 4196468 140733791834752 140475501935152 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 60492 KiB

[startup+1.50242 s]
/proc/loadavg: 2.47 1.93 1.89 3/212 29248
/proc/meminfo: memFree=30415008/32770624 swapFree=67108860/67108860
[pid=29185] ppid=29182 vsize=13985408 memory=174432 CPUtime=1.93 cores=1,3,5,7
/proc/29185/stat : 29185 (java) S 29182 29185 8289 0 -1 1077944320 25373 12355 0 0 176 10 5 2 20 0 15 0 112365522 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140733791817296 140475964612343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
/proc/29185/statm: 3496352 43608 3371 1 0 3485525 0
[pid=29185/tid=29235] ppid=29182 vsize=13985408 memory=140700511498736 CPUtime=1.29 cores=1,3,5,7
/proc/29185/task/29235/stat : 29235 (java) R 29182 29185 8289 0 -1 4202560 19854 12355 0 0 116 6 5 2 20 0 15 0 112365542 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475968839136 140475579330895 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29236] ppid=29182 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29236/stat : 29236 (java) S 29182 29185 8289 0 -1 1077944384 39 12355 0 0 0 0 5 2 20 0 15 0 112365543 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475564211216 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29237] ppid=29182 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29185/task/29237/stat : 29237 (java) S 29182 29185 8289 0 -1 1077944384 36 12355 0 0 1 0 5 2 20 0 15 0 112365543 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475563158672 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29238] ppid=29182 vsize=13985408 memory=-7749696028082845524 CPUtime=0.08 cores=1,3,5,7
/proc/29185/task/29238/stat : 29238 (java) S 29182 29185 8289 0 -1 1077944384 31 12355 0 0 1 0 5 2 20 0 15 0 112365543 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475562105616 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29239] ppid=29182 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29239/stat : 29239 (java) S 29182 29185 8289 0 -1 1077944384 188 12355 0 0 0 0 5 2 20 0 15 0 112365543 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475561053072 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29240] ppid=29182 vsize=13985408 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29185/task/29240/stat : 29240 (java) S 29182 29185 8289 0 -1 1077944384 148 12355 0 0 1 0 5 2 20 0 15 0 112365544 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475510356208 140475964623490 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29241] ppid=29182 vsize=13985408 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29241/stat : 29241 (java) S 29182 29185 8289 0 -1 1077944384 34 12355 0 0 0 0 5 2 20 0 15 0 112365545 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475509302496 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29242] ppid=29182 vsize=13985408 memory=1620 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29242/stat : 29242 (java) S 29182 29185 8289 0 -1 1077944384 24 12355 0 0 0 0 5 2 20 0 15 0 112365545 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475508249344 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29243] ppid=29182 vsize=13985408 memory=844 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29243/stat : 29243 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365547 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475507197904 140475964630939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29244] ppid=29182 vsize=13985408 memory=18484 CPUtime=0.22 cores=1,3,5,7
/proc/29185/task/29244/stat : 29244 (java) S 29182 29185 8289 0 -1 1077944384 1029 12355 0 0 15 0 5 2 20 0 15 0 112365548 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475506146032 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29245] ppid=29182 vsize=13985408 memory=3912 CPUtime=0.21 cores=1,3,5,7
/proc/29185/task/29245/stat : 29245 (java) S 29182 29185 8289 0 -1 1077944384 628 12355 0 0 14 0 5 2 20 0 15 0 112365548 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475505093488 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29246] ppid=29182 vsize=13985408 memory=2880 CPUtime=0.3 cores=1,3,5,7
/proc/29185/task/29246/stat : 29246 (java) S 29182 29185 8289 0 -1 1077944384 1203 12355 0 0 23 0 5 2 20 0 15 0 112365548 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475504040432 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29247] ppid=29182 vsize=13985408 memory=2884 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29247/stat : 29247 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365548 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475502988128 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29248] ppid=29182 vsize=13985408 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29248/stat : 29248 (java) S 29182 29185 8289 0 -1 1077944384 1 12355 0 0 0 0 5 2 20 0 15 0 112365551 14321057792 43608 18446744073709551615 4194304 4196468 140733791834752 140475501935152 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 174432 KiB

[startup+3.1102 s]
/proc/loadavg: 2.47 1.93 1.89 3/212 29248
/proc/meminfo: memFree=30290904/32770624 swapFree=67108860/67108860
[pid=29185] ppid=29182 vsize=13997884 memory=228652 CPUtime=5.86 cores=1,3,5,7
/proc/29185/stat : 29185 (java) S 29182 29185 8289 0 -1 1077944320 37762 12355 0 0 563 16 5 2 20 0 15 0 112365522 14333833216 57163 18446744073709551615 4194304 4196468 140733791834752 140733791817296 140475964612343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
/proc/29185/statm: 3499471 57163 3448 1 0 3488085 0
[pid=29185/tid=29235] ppid=29182 vsize=13997884 memory=0 CPUtime=2.88 cores=1,3,5,7
/proc/29185/task/29235/stat : 29235 (java) R 29182 29185 8289 0 -1 4202560 27832 12355 0 0 272 9 5 2 20 0 15 0 112365542 14333833216 57163 18446744073709551615 4194304 4196468 140733791834752 140475968840480 140475964624278 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29236] ppid=29182 vsize=13997884 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29236/stat : 29236 (java) S 29182 29185 8289 0 -1 1077944384 39 12355 0 0 0 0 5 2 20 0 15 0 112365543 14333833216 57163 18446744073709551615 4194304 4196468 140733791834752 140475564211216 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29237] ppid=29182 vsize=13997884 memory=1620 CPUtime=0.08 cores=1,3,5,7
/proc/29185/task/29237/stat : 29237 (java) S 29182 29185 8289 0 -1 1077944384 36 12355 0 0 1 0 5 2 20 0 15 0 112365543 14333833216 57163 18446744073709551615 4194304 4196468 140733791834752 140475563158672 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29238] ppid=29182 vsize=13997884 memory=844 CPUtime=0.08 cores=1,3,5,7
/proc/29185/task/29238/stat : 29238 (java) S 29182 29185 8289 0 -1 1077944384 31 12355 0 0 1 0 5 2 20 0 15 0 112365543 14333833216 57163 18446744073709551615 4194304 4196468 140733791834752 140475562105616 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29239] ppid=29182 vsize=13997884 memory=18484 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29239/stat : 29239 (java) S 29182 29185 8289 0 -1 1077944384 188 12355 0 0 0 0 5 2 20 0 15 0 112365543 14333833216 57163 18446744073709551615 4194304 4196468 140733791834752 140475561053072 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29240] ppid=29182 vsize=13997884 memory=3912 CPUtime=0.08 cores=1,3,5,7
/proc/29185/task/29240/stat : 29240 (java) S 29182 29185 8289 0 -1 1077944384 150 12355 0 0 1 0 5 2 20 0 15 0 112365544 14333833216 57163 18446744073709551615 4194304 4196468 140733791834752 140475510356208 140475964623490 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29241] ppid=29182 vsize=13997884 memory=2880 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29241/stat : 29241 (java) S 29182 29185 8289 0 -1 1077944384 34 12355 0 0 0 0 5 2 20 0 15 0 112365545 14333833216 57163 18446744073709551615 4194304 4196468 140733791834752 140475509302496 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29242] ppid=29182 vsize=13997884 memory=2884 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29242/stat : 29242 (java) S 29182 29185 8289 0 -1 1077944384 24 12355 0 0 0 0 5 2 20 0 15 0 112365545 14333833216 57163 18446744073709551615 4194304 4196468 140733791834752 140475508249344 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29243] ppid=29182 vsize=13997884 memory=4068 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29243/stat : 29243 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365547 14333833216 57163 18446744073709551615 4194304 4196468 140733791834752 140475507197904 140475964630939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0

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

/proc/29185/task/29235/stat : 29235 (java) R 29182 29185 8289 0 -1 4202560 50362 12355 0 0 4722 36 5 2 20 0 15 0 112365542 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475968840624 140475597582331 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29236] ppid=29182 vsize=14069564 memory=3417820 CPUtime=3.07 cores=1,3,5,7
/proc/29185/task/29236/stat : 29236 (java) S 29182 29185 8289 0 -1 1077944384 1189 12355 0 0 255 45 5 2 20 0 15 0 112365543 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475564211216 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29237] ppid=29182 vsize=14069564 memory=4168 CPUtime=3.07 cores=1,3,5,7
/proc/29185/task/29237/stat : 29237 (java) S 29182 29185 8289 0 -1 1077944384 2821 12355 0 0 256 44 5 2 20 0 15 0 112365543 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475563158672 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29238] ppid=29182 vsize=14069564 memory=281401023629760 CPUtime=3.09 cores=1,3,5,7
/proc/29185/task/29238/stat : 29238 (java) S 29182 29185 8289 0 -1 1077944384 1595 12355 0 0 257 45 5 2 20 0 15 0 112365543 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475562105616 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29239] ppid=29182 vsize=14069564 memory=164 CPUtime=3.08 cores=1,3,5,7
/proc/29185/task/29239/stat : 29239 (java) S 29182 29185 8289 0 -1 1077944384 1392 12355 0 0 256 45 5 2 20 0 15 0 112365543 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475561053072 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29240] ppid=29182 vsize=14069564 memory=6705 CPUtime=0.26 cores=1,3,5,7
/proc/29185/task/29240/stat : 29240 (java) S 29182 29185 8289 0 -1 1077944384 13334 12355 0 0 18 1 5 2 20 0 15 0 112365544 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475510356208 140475964623490 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29241] ppid=29182 vsize=14069564 memory=54408 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29241/stat : 29241 (java) S 29182 29185 8289 0 -1 1077944384 43 12355 0 0 0 0 5 2 20 0 15 0 112365545 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475509302560 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29242] ppid=29182 vsize=14069564 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29242/stat : 29242 (java) S 29182 29185 8289 0 -1 1077944384 56 12355 0 0 0 0 5 2 20 0 15 0 112365545 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475508249344 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29243] ppid=29182 vsize=14069564 memory=2440 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29243/stat : 29243 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365547 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475507197904 140475964630939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29244] ppid=29182 vsize=14069564 memory=1724 CPUtime=6.29 cores=1,3,5,7
/proc/29185/task/29244/stat : 29244 (java) S 29182 29185 8289 0 -1 1077944384 15388 12355 0 0 619 3 5 2 20 0 15 0 112365548 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475506146032 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29245] ppid=29182 vsize=14069564 memory=3417820 CPUtime=6.3 cores=1,3,5,7
/proc/29185/task/29245/stat : 29245 (java) S 29182 29185 8289 0 -1 1077944384 14060 12355 0 0 619 4 5 2 20 0 15 0 112365548 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475505093488 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29246] ppid=29182 vsize=14069564 memory=14356 CPUtime=2.21 cores=1,3,5,7
/proc/29185/task/29246/stat : 29246 (java) S 29182 29185 8289 0 -1 1077944384 10912 12355 0 0 210 4 5 2 20 0 15 0 112365548 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475504040432 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29247] ppid=29182 vsize=14069564 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29247/stat : 29247 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365548 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475502988128 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29248] ppid=29182 vsize=14069564 memory=2012 CPUtime=0.09 cores=1,3,5,7
/proc/29185/task/29248/stat : 29248 (java) S 29182 29185 8289 0 -1 1077944384 716 12355 0 0 1 1 5 2 20 0 15 0 112365551 14407233536 854455 18446744073709551615 4194304 4196468 140733791834752 140475501935152 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
Current children cumulated CPU time: 74.59 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 3417820 KiB

[startup+102.301 s]
/proc/loadavg: 2.10 1.96 1.91 3/212 29375
/proc/meminfo: memFree=23986072/32770624 swapFree=67108860/67108860
[pid=29185] ppid=29182 vsize=14069564 memory=4323664 CPUtime=128.67 cores=1,3,5,7
/proc/29185/stat : 29185 (java) S 29182 29185 8289 0 -1 1077944320 133723 12355 0 0 12565 295 5 2 20 0 15 0 112365522 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140733791817296 140475964612343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
/proc/29185/statm: 3517391 1080916 3486 1 0 3506005 0
[pid=29185/tid=29235] ppid=29182 vsize=14069564 memory=4323656 CPUtime=98.04 cores=1,3,5,7
/proc/29185/task/29235/stat : 29235 (java) R 29182 29185 8289 0 -1 4202560 57152 12355 0 0 9750 47 5 2 20 0 15 0 112365542 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475968842992 140475597134266 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29236] ppid=29182 vsize=14069564 memory=0 CPUtime=3.85 cores=1,3,5,7
/proc/29185/task/29236/stat : 29236 (java) S 29182 29185 8289 0 -1 1077944384 2698 12355 0 0 321 57 5 2 20 0 15 0 112365543 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475564211216 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29237] ppid=29182 vsize=14069564 memory=281401023796960 CPUtime=3.85 cores=1,3,5,7
/proc/29185/task/29237/stat : 29237 (java) S 29182 29185 8289 0 -1 1077944384 3168 12355 0 0 322 56 5 2 20 0 15 0 112365543 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475563158672 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29238] ppid=29182 vsize=14069564 memory=140700511714600 CPUtime=3.87 cores=1,3,5,7
/proc/29185/task/29238/stat : 29238 (java) S 29182 29185 8289 0 -1 1077944384 1937 12355 0 0 323 57 5 2 20 0 15 0 112365543 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475562105616 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29239] ppid=29182 vsize=14069564 memory=281401023908320 CPUtime=3.86 cores=1,3,5,7
/proc/29185/task/29239/stat : 29239 (java) S 29182 29185 8289 0 -1 1077944384 2339 12355 0 0 322 57 5 2 20 0 15 0 112365543 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475561053072 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29240] ppid=29182 vsize=14069564 memory=140700511557368 CPUtime=0.27 cores=1,3,5,7
/proc/29185/task/29240/stat : 29240 (java) S 29182 29185 8289 0 -1 1077944384 13766 12355 0 0 19 1 5 2 20 0 15 0 112365544 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475510356208 140475964623490 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29241] ppid=29182 vsize=14069564 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29241/stat : 29241 (java) S 29182 29185 8289 0 -1 1077944384 46 12355 0 0 0 0 5 2 20 0 15 0 112365545 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475509302560 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29242] ppid=29182 vsize=14069564 memory=4274496 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29242/stat : 29242 (java) S 29182 29185 8289 0 -1 1077944384 56 12355 0 0 0 0 5 2 20 0 15 0 112365545 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475508249344 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29243] ppid=29182 vsize=14069564 memory=2440 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29243/stat : 29243 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365547 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475507197904 140475964630939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29244] ppid=29182 vsize=14069564 memory=281399345117873 CPUtime=6.57 cores=1,3,5,7
/proc/29185/task/29244/stat : 29244 (java) S 29182 29185 8289 0 -1 1077944384 18370 12355 0 0 646 4 5 2 20 0 15 0 112365548 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475506146032 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29245] ppid=29182 vsize=14069564 memory=13567080955905322 CPUtime=6.47 cores=1,3,5,7
/proc/29185/task/29245/stat : 29245 (java) S 29182 29185 8289 0 -1 1077944384 17853 12355 0 0 636 4 5 2 20 0 15 0 112365548 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475505093488 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29246] ppid=29182 vsize=14069564 memory=1724 CPUtime=2.28 cores=1,3,5,7
/proc/29185/task/29246/stat : 29246 (java) S 29182 29185 8289 0 -1 1077944384 13379 12355 0 0 217 4 5 2 20 0 15 0 112365548 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475504040432 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29247] ppid=29182 vsize=14069564 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29247/stat : 29247 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365548 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475502988128 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29248] ppid=29182 vsize=14069564 memory=1716 CPUtime=0.12 cores=1,3,5,7
/proc/29185/task/29248/stat : 29248 (java) S 29182 29185 8289 0 -1 1077944384 801 12355 0 0 2 3 5 2 20 0 15 0 112365551 14407233536 1080916 18446744073709551615 4194304 4196468 140733791834752 140475501935152 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
Current children cumulated CPU time: 128.67 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4323664 KiB

[startup+162.301 s]
/proc/loadavg: 2.05 1.97 1.91 3/216 29392
/proc/meminfo: memFree=22992636/32770624 swapFree=67108860/67108860
[pid=29185] ppid=29182 vsize=14069564 memory=4309840 CPUtime=191.9 cores=1,3,5,7
/proc/29185/stat : 29185 (java) S 29182 29185 8289 0 -1 1077944320 150556 12355 0 0 18883 300 5 2 20 0 15 0 112365522 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140733791817296 140475964612343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
/proc/29185/statm: 3517391 1077460 3487 1 0 3506005 0
[pid=29185/tid=29235] ppid=29182 vsize=14069564 memory=4325748 CPUtime=157.04 cores=1,3,5,7
/proc/29185/task/29235/stat : 29235 (java) R 29182 29185 8289 0 -1 4202560 63548 12355 0 0 15649 48 5 2 20 0 15 0 112365542 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475968843568 140475587665568 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29236] ppid=29182 vsize=14069564 memory=4323724 CPUtime=4.83 cores=1,3,5,7
/proc/29185/task/29236/stat : 29236 (java) S 29182 29185 8289 0 -1 1077944384 2845 12355 0 0 419 57 5 2 20 0 15 0 112365543 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475564211216 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29237] ppid=29182 vsize=14069564 memory=4323736 CPUtime=4.84 cores=1,3,5,7
/proc/29185/task/29237/stat : 29237 (java) S 29182 29185 8289 0 -1 1077944384 4735 12355 0 0 421 56 5 2 20 0 15 0 112365543 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475563158672 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29238] ppid=29182 vsize=14069564 memory=4323736 CPUtime=4.85 cores=1,3,5,7
/proc/29185/task/29238/stat : 29238 (java) S 29182 29185 8289 0 -1 1077944384 2127 12355 0 0 421 57 5 2 20 0 15 0 112365543 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475562105616 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29239] ppid=29182 vsize=14069564 memory=4325748 CPUtime=4.85 cores=1,3,5,7
/proc/29185/task/29239/stat : 29239 (java) S 29182 29185 8289 0 -1 1077944384 2931 12355 0 0 420 58 5 2 20 0 15 0 112365543 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475561053072 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29240] ppid=29182 vsize=14069564 memory=4309836 CPUtime=0.29 cores=1,3,5,7
/proc/29185/task/29240/stat : 29240 (java) S 29182 29185 8289 0 -1 1077944384 14059 12355 0 0 20 2 5 2 20 0 15 0 112365544 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475510356208 140475964623490 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29241] ppid=29182 vsize=14069564 memory=4309840 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29241/stat : 29241 (java) S 29182 29185 8289 0 -1 1077944384 49 12355 0 0 0 0 5 2 20 0 15 0 112365545 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475509302560 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29242] ppid=29182 vsize=14069564 memory=4309836 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29242/stat : 29242 (java) S 29182 29185 8289 0 -1 1077944384 56 12355 0 0 0 0 5 2 20 0 15 0 112365545 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475508249344 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29243] ppid=29182 vsize=14069564 memory=-8774313645642428999 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29243/stat : 29243 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365547 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475507197904 140475964630939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29244] ppid=29182 vsize=14069564 memory=54408 CPUtime=6.64 cores=1,3,5,7
/proc/29185/task/29244/stat : 29244 (java) S 29182 29185 8289 0 -1 1077944384 21116 12355 0 0 653 4 5 2 20 0 15 0 112365548 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475506146032 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29245] ppid=29182 vsize=14069564 memory=1232 CPUtime=6.57 cores=1,3,5,7
/proc/29185/task/29245/stat : 29245 (java) S 29182 29185 8289 0 -1 1077944384 19556 12355 0 0 646 4 5 2 20 0 15 0 112365548 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475505093488 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29246] ppid=29182 vsize=14069564 memory=4323732 CPUtime=2.36 cores=1,3,5,7
/proc/29185/task/29246/stat : 29246 (java) S 29182 29185 8289 0 -1 1077944384 16480 12355 0 0 224 5 5 2 20 0 15 0 112365548 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475504040432 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29247] ppid=29182 vsize=14069564 memory=10596 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29247/stat : 29247 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365548 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475502988128 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29248] ppid=29182 vsize=14069564 memory=9049878540880478381 CPUtime=0.16 cores=1,3,5,7
/proc/29185/task/29248/stat : 29248 (java) S 29182 29185 8289 0 -1 1077944384 896 12355 0 0 4 5 5 2 20 0 15 0 112365551 14407233536 1077460 18446744073709551615 4194304 4196468 140733791834752 140475501935152 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
Current children cumulated CPU time: 191.9 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4309840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+218.601 s]
/proc/loadavg: 2.27 2.02 1.94 3/217 29395
/proc/meminfo: memFree=22457300/32770624 swapFree=67108860/67108860
[pid=29185] ppid=29182 vsize=14069564 memory=4310056 CPUtime=252.08 cores=1,3,5,7
/proc/29185/stat : 29185 (java) S 29182 29185 8289 0 -1 1077944320 166117 12355 0 0 24898 303 5 2 20 0 15 0 112365522 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140733791817296 140475964612343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
/proc/29185/statm: 3517391 1077514 3487 1 0 3506005 0
[pid=29185/tid=29235] ppid=29182 vsize=14069564 memory=15825482134324680 CPUtime=212.13 cores=1,3,5,7
/proc/29185/task/29235/stat : 29235 (java) R 29182 29185 8289 0 -1 4202560 69006 12355 0 0 21158 48 5 2 20 0 15 0 112365542 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475968842464 140475580356688 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29236] ppid=29182 vsize=14069564 memory=4612 CPUtime=6.02 cores=1,3,5,7
/proc/29185/task/29236/stat : 29236 (java) S 29182 29185 8289 0 -1 1077944384 3464 12355 0 0 538 57 5 2 20 0 15 0 112365543 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475564211216 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29237] ppid=29182 vsize=14069564 memory=1436 CPUtime=6.02 cores=1,3,5,7
/proc/29185/task/29237/stat : 29237 (java) S 29182 29185 8289 0 -1 1077944384 4894 12355 0 0 539 56 5 2 20 0 15 0 112365543 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475563158672 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29238] ppid=29182 vsize=14069564 memory=1296 CPUtime=6.04 cores=1,3,5,7
/proc/29185/task/29238/stat : 29238 (java) S 29182 29185 8289 0 -1 1077944384 3722 12355 0 0 539 58 5 2 20 0 15 0 112365543 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475562105616 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29239] ppid=29182 vsize=14069564 memory=2440 CPUtime=6.04 cores=1,3,5,7
/proc/29185/task/29239/stat : 29239 (java) S 29182 29185 8289 0 -1 1077944384 3257 12355 0 0 539 58 5 2 20 0 15 0 112365543 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475561053072 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29240] ppid=29182 vsize=14069564 memory=1724 CPUtime=0.3 cores=1,3,5,7
/proc/29185/task/29240/stat : 29240 (java) S 29182 29185 8289 0 -1 1077944384 14403 12355 0 0 21 2 5 2 20 0 15 0 112365544 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475510356208 140475964623490 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29241] ppid=29182 vsize=14069564 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29241/stat : 29241 (java) S 29182 29185 8289 0 -1 1077944384 52 12355 0 0 0 0 5 2 20 0 15 0 112365545 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475509302560 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29242] ppid=29182 vsize=14069564 memory=1716 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29242/stat : 29242 (java) S 29182 29185 8289 0 -1 1077944384 56 12355 0 0 0 0 5 2 20 0 15 0 112365545 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475508249344 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29243] ppid=29182 vsize=14069564 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29243/stat : 29243 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365547 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475507197904 140475964630939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29244] ppid=29182 vsize=14069564 memory=54432 CPUtime=6.74 cores=1,3,5,7
/proc/29185/task/29244/stat : 29244 (java) S 29182 29185 8289 0 -1 1077944384 23055 12355 0 0 663 4 5 2 20 0 15 0 112365548 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475506146032 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29245] ppid=29182 vsize=14069564 memory=1296 CPUtime=6.69 cores=1,3,5,7
/proc/29185/task/29245/stat : 29245 (java) S 29182 29185 8289 0 -1 1077944384 22371 12355 0 0 658 4 5 2 20 0 15 0 112365548 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475505093488 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29246] ppid=29182 vsize=14069564 memory=4309912 CPUtime=2.43 cores=1,3,5,7
/proc/29185/task/29246/stat : 29246 (java) S 29182 29185 8289 0 -1 1077944384 18752 12355 0 0 231 5 5 2 20 0 15 0 112365548 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475504040432 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29247] ppid=29182 vsize=14069564 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/29185/task/29247/stat : 29247 (java) S 29182 29185 8289 0 -1 1077944384 3 12355 0 0 0 0 5 2 20 0 15 0 112365548 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475502988128 140475964622549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
[pid=29185/tid=29248] ppid=29182 vsize=14069564 memory=54432 CPUtime=0.19 cores=1,3,5,7
/proc/29185/task/29248/stat : 29248 (java) S 29182 29185 8289 0 -1 1077944384 927 12355 0 0 5 7 5 2 20 0 15 0 112365551 14407233536 1077514 18446744073709551615 4194304 4196468 140733791834752 140475501935152 140475964623490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140733791840176 140733791842961 140733791842961 140733791846351 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 4310056 KiB

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

[startup+218.647 s]
# the end of solver process 29185 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.059 s, system=3.09442 s

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

Child status: 143
Real time (s): 218.647
CPU time (s): 252.154
CPU user time (s): 249.059
CPU system time (s): 3.09442
CPU usage (%): 115.324
Max. virtual memory (cumulated for all children) (KiB): 14072080
Max. memory (cumulated for all children) (KiB): 4325748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.059
system time used= 3.09442
maximum resident set size= 4325748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180189
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= 15579
involuntary context switches= 607


# summary of solver processes directly reported to runsolver:
#   pid: 29185
#   total CPU time (s): 252.154
#   total CPU user time (s): 249.059
#   total CPU system time (s): 3.09442

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38007 second user time and 2.10831 second system time

The end

Launcher Data

Begin job on node133 at 2017-08-13 19:17:35
IDJOB=4259659
IDBENCH=123151
IDSOLVER=2646
FILE ID=node133/4259659-1502645503
RUNJOBID= node133-1502641620-25474
PBS_JOBID= 
Free space on /tmp= 62008 MiB

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

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

MD5SUM BENCH= d05a87fa530094a27b230f4f9ca3d0a8
RANDOM SEED=1683714605

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:        30500600 kB
MemAvailable:   31138696 kB
Buffers:          237360 kB
Cached:           695764 kB
SwapCached:            0 kB
Active:          1635020 kB
Inactive:         184448 kB
Active(anon):     827068 kB
Inactive(anon):   100820 kB
Active(file):     807952 kB
Inactive(file):    83628 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24164 kB
Writeback:             8 kB
AnonPages:        885856 kB
Mapped:            69728 kB
Shmem:             41660 kB
Slab:             151880 kB
SReclaimable:     124704 kB
SUnreclaim:        27176 kB
KernelStack:        3472 kB
PageTables:         7180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1788092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    657408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

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