2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: Concrete 3.4	SAT (TO)	4425460	2400.51	2154.8

4.05/2.22	c Concrete v3.4 running
34.98/10.82	o 9598969
37.44/11.44	o 9507917
38.27/11.83	o 9438187
38.75/12.22	o 9415583
40.13/12.72	o 8950868
40.67/13.10	o 8890936
41.13/13.50	o 8867496
41.55/13.91	o 8780723
42.40/14.37	o 8745170
42.85/14.72	o 8739941
43.31/15.11	o 8639486
43.75/15.52	o 8483278
44.68/15.92	o 8469989
45.13/16.32	o 8448491
46.00/17.11	o 8446798
46.35/17.48	o 8363991
47.86/18.00	o 8356128
48.61/18.76	o 8310492
55.41/20.66	o 8270462
56.62/21.76	o 8263102
57.07/22.13	o 8254383
60.30/23.51	o 7409548
61.25/23.95	o 7281696
61.56/24.29	o 7268085
62.06/24.70	o 7267161
62.36/25.00	o 7211123
63.83/25.83	o 7160051
64.13/26.13	o 7158074
64.85/26.80	o 7153842
65.57/27.52	o 7116317
66.37/28.33	o 7089034
67.74/28.87	o 7082709
69.03/30.06	o 7060147
69.53/30.51	o 7019868
70.74/31.78	o 6975186
72.79/32.70	o 6972746
73.68/33.40	o 6968316
75.58/35.22	o 6888620
76.38/36.03	o 6874469
77.46/36.50	o 6865960
78.57/37.64	o 6839761
78.99/38.06	o 6833428
79.39/38.43	o 6827393
79.79/38.81	o 6813314
80.50/39.55	o 6776370
84.88/43.21	o 6768863
85.59/43.97	o 6728087
86.80/45.15	o 6710518
88.19/45.96	o 6706304
89.70/47.42	o 6646133
90.70/48.48	o 6588334
92.12/49.85	o 6519085
93.06/50.27	o 6099362
94.57/51.71	o 6092230
95.56/52.73	o 6028108
95.87/53.09	o 6006296
96.57/53.74	o 6005519
97.27/54.42	o 5947783
98.24/55.12	o 5947489
99.14/56.07	o 5927048
103.74/60.15	o 5904420
104.44/60.82	o 5895856
104.74/61.18	o 5867432
105.44/61.88	o 5858950
106.96/63.30	o 5821504
108.12/64.16	o 5756896
109.23/65.24	o 5737318
109.94/66.00	o 5735757
110.34/66.37	o 5734670
110.74/66.72	o 5732495
111.44/67.45	o 5726905
112.00/67.86	o 5715629
114.63/70.35	o 5708839
115.63/71.37	o 5698231
119.05/74.45	o 5681324
119.75/75.17	o 5669935
120.15/75.53	o 5641424
121.82/76.66	o 5628290
123.33/78.12	o 5612150
129.37/83.42	o 5602293
130.37/84.49	o 5583497
133.29/86.73	o 5566140
133.89/87.39	o 5561908
134.40/87.80	o 5551438
135.11/88.58	o 5542464
135.51/88.99	o 5541760
137.65/90.57	o 5535280
143.38/95.42	o 5528540
147.72/99.03	o 5344472
148.01/99.37	o 5319426
148.41/99.76	o 5265912
153.62/104.17	o 5259492
154.03/104.53	o 5248333
156.82/106.78	o 5237064
158.22/108.19	o 5223402
162.29/111.47	o 5083558
164.22/112.38	o 5018207
168.43/115.96	o 5010972
168.83/116.33	o 5001219
169.53/117.01	o 4932200
173.70/120.57	o 4910656
174.51/121.31	o 4906857
174.81/121.68	o 4902265
177.31/123.61	o 4895785
177.71/124.00	o 4890657
180.75/126.42	o 4890384
199.47/142.58	o 4882123
201.46/144.09	o 4773958
202.43/144.89	o 4768714
206.56/148.20	o 4767129
208.36/150.05	o 4764279
210.48/151.61	o 4745695
214.81/155.28	o 4731215
217.49/157.37	o 4728465
222.09/161.15	o 4725566
229.90/167.66	o 4693849
235.99/172.84	o 4656126
237.99/174.13	o 4619139
248.58/183.17	o 4605825
250.70/184.72	o 4595795
273.17/203.83	o 4575483
320.22/242.35	o 4553664
339.66/259.91	o 4544236
343.51/263.38	o 4531090
636.72/533.43	o 4526677
649.68/545.11	o 4511023
893.00/763.27	o 4506357
893.81/764.03	o 4468591
900.51/766.18	o 4467365
908.30/773.06	o 4466373
913.76/777.03	o 4432588
1376.89/1197.30	o 4425460
2400.05/2154.71	java.util.concurrent.TimeoutException
2400.05/2154.71		at concrete.MAC.mac(MAC.scala:74)
2400.05/2154.71		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.05/2154.71		at scala.util.Try$.apply(Try.scala:209)
2400.05/2154.71		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.05/2154.71		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.05/2154.71		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.05/2154.71		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.05/2154.71		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.05/2154.71		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.05/2154.71		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.05/2154.71		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.05/2154.71		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.05/2154.71		at concrete.MAC.oneRun(MAC.scala:146)
2400.05/2154.71		at concrete.MAC.nextSolution(MAC.scala:166)
2400.05/2154.71		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.05/2154.71		at concrete.ProblemState.map(ProblemState.scala:203)
2400.05/2154.71		at concrete.ProblemState.map(ProblemState.scala:188)
2400.05/2154.71		at concrete.MAC.nextSolution(MAC.scala:195)
2400.05/2154.71		at concrete.Solver.hasNext(Solver.scala:202)
2400.05/2154.71		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.05/2154.71		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.05/2154.71		at concrete.Solver.toStream(Solver.scala:73)
2400.05/2154.71		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.05/2154.71		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.05/2154.71		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.05/2154.71		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.05/2154.71		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.05/2154.71		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.05/2154.71		at scala.util.Success.map(Try.scala:209)
2400.05/2154.71		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.05/2154.71		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.05/2154.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.05/2154.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.05/2154.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.05/2154.71		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.05/2154.71		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.05/2154.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.05/2154.71		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.05/2154.71		at scala.collection.immutable.List.foreach(List.scala:389)
2400.05/2154.71		at scala.App.main(App.scala:76)
2400.05/2154.71		at scala.App.main$(App.scala:74)
2400.05/2154.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.05/2154.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.05/2154.77	v <instantiation cost="4425460">
2400.05/2154.77	v       <list>
2400.05/2154.77	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]
2400.05/2154.77	v       </list>
2400.05/2154.77	v       <values>
2400.05/2154.77	v         34 16 1 17 0 9 14 15 30 21 20 5 10 19 7 6 28 29 23 24 22 11 12 3 8 27 33 35 25 26 13 4 2 18 31 32 0 0 0 0 0 0 0 0 0 0 0 0 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 0 4 16 4 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 2 6 0 0 0 0 0 26 41 8 0 0 0 0 0 1 6 0 0 0 0 0 0 0 1 0 0 0 0 0 75 1 0 0 0 0 7 7 23 0 9 0 0 0 0 0 12 22 2 4 0 0 0 0 0 7 1 0 0 0 0 1 0 0 0 0 1 11 15 71 72 0 0 0 0 0 1 17 2 14 0 0 0 0 0 0 0 0 0 0 0 19 0 0 0 0 2 12 0 40 3 0 0 0 0 4 6 4 0 7 0 0 0 0 3 3 0 2 0 0 0 0 0 0 0 1 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 12 19 0 0 0 0 0 0 0 4 13 0 0 0 2 0 0 0 0 3 36 0 0 4 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 4 1 3 0 0 0 0 0 0 11 0 0 0 0 0 8 6 0 8 0 0 0 0 0 0 2 0 0 0 9 0 0 23 19 2 4 0 0 0 0 0 2 19 5 0 0 0 0 0 0 0 18 4 2 0 0 34 2 7 0 6 0 0 6 316 33 4 0 0 0 0 0 10 8 4 0 8 0 0 0 7 9 10 0 0 36 0 5 25 0 18 2 0 0 16 21 18 4 13 28 6 0 0 0 0 0 0 0 0 47 10 8 0 0 0 7 0 25 20 0 0 0 8 0 0 0 0 8 39 18 14 28 0 0 0 0 8 12 16 4 0 0 19 0 0 0 0 2 0 0 10 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 22 8 0 0 0 3 0 0 3 4 5 26 0 0 0 0 0 0 0 0 0 5 2 0 0 0 0 0 0 22 0 0 0 0 0 0 35 2 0 0 0 0 0 0 0 10 0 0 0 0 0 12 9 0 0 0 7 0 0 157 0 0 0 0 0 0 1 25 0 0 0 0 0 48 18 11 0 0 0 9 11 25 20 0 1 0 23 0 0 0 0 0 0 29 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 27 6 4 0 0 0 4 0 0 4 24 20 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 5 0 0 0 0 0 0 0 1 5 5 0 0 0 0 0 0 0 20 0 18
2400.05/2154.77	v       </values>
2400.05/2154.77	v     </instantiation>
2400.05/2154.77	s SATISFIABLE

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245768-1500706794/watcher-4245768-1500706794 -o /tmp/evaluation-result-4245768-1500706794/solver-4245768-1500706794 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7986 --watchdog 2560 bin/concrete HOME/instance-4245768-1500706794.xml 

pid=14153
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 7.87 5.64 3.30 3/262 14156
/proc/meminfo: memFree=31069588/32770624 swapFree=5788/294128
[pid=14156] ppid=14153 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14156/stat : 14156 (bash) S 14153 14156 7954 0 -1 4202496 688 1535 0 0 0 0 0 0 20 0 1 0 5946906 9736192 351 33554432000 4194304 5098028 140736491801136 140736491798776 140373976935424 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 27594752 140736491808014 140736491808099 140736491808099 140736491810798 0
/proc/14156/statm: 2377 351 278 221 0 86 0

[startup+0.100103 s]
/proc/loadavg: 7.87 5.64 3.30 3/262 14156
/proc/meminfo: memFree=31069588/32770624 swapFree=5788/294128
[pid=14156] ppid=14153 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14156/stat : 14156 (bash) S 14153 14156 7954 0 -1 4202496 882 6422 0 0 0 0 0 1 20 0 1 0 5946906 9871360 378 33554432000 4194304 5098028 140736491801136 140736491795144 140373976935424 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 27594752 140736491808014 140736491808099 140736491808099 140736491810798 0
/proc/14156/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200439 s]
/proc/loadavg: 7.87 5.64 3.30 3/262 14156
/proc/meminfo: memFree=31069588/32770624 swapFree=5788/294128
[pid=14156] ppid=14153 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/14156/stat : 14156 (java) S 14153 14156 7954 0 -1 1077944320 4748 12453 0 0 6 1 8 3 20 0 13 0 5946906 10686320640 5109 33554432000 4194304 4196468 140720314636336 140720314618880 139784565788407 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
/proc/14156/statm: 2608965 5109 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300317 s]
/proc/loadavg: 7.87 5.64 3.30 3/262 14156
/proc/meminfo: memFree=31069588/32770624 swapFree=5788/294128
[pid=14156] ppid=14153 vsize=10902292 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/14156/stat : 14156 (java) S 14153 14156 7954 0 -1 1077944320 7618 12453 0 0 22 2 8 3 20 0 20 0 5946906 11163947008 9875 33554432000 4194304 4196468 140720314636336 140720314618880 139784565788407 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
/proc/14156/statm: 2725573 9875 2950 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292

[startup+0.700284 s]
/proc/loadavg: 7.87 5.64 3.30 3/262 14156
/proc/meminfo: memFree=31069588/32770624 swapFree=5788/294128
[pid=14156] ppid=14153 vsize=10902720 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/14156/stat : 14156 (java) S 14153 14156 7954 0 -1 1077944320 12440 12453 0 0 78 4 8 3 20 0 20 0 5946906 11164385280 16241 33554432000 4194304 4196468 140720314636336 140720314618880 139784565788407 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
/proc/14156/statm: 2725680 16241 3196 1 0 2713890 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10902720

[startup+1.50109 s]
/proc/loadavg: 7.87 5.64 3.30 4/282 14229
/proc/meminfo: memFree=30960512/32770624 swapFree=5788/294108
[pid=14156] ppid=14153 vsize=10915392 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/14156/stat : 14156 (java) S 14153 14156 7954 0 -1 1077944320 26772 12453 0 0 201 12 8 3 20 0 20 0 5946906 11177361408 43981 33554432000 4194304 4196468 140720314636336 140720314618880 139784565788407 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
/proc/14156/statm: 2728848 43981 3408 1 0 2716962 0
[pid=14156/tid=14211] ppid=14153 vsize=10915392 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14211/stat : 14211 (java) R 14153 14156 7954 0 -1 4202560 19521 12453 0 0 127 5 8 3 20 0 20 0 5946919 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784569996080 139784565800342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14212] ppid=14153 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14212/stat : 14212 (java) S 14153 14156 7954 0 -1 1077944384 131 12453 0 0 0 0 8 3 20 0 20 0 5946920 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784491862672 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14213] ppid=14153 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14213/stat : 14213 (java) S 14153 14156 7954 0 -1 1077944384 37 12453 0 0 0 0 8 3 20 0 20 0 5946920 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784490809872 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14214] ppid=14153 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14214/stat : 14214 (java) S 14153 14156 7954 0 -1 1077944384 14 12453 0 0 0 0 8 3 20 0 20 0 5946920 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784489757072 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14215] ppid=14153 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14215/stat : 14215 (java) S 14153 14156 7954 0 -1 1077944384 33 12453 0 0 0 0 8 3 20 0 20 0 5946920 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784488704272 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14216] ppid=14153 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14216/stat : 14216 (java) S 14153 14156 7954 0 -1 1077944384 19 12453 0 0 1 0 8 3 20 0 20 0 5946920 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784487652496 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14217] ppid=14153 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14217/stat : 14217 (java) S 14153 14156 7954 0 -1 1077944384 31 12453 0 0 1 0 8 3 20 0 20 0 5946920 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784486599696 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14218] ppid=14153 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14218/stat : 14218 (java) S 14153 14156 7954 0 -1 1077944384 52 12453 0 0 1 0 8 3 20 0 20 0 5946920 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784485546896 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14219] ppid=14153 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14219/stat : 14219 (java) S 14153 14156 7954 0 -1 1077944384 20 12453 0 0 1 0 8 3 20 0 20 0 5946920 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784484494096 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14220] ppid=14153 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14220/stat : 14220 (java) S 14153 14156 7954 0 -1 1077944384 1128 12453 0 0 1 0 8 3 20 0 20 0 5946923 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784040118640 139784565799554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14221] ppid=14153 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14221/stat : 14221 (java) S 14153 14156 7954 0 -1 1077944384 56 12453 0 0 0 0 8 3 20 0 20 0 5946923 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784039064608 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14222] ppid=14153 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14222/stat : 14222 (java) S 14153 14156 7954 0 -1 1077944384 46 12453 0 0 0 0 8 3 20 0 20 0 5946924 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784038011760 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14223] ppid=14153 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14223/stat : 14223 (java) S 14153 14156 7954 0 -1 1077944384 1 12453 0 0 0 0 8 3 20 0 20 0 5946927 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784036960080 139784565807003 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14224] ppid=14153 vsize=10915392 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14224/stat : 14224 (java) S 14153 14156 7954 0 -1 1077944384 910 12453 0 0 16 0 8 3 20 0 20 0 5946927 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784035908464 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14225] ppid=14153 vsize=10915392 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14225/stat : 14225 (java) S 14153 14156 7954 0 -1 1077944384 579 12453 0 0 10 0 8 3 20 0 20 0 5946927 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784034855664 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14226] ppid=14153 vsize=10915392 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14226/stat : 14226 (java) S 14153 14156 7954 0 -1 1077944384 645 12453 0 0 9 0 8 3 20 0 20 0 5946927 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784033802864 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14227] ppid=14153 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14227/stat : 14227 (java) R 14153 14156 7954 0 -1 4202560 1411 12453 0 0 28 0 8 3 20 0 20 0 5946927 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784032747856 139784565800342 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14228] ppid=14153 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14228/stat : 14228 (java) S 14153 14156 7954 0 -1 1077944384 3 12453 0 0 0 0 8 3 20 0 20 0 5946928 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784031697504 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14229] ppid=14153 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14229/stat : 14229 (java) S 14153 14156 7954 0 -1 1077944384 7 12453 0 0 0 0 8 3 20 0 20 0 5946928 11177361408 43981 33554432000 4194304 4196468 140720314636336 139784030644784 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10915392

[startup+3.10115 s]
/proc/loadavg: 7.87 5.64 3.30 6/282 14229
/proc/meminfo: memFree=30868116/32770624 swapFree=5788/294168
[pid=14156] ppid=14153 vsize=10925820 CPUtime=6.69 cores=1,3,5,7,9,11,13,15
/proc/14156/stat : 14156 (java) S 14153 14156 7954 0 -1 1077944320 45584 12453 0 0 641 17 8 3 20 0 20 0 5946906 11188039680 56909 33554432000 4194304 4196468 140720314636336 140720314618880 139784565788407 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
/proc/14156/statm: 2731455 56909 3474 1 0 2719010 0
[pid=14156/tid=14211] ppid=14153 vsize=10925820 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14211/stat : 14211 (java) R 14153 14156 7954 0 -1 4202560 30095 12453 0 0 284 7 8 3 20 0 20 0 5946919 11188039680 56909 33554432000 4194304 4196468 140720314636336 139784570014832 139784156687488 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14212] ppid=14153 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14212/stat : 14212 (java) S 14153 14156 7954 0 -1 1077944384 131 12453 0 0 0 0 8 3 20 0 20 0 5946920 11188039680 56909 33554432000 4194304 4196468 140720314636336 139784491862672 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14213] ppid=14153 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14213/stat : 14213 (java) S 14153 14156 7954 0 -1 1077944384 37 12453 0 0 0 0 8 3 20 0 20 0 5946920 11188039680 56909 33554432000 4194304 4196468 140720314636336 139784490809872 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14214] ppid=14153 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14214/stat : 14214 (java) S 14153 14156 7954 0 -1 1077944384 14 12453 0 0 0 0 8 3 20 0 20 0 5946920 11188039680 56909 33554432000 4194304 4196468 140720314636336 139784489757072 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14215] ppid=14153 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14215/stat : 14215 (java) S 14153 14156 7954 0 -1 1077944384 33 12453 0 0 0 0 8 3 20 0 20 0 5946920 11188039680 56909 33554432000 4194304 4196468 140720314636336 139784488704272 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14216] ppid=14153 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14216/stat : 14216 (java) S 14153 14156 7954 0 -1 1077944384 19 12453 0 0 1 0 8 3 20 0 20 0 5946920 11188039680 56909 33554432000 4194304 4196468 140720314636336 139784487652496 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14217] ppid=14153 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14217/stat : 14217 (java) S 14153 14156 7954 0 -1 1077944384 31 12453 0 0 1 0 8 3 20 0 20 0 5946920 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784486599696 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14218] ppid=14153 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14218/stat : 14218 (java) S 14153 14156 7954 0 -1 1077944384 52 12453 0 0 1 0 8 3 20 0 20 0 5946920 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784485546896 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14219] ppid=14153 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14219/stat : 14219 (java) S 14153 14156 7954 0 -1 1077944384 20 12453 0 0 1 0 8 3 20 0 20 0 5946920 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784484494096 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14220] ppid=14153 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14220/stat : 14220 (java) S 14153 14156 7954 0 -1 1077944384 1150 12453 0 0 1 0 8 3 20 0 20 0 5946923 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784040118640 139784565799554 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14221] ppid=14153 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14221/stat : 14221 (java) S 14153 14156 7954 0 -1 1077944384 56 12453 0 0 0 0 8 3 20 0 20 0 5946923 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784039064608 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14222] ppid=14153 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14222/stat : 14222 (java) S 14153 14156 7954 0 -1 1077944384 46 12453 0 0 0 0 8 3 20 0 20 0 5946924 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784038011760 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14223] ppid=14153 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14223/stat : 14223 (java) S 14153 14156 7954 0 -1 1077944384 1 12453 0 0 0 0 8 3 20 0 20 0 5946927 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784036960080 139784565807003 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14224] ppid=14153 vsize=10925820 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14224/stat : 14224 (java) R 14153 14156 7954 0 -1 4202560 2145 12453 0 0 83 0 8 3 20 0 20 0 5946927 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784035895008 139784550710223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14225] ppid=14153 vsize=10925820 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14225/stat : 14225 (java) S 14153 14156 7954 0 -1 1077944384 2341 12453 0 0 68 1 8 3 20 0 20 0 5946927 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784034855664 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14226] ppid=14153 vsize=10925820 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14226/stat : 14226 (java) S 14153 14156 7954 0 -1 1077944384 3902 12453 0 0 90 0 8 3 20 0 20 0 5946927 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784033802864 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14227] ppid=14153 vsize=10925820 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14227/stat : 14227 (java) R 14153 14156 7954 0 -1 4202560 3370 12453 0 0 104 1 8 3 20 0 20 0 5946927 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784032745792 139784549868894 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14228] ppid=14153 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14228/stat : 14228 (java) S 14153 14156 7954 0 -1 1077944384 3 12453 0 0 0 0 8 3 20 0 20 0 5946928 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784031697504 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14229] ppid=14153 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14229/stat : 14229 (java) S 14153 14156 7954 0 -1 1077944384 8 12453 0 0 0 0 8 3 20 0 20 0 5946928 11188039680 56974 33554432000 4194304 4196468 140720314636336 139784030644784 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 10925820

[startup+6.30114 s]
/proc/loadavg: 7.48 5.59 3.30 5/282 14229
/proc/meminfo: memFree=30532720/32770624 swapFree=5788/294168
[pid=14156] ppid=14153 vsize=10929916 CPUtime=14.72 cores=1,3,5,7,9,11,13,15
/proc/14156/stat : 14156 (java) S 14153 14156 7954 0 -1 1077944320 53202 12453 0 0 1412 49 8 3 20 0 20 0 5946906 11192233984 129491 33554432000 4194304 4196468 140720314636336 140720314618880 139784565788407 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
/proc/14156/statm: 2732479 129491 3506 1 0 2720034 0
[pid=14156/tid=14211] ppid=14153 vsize=10929916 CPUtime=6.07 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14211/stat : 14211 (java) R 14153 14156 7954 0 -1 4202560 31599 12453 0 0 584 12 8 3 20 0 20 0 5946919 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784570021480 139784170658892 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14212] ppid=14153 vsize=10929916 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14212/stat : 14212 (java) S 14153 14156 7954 0 -1 1077944384 208 12453 0 0 7 3 8 3 20 0 20 0 5946920 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784491862672 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14213] ppid=14153 vsize=10929916 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14213/stat : 14213 (java) S 14153 14156 7954 0 -1 1077944384 79 12453 0 0 7 4 8 3 20 0 20 0 5946920 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784490809872 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14214] ppid=14153 vsize=10929916 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14214/stat : 14214 (java) S 14153 14156 7954 0 -1 1077944384 74 12453 0 0 7 3 8 3 20 0 20 0 5946920 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784489757072 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14215] ppid=14153 vsize=10929916 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14215/stat : 14215 (java) S 14153 14156 7954 0 -1 1077944384 118 12453 0 0 6 4 8 3 20 0 20 0 5946920 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784488704272 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14216] ppid=14153 vsize=10929916 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14216/stat : 14216 (java) S 14153 14156 7954 0 -1 1077944384 54 12453 0 0 7 3 8 3 20 0 20 0 5946920 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784487652496 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14217] ppid=14153 vsize=10929916 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14217/stat : 14217 (java) S 14153 14156 7954 0 -1 1077944384 121 12453 0 0 8 3 8 3 20 0 20 0 5946920 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784486599696 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14218] ppid=14153 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14218/stat : 14218 (java) S 14153 14156 7954 0 -1 1077944384 115 12453 0 0 6 3 8 3 20 0 20 0 5946920 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784485546896 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14219] ppid=14153 vsize=10929916 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14219/stat : 14219 (java) S 14153 14156 7954 0 -1 1077944384 67 12453 0 0 6 3 8 3 20 0 20 0 5946920 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784484494096 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14220] ppid=14153 vsize=10929916 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14220/stat : 14220 (java) S 14153 14156 7954 0 -1 1077944384 2106 12453 0 0 5 0 8 3 20 0 20 0 5946923 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784040118640 139784565799554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14221] ppid=14153 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14221/stat : 14221 (java) S 14153 14156 7954 0 -1 1077944384 56 12453 0 0 0 0 8 3 20 0 20 0 5946923 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784039064672 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14222] ppid=14153 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14222/stat : 14222 (java) S 14153 14156 7954 0 -1 1077944384 46 12453 0 0 0 0 8 3 20 0 20 0 5946924 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784038011776 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14223] ppid=14153 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14223/stat : 14223 (java) S 14153 14156 7954 0 -1 1077944384 1 12453 0 0 0 0 8 3 20 0 20 0 5946927 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784036960080 139784565807003 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14224] ppid=14153 vsize=10929916 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14224/stat : 14224 (java) S 14153 14156 7954 0 -1 1077944384 3807 12453 0 0 197 1 8 3 20 0 20 0 5946927 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784035908464 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14225] ppid=14153 vsize=10929916 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14225/stat : 14225 (java) S 14153 14156 7954 0 -1 1077944384 2752 12453 0 0 177 1 8 3 20 0 20 0 5946927 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784034855664 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14226] ppid=14153 vsize=10929916 CPUtime=2.25 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14226/stat : 14226 (java) S 14153 14156 7954 0 -1 1077944384 4610 12453 0 0 213 1 8 3 20 0 20 0 5946927 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784033802864 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14227] ppid=14153 vsize=10929916 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14227/stat : 14227 (java) S 14153 14156 7954 0 -1 1077944384 5245 12453 0 0 174 2 8 3 20 0 20 0 5946927 11192233984 129491 33554432000 4194304 4196468 140720314636336 139784032750064 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14228] ppid=14153 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15

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

[pid=14156/tid=14225] ppid=14153 vsize=10997500 CPUtime=6.55 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14225/stat : 14225 (java) S 14153 14156 7954 0 -1 1077944384 31769 12453 0 0 638 6 8 3 20 0 20 0 5946927 11261440000 970262 33554432000 4194304 4196468 140720314636336 139784034855664 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14226] ppid=14153 vsize=10997500 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14226/stat : 14226 (java) S 14153 14156 7954 0 -1 1077944384 39150 12453 0 0 658 6 8 3 20 0 20 0 5946927 11261440000 970262 33554432000 4194304 4196468 140720314636336 139784033802864 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14227] ppid=14153 vsize=10997500 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14227/stat : 14227 (java) S 14153 14156 7954 0 -1 1077944384 57167 12453 0 0 398 10 8 3 20 0 20 0 5946927 11261440000 970262 33554432000 4194304 4196468 140720314636336 139784032750064 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14228] ppid=14153 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14228/stat : 14228 (java) S 14153 14156 7954 0 -1 1077944384 3 12453 0 0 0 0 8 3 20 0 20 0 5946928 11261440000 970262 33554432000 4194304 4196468 140720314636336 139784031697504 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14229] ppid=14153 vsize=10997500 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14229/stat : 14229 (java) S 14153 14156 7954 0 -1 1077944384 1338 12453 0 0 55 55 8 3 20 0 20 0 5946928 11261440000 970262 33554432000 4194304 4196468 140720314636336 139784030644784 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
Current children cumulated CPU time (s) 2325.5
Current children cumulated vsize (KiB) 10997500

[startup+2142.3 s]
/proc/loadavg: 1.79 1.76 1.94 3/281 17121
/proc/meminfo: memFree=25310640/32770624 swapFree=5788/298212
[pid=14156] ppid=14153 vsize=10997500 CPUtime=2386.61 cores=1,3,5,7,9,11,13,15
/proc/14156/stat : 14156 (java) S 14153 14156 7954 0 -1 1077944320 635760 12453 0 0 236688 1962 8 3 20 0 20 0 5946906 11261440000 832308 33554432000 4194304 4196468 140720314636336 140720314618880 139784565788407 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
/proc/14156/statm: 2749375 832308 3526 1 0 2736930 0
[pid=14156/tid=14211] ppid=14153 vsize=10997500 CPUtime=2107.82 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14211/stat : 14211 (java) R 14153 14156 7954 0 -1 4202560 213505 12453 0 0 210711 60 8 3 20 0 20 0 5946919 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784570021840 139784160155712 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14212] ppid=14153 vsize=10997500 CPUtime=31.64 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14212/stat : 14212 (java) S 14153 14156 7954 0 -1 1077944384 15210 12453 0 0 2923 230 8 3 20 0 20 0 5946920 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784491862672 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14213] ppid=14153 vsize=10997500 CPUtime=31.69 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14213/stat : 14213 (java) S 14153 14156 7954 0 -1 1077944384 22924 12453 0 0 2929 229 8 3 20 0 20 0 5946920 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784490809872 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14214] ppid=14153 vsize=10997500 CPUtime=31.72 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14214/stat : 14214 (java) S 14153 14156 7954 0 -1 1077944384 16279 12453 0 0 2929 232 8 3 20 0 20 0 5946920 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784489757072 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14215] ppid=14153 vsize=10997500 CPUtime=31.54 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14215/stat : 14215 (java) S 14153 14156 7954 0 -1 1077944384 25047 12453 0 0 2916 227 8 3 20 0 20 0 5946920 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784488704272 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14216] ppid=14153 vsize=10997500 CPUtime=31.72 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14216/stat : 14216 (java) S 14153 14156 7954 0 -1 1077944384 25196 12453 0 0 2945 216 8 3 20 0 20 0 5946920 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784487652496 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14217] ppid=14153 vsize=10997500 CPUtime=31.63 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14217/stat : 14217 (java) S 14153 14156 7954 0 -1 1077944384 19141 12453 0 0 2921 231 8 3 20 0 20 0 5946920 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784486599696 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14218] ppid=14153 vsize=10997500 CPUtime=31.64 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14218/stat : 14218 (java) S 14153 14156 7954 0 -1 1077944384 17182 12453 0 0 2930 223 8 3 20 0 20 0 5946920 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784485546896 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14219] ppid=14153 vsize=10997500 CPUtime=31.54 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14219/stat : 14219 (java) S 14153 14156 7954 0 -1 1077944384 23789 12453 0 0 2921 222 8 3 20 0 20 0 5946920 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784484494096 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14220] ppid=14153 vsize=10997500 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14220/stat : 14220 (java) S 14153 14156 7954 0 -1 1077944384 87960 12453 0 0 90 16 8 3 20 0 20 0 5946923 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784040118640 139784565799554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14221] ppid=14153 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14221/stat : 14221 (java) S 14153 14156 7954 0 -1 1077944384 74 12453 0 0 0 0 8 3 20 0 20 0 5946923 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784039064736 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14222] ppid=14153 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14222/stat : 14222 (java) S 14153 14156 7954 0 -1 1077944384 57 12453 0 0 1 0 8 3 20 0 20 0 5946924 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784038011776 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14223] ppid=14153 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14223/stat : 14223 (java) S 14153 14156 7954 0 -1 1077944384 1 12453 0 0 0 0 8 3 20 0 20 0 5946927 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784036960080 139784565807003 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14224] ppid=14153 vsize=10997500 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14224/stat : 14224 (java) S 14153 14156 7954 0 -1 1077944384 37796 12453 0 0 695 7 8 3 20 0 20 0 5946927 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784035908464 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14225] ppid=14153 vsize=10997500 CPUtime=6.55 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14225/stat : 14225 (java) S 14153 14156 7954 0 -1 1077944384 31772 12453 0 0 638 6 8 3 20 0 20 0 5946927 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784034855664 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14226] ppid=14153 vsize=10997500 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14226/stat : 14226 (java) S 14153 14156 7954 0 -1 1077944384 39160 12453 0 0 658 6 8 3 20 0 20 0 5946927 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784033802864 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14227] ppid=14153 vsize=10997500 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14227/stat : 14227 (java) S 14153 14156 7954 0 -1 1077944384 57171 12453 0 0 398 10 8 3 20 0 20 0 5946927 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784032750064 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14228] ppid=14153 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14228/stat : 14228 (java) S 14153 14156 7954 0 -1 1077944384 3 12453 0 0 0 0 8 3 20 0 20 0 5946928 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784031697504 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14229] ppid=14153 vsize=10997500 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14229/stat : 14229 (java) S 14153 14156 7954 0 -1 1077944384 1362 12453 0 0 57 56 8 3 20 0 20 0 5946928 11261440000 832308 33554432000 4194304 4196468 140720314636336 139784030644784 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
Current children cumulated CPU time (s) 2386.61
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2154.7 s]
/proc/loadavg: 1.76 1.75 1.94 3/281 17121
/proc/meminfo: memFree=25158548/32770624 swapFree=5788/298216
[pid=14156] ppid=14153 vsize=10997500 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/14156/stat : 14156 (java) S 14153 14156 7954 0 -1 1077944320 636848 12453 0 0 237962 2032 8 3 20 0 20 0 5946906 11261440000 875456 33554432000 4194304 4196468 140720314636336 140720314618880 139784565788407 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
/proc/14156/statm: 2749375 875456 3526 1 0 2736930 0
[pid=14156/tid=14211] ppid=14153 vsize=10997500 CPUtime=2120.06 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14211/stat : 14211 (java) R 14153 14156 7954 0 -1 4202560 213991 12453 0 0 211934 61 8 3 20 0 20 0 5946919 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784570022640 139784173016133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14212] ppid=14153 vsize=10997500 CPUtime=31.77 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14212/stat : 14212 (java) S 14153 14156 7954 0 -1 1077944384 15265 12453 0 0 2928 238 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784491862672 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14213] ppid=14153 vsize=10997500 CPUtime=31.83 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14213/stat : 14213 (java) S 14153 14156 7954 0 -1 1077944384 22982 12453 0 0 2935 237 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784490809872 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14214] ppid=14153 vsize=10997500 CPUtime=31.87 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14214/stat : 14214 (java) S 14153 14156 7954 0 -1 1077944384 16340 12453 0 0 2935 241 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784489757072 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14215] ppid=14153 vsize=10997500 CPUtime=31.7 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14215/stat : 14215 (java) S 14153 14156 7954 0 -1 1077944384 25108 12453 0 0 2923 236 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784488704272 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14216] ppid=14153 vsize=10997500 CPUtime=31.88 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14216/stat : 14216 (java) S 14153 14156 7954 0 -1 1077944384 25258 12453 0 0 2952 225 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784487652496 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14217] ppid=14153 vsize=10997500 CPUtime=31.78 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14217/stat : 14217 (java) S 14153 14156 7954 0 -1 1077944384 19201 12453 0 0 2927 240 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784486599696 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14218] ppid=14153 vsize=10997500 CPUtime=31.81 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14218/stat : 14218 (java) S 14153 14156 7954 0 -1 1077944384 17244 12453 0 0 2938 232 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784485546896 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14219] ppid=14153 vsize=10997500 CPUtime=31.69 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14219/stat : 14219 (java) S 14153 14156 7954 0 -1 1077944384 23847 12453 0 0 2928 230 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784484494096 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14220] ppid=14153 vsize=10997500 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14220/stat : 14220 (java) S 14153 14156 7954 0 -1 1077944384 88083 12453 0 0 90 16 8 3 20 0 20 0 5946923 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784040118640 139784565799554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14221] ppid=14153 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14221/stat : 14221 (java) S 14153 14156 7954 0 -1 1077944384 74 12453 0 0 0 0 8 3 20 0 20 0 5946923 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784039064736 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14222] ppid=14153 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14222/stat : 14222 (java) S 14153 14156 7954 0 -1 1077944384 57 12453 0 0 1 0 8 3 20 0 20 0 5946924 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784038011776 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14223] ppid=14153 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14223/stat : 14223 (java) S 14153 14156 7954 0 -1 1077944384 1 12453 0 0 0 0 8 3 20 0 20 0 5946927 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784036960080 139784565807003 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14224] ppid=14153 vsize=10997500 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14224/stat : 14224 (java) S 14153 14156 7954 0 -1 1077944384 37796 12453 0 0 695 7 8 3 20 0 20 0 5946927 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784035908464 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14225] ppid=14153 vsize=10997500 CPUtime=6.55 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14225/stat : 14225 (java) S 14153 14156 7954 0 -1 1077944384 31772 12453 0 0 638 6 8 3 20 0 20 0 5946927 11261440000 875968 33554432000 4194304 4196468 140720314636336 139784034855664 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14226] ppid=14153 vsize=10997500 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14226/stat : 14226 (java) S 14153 14156 7954 0 -1 1077944384 39160 12453 0 0 658 6 8 3 20 0 20 0 5946927 11261440000 875968 33554432000 4194304 4196468 140720314636336 139784033802864 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14227] ppid=14153 vsize=10997500 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14227/stat : 14227 (java) S 14153 14156 7954 0 -1 1077944384 57171 12453 0 0 398 10 8 3 20 0 20 0 5946927 11261440000 875968 33554432000 4194304 4196468 140720314636336 139784032750064 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14228] ppid=14153 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14228/stat : 14228 (java) S 14153 14156 7954 0 -1 1077944384 3 12453 0 0 0 0 8 3 20 0 20 0 5946928 11261440000 875968 33554432000 4194304 4196468 140720314636336 139784031697504 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14229] ppid=14153 vsize=10997500 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14229/stat : 14229 (java) S 14153 14156 7954 0 -1 1077944384 1364 12453 0 0 57 57 8 3 20 0 20 0 5946928 11261440000 875968 33554432000 4194304 4196468 140720314636336 139784030644784 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10997500

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

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

[startup+2154.7 s]
/proc/loadavg: 1.76 1.75 1.94 3/281 17121
/proc/meminfo: memFree=25158548/32770624 swapFree=5788/298216
[pid=14156] ppid=14153 vsize=10997500 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/14156/stat : 14156 (java) S 14153 14156 7954 0 -1 1077944320 636848 12453 0 0 237962 2032 8 3 20 0 20 0 5946906 11261440000 875456 33554432000 4194304 4196468 140720314636336 140720314618880 139784565788407 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
/proc/14156/statm: 2749375 875456 3526 1 0 2736930 0
[pid=14156/tid=14211] ppid=14153 vsize=10997500 CPUtime=2120.06 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14211/stat : 14211 (java) R 14153 14156 7954 0 -1 4202560 213991 12453 0 0 211934 61 8 3 20 0 20 0 5946919 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784570022640 139784173016133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14212] ppid=14153 vsize=10997500 CPUtime=31.77 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14212/stat : 14212 (java) S 14153 14156 7954 0 -1 1077944384 15265 12453 0 0 2928 238 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784491862672 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14213] ppid=14153 vsize=10997500 CPUtime=31.83 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14213/stat : 14213 (java) S 14153 14156 7954 0 -1 1077944384 22982 12453 0 0 2935 237 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784490809872 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14214] ppid=14153 vsize=10997500 CPUtime=31.87 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14214/stat : 14214 (java) S 14153 14156 7954 0 -1 1077944384 16340 12453 0 0 2935 241 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784489757072 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14215] ppid=14153 vsize=10997500 CPUtime=31.7 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14215/stat : 14215 (java) S 14153 14156 7954 0 -1 1077944384 25108 12453 0 0 2923 236 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784488704272 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14216] ppid=14153 vsize=10997500 CPUtime=31.88 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14216/stat : 14216 (java) S 14153 14156 7954 0 -1 1077944384 25258 12453 0 0 2952 225 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784487652496 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14217] ppid=14153 vsize=10997500 CPUtime=31.78 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14217/stat : 14217 (java) S 14153 14156 7954 0 -1 1077944384 19201 12453 0 0 2927 240 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784486599696 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14218] ppid=14153 vsize=10997500 CPUtime=31.81 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14218/stat : 14218 (java) S 14153 14156 7954 0 -1 1077944384 17244 12453 0 0 2938 232 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784485546896 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14219] ppid=14153 vsize=10997500 CPUtime=31.69 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14219/stat : 14219 (java) S 14153 14156 7954 0 -1 1077944384 23847 12453 0 0 2928 230 8 3 20 0 20 0 5946920 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784484494096 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14220] ppid=14153 vsize=10997500 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14220/stat : 14220 (java) S 14153 14156 7954 0 -1 1077944384 88083 12453 0 0 90 16 8 3 20 0 20 0 5946923 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784040118640 139784565799554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14221] ppid=14153 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14221/stat : 14221 (java) S 14153 14156 7954 0 -1 1077944384 74 12453 0 0 0 0 8 3 20 0 20 0 5946923 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784039064736 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14222] ppid=14153 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14222/stat : 14222 (java) S 14153 14156 7954 0 -1 1077944384 57 12453 0 0 1 0 8 3 20 0 20 0 5946924 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784038011776 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14223] ppid=14153 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14223/stat : 14223 (java) S 14153 14156 7954 0 -1 1077944384 1 12453 0 0 0 0 8 3 20 0 20 0 5946927 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784036960080 139784565807003 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14224] ppid=14153 vsize=10997500 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14224/stat : 14224 (java) S 14153 14156 7954 0 -1 1077944384 37796 12453 0 0 695 7 8 3 20 0 20 0 5946927 11261440000 875456 33554432000 4194304 4196468 140720314636336 139784035908464 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14225] ppid=14153 vsize=10997500 CPUtime=6.55 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14225/stat : 14225 (java) S 14153 14156 7954 0 -1 1077944384 31772 12453 0 0 638 6 8 3 20 0 20 0 5946927 11261440000 875968 33554432000 4194304 4196468 140720314636336 139784034855664 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14226] ppid=14153 vsize=10997500 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14226/stat : 14226 (java) S 14153 14156 7954 0 -1 1077944384 39160 12453 0 0 658 6 8 3 20 0 20 0 5946927 11261440000 875968 33554432000 4194304 4196468 140720314636336 139784033802864 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14227] ppid=14153 vsize=10997500 CPUtime=4.19 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14227/stat : 14227 (java) S 14153 14156 7954 0 -1 1077944384 57171 12453 0 0 398 10 8 3 20 0 20 0 5946927 11261440000 875968 33554432000 4194304 4196468 140720314636336 139784032750064 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14228] ppid=14153 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14228/stat : 14228 (java) S 14153 14156 7954 0 -1 1077944384 3 12453 0 0 0 0 8 3 20 0 20 0 5946928 11261440000 875968 33554432000 4194304 4196468 140720314636336 139784031697504 139784565798613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
[pid=14156/tid=14229] ppid=14153 vsize=10997500 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/14156/task/14229/stat : 14229 (java) S 14153 14156 7954 0 -1 1077944384 1364 12453 0 0 57 57 8 3 20 0 20 0 5946928 11261440000 875968 33554432000 4194304 4196468 140720314636336 139784030644784 139784565799554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22020096 140720314641089 140720314643863 140720314643863 140720314646479 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10997500

Child status: 143
Real time (s): 2154.8
CPU time (s): 2400.51
CPU user time (s): 2379.9
CPU system time (s): 20.6044
CPU usage (%): 111.403
Max. virtual memory (cumulated for all children) (KiB): 10999604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2379.9
system time used= 20.6044
maximum resident set size= 4104572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653092
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88880
involuntary context switches= 128593

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4812 second user time and 17.8336 second system time

The end

Launcher Data

Begin job on node128 at 2017-07-22 08:59:54
IDJOB=4245768
IDBENCH=123151
IDSOLVER=2630
FILE ID=node128/4245768-1500706794
RUNJOBID= node128-1500683681-7986
PBS_JOBID= 20623342
Free space on /tmp= 61996 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-4245768-1500706794/watcher-4245768-1500706794 -o /tmp/evaluation-result-4245768-1500706794/solver-4245768-1500706794 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7986 --watchdog 2560  bin/concrete HOME/instance-4245768-1500706794.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= d05a87fa530094a27b230f4f9ca3d0a8
RANDOM SEED=669404512

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.12
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.54
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	: 8
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.12
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.54
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.12
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.54
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	: 8
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.12
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		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31070008 kB
MemAvailable:   31300284 kB
Buffers:          123928 kB
Cached:           388288 kB
SwapCached:            0 kB
Active:           967936 kB
Inactive:         302884 kB
Active(anon):     761280 kB
Inactive(anon):     8756 kB
Active(file):     206656 kB
Inactive(file):   294128 kB
Unevictable:        5788 kB
Mlocked:            5788 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24280 kB
Writeback:             0 kB
AnonPages:        764312 kB
Mapped:            43672 kB
Shmem:              8844 kB
Slab:             124528 kB
SReclaimable:      90652 kB
SUnreclaim:        33876 kB
KernelStack:        4480 kB
PageTables:         6592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1647416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    540672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61972 MiB
End job on node128 at 2017-07-22 09:35:49

Name	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml
MD5SUM	d05a87fa530094a27b230f4f9ca3d0a8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4280744
Best CPU time to get the best result obtained on this benchmark	2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables	1332
Number of constraints	631
Number of domains	2
Minimum domain size	36
Maximum domain size	44
Distribution of domain sizes	[{"size":36,"count":36},{"size":44,"count":630}]
Minimum variable degree	0
Maximum variable degree	36
Distribution of variable degrees	[{"degree":0,"count":666},{"degree":2,"count":630},{"degree":36,"count":36}]
Minimum constraint arity	3
Maximum constraint arity	36
Distribution of constraint arities	[{"arity":3,"count":630},{"arity":36,"count":1}]
Number of extensional constraints	630
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":630},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4245768

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data